Mul Add sinh x0 x0 Mul asech x7 Pow asinh Mul x0 -2 cos x0 
Add Mul Mul asech x7 Pow asinh Mul x0 -2 cos x0 Add cosh x0 1 Mul Add sinh x0 x0 Mul asech x7 Mul Pow asinh Mul x0 -2 Add cos x0 -1 Add Mul cos x0 Mul -2 Pow sqrt Add 1 Mul Mul x0 -2 Mul x0 -2 -1 Mul Mul asinh Mul x0 -2 log asinh Mul x0 -2 Mul -1 sin x0 