Pow sin Add 2 atanh E Pow Mul pi x1 Mul x0 625 
Mul Pow sin Add 2 atanh E Add Pow Mul pi x1 Mul x0 625 -1 Mul Mul sin Add 2 atanh E log sin Add 2 atanh E Mul Pow Mul pi x1 Add Mul x0 625 -1 Mul Mul Mul pi x1 log Mul pi x1 625 