Mul acsch E tan cosh Add Add Mul Mul E x0 atanh pi exp x0 Mul E x4 
Mul acsch E Mul Pow sec cosh Add Add Mul Mul E x0 atanh pi exp x0 Mul E x4 2 Mul sinh Add Add Mul Mul E x0 atanh pi exp x0 Mul E x4 Add Mul atanh pi E exp x0 