Mul x7 csch Pow Add Pow pi x3 x0 Add asech asin x0 x7 
Mul x7 Mul Mul Mul -1 coth Pow Add Pow pi x3 x0 Add asech asin x0 x7 csch Pow Add Pow pi x3 x0 Add asech asin x0 x7 Mul Pow Add Pow pi x3 x0 Add Add asech asin x0 x7 -1 Add Add asech asin x0 x7 Mul Mul Add Pow pi x3 x0 log Add Pow pi x3 x0 Mul Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul asin x0 asin x0 sqrt Add 1 Mul -1 Pow Mul asin x0 asin x0 -1 -1 