Pow Mul Add x4 E Pow Add Mul -5 x0 acosh Add 2 pi x0 Mul x0 x0 
Mul Pow Mul Add x4 E Pow Add Mul -5 x0 acosh Add 2 pi x0 Add Mul x0 x0 -1 Add Mul Mul x0 x0 Mul Add x4 E Mul Pow Add Mul -5 x0 acosh Add 2 pi Add x0 -1 Add Mul x0 -5 Mul Add Mul -5 x0 acosh Add 2 pi log Add Mul -5 x0 acosh Add 2 pi Mul Mul Mul Add x4 E Pow Add Mul -5 x0 acosh Add 2 pi x0 log Mul Add x4 E Pow Add Mul -5 x0 acosh Add 2 pi x0 Add x0 x0 