Mul Pow atan Mul tan sec x0 asin E Pow x0 x3 csc x0 
Add Mul csc x0 Mul Pow atan Mul tan sec x0 asin E Add Pow x0 x3 -1 Add Mul Pow x0 x3 Mul Mul asin E Mul Pow sec sec x0 2 Mul tan x0 sec x0 Pow Add 1 Mul Mul tan sec x0 asin E Mul tan sec x0 asin E -1 Mul Mul atan Mul tan sec x0 asin E log atan Mul tan sec x0 asin E Mul Pow x0 Add x3 -1 x3 Mul Pow atan Mul tan sec x0 asin E Pow x0 x3 Mul Mul -1 cot x0 csc x0 