Pow sec Mul x2 Pow Mul Add -2 x4 atanh x1 Mul acos sinh x0 x0 x4 
Mul Pow sec Mul x2 Pow Mul Add -2 x4 atanh x1 Mul acos sinh x0 x0 Add x4 -1 Mul x4 Mul Mul tan Mul x2 Pow Mul Add -2 x4 atanh x1 Mul acos sinh x0 x0 sec Mul x2 Pow Mul Add -2 x4 atanh x1 Mul acos sinh x0 x0 Mul x2 Mul Pow Mul Add -2 x4 atanh x1 Add Mul acos sinh x0 x0 -1 Mul Mul Mul Add -2 x4 atanh x1 log Mul Add -2 x4 atanh x1 Add Mul x0 Mul -1 Mul cosh x0 Pow sqrt Add 1 Mul -1 Mul sinh x0 sinh x0 -1 acos sinh x0 