acosh Add pi Add Mul Add pi x4 atan cosh Mul x0 x6 x0 
Mul Add Mul Add pi x4 Mul Mul sinh Mul x0 x6 x6 Pow Add 1 Mul cosh Mul x0 x6 cosh Mul x0 x6 -1 1 Pow Mul sqrt Add Add pi Add Mul Add pi x4 atan cosh Mul x0 x6 x0 -1 sqrt Add 1 Add pi Add Mul Add pi x4 atan cosh Mul x0 x6 x0 -1 