Add cot Add Pow acot x7 x0 x6 Mul acot Mul Add x0 Add x0 asech x4 x0 asech x6 
Add Mul Mul -1 Pow csc Add Pow acot x7 x0 x6 2 Mul Pow acot x7 Add x0 -1 Mul acot x7 log acot x7 Mul asech x6 Mul -1 Mul Add Mul x0 2 Add x0 Add x0 asech x4 Pow Add 1 Mul Mul Add x0 Add x0 asech x4 x0 Mul Add x0 Add x0 asech x4 x0 -1 