Add 0.0156250000000000 Mul asin Mul coth Mul x0 x7 x7 asech Add sin x4 1 
Mul asech Add sin x4 1 Mul Mul x7 Mul Mul -1 Pow csch Mul x0 x7 2 x7 Pow sqrt Add 1 Mul -1 Mul Mul coth Mul x0 x7 x7 Mul coth Mul x0 x7 x7 -1 