acos Add x2 log log Mul sec x0 asin x2 
Mul -1 Mul Mul Mul Mul asin x2 Mul tan x0 sec x0 Pow Mul sec x0 asin x2 -1 Pow log Mul sec x0 asin x2 -1 Pow sqrt Add 1 Mul -1 Mul Add x2 log log Mul sec x0 asin x2 Add x2 log log Mul sec x0 asin x2 -1 