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