Mul x0 Add tan exp sinh Mul Mul x0 Mul 4 cosh exp Add 4 Add 3 atanh x1 x1 atan x0 
Add Add tan exp sinh Mul Mul x0 Mul 4 cosh exp Add 4 Add 3 atanh x1 x1 atan x0 Mul x0 Add Mul Pow sec exp sinh Mul Mul x0 Mul 4 cosh exp Add 4 Add 3 atanh x1 x1 2 Mul exp sinh Mul Mul x0 Mul 4 cosh exp Add 4 Add 3 atanh x1 x1 Mul cosh Mul Mul x0 Mul 4 cosh exp Add 4 Add 3 atanh x1 x1 Mul x1 Mul 4 cosh exp Add 4 Add 3 atanh x1 Pow Add 1 Mul x0 x0 -1 