Mul x3 Add acosh exp cos Mul sinh x0 4 Pow x7 cosh x0 
Mul x3 Add Mul Mul exp cos Mul sinh x0 4 Mul Mul -1 sin Mul sinh x0 4 Mul 4 cosh x0 Pow Mul sqrt Add exp cos Mul sinh x0 4 -1 sqrt Add 1 exp cos Mul sinh x0 4 -1 Mul Pow x7 Add cosh x0 -1 Mul Mul x7 log x7 sinh x0 