Add Mul pi Add x0 x5 Add Mul Add x0 x0 tan Mul x0 3 Add x0 Pow atanh E x0 
Add pi Add Add Mul tan Mul x0 3 2 Mul Add x0 x0 Mul Pow sec Mul x0 3 2 3 Add 1 Mul Pow atanh E Add x0 -1 Mul atanh E log atanh E 