Add Pow cot acoth x2 Pow log Mul -2 log x5 x0 x0 
Add Mul Pow cot acoth x2 Add Pow log Mul -2 log x5 x0 -1 Mul Mul cot acoth x2 log cot acoth x2 Mul Pow log Mul -2 log x5 Add x0 -1 Mul log Mul -2 log x5 log log Mul -2 log x5 1 