Add log x0 Pow acot x0 Mul Add acoth x0 x0 x5 
Add Pow x0 -1 Mul Pow acot x0 Add Mul Add acoth x0 x0 x5 -1 Add Mul Mul Add acoth x0 x0 x5 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 Mul x5 Add Pow Add 1 Mul -1 Mul x0 x0 -1 1 