sec Add tan atanh Mul x0 -3 Pow x6 x0 
Mul Mul tan Add tan atanh Mul x0 -3 Pow x6 x0 sec Add tan atanh Mul x0 -3 Pow x6 x0 Add Mul Pow sec atanh Mul x0 -3 2 Mul -3 Pow Add 1 Mul -1 Mul Mul x0 -3 Mul x0 -3 -1 Mul Pow x6 Add x0 -1 Mul x6 log x6 