Pow x0 acosh sqrt Mul x0 acot pi 
Mul Pow x0 Add acosh sqrt Mul x0 acot pi -1 Add acosh sqrt Mul x0 acot pi Mul Mul x0 log x0 Mul Mul Pow Mul 2 sqrt Mul x0 acot pi -1 acot pi Pow Mul sqrt Add sqrt Mul x0 acot pi -1 sqrt Add 1 sqrt Mul x0 acot pi -1 