Add Add x0 4 acoth Mul Mul Mul Mul 2 x0 tan E Pow x0 acoth Add exp x0 pi Pow x0 2 
Add 1 Mul Add Mul Pow x0 2 Add Mul Pow x0 acoth Add exp x0 pi Mul tan E 2 Mul Mul Mul 2 x0 tan E Mul Pow x0 Add acoth Add exp x0 pi -1 Add acoth Add exp x0 pi Mul Mul x0 log x0 Mul exp x0 Pow Add 1 Mul -1 Mul Add exp x0 pi Add exp x0 pi -1 Mul Mul Mul Mul 2 x0 tan E Pow x0 acoth Add exp x0 pi Mul x0 2 Pow Add 1 Mul -1 Mul Mul Mul Mul Mul 2 x0 tan E Pow x0 acoth Add exp x0 pi Pow x0 2 Mul Mul Mul Mul 2 x0 tan E Pow x0 acoth Add exp x0 pi Pow x0 2 -1 