Pow Add asec Pow Mul acot x0 x1 sqrt x0 Add pi x0 csc x0 
Mul Pow Add asec Pow Mul acot x0 x1 sqrt x0 Add pi x0 Add csc x0 -1 Add Mul csc x0 Add Mul Mul Pow Mul acot x0 x1 Add sqrt x0 -1 Add Mul sqrt x0 Mul x1 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul Mul acot x0 x1 log Mul acot x0 x1 Pow Mul 2 sqrt x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Mul acot x0 x1 sqrt x0 Pow Mul acot x0 x1 sqrt x0 -1 Pow Mul acot x0 x1 sqrt x0 Pow Mul acot x0 x1 sqrt x0 -1 1 Mul Mul Add asec Pow Mul acot x0 x1 sqrt x0 Add pi x0 log Add asec Pow Mul acot x0 x1 sqrt x0 Add pi x0 Mul Mul -1 cot x0 csc x0 