Mul Mul Mul x0 Pow Mul acosh Add -2 sqrt x4 x5 Add Mul -4 x0 x7 exp pi x6 
Mul x6 Mul exp pi Add Pow Mul acosh Add -2 sqrt x4 x5 Add Mul -4 x0 x7 Mul x0 Mul Pow Mul acosh Add -2 sqrt x4 x5 Add Add Mul -4 x0 x7 -1 Mul Mul Mul acosh Add -2 sqrt x4 x5 log Mul acosh Add -2 sqrt x4 x5 -4 