Pow Pow acos exp Mul x0 x0 2 csc x0 
Mul Pow Pow acos exp Mul x0 x0 2 Add csc x0 -1 Add Mul csc x0 Mul acos exp Mul x0 x0 Mul 2 Mul -1 Mul Mul exp Mul x0 x0 Add x0 x0 Pow sqrt Add 1 Mul -1 Mul exp Mul x0 x0 exp Mul x0 x0 -1 Mul Mul Pow acos exp Mul x0 x0 2 log Pow acos exp Mul x0 x0 2 Mul Mul -1 cot x0 csc x0 