Mul Pow 2 atan x0 Pow Add sinh sqrt x0 2 Add Mul x2 x0 x7 
Add Mul Pow Add sinh sqrt x0 2 Add Mul x2 x0 x7 Mul Pow 2 Add atan x0 -1 Mul 2.69314718055995 Pow Add 1 Mul x0 x0 -1 Mul Pow 2 atan x0 Mul Pow Add sinh sqrt x0 2 Add Add Mul x2 x0 x7 -1 Add Mul Add Mul x2 x0 x7 Mul cosh sqrt x0 Pow Mul 2 sqrt x0 -1 Mul Mul Add sinh sqrt x0 2 log Add sinh sqrt x0 2 x2 