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