cos Mul Add Mul x0 asinh x1 Mul Mul Mul x0 -5 sqrt x0 2 x7 
Mul Mul -1 sin Mul Add Mul x0 asinh x1 Mul Mul Mul x0 -5 sqrt x0 2 x7 Mul x7 Add asinh x1 Mul 2 Add Mul sqrt x0 -5 Mul Mul x0 -5 Pow Mul 2 sqrt x0 -1 