cosh Mul Mul x0 Mul x0 acsch Add pi x4 cosh Add Add pi asec x0 x4 
Mul sinh Mul Mul x0 Mul x0 acsch Add pi x4 cosh Add Add pi asec x0 x4 Add Mul cosh Add Add pi asec x0 x4 Add Mul x0 acsch Add pi x4 Mul x0 acsch Add pi x4 Mul Mul x0 Mul x0 acsch Add pi x4 Mul sinh Add Add pi asec x0 x4 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 