Pow x0 tanh Mul sqrt x0 0.540302305868140 
Mul Pow x0 Add tanh Mul sqrt x0 0.540302305868140 -1 Add tanh Mul sqrt x0 0.540302305868140 Mul Mul x0 log x0 Mul Pow sech Mul sqrt x0 0.540302305868140 2 Mul 0.540302305868140 Pow Mul 2 sqrt x0 -1 