Pow Add x4 csch Mul x0 x0 asech x0 
Mul Pow Add x4 csch Mul x0 x0 Add asech x0 -1 Add Mul asech x0 Mul Mul Mul -1 coth Mul x0 x0 csch Mul x0 x0 Add x0 x0 Mul Mul Add x4 csch Mul x0 x0 log Add x4 csch Mul x0 x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 