Pow x7 sinh Mul 2 Add x1 Mul Add Add Add Add 1 x0 E x0 Add acosh x3 Mul -1 x0 -3 
Mul Pow x7 Add sinh Mul 2 Add x1 Mul Add Add Add Add 1 x0 E x0 Add acosh x3 Mul -1 x0 -3 -1 Mul Mul x7 log x7 cosh Mul 2 Add x1 Mul Add Add Add Add 1 x0 E x0 Add acosh x3 Mul -1 x0 -3 