sech Mul acosh Mul exp Add tanh x0 Pow Pow Add atanh x7 x0 x0 x0 x0 -3 
Mul Mul tanh Mul acosh Mul exp Add tanh x0 Pow Pow Add atanh x7 x0 x0 x0 x0 -3 Mul -1 sech Mul acosh Mul exp Add tanh x0 Pow Pow Add atanh x7 x0 x0 x0 x0 -3 Mul -3 Mul Add Mul x0 Mul exp Add tanh x0 Pow Pow Add atanh x7 x0 x0 x0 Add Pow sech x0 2 Mul Pow Pow Add atanh x7 x0 x0 Add x0 -1 Add Mul x0 Mul Pow Add atanh x7 x0 Add x0 -1 Add x0 Mul Add atanh x7 x0 log Add atanh x7 x0 Mul Pow Add atanh x7 x0 x0 log Pow Add atanh x7 x0 x0 exp Add tanh x0 Pow Pow Add atanh x7 x0 x0 x0 Pow Mul sqrt Add Mul exp Add tanh x0 Pow Pow Add atanh x7 x0 x0 x0 x0 -1 sqrt Add 1 Mul exp Add tanh x0 Pow Pow Add atanh x7 x0 x0 x0 x0 -1 