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