Mul sec Add x0 x7 Pow atan Pow Add tanh acosh x4 x1 x0 Mul x0 Pow Mul Mul x0 atan x0 pi -4 
Add Mul Pow atan Pow Add tanh acosh x4 x1 x0 Mul x0 Pow Mul Mul x0 atan x0 pi -4 Mul tan Add x0 x7 sec Add x0 x7 Mul sec Add x0 x7 Mul Pow atan Pow Add tanh acosh x4 x1 x0 Add Mul x0 Pow Mul Mul x0 atan x0 pi -4 -1 Add Mul Mul x0 Pow Mul Mul x0 atan x0 pi -4 Mul Mul Pow Add tanh acosh x4 x1 Add x0 -1 Mul Add tanh acosh x4 x1 log Add tanh acosh x4 x1 Pow Add 1 Mul Pow Add tanh acosh x4 x1 x0 Pow Add tanh acosh x4 x1 x0 -1 Mul Mul atan Pow Add tanh acosh x4 x1 x0 log atan Pow Add tanh acosh x4 x1 x0 Add Pow Mul Mul x0 atan x0 pi -4 Mul x0 Mul Pow Mul Mul x0 atan x0 pi 5 Mul -4 Mul pi Add atan x0 Mul x0 Pow Add 1 Mul x0 x0 -1 