Pow Mul Pow acoth x0 Mul 8.44363547517881 x4 x0 Mul x0 3125 
Mul Pow Mul Pow acoth x0 Mul 8.44363547517881 x4 x0 Add Mul x0 3125 -1 Add Mul Mul x0 3125 Add Mul x0 Mul Pow acoth x0 Add Mul 8.44363547517881 x4 -1 Mul Mul 8.44363547517881 x4 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow acoth x0 Mul 8.44363547517881 x4 Mul Mul Mul Pow acoth x0 Mul 8.44363547517881 x4 x0 log Mul Pow acoth x0 Mul 8.44363547517881 x4 x0 3125 