Pow Add Pow x0 4 coth asech Mul x0 x0 log Mul Mul x7 x1 5 
Mul Pow Add Pow x0 4 coth asech Mul x0 x0 Add log Mul Mul x7 x1 5 -1 Mul log Mul Mul x7 x1 5 Add Mul Pow x0 3 4 Mul Mul -1 Pow csch asech Mul x0 x0 2 Mul Add x0 x0 Pow Mul Mul Mul x0 x0 Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul Mul x0 x0 Mul x0 x0 -1 -1 