Add Pow x0 Add Add x5 x0 x0 acos Mul Mul Mul x2 Add Add Mul x0 x3 Mul x0 Pow Mul -3 x2 acosh pi x0 x3 x0 
Add Mul Pow x0 Add Add Add x5 x0 x0 -1 Add Add Add x5 x0 x0 Mul Mul x0 log x0 2 Mul -1 Mul Add Mul x0 Mul x3 Mul x2 Add Add x3 Pow Mul -3 x2 acosh pi 1 Mul Mul x2 Add Add Mul x0 x3 Mul x0 Pow Mul -3 x2 acosh pi x0 x3 Pow sqrt Add 1 Mul -1 Mul Mul Mul Mul x2 Add Add Mul x0 x3 Mul x0 Pow Mul -3 x2 acosh pi x0 x3 x0 Mul Mul Mul x2 Add Add Mul x0 x3 Mul x0 Pow Mul -3 x2 acosh pi x0 x3 x0 -1 