P
Initializing...
A numerical instance of the sine subtraction identity · Prove2Me