Add Pow x5 x2 cosh Add x0 Pow x7 Mul x0 sqrt Pow Add x7 Mul x0 Mul -1 x0 acosh x2 
Mul sinh Add x0 Pow x7 Mul x0 sqrt Pow Add x7 Mul x0 Mul -1 x0 acosh x2 Add 1 Mul Pow x7 Add Mul x0 sqrt Pow Add x7 Mul x0 Mul -1 x0 acosh x2 -1 Mul Mul x7 log x7 Add sqrt Pow Add x7 Mul x0 Mul -1 x0 acosh x2 Mul x0 Mul Pow Mul 2 sqrt Pow Add x7 Mul x0 Mul -1 x0 acosh x2 -1 Mul Pow Add x7 Mul x0 Mul -1 x0 Add acosh x2 -1 Mul acosh x2 Add Mul -1 x0 Mul x0 -1 