tan Mul atan x0 Add Add Add Mul pi Add x0 x0 cosh x6 -1 x3 
Mul Pow sec Mul atan x0 Add Add Add Mul pi Add x0 x0 cosh x6 -1 x3 2 Add Mul Add Add Add Mul pi Add x0 x0 cosh x6 -1 x3 Pow Add 1 Mul x0 x0 -1 Mul atan x0 Mul pi 2 