acot Mul x7 Mul Mul 1.09975017029462 x0 Add pi acosh Pow x6 x2 
Mul -1 Mul Mul x7 Mul Add pi acosh Pow x6 x2 1.09975017029462 Pow Add 1 Mul Mul x7 Mul Mul 1.09975017029462 x0 Add pi acosh Pow x6 x2 Mul x7 Mul Mul 1.09975017029462 x0 Add pi acosh Pow x6 x2 -1 