Add Add acosh tanh x0 acosh x6 exp Pow Pow x2 atanh x0 Add -4 x1 
Add Mul Pow sech x0 2 Pow Mul sqrt Add tanh x0 -1 sqrt Add 1 tanh x0 -1 Mul exp Pow Pow x2 atanh x0 Add -4 x1 Mul Pow Pow x2 atanh x0 Add Add -4 x1 -1 Mul Add -4 x1 Mul Pow x2 Add atanh x0 -1 Mul Mul x2 log x2 Pow Add 1 Mul -1 Mul x0 x0 -1 