Add x5 Pow Add Add acosh Mul Add x0 pi 3 x7 Add x0 4 x5 
Mul Pow Add Add acosh Mul Add x0 pi 3 x7 Add x0 4 Add x5 -1 Mul x5 Add Mul 3 Pow Mul sqrt Add Mul Add x0 pi 3 -1 sqrt Add 1 Mul Add x0 pi 3 -1 1 