tan Pow Mul x0 acoth pi Pow x0 Mul x0 -0.756802495307928 
Mul Pow sec Pow Mul x0 acoth pi Pow x0 Mul x0 -0.756802495307928 2 Mul Pow Mul x0 acoth pi Add Pow x0 Mul x0 -0.756802495307928 -1 Add Mul Pow x0 Mul x0 -0.756802495307928 acoth pi Mul Mul Mul x0 acoth pi log Mul x0 acoth pi Mul Pow x0 Add Mul x0 -0.756802495307928 -1 Add Mul x0 -0.756802495307928 Mul Mul x0 log x0 -0.756802495307928 