Add x0 Mul Mul x0 Add sech pi x0 Add Mul x3 Add x0 Mul -4 x0 atan x0 
Add 1 Add Mul Add Mul x3 Add x0 Mul -4 x0 atan x0 Add Add sech pi x0 x0 Mul Mul x0 Add sech pi x0 Add Mul x3 3 Pow Add 1 Mul x0 x0 -1 