atan cot acoth Mul Mul x4 -4 Add cot Add x0 x0 x0 
Mul Mul Mul -1 Pow csc acoth Mul Mul x4 -4 Add cot Add x0 x0 x0 2 Mul Mul Mul x4 -4 Add Mul Mul -1 Pow csc Add x0 x0 2 2 1 Pow Add 1 Mul -1 Mul Mul Mul x4 -4 Add cot Add x0 x0 x0 Mul Mul x4 -4 Add cot Add x0 x0 x0 -1 Pow Add 1 Mul cot acoth Mul Mul x4 -4 Add cot Add x0 x0 x0 cot acoth Mul Mul x4 -4 Add cot Add x0 x0 x0 -1 