sec log Mul x2 Mul Mul x2 x0 acsc acot x0 
Mul Mul tan log Mul x2 Mul Mul x2 x0 acsc acot x0 sec log Mul x2 Mul Mul x2 x0 acsc acot x0 Mul Mul x2 Add Mul acsc acot x0 x2 Mul Mul x2 x0 Mul -1 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acot x0 acot x0 -1 acot x0 acot x0 -1 Pow Mul x2 Mul Mul x2 x0 acsc acot x0 -1 