Add asec Mul Mul x0 -1 acot x4 cot x0 
Add Mul Mul acot x4 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Mul x0 -1 acot x4 Mul Mul x0 -1 acot x4 -1 Mul Mul x0 -1 acot x4 Mul Mul x0 -1 acot x4 -1 Mul -1 Pow csc x0 2 