Mul Mul Mul Pow asinh x2 acoth cos x0 x0 3 sqrt x3 
Mul sqrt x3 Mul 3 Add Mul x0 Mul Pow asinh x2 Add acoth cos x0 -1 Mul Mul asinh x2 log asinh x2 Mul Mul -1 sin x0 Pow Add 1 Mul -1 Mul cos x0 cos x0 -1 Pow asinh x2 acoth cos x0 