Mul Mul x0 Add sech acot sqrt Mul Add x3 x0 Mul x0 x0 x0 -3 
Mul -3 Add Add sech acot sqrt Mul Add x3 x0 Mul x0 x0 x0 Mul x0 Add Mul Mul tanh acot sqrt Mul Add x3 x0 Mul x0 x0 Mul -1 sech acot sqrt Mul Add x3 x0 Mul x0 x0 Mul -1 Mul Mul Pow Mul 2 sqrt Mul Add x3 x0 Mul x0 x0 -1 Add Mul x0 x0 Mul Add x3 x0 Add x0 x0 Pow Add 1 Mul sqrt Mul Add x3 x0 Mul x0 x0 sqrt Mul Add x3 x0 Mul x0 x0 -1 1 