Pow acot Add x2 Add x0 asec sin sin x0 Pow x3 x0 
Mul Pow acot Add x2 Add x0 asec sin sin x0 Add Pow x3 x0 -1 Add Mul Pow x3 x0 Mul -1 Mul Add 1 Mul Mul cos sin x0 cos x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul sin sin x0 sin sin x0 -1 sin sin x0 sin sin x0 -1 Pow Add 1 Mul Add x2 Add x0 asec sin sin x0 Add x2 Add x0 asec sin sin x0 -1 Mul Mul acot Add x2 Add x0 asec sin sin x0 log acot Add x2 Add x0 asec sin sin x0 Mul Pow x3 Add x0 -1 Mul x3 log x3 