Mul asin Add 4 Pow Pow 2 sec acsc asin x3 x0 -1 
Mul -1 Mul Mul Pow Pow 2 sec acsc asin x3 Add x0 -1 Mul Pow 2 sec acsc asin x3 log Pow 2 sec acsc asin x3 Pow sqrt Add 1 Mul -1 Mul Add 4 Pow Pow 2 sec acsc asin x3 x0 Add 4 Pow Pow 2 sec acsc asin x3 x0 -1 