Pow x7 Mul Pow Mul Add -4 atanh sec Add -1 x0 x0 4 x5 
Mul Pow x7 Add Mul Pow Mul Add -4 atanh sec Add -1 x0 x0 4 x5 -1 Mul Mul x7 log x7 Mul x5 Mul Pow Mul Add -4 atanh sec Add -1 x0 x0 3 Mul 4 Add Mul x0 Mul Mul tan Add -1 x0 sec Add -1 x0 Pow Add 1 Mul -1 Mul sec Add -1 x0 sec Add -1 x0 -1 Add -4 atanh sec Add -1 x0 