Mul 4 sqrt Add Pow exp Mul atanh x0 Pow sech log sech x0 pi 5 3 
Mul 4 Mul Pow Mul 2 sqrt Add Pow exp Mul atanh x0 Pow sech log sech x0 pi 5 3 -1 Mul Pow exp Mul atanh x0 Pow sech log sech x0 pi 4 Mul 5 Mul exp Mul atanh x0 Pow sech log sech x0 pi Add Mul Pow sech log sech x0 pi Pow Add 1 Mul -1 Mul x0 x0 -1 Mul atanh x0 Mul Pow sech log sech x0 Add pi -1 Mul pi Mul Mul tanh log sech x0 Mul -1 sech log sech x0 Mul Mul tanh x0 Mul -1 sech x0 Pow sech x0 -1 