Mul Pow sech atanh Mul Add exp x0 -5 Add Add Add x7 5 Pow x0 sqrt x1 Pow Add 4 x1 5 x0 Mul E E 
Mul Mul E E Mul Pow sech atanh Mul Add exp x0 -5 Add Add Add x7 5 Pow x0 sqrt x1 Pow Add 4 x1 5 Add x0 -1 Add Mul x0 Mul Mul tanh atanh Mul Add exp x0 -5 Add Add Add x7 5 Pow x0 sqrt x1 Pow Add 4 x1 5 Mul -1 sech atanh Mul Add exp x0 -5 Add Add Add x7 5 Pow x0 sqrt x1 Pow Add 4 x1 5 Mul Add Mul Add Add Add x7 5 Pow x0 sqrt x1 Pow Add 4 x1 5 exp x0 Mul Add exp x0 -5 Mul Pow x0 Add sqrt x1 -1 sqrt x1 Pow Add 1 Mul -1 Mul Mul Add exp x0 -5 Add Add Add x7 5 Pow x0 sqrt x1 Pow Add 4 x1 5 Mul Add exp x0 -5 Add Add Add x7 5 Pow x0 sqrt x1 Pow Add 4 x1 5 -1 Mul sech atanh Mul Add exp x0 -5 Add Add Add x7 5 Pow x0 sqrt x1 Pow Add 4 x1 5 log sech atanh Mul Add exp x0 -5 Add Add Add x7 5 Pow x0 sqrt x1 Pow Add 4 x1 5 