Add Mul atan Mul pi log sech sech x0 pi Add Mul x0 x0 x3 
Add Mul pi Mul Mul pi Mul Mul Mul tanh sech x0 Mul -1 sech sech x0 Mul tanh x0 Mul -1 sech x0 Pow sech sech x0 -1 Pow Add 1 Mul Mul pi log sech sech x0 Mul pi log sech sech x0 -1 Add x0 x0 