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