Mul 4 Mul E Mul 3 csch Add Pow Mul x1 2 x0 acosh acsc x1 
Mul 4 Mul E Mul 3 Mul Mul Mul -1 coth Add Pow Mul x1 2 x0 acosh acsc x1 csch Add Pow Mul x1 2 x0 acosh acsc x1 Mul Pow Mul x1 2 Add x0 -1 Mul Mul x1 2 log Mul x1 2 