Pow Pow cos x0 asinh csch x3 x0 
Mul Pow Pow cos x0 asinh csch x3 Add x0 -1 Add Mul x0 Mul Pow cos x0 Add asinh csch x3 -1 Mul asinh csch x3 Mul -1 sin x0 Mul Pow cos x0 asinh csch x3 log Pow cos x0 asinh csch x3 