Pow Add Mul 2 x1 x0 Pow x0 Mul cosh E 4 
Mul Pow Add Mul 2 x1 x0 Add Pow x0 Mul cosh E 4 -1 Add Pow x0 Mul cosh E 4 Mul Mul Add Mul 2 x1 x0 log Add Mul 2 x1 x0 Mul Pow x0 Add Mul cosh E 4 -1 Mul cosh E 4 