sech Mul Pow Pow Add 4 x0 Mul Add Add exp x3 2 x0 -3 atanh E x2 
Mul Mul tanh Mul Pow Pow Add 4 x0 Mul Add Add exp x3 2 x0 -3 atanh E x2 Mul -1 sech Mul Pow Pow Add 4 x0 Mul Add Add exp x3 2 x0 -3 atanh E x2 Mul x2 Mul Pow Pow Add 4 x0 Mul Add Add exp x3 2 x0 -3 Add atanh E -1 Mul atanh E Mul Pow Add 4 x0 Add Mul Add Add exp x3 2 x0 -3 -1 Add Mul Add Add exp x3 2 x0 -3 Mul Mul Add 4 x0 log Add 4 x0 -3 