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