tan Pow Mul acos Pow Pow x0 sec x0 asin x3 3 4 
Mul Pow sec Pow Mul acos Pow Pow x0 sec x0 asin x3 3 4 2 Mul Pow Mul acos Pow Pow x0 sec x0 asin x3 3 3 Mul 4 Mul 3 Mul -1 Mul Mul Pow Pow x0 sec x0 Add asin x3 -1 Mul asin x3 Mul Pow x0 Add sec x0 -1 Add sec x0 Mul Mul x0 log x0 Mul tan x0 sec x0 Pow sqrt Add 1 Mul -1 Mul Pow Pow x0 sec x0 asin x3 Pow Pow x0 sec x0 asin x3 -1 