Pow Pow -2 x6 Pow Mul x4 32 Add Add Mul Add -1 x0 -3 1 Mul acosh x6 x0 
Mul Pow Pow -2 x6 Add Pow Mul x4 32 Add Add Mul Add -1 x0 -3 1 Mul acosh x6 x0 -1 Mul Mul Pow -2 x6 log Pow -2 x6 Mul Pow Mul x4 32 Add Add Add Mul Add -1 x0 -3 1 Mul acosh x6 x0 -1 Mul Mul Mul x4 32 log Mul x4 32 Add -3 acosh x6 