Mul x0 Mul Add Pow acot acosh Pow x0 -0.481211825059603 x0 Mul x0 sqrt pi x0 
Add Mul Add Pow acot acosh Pow x0 -0.481211825059603 x0 Mul x0 sqrt pi x0 Mul x0 Add Mul x0 Add Mul Pow acot acosh Pow x0 -0.481211825059603 Add x0 -1 Add Mul x0 Mul -1 Mul Mul Mul Pow x0 -1.48121182505960 -0.481211825059603 Pow Mul sqrt Add Pow x0 -0.481211825059603 -1 sqrt Add 1 Pow x0 -0.481211825059603 -1 Pow Add 1 Mul acosh Pow x0 -0.481211825059603 acosh Pow x0 -0.481211825059603 -1 Mul acot acosh Pow x0 -0.481211825059603 log acot acosh Pow x0 -0.481211825059603 sqrt pi Add Pow acot acosh Pow x0 -0.481211825059603 x0 Mul x0 sqrt pi 