Pow Pow Pow x0 x4 Mul -4 x0 Mul Pow acosh x0 -2 2 
Mul Pow Pow Pow x0 x4 Mul -4 x0 Add Mul Pow acosh x0 -2 2 -1 Add Mul Mul Pow acosh x0 -2 2 Mul Pow Pow x0 x4 Add Mul -4 x0 -1 Add Mul Mul -4 x0 Mul Pow x0 Add x4 -1 x4 Mul Mul Pow x0 x4 log Pow x0 x4 -4 Mul Mul Pow Pow x0 x4 Mul -4 x0 log Pow Pow x0 x4 Mul -4 x0 Mul 2 Mul Pow acosh x0 3 Mul -2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 