Add Mul x0 Add x0 x0 Mul Pow Pow Add acosh pi x0 x0 x2 -0.756802495307928 
Add Add Add x0 x0 Mul x0 2 Mul -0.756802495307928 Mul Pow Pow Add acosh pi x0 x0 Add x2 -1 Mul x2 Mul Pow Add acosh pi x0 Add x0 -1 Add x0 Mul Add acosh pi x0 log Add acosh pi x0 