Mul Mul Mul -2 x0 tanh Mul Pow x0 pi x0 Mul asech asech x7 4 
Mul Mul asech asech x7 4 Add Mul tanh Mul Pow x0 pi x0 -2 Mul Mul -2 x0 Mul Pow sech Mul Pow x0 pi x0 2 Add Mul x0 Mul Pow x0 Add pi -1 pi Pow x0 pi 