Mul x0 sec Pow Pow x2 Add atanh Mul -3 sec Add 5 x0 x0 x2 
Add sec Pow Pow x2 Add atanh Mul -3 sec Add 5 x0 x0 x2 Mul x0 Mul Mul tan Pow Pow x2 Add atanh Mul -3 sec Add 5 x0 x0 x2 sec Pow Pow x2 Add atanh Mul -3 sec Add 5 x0 x0 x2 Mul Pow Pow x2 Add atanh Mul -3 sec Add 5 x0 x0 Add x2 -1 Mul x2 Mul Pow x2 Add Add atanh Mul -3 sec Add 5 x0 x0 -1 Mul Mul x2 log x2 Add Mul Mul -3 Mul tan Add 5 x0 sec Add 5 x0 Pow Add 1 Mul -1 Mul Mul -3 sec Add 5 x0 Mul -3 sec Add 5 x0 -1 1 