exp Add 3 asinh Mul Mul sqrt cosh x7 x0 x0 
Mul exp Add 3 asinh Mul Mul sqrt cosh x7 x0 x0 Mul Add Mul x0 sqrt cosh x7 Mul sqrt cosh x7 x0 Pow sqrt Add 1 Mul Mul Mul sqrt cosh x7 x0 x0 Mul Mul sqrt cosh x7 x0 x0 -1 