Pow Pow Pow cosh x4 2 Pow Mul -5 x0 sqrt x0 x5 
Mul Pow Pow Pow cosh x4 2 Pow Mul -5 x0 sqrt x0 Add x5 -1 Mul x5 Mul Pow Pow cosh x4 2 Add Pow Mul -5 x0 sqrt x0 -1 Mul Mul Pow cosh x4 2 log Pow cosh x4 2 Mul Pow Mul -5 x0 Add sqrt x0 -1 Add Mul sqrt x0 -5 Mul Mul Mul -5 x0 log Mul -5 x0 Pow Mul 2 sqrt x0 -1 