Pow Pow exp E x0 Pow x0 acosh Mul 3 x3 
Mul Pow Pow exp E x0 Add Pow x0 acosh Mul 3 x3 -1 Add Mul Pow x0 acosh Mul 3 x3 Mul Pow exp E Add x0 -1 Mul exp E log exp E Mul Mul Pow exp E x0 log Pow exp E x0 Mul Pow x0 Add acosh Mul 3 x3 -1 acosh Mul 3 x3 