Mul 3 Add x3 Add Add x3 Pow tanh Mul Mul pi atanh x0 sqrt x2 x2 Add E Add x0 Add 3 x0 
Mul 3 Add Mul Pow tanh Mul Mul pi atanh x0 sqrt x2 Add x2 -1 Mul x2 Mul Pow sech Mul Mul pi atanh x0 sqrt x2 2 Mul sqrt x2 Mul pi Pow Add 1 Mul -1 Mul x0 x0 -1 2 