Mul Pow E acos acoth x6 Pow x0 Mul Pow x0 Mul 4.20217594311995 x0 0.648054273663885 
Mul Pow E acos acoth x6 Mul Pow x0 Add Mul Pow x0 Mul 4.20217594311995 x0 0.648054273663885 -1 Add Mul Pow x0 Mul 4.20217594311995 x0 0.648054273663885 Mul Mul x0 log x0 Mul 0.648054273663885 Mul Pow x0 Add Mul 4.20217594311995 x0 -1 Add Mul 4.20217594311995 x0 Mul Mul x0 log x0 4.20217594311995 