acot asin sec cosh Add x0 1.57079632679490 
Mul -1 Mul Mul Mul Mul tan cosh Add x0 1.57079632679490 sec cosh Add x0 1.57079632679490 sinh Add x0 1.57079632679490 Pow sqrt Add 1 Mul -1 Mul sec cosh Add x0 1.57079632679490 sec cosh Add x0 1.57079632679490 -1 Pow Add 1 Mul asin sec cosh Add x0 1.57079632679490 asin sec cosh Add x0 1.57079632679490 -1 