Pow Add x4 exp x6 coth Mul Add Mul Add asech x0 x0 pi x3 3 
Mul Pow Add x4 exp x6 Add coth Mul Add Mul Add asech x0 x0 pi x3 3 -1 Mul Mul Add x4 exp x6 log Add x4 exp x6 Mul Mul -1 Pow csch Mul Add Mul Add asech x0 x0 pi x3 3 2 Mul 3 Mul pi Add Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 1 