Mul x0 sec tanh Mul Add x0 sqrt x1 Mul log x0 pi 
Add sec tanh Mul Add x0 sqrt x1 Mul log x0 pi Mul x0 Mul Mul tan tanh Mul Add x0 sqrt x1 Mul log x0 pi sec tanh Mul Add x0 sqrt x1 Mul log x0 pi Mul Pow sech Mul Add x0 sqrt x1 Mul log x0 pi 2 Add Mul log x0 pi Mul Add x0 sqrt x1 Mul pi Pow x0 -1 