Add 1.47818803379730 Pow acosh exp x7 Mul Add atanh Add x0 2 x0 3 
Mul Pow acosh exp x7 Add Mul Add atanh Add x0 2 x0 3 -1 Mul Mul acosh exp x7 log acosh exp x7 Mul 3 Add Pow Add 1 Mul -1 Mul Add x0 2 Add x0 2 -1 1 