Pow tanh x0 Mul x0 Mul Add exp Pow Pow Pow x0 x7 x0 x0 Add E Pow atanh x2 asech atanh x0 tanh x0 
Mul Pow tanh x0 Add Mul x0 Mul Add exp Pow Pow Pow x0 x7 x0 x0 Add E Pow atanh x2 asech atanh x0 tanh x0 -1 Add Mul Mul x0 Mul Add exp Pow Pow Pow x0 x7 x0 x0 Add E Pow atanh x2 asech atanh x0 tanh x0 Pow sech x0 2 Mul Mul tanh x0 log tanh x0 Add Mul Add exp Pow Pow Pow x0 x7 x0 x0 Add E Pow atanh x2 asech atanh x0 tanh x0 Mul x0 Add Mul tanh x0 Add Mul exp Pow Pow Pow x0 x7 x0 x0 Mul Pow Pow Pow x0 x7 x0 Add x0 -1 Add Mul x0 Mul Pow Pow x0 x7 Add x0 -1 Add Mul x0 Mul Pow x0 Add x7 -1 x7 Mul Pow x0 x7 log Pow x0 x7 Mul Pow Pow x0 x7 x0 log Pow Pow x0 x7 x0 Mul Pow atanh x2 Add asech atanh x0 -1 Mul Mul atanh x2 log atanh x2 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul atanh x0 atanh x0 sqrt Add 1 Mul -1 Pow Mul atanh x0 atanh x0 -1 -1 Mul Add exp Pow Pow Pow x0 x7 x0 x0 Add E Pow atanh x2 asech atanh x0 Pow sech x0 2 