Mul x0 Mul -1.57079632679490 acot Mul sinh Mul cot Pow x7 -2 x0 E 
Add Mul -1.57079632679490 acot Mul sinh Mul cot Pow x7 -2 x0 E Mul x0 Mul -1.57079632679490 Mul -1 Mul Mul E Mul cosh Mul cot Pow x7 -2 x0 cot Pow x7 -2 Pow Add 1 Mul Mul sinh Mul cot Pow x7 -2 x0 E Mul sinh Mul cot Pow x7 -2 x0 E -1 