Add atanh Mul sec atan x7 x0 Mul 3 sqrt atan cos x0 
Add Mul sec atan x7 Pow Add 1 Mul -1 Mul Mul sec atan x7 x0 Mul sec atan x7 x0 -1 Mul 3 Mul Pow Mul 2 sqrt atan cos x0 -1 Mul Mul -1 sin x0 Pow Add 1 Mul cos x0 cos x0 -1 