Mul Pow asin Mul Add -3 acot x1 x4 Add x0 sec x0 2 
Mul 2 Mul Pow asin Mul Add -3 acot x1 x4 Add Add x0 sec x0 -1 Mul Mul asin Mul Add -3 acot x1 x4 log asin Mul Add -3 acot x1 x4 Add 1 Mul tan x0 sec x0 