atan Pow Mul 3 Pow acosh Pow Mul sqrt x0 asech asec Pow log x2 x0 x0 -1 Add -4 x5 
Mul Mul Pow Mul 3 Pow acosh Pow Mul sqrt x0 asech asec Pow log x2 x0 x0 -1 Add Add -4 x5 -1 Mul Add -4 x5 Mul 3 Mul Pow acosh Pow Mul sqrt x0 asech asec Pow log x2 x0 x0 2 Mul -1 Mul Mul Pow Mul sqrt x0 asech asec Pow log x2 x0 Add x0 -1 Add Mul x0 Add Mul asech asec Pow log x2 x0 Pow Mul 2 sqrt x0 -1 Mul sqrt x0 Mul Mul Mul Pow log x2 Add x0 -1 Mul log x2 log log x2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow log x2 x0 Pow log x2 x0 -1 Pow log x2 x0 Pow log x2 x0 -1 Pow Mul Mul asec Pow log x2 x0 asec Pow log x2 x0 sqrt Add 1 Mul -1 Pow Mul asec Pow log x2 x0 asec Pow log x2 x0 -1 -1 Mul Mul sqrt x0 asech asec Pow log x2 x0 log Mul sqrt x0 asech asec Pow log x2 x0 Pow Mul sqrt Add Pow Mul sqrt x0 asech asec Pow log x2 x0 x0 -1 sqrt Add 1 Pow Mul sqrt x0 asech asec Pow log x2 x0 x0 -1 Pow Add 1 Mul Pow Mul 3 Pow acosh Pow Mul sqrt x0 asech asec Pow log x2 x0 x0 -1 Add -4 x5 Pow Mul 3 Pow acosh Pow Mul sqrt x0 asech asec Pow log x2 x0 x0 -1 Add -4 x5 -1 