exp sec atan Pow asech exp Add 0.968245836551854 Mul x0 x0 acos Add x0 atanh x6 
Mul exp sec atan Pow asech exp Add 0.968245836551854 Mul x0 x0 acos Add x0 atanh x6 Mul Mul tan atan Pow asech exp Add 0.968245836551854 Mul x0 x0 acos Add x0 atanh x6 sec atan Pow asech exp Add 0.968245836551854 Mul x0 x0 acos Add x0 atanh x6 Mul Mul Pow asech exp Add 0.968245836551854 Mul x0 x0 Add acos Add x0 atanh x6 -1 Add Mul acos Add x0 atanh x6 Mul Mul exp Add 0.968245836551854 Mul x0 x0 Add x0 x0 Pow Mul Mul exp Add 0.968245836551854 Mul x0 x0 exp Add 0.968245836551854 Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul exp Add 0.968245836551854 Mul x0 x0 exp Add 0.968245836551854 Mul x0 x0 -1 -1 Mul Mul asech exp Add 0.968245836551854 Mul x0 x0 log asech exp Add 0.968245836551854 Mul x0 x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add x0 atanh x6 Add x0 atanh x6 -1 Pow Add 1 Mul Pow asech exp Add 0.968245836551854 Mul x0 x0 acos Add x0 atanh x6 Pow asech exp Add 0.968245836551854 Mul x0 x0 acos Add x0 atanh x6 -1 