Pow Add cosh x0 Mul Pow x0 sqrt x1 x0 Add x0 Add E Mul E 3 
Mul Pow Add cosh x0 Mul Pow x0 sqrt x1 x0 Add Add x0 Add E Mul E 3 -1 Add Mul Add x0 Add E Mul E 3 Add sinh x0 Add Mul x0 Mul Pow x0 Add sqrt x1 -1 sqrt x1 Pow x0 sqrt x1 Mul Add cosh x0 Mul Pow x0 sqrt x1 x0 log Add cosh x0 Mul Pow x0 sqrt x1 x0 