Pow x2 Pow Mul x0 cosh acosh E x0 
Mul Pow x2 Add Pow Mul x0 cosh acosh E x0 -1 Mul Mul x2 log x2 Mul Pow Mul x0 cosh acosh E Add x0 -1 Add Mul x0 cosh acosh E Mul Mul x0 cosh acosh E log Mul x0 cosh acosh E 