Pow Add x0 sin x6 Mul Pow Mul x7 Add x0 acosh E x0 2.09471254726110 
Mul Pow Add x0 sin x6 Add Mul Pow Mul x7 Add x0 acosh E x0 2.09471254726110 -1 Add Mul Pow Mul x7 Add x0 acosh E x0 2.09471254726110 Mul Mul Add x0 sin x6 log Add x0 sin x6 Mul 2.09471254726110 Mul Pow Mul x7 Add x0 acosh E Add x0 -1 Add Mul x0 x7 Mul Mul x7 Add x0 acosh E log Mul x7 Add x0 acosh E 