Pow x0 Mul atanh sec Mul x0 x6 Mul x0 atan E 
Mul Pow x0 Add Mul atanh sec Mul x0 x6 Mul x0 atan E -1 Add Mul atanh sec Mul x0 x6 Mul x0 atan E Mul Mul x0 log x0 Add Mul Mul x0 atan E Mul Mul Mul tan Mul x0 x6 sec Mul x0 x6 x6 Pow Add 1 Mul -1 Mul sec Mul x0 x6 sec Mul x0 x6 -1 Mul atanh sec Mul x0 x6 atan E 