Mul x7 sinh Add Pow asinh sinh x0 acsch csch pi x0 
Mul x7 Mul cosh Add Pow asinh sinh x0 acsch csch pi x0 Add Mul Pow asinh sinh x0 Add acsch csch pi -1 Mul acsch csch pi Mul cosh x0 Pow sqrt Add 1 Mul sinh x0 sinh x0 -1 1 