Add x2 Add Pow Mul x0 asec Mul x3 -1 x0 Mul Add Mul acosh Pow x1 4 x0 1.32134870881090 4 
Add Mul Pow Mul x0 asec Mul x3 -1 Add x0 -1 Add Mul x0 asec Mul x3 -1 Mul Mul x0 asec Mul x3 -1 log Mul x0 asec Mul x3 -1 Mul 4 acosh Pow x1 4 