Mul x0 atan Pow Pow Add 4 Add Pow atan x1 x0 x0 x0 Add asech sinh x0 x0 
Add atan Pow Pow Add 4 Add Pow atan x1 x0 x0 x0 Add asech sinh x0 x0 Mul x0 Mul Mul Pow Pow Add 4 Add Pow atan x1 x0 x0 x0 Add Add asech sinh x0 x0 -1 Add Mul Add asech sinh x0 x0 Mul Pow Add 4 Add Pow atan x1 x0 x0 Add x0 -1 Add Mul x0 Add Mul Pow atan x1 Add x0 -1 Mul atan x1 log atan x1 1 Mul Add 4 Add Pow atan x1 x0 x0 log Add 4 Add Pow atan x1 x0 x0 Mul Mul Pow Add 4 Add Pow atan x1 x0 x0 x0 log Pow Add 4 Add Pow atan x1 x0 x0 x0 Add Mul cosh x0 Pow Mul Mul sinh x0 sinh x0 sqrt Add 1 Mul -1 Pow Mul sinh x0 sinh x0 -1 -1 1 Pow Add 1 Mul Pow Pow Add 4 Add Pow atan x1 x0 x0 x0 Add asech sinh x0 x0 Pow Pow Add 4 Add Pow atan x1 x0 x0 x0 Add asech sinh x0 x0 -1 