log Add Pow log acosh x0 Add Add x2 Mul -2 x0 1 x0 
Mul Add Mul Pow log acosh x0 Add Add Add x2 Mul -2 x0 1 -1 Add Mul Add Add x2 Mul -2 x0 1 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow acosh x0 -1 Mul Mul log acosh x0 log log acosh x0 -2 1 Pow Add Pow log acosh x0 Add Add x2 Mul -2 x0 1 x0 -1 