Pow x0 Add Mul Add Add -1 acosh cosh E Mul x0 x0 acosh x3 x1 
Mul Pow x0 Add Add Mul Add Add -1 acosh cosh E Mul x0 x0 acosh x3 x1 -1 Add Add Mul Add Add -1 acosh cosh E Mul x0 x0 acosh x3 x1 Mul Mul x0 log x0 Mul acosh x3 Add x0 x0 