Mul cosh Add x0 x0 Pow Add asech x0 -4 Mul pi -4 
Add Mul Pow Add asech x0 -4 Mul pi -4 Mul sinh Add x0 x0 2 Mul cosh Add x0 x0 Mul Pow Add asech x0 -4 Add Mul pi -4 -1 Mul Mul pi -4 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 