Mul Pow acsc Mul x0 -1 x0 tan acos Pow x7 -2 
Mul tan acos Pow x7 -2 Mul Pow acsc Mul x0 -1 Add x0 -1 Add Mul x0 Mul -1 Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x0 -1 Mul x0 -1 -1 Mul x0 -1 Mul x0 -1 -1 Mul acsc Mul x0 -1 log acsc Mul x0 -1 