Add Mul x0 exp acosh Mul Add x0 Mul x0 Mul x0 pi 3 Pow Pow x1 x0 -4 
Add Add exp acosh Mul Add x0 Mul x0 Mul x0 pi 3 Mul x0 Mul exp acosh Mul Add x0 Mul x0 Mul x0 pi 3 Mul Mul 3 Add 1 Add Mul x0 pi Mul x0 pi Pow Mul sqrt Add Mul Add x0 Mul x0 Mul x0 pi 3 -1 sqrt Add 1 Mul Add x0 Mul x0 Mul x0 pi 3 -1 Mul Pow Pow x1 x0 5 Mul -4 Mul Pow x1 Add x0 -1 Mul x1 log x1 