Mul asech coth Pow Pow x0 Add exp x5 x4 2 Add -3 sec Mul x6 x5 
Mul Add -3 sec Mul x6 x5 Mul Mul Mul -1 Pow csch Pow Pow x0 Add exp x5 x4 2 2 Mul Pow x0 Add exp x5 x4 Mul 2 Mul Pow x0 Add Add exp x5 x4 -1 Add exp x5 x4 Pow Mul Mul coth Pow Pow x0 Add exp x5 x4 2 coth Pow Pow x0 Add exp x5 x4 2 sqrt Add 1 Mul -1 Pow Mul coth Pow Pow x0 Add exp x5 x4 2 coth Pow Pow x0 Add exp x5 x4 2 -1 -1 