Mul acot x0 Pow Add Add -2 Pow Add Add x0 x0 -1 x4 cot asec cot x6 Mul log Mul 2 Mul x0 x1 x0 
Add Mul Pow Add Add -2 Pow Add Add x0 x0 -1 x4 cot asec cot x6 Mul log Mul 2 Mul x0 x1 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul Pow Add Add -2 Pow Add Add x0 x0 -1 x4 cot asec cot x6 Add Mul log Mul 2 Mul x0 x1 x0 -1 Add Mul Mul log Mul 2 Mul x0 x1 x0 Mul Pow Add Add x0 x0 -1 Add x4 -1 Mul x4 2 Mul Mul Add Add -2 Pow Add Add x0 x0 -1 x4 cot asec cot x6 log Add Add -2 Pow Add Add x0 x0 -1 x4 cot asec cot x6 Add Mul x0 Mul Mul 2 x1 Pow Mul 2 Mul x0 x1 -1 log Mul 2 Mul x0 x1 