Add Pow sech x5 exp Pow x0 Add x3 Pow pi 0.0625000000000000 x3 
Mul Pow sech x5 Add exp Pow x0 Add x3 Pow pi 0.0625000000000000 -1 Mul Mul sech x5 log sech x5 Mul exp Pow x0 Add x3 Pow pi 0.0625000000000000 Mul Pow x0 Add Add x3 Pow pi 0.0625000000000000 -1 Add x3 Pow pi 0.0625000000000000 