Mul cosh Mul csch Mul x0 2 Add Mul x2 Add x0 Pow Mul -3 E 4 Mul x0 x0 acosh acosh x1 
Mul acosh acosh x1 Mul sinh Mul csch Mul x0 2 Add Mul x2 Add x0 Pow Mul -3 E 4 Mul x0 x0 Add Mul Add Mul x2 Add x0 Pow Mul -3 E 4 Mul x0 x0 Mul Mul Mul -1 coth Mul x0 2 csch Mul x0 2 2 Mul csch Mul x0 2 Add x2 Add x0 x0 