sec Mul acoth x7 Add Pow pi Add Mul 2.82842712474619 x0 Add x3 x6 x0 
Mul Mul tan Mul acoth x7 Add Pow pi Add Mul 2.82842712474619 x0 Add x3 x6 x0 sec Mul acoth x7 Add Pow pi Add Mul 2.82842712474619 x0 Add x3 x6 x0 Mul acoth x7 Add Mul Pow pi Add Add Mul 2.82842712474619 x0 Add x3 x6 -1 Mul Mul pi log pi 2.82842712474619 1 