Mul Mul x0 Pow 2 Mul 5 Mul x0 0.295812915532746 tan Pow Mul acoth acoth x0 acot Mul x0 x2 pi 
Add Mul tan Pow Mul acoth acoth x0 acot Mul x0 x2 pi Add Pow 2 Mul 5 Mul x0 0.295812915532746 Mul x0 Mul Pow 2 Add Mul 5 Mul x0 0.295812915532746 -1 7.98896009609269 Mul Mul x0 Pow 2 Mul 5 Mul x0 0.295812915532746 Mul Pow sec Pow Mul acoth acoth x0 acot Mul x0 x2 pi 2 Mul Pow Mul acoth acoth x0 acot Mul x0 x2 Add pi -1 Mul pi Add Mul acot Mul x0 x2 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul acoth x0 acoth x0 -1 Mul acoth acoth x0 Mul -1 Mul x2 Pow Add 1 Mul Mul x0 x2 Mul x0 x2 -1 