Add acoth csc Pow 3 Pow sec sqrt acoth x1 x0 1 
Mul Mul Mul Mul -1 cot Pow 3 Pow sec sqrt acoth x1 x0 csc Pow 3 Pow sec sqrt acoth x1 x0 Mul Pow 3 Add Pow sec sqrt acoth x1 x0 -1 Mul 4.09861228866811 Mul Pow sec sqrt acoth x1 Add x0 -1 Mul sec sqrt acoth x1 log sec sqrt acoth x1 Pow Add 1 Mul -1 Mul csc Pow 3 Pow sec sqrt acoth x1 x0 csc Pow 3 Pow sec sqrt acoth x1 x0 -1 