Mul x0 Mul Add x7 Mul x0 acos atan pi Add x0 Mul sec x0 Mul E Mul atanh Pow x0 tanh x6 3 
Add Mul Add x7 Mul x0 acos atan pi Add x0 Mul sec x0 Mul E Mul atanh Pow x0 tanh x6 3 Mul x0 Add Mul Add x0 Mul sec x0 Mul E Mul atanh Pow x0 tanh x6 3 acos atan pi Mul Add x7 Mul x0 acos atan pi Add 1 Add Mul Mul E Mul atanh Pow x0 tanh x6 3 Mul tan x0 sec x0 Mul sec x0 Mul E Mul 3 Mul Mul Pow x0 Add tanh x6 -1 tanh x6 Pow Add 1 Mul -1 Mul Pow x0 tanh x6 Pow x0 tanh x6 -1 