asec Pow Pow acos Add Mul x0 -2 2 x5 Add asech atanh tan Mul x0 x0 x7 
Mul Mul Pow Pow acos Add Mul x0 -2 2 x5 Add Add asech atanh tan Mul x0 x0 x7 -1 Add Mul Add asech atanh tan Mul x0 x0 x7 Mul Pow acos Add Mul x0 -2 2 Add x5 -1 Mul x5 Mul -1 Mul -2 Pow sqrt Add 1 Mul -1 Mul Add Mul x0 -2 2 Add Mul x0 -2 2 -1 Mul Mul Pow acos Add Mul x0 -2 2 x5 log Pow acos Add Mul x0 -2 2 x5 Mul Mul Mul Pow sec Mul x0 x0 2 Add x0 x0 Pow Add 1 Mul -1 Mul tan Mul x0 x0 tan Mul x0 x0 -1 Pow Mul Mul atanh tan Mul x0 x0 atanh tan Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul atanh tan Mul x0 x0 atanh tan Mul x0 x0 -1 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Pow acos Add Mul x0 -2 2 x5 Add asech atanh tan Mul x0 x0 x7 Pow Pow acos Add Mul x0 -2 2 x5 Add asech atanh tan Mul x0 x0 x7 -1 Pow Pow acos Add Mul x0 -2 2 x5 Add asech atanh tan Mul x0 x0 x7 Pow Pow acos Add Mul x0 -2 2 x5 Add asech atanh tan Mul x0 x0 x7 -1 