Mul x0 Mul tanh atan Mul Mul pi x0 pi x0 
Add Mul tanh atan Mul Mul pi x0 pi x0 Mul x0 Add Mul x0 Mul Pow sech atan Mul Mul pi x0 pi 2 Mul Mul pi pi Pow Add 1 Mul Mul Mul pi x0 pi Mul Mul pi x0 pi -1 tanh atan Mul Mul pi x0 pi 