Mul Add Pow x0 Pow acot sinh Mul -4 x7 3125.22430142536 Add x1 atan x0 pi 
Mul pi Add Mul Pow x0 Add Pow acot sinh Mul -4 x7 3125.22430142536 -1 Pow acot sinh Mul -4 x7 3125.22430142536 Pow Add 1 Mul x0 x0 -1 