atan Add Add sqrt x0 -3 Add Pow x0 cot Pow cot x5 2 acoth x3 
Mul Add Pow Mul 2 sqrt x0 -1 Mul Pow x0 Add cot Pow cot x5 2 -1 cot Pow cot x5 2 Pow Add 1 Mul Add Add sqrt x0 -3 Add Pow x0 cot Pow cot x5 2 acoth x3 Add Add sqrt x0 -3 Add Pow x0 cot Pow cot x5 2 acoth x3 -1 