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