Mul x0 acos Mul Mul -1 csch Pow x7 Pow pi acsc x4 x0 
Add acos Mul Mul -1 csch Pow x7 Pow pi acsc x4 x0 Mul x0 Mul -1 Mul Mul -1 csch Pow x7 Pow pi acsc x4 Pow sqrt Add 1 Mul -1 Mul Mul Mul -1 csch Pow x7 Pow pi acsc x4 x0 Mul Mul -1 csch Pow x7 Pow pi acsc x4 x0 -1 