sinh Mul asinh x4 Pow x1 cos sqrt Mul x0 3 
Mul cosh Mul asinh x4 Pow x1 cos sqrt Mul x0 3 Mul asinh x4 Mul Pow x1 Add cos sqrt Mul x0 3 -1 Mul Mul x1 log x1 Mul Mul -1 sin sqrt Mul x0 3 Mul Pow Mul 2 sqrt Mul x0 3 -1 3 