acosh Pow Pow x0 acot Mul Pow x0 x0 x1 0.321750554396642 
Mul Mul Pow Pow x0 acot Mul Pow x0 x0 x1 -0.678249445603358 Mul 0.321750554396642 Mul Pow x0 Add acot Mul Pow x0 x0 x1 -1 Add acot Mul Pow x0 x0 x1 Mul Mul x0 log x0 Mul -1 Mul Mul x1 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Add 1 Mul Mul Pow x0 x0 x1 Mul Pow x0 x0 x1 -1 Pow Mul sqrt Add Pow Pow x0 acot Mul Pow x0 x0 x1 0.321750554396642 -1 sqrt Add 1 Pow Pow x0 acot Mul Pow x0 x0 x1 0.321750554396642 -1 