Mul Add x1 acosh x4 Pow Mul x0 -3 Pow Mul Add Add x0 pi x0 x0 x6 
Mul Add x1 acosh x4 Mul Pow Mul x0 -3 Add Pow Mul Add Add x0 pi x0 x0 x6 -1 Add Mul Pow Mul Add Add x0 pi x0 x0 x6 -3 Mul Mul Mul x0 -3 log Mul x0 -3 Mul Pow Mul Add Add x0 pi x0 x0 Add x6 -1 Mul x6 Add Mul x0 2 Add Add x0 pi x0 