Mul atanh x0 Pow asinh x0 cos x0 
Add Mul Pow asinh x0 cos x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul atanh x0 Mul Pow asinh x0 Add cos x0 -1 Add Mul cos x0 Pow sqrt Add 1 Mul x0 x0 -1 Mul Mul asinh x0 log asinh x0 Mul -1 sin x0 