acot Add 4 Mul Pow x2 acoth acosh Pow Mul 4 x6 Pow x2 0.597876576401301 atan x0 
Mul -1 Mul Mul Pow x2 acoth acosh Pow Mul 4 x6 Pow x2 0.597876576401301 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul Add 4 Mul Pow x2 acoth acosh Pow Mul 4 x6 Pow x2 0.597876576401301 atan x0 Add 4 Mul Pow x2 acoth acosh Pow Mul 4 x6 Pow x2 0.597876576401301 atan x0 -1 