Mul Mul atan Pow sin x0 x1 asec x1 atanh x0 
Add Mul atanh x0 Mul asec x1 Mul Mul Pow sin x0 Add x1 -1 Mul x1 cos x0 Pow Add 1 Mul Pow sin x0 x1 Pow sin x0 x1 -1 Mul Mul atan Pow sin x0 x1 asec x1 Pow Add 1 Mul -1 Mul x0 x0 -1 