Pow sec Pow x0 acoth pi Mul x0 -0.863691154450617 
Mul Pow sec Pow x0 acoth pi Add Mul x0 -0.863691154450617 -1 Add Mul Mul x0 -0.863691154450617 Mul Mul tan Pow x0 acoth pi sec Pow x0 acoth pi Mul Pow x0 Add acoth pi -1 acoth pi Mul Mul sec Pow x0 acoth pi log sec Pow x0 acoth pi -0.863691154450617 