Pow Add 2 Add cot Pow sech x3 Mul x0 atan cot x1 x0 Add Mul x0 Pow x0 2 x0 
Mul Pow Add 2 Add cot Pow sech x3 Mul x0 atan cot x1 x0 Add Add Mul x0 Pow x0 2 x0 -1 Add Mul Add Mul x0 Pow x0 2 x0 Add Mul Mul -1 Pow csc Pow sech x3 Mul x0 atan cot x1 2 Mul Pow sech x3 Add Mul x0 atan cot x1 -1 Mul Mul sech x3 log sech x3 atan cot x1 1 Mul Mul Add 2 Add cot Pow sech x3 Mul x0 atan cot x1 x0 log Add 2 Add cot Pow sech x3 Mul x0 atan cot x1 x0 Add Add Pow x0 2 Mul x0 Mul x0 2 1 