Mul Pow Add 5 sech x0 atanh Add exp x0 Mul x0 Mul E Mul x0 -3 x2 
Mul x2 Mul Pow Add 5 sech x0 Add atanh Add exp x0 Mul x0 Mul E Mul x0 -3 -1 Add Mul atanh Add exp x0 Mul x0 Mul E Mul x0 -3 Mul tanh x0 Mul -1 sech x0 Mul Mul Add 5 sech x0 log Add 5 sech x0 Mul Add exp x0 Add Mul E Mul x0 -3 Mul x0 Mul E -3 Pow Add 1 Mul -1 Mul Add exp x0 Mul x0 Mul E Mul x0 -3 Add exp x0 Mul x0 Mul E Mul x0 -3 -1 