Mul x0 asinh Pow acos sqrt Pow atanh x4 Add asech x1 x0 tanh Add -4 Mul 3 x0 
Add asinh Pow acos sqrt Pow atanh x4 Add asech x1 x0 tanh Add -4 Mul 3 x0 Mul x0 Mul Mul Pow acos sqrt Pow atanh x4 Add asech x1 x0 Add tanh Add -4 Mul 3 x0 -1 Add Mul tanh Add -4 Mul 3 x0 Mul -1 Mul Mul Pow Mul 2 sqrt Pow atanh x4 Add asech x1 x0 -1 Mul Pow atanh x4 Add Add asech x1 x0 -1 Mul atanh x4 log atanh x4 Pow sqrt Add 1 Mul -1 Mul sqrt Pow atanh x4 Add asech x1 x0 sqrt Pow atanh x4 Add asech x1 x0 -1 Mul Mul acos sqrt Pow atanh x4 Add asech x1 x0 log acos sqrt Pow atanh x4 Add asech x1 x0 Mul Pow sech Add -4 Mul 3 x0 2 3 Pow sqrt Add 1 Mul Pow acos sqrt Pow atanh x4 Add asech x1 x0 tanh Add -4 Mul 3 x0 Pow acos sqrt Pow atanh x4 Add asech x1 x0 tanh Add -4 Mul 3 x0 -1 