Add Pow x0 x0 Mul pi Add Pow acot Mul x0 0.265802228834080 x0 Pow acoth x0 -2 
Add Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul pi Add Mul Pow acot Mul x0 0.265802228834080 Add x0 -1 Add Mul x0 Mul -1 Mul 0.265802228834080 Pow Add 1 Mul Mul x0 0.265802228834080 Mul x0 0.265802228834080 -1 Mul acot Mul x0 0.265802228834080 log acot Mul x0 0.265802228834080 Mul Pow acoth x0 3 Mul -2 Pow Add 1 Mul -1 Mul x0 x0 -1 