Pow x5 Add Mul Pow Mul x0 x0 atanh Mul x0 -1 asec Pow x6 x4 csc Pow x1 2 
Mul Pow x5 Add Add Mul Pow Mul x0 x0 atanh Mul x0 -1 asec Pow x6 x4 csc Pow x1 2 -1 Mul Mul x5 log x5 Mul asec Pow x6 x4 Mul Pow Mul x0 x0 Add atanh Mul x0 -1 -1 Add Mul atanh Mul x0 -1 Add x0 x0 Mul Mul Mul x0 x0 log Mul x0 x0 Mul -1 Pow Add 1 Mul -1 Mul Mul x0 -1 Mul x0 -1 -1 