Pow acot Pow acot x0 Pow acoth x0 -1 2.09439510239320 
Mul Pow acot Pow acot x0 Pow acoth x0 -1 1.09439510239320 Mul 2.09439510239320 Mul -1 Mul Mul Pow acot x0 Add Pow acoth x0 -1 -1 Add Mul Pow acoth x0 -1 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 Mul Pow acoth x0 2 Mul -1 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Pow acot x0 Pow acoth x0 -1 Pow acot x0 Pow acoth x0 -1 -1 