Add Add Pow Add x0 Pow Mul acosh Add -4 x0 x6 x4 -4 x0 Add Add Pow x0 4 pi Mul x0 3 
Add Add Mul Pow Add x0 Pow Mul acosh Add -4 x0 x6 x4 5 Mul -4 Add 1 Mul Pow Mul acosh Add -4 x0 x6 Add x4 -1 Mul x4 Mul x6 Pow Mul sqrt Add Add -4 x0 -1 sqrt Add 1 Add -4 x0 -1 1 Add Mul Pow x0 3 4 3 