Add atanh Mul 5 Pow Pow Pow Add x0 x0 Mul tanh sinh x0 x4 x7 Add 4 Mul -2 acosh x5 x0 
Add Mul Mul 5 Mul Pow Pow Pow Add x0 x0 Mul tanh sinh x0 x4 x7 Add Add 4 Mul -2 acosh x5 -1 Mul Add 4 Mul -2 acosh x5 Mul Pow Pow Add x0 x0 Mul tanh sinh x0 x4 Add x7 -1 Mul x7 Mul Pow Add x0 x0 Add Mul tanh sinh x0 x4 -1 Add Mul Mul tanh sinh x0 x4 2 Mul Mul Add x0 x0 log Add x0 x0 Mul x4 Mul Pow sech sinh x0 2 cosh x0 Pow Add 1 Mul -1 Mul Mul 5 Pow Pow Pow Add x0 x0 Mul tanh sinh x0 x4 x7 Add 4 Mul -2 acosh x5 Mul 5 Pow Pow Pow Add x0 x0 Mul tanh sinh x0 x4 x7 Add 4 Mul -2 acosh x5 -1 1 