Mul Add pi Pow sec Mul Mul x7 -2 Mul atanh x0 x0 x0 5 
Mul 5 Mul Pow sec Mul Mul x7 -2 Mul atanh x0 x0 Add x0 -1 Add Mul x0 Mul Mul tan Mul Mul x7 -2 Mul atanh x0 x0 sec Mul Mul x7 -2 Mul atanh x0 x0 Mul Mul x7 -2 Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 atanh x0 Mul sec Mul Mul x7 -2 Mul atanh x0 x0 log sec Mul Mul x7 -2 Mul atanh x0 x0 