Add acsch Add x4 log x1 Mul cosh acoth x0 Mul x0 acoth tan Pow Add Mul log x0 E x0 4 
Add Mul Mul x0 acoth tan Pow Add Mul log x0 E x0 4 Mul sinh acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul cosh acoth x0 Add acoth tan Pow Add Mul log x0 E x0 4 Mul x0 Mul Mul Pow sec Pow Add Mul log x0 E x0 4 2 Mul Pow Add Mul log x0 E x0 3 Mul 4 Add Mul E Pow x0 -1 1 Pow Add 1 Mul -1 Mul tan Pow Add Mul log x0 E x0 4 tan Pow Add Mul log x0 E x0 4 -1 