Mul Add -2 Pow atan Pow x0 tan acoth x3 Mul -2 x0 Add x0 x0 
Add Mul Add x0 x0 Mul Pow atan Pow x0 tan acoth x3 Add Mul -2 x0 -1 Add Mul Mul -2 x0 Mul Mul Pow x0 Add tan acoth x3 -1 tan acoth x3 Pow Add 1 Mul Pow x0 tan acoth x3 Pow x0 tan acoth x3 -1 Mul Mul atan Pow x0 tan acoth x3 log atan Pow x0 tan acoth x3 -2 Mul Add -2 Pow atan Pow x0 tan acoth x3 Mul -2 x0 2 