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