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