Mul acoth acos Pow x0 1.55740772465490 Mul x6 x0 
Add Mul Mul x6 x0 Mul Mul -1 Mul Mul Pow x0 0.557407724654902 1.55740772465490 Pow sqrt Add 1 Mul -1 Mul Pow x0 1.55740772465490 Pow x0 1.55740772465490 -1 Pow Add 1 Mul -1 Mul acos Pow x0 1.55740772465490 acos Pow x0 1.55740772465490 -1 Mul acoth acos Pow x0 1.55740772465490 x6 