Pow Mul Pow x0 Mul acoth exp x6 atanh x4 acot x0 1.73205080756888 
Mul Pow Mul Pow x0 Mul acoth exp x6 atanh x4 acot x0 0.732050807568877 Mul 1.73205080756888 Add Mul acot x0 Mul Pow x0 Add Mul acoth exp x6 atanh x4 -1 Mul acoth exp x6 atanh x4 Mul Pow x0 Mul acoth exp x6 atanh x4 Mul -1 Pow Add 1 Mul x0 x0 -1 