Pow x7 Add Add Add Mul x5 x0 x0 x4 atanh Mul Mul x3 acot x0 asec Mul x0 asec x0 
Mul Pow x7 Add Add Add Add Mul x5 x0 x0 x4 atanh Mul Mul x3 acot x0 asec Mul x0 asec x0 -1 Mul Mul x7 log x7 Add Add x5 1 Mul Add Mul asec Mul x0 asec x0 Mul x3 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul x3 acot x0 Mul Add asec x0 Mul x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x0 asec x0 Mul x0 asec x0 -1 Mul x0 asec x0 Mul x0 asec x0 -1 Pow Add 1 Mul -1 Mul Mul Mul x3 acot x0 asec Mul x0 asec x0 Mul Mul x3 acot x0 asec Mul x0 asec x0 -1 