Add Mul asec acos Pow atan asec acos Pow Add x0 E x0 x0 Mul -4 cos Add -1 acosh x0 E 
Add Mul Mul -4 cos Add -1 acosh x0 Mul Mul -1 Mul Mul Pow atan asec acos Pow Add x0 E x0 Add x0 -1 Add Mul x0 Mul Mul Mul -1 Mul Mul Pow Add x0 E Add x0 -1 Add x0 Mul Add x0 E log Add x0 E Pow sqrt Add 1 Mul -1 Mul Pow Add x0 E x0 Pow Add x0 E x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acos Pow Add x0 E x0 acos Pow Add x0 E x0 -1 acos Pow Add x0 E x0 acos Pow Add x0 E x0 -1 Pow Add 1 Mul asec acos Pow Add x0 E x0 asec acos Pow Add x0 E x0 -1 Mul atan asec acos Pow Add x0 E x0 log atan asec acos Pow Add x0 E x0 Pow sqrt Add 1 Mul -1 Mul Pow atan asec acos Pow Add x0 E x0 x0 Pow atan asec acos Pow Add x0 E x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acos Pow atan asec acos Pow Add x0 E x0 x0 acos Pow atan asec acos Pow Add x0 E x0 x0 -1 acos Pow atan asec acos Pow Add x0 E x0 x0 acos Pow atan asec acos Pow Add x0 E x0 x0 -1 Mul asec acos Pow atan asec acos Pow Add x0 E x0 x0 Mul -4 Mul Mul -1 sin Add -1 acosh x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 