Mul Pow x0 x0 Pow Pow Mul acosh E x0 Pow 3 Add x0 x0 Add Pow 0.850918128239322 Add 4 x0 -3 
Add Mul Pow Pow Mul acosh E x0 Pow 3 Add x0 x0 Add Pow 0.850918128239322 Add 4 x0 -3 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Pow x0 x0 Mul Pow Pow Mul acosh E x0 Pow 3 Add x0 x0 Add Add Pow 0.850918128239322 Add 4 x0 -3 -1 Add Mul Add Pow 0.850918128239322 Add 4 x0 -3 Mul Pow Mul acosh E x0 Add Pow 3 Add x0 x0 -1 Add Mul Pow 3 Add x0 x0 acosh E Mul Mul Mul acosh E x0 log Mul acosh E x0 Mul Pow 3 Add Add x0 x0 -1 6.09861228866811 Mul Mul Pow Mul acosh E x0 Pow 3 Add x0 x0 log Pow Mul acosh E x0 Pow 3 Add x0 x0 Mul Pow 0.850918128239322 Add Add 4 x0 -1 0.689478766668126 