Mul Pow Add atanh tan sec Mul x0 x0 acot x7 -4 x6 
Mul x6 Mul Pow Add atanh tan sec Mul x0 x0 acot x7 5 Mul -4 Mul Mul Pow sec sec Mul x0 x0 2 Mul Mul tan Mul x0 x0 sec Mul x0 x0 Add x0 x0 Pow Add 1 Mul -1 Mul tan sec Mul x0 x0 tan sec Mul x0 x0 -1 