Mul Pow atan sinh x0 x0 asinh asinh cos x0 
Add Mul asinh asinh cos x0 Mul Pow atan sinh x0 Add x0 -1 Add Mul x0 Mul cosh x0 Pow Add 1 Mul sinh x0 sinh x0 -1 Mul atan sinh x0 log atan sinh x0 Mul Pow atan sinh x0 x0 Mul Mul Mul -1 sin x0 Pow sqrt Add 1 Mul cos x0 cos x0 -1 Pow sqrt Add 1 Mul asinh cos x0 asinh cos x0 -1 