ABCF->ab-angle angle

Specification

?
\[\begin{array}{l} \\ 180 \cdot \frac{\tan^{-1} \left(\frac{1}{B} \cdot \left(\left(C - A\right) - \sqrt{{\left(A - C\right)}^{2} + {B}^{2}}\right)\right)}{\pi} \end{array} \]
(FPCore (A B C)
 :precision binary64
 (*
  180.0
  (/
   (atan (* (/ 1.0 B) (- (- C A) (sqrt (+ (pow (- A C) 2.0) (pow B 2.0))))))
   PI)))
double code(double A, double B, double C) {
	return 180.0 * (atan(((1.0 / B) * ((C - A) - sqrt((pow((A - C), 2.0) + pow(B, 2.0)))))) / ((double) M_PI));
}

public static double code(double A, double B, double C) {
	return 180.0 * (Math.atan(((1.0 / B) * ((C - A) - Math.sqrt((Math.pow((A - C), 2.0) + Math.pow(B, 2.0)))))) / Math.PI);
}

def code(A, B, C):
	return 180.0 * (math.atan(((1.0 / B) * ((C - A) - math.sqrt((math.pow((A - C), 2.0) + math.pow(B, 2.0)))))) / math.pi)

function code(A, B, C)
	return Float64(180.0 * Float64(atan(Float64(Float64(1.0 / B) * Float64(Float64(C - A) - sqrt(Float64((Float64(A - C) ^ 2.0) + (B ^ 2.0)))))) / pi))
end

function tmp = code(A, B, C)
	tmp = 180.0 * (atan(((1.0 / B) * ((C - A) - sqrt((((A - C) ^ 2.0) + (B ^ 2.0)))))) / pi);
end

code[A_, B_, C_] := N[(180.0 * N[(N[ArcTan[N[(N[(1.0 / B), $MachinePrecision] * N[(N[(C - A), $MachinePrecision] - N[Sqrt[N[(N[Power[N[(A - C), $MachinePrecision], 2.0], $MachinePrecision] + N[Power[B, 2.0], $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision] / Pi), $MachinePrecision]), $MachinePrecision]

\begin{array}{l}

\\
180 \cdot \frac{\tan^{-1} \left(\frac{1}{B} \cdot \left(\left(C - A\right) - \sqrt{{\left(A - C\right)}^{2} + {B}^{2}}\right)\right)}{\pi}
\end{array}

Reproduce

?
herbie shell --seed 2024097 
(FPCore (A B C)
  :name "ABCF->ab-angle angle"
  :precision binary64
  (* 180.0 (/ (atan (* (/ 1.0 B) (- (- C A) (sqrt (+ (pow (- A C) 2.0) (pow B 2.0)))))) PI)))

Please file a bug report with this information.

Backtrace

default-extraction-proc: did not compute cost for all eclasses: #((0 . binary64) (12 + 2 3 4) (0 $Type binary64 binary64 binary64) (8 / 2 91 18) (3 / 2 38 15) (10 + 2 6 7) (4 * 2 38 33) (5 * 2 38 294) (5 hypot 2 15 17) (1 . 0) (6 neg 13 8) (1 . 1) (1 . -1) (0 $Type binary64 binary64) (8 fma 43 15 15 623) (1 $Var 478 513) (4 - 2 33 38) (3 + 2 38 31) (2 neg 13 15) (11 * 2 20 21) (3 / 2 11 38) (7 + 2 31 161) (10 * 2 12 23) (8 - 2 18 504) (5 * 2 31 32) (4 * 2 31 33) (5 * 2 33 18) (5 * 2 18 33) (4 * 2 33 9) (4 * 2 9 33) (5 * 2 31 34) (1 $Var 478 716) (3 - 2 15 31) (2 neg 13 31) (3 - 2 31 15) (6 * 2 36 11) (4 / 2 31 39) (3 - 2 38 15) (1 $Var 478 479) (2 neg 13 38) (3 - 2 15 38) (5 * 2 40 11) (5 * 2 11 40) (0 $Type binary64 binary64 binary64 binary64) (4 / 2 9 39) (9 + 2 46 47) (3 * 2 31 31) (5 * 2 38 17) (6 * 2 18 49) (3 / 2 12 31) (5 / 2 51 38) (3 / 2 31 11) (9 / 2 60 31) (3 / 2 38 31) (8 / 2 504 33) (4 / 2 39 31) (7 / 2 504 31) (3 / 2 9 31) (10 / 2 292 31) (9 / 2 244 31) (7 - 2 38 504) (6 * 2 31 16) (3 * 2 9 31) (3 * 2 31 9) (5 * 2 31 17) (5 * 2 20 9) (5 * 2 9 20) (5 * 2 31 20) (6 * 2 74 33) (6 * 2 33 74) (5 * 2 20 31) (3 / 2 9 38) (5 / 2 33 39) (3 / 2 31 38) (3 / 2 12 38) (8 fma 43 15 32 78) (3 * 2 15 15) (8 + 2 80 78) (3 * 2 38 38) (5 * 2 15 32) (4 * 2 15 33) (7 + 2 76 78) (10 + 2 84 83) (4 * 2 38 39) (5 * 2 15 34) (5 * 2 15 40) (4 * 2 15 39) (10 neg 13 88) (9 - 2 89 86) (4 * 2 15 18) (8 + 2 39 91) (5 hypot 2 15 294) (6 neg 13 91) (8 + 2 78 80) (11 / 2 52 12) (4 neg 13 96) (3 / 2 15 12) (9 * 2 98 11) (7 + 2 15 504) (5 / 2 40 11) (5 / 2 37 11) (3 / 2 15 11) (3 / 2 38 11) (4 / 2 39 11) (4 / 2 18 11) (13 + 2 106 107) (7 / 2 91 15) (5 / 2 294 15) (3 * 2 38 31) (4 * 2 9 39) (4 * 2 39 9) (5 + 2 9 108) (6 * 2 38 16) (10 + 2 33 114) (7 - 2 8 38) (7 + 2 76 46) (12 / 2 117 39) (9 + 2 34 161) (8 neg 13 119) (7 - 2 15 161) (9 / 2 129 12) (11 neg 13 126) (7 / 2 91 12) (5 neg 13 127) (3 / 2 31 12) (9 neg 13 128) (10 / 2 242 12) (4 / 2 33 12) (8 / 2 92 12) (7 + 2 31 91) #f #f #f #f #f (1 . 180) #f (12 atan 13 296) #f #f #f (1 . -180) (14 * 2 135 137) #f (13 neg 13 137) #f (14 / 2 137 12) #f (14 * 2 137 141) #f (16 / 2 142 12) (8 / 2 161 39) (7 / 2 161 38) (10 * 2 74 158) (9 * 2 152 11) (10 * 2 158 74) (9 * 2 11 152) (5 / 2 71 11) (6 neg 13 161) (7 / 2 161 12) (8 / 2 158 11) (5 hypot 2 38 32) (7 / 2 161 11) (8 / 2 158 12) (5 * 2 11 74) (9 * 2 11 98) (6 / 2 167 11) (4 / 2 15 33) (3 * 2 38 9) (3 * 2 9 38) (12 atan 13 171) (11 / 2 401 38) (10 neg 13 173) (9 / 2 21 38) (13 + 2 175 176) (5 / 2 17 15) (7 / 2 8 15) (10 - 2 89 7) (5 * 2 38 295) (13 * 2 180 11) (11 * 2 358 12) (9 / 2 98 11) (8 / 2 506 11) (11 / 2 184 11) (9 - 2 15 60) (14 / 2 186 12) (12 / 2 340 39) (5 * 2 9 188) (3 / 2 11 31) (13 * 2 190 191) (3 / 2 11 15) (9 + 2 294 91) #f #f (12 atan 13 756) (13 neg 13 194) (14 / 2 194 12) (13 + 2 107 106) (12 / 2 199 39) (9 - 2 31 119) (7 + 2 46 76) (9 + 2 78 85) (5 / 2 37 12) (5 / 2 40 12) (4 / 2 18 12) (3 * 2 15 31) (3 * 2 31 15) (7 - 2 91 38) (14 * 2 135 209) (12 atan 13 253) #f #f (4 / 2 38 18) (5 * 2 221 9) (5 * 2 190 9) (5 * 2 9 221) (5 * 2 9 190) (5 neg 13 218) (4 / 2 9 18) (5 / 2 39 18) (6 / 2 212 12) (3 / 2 12 15) (11 * 2 60 188) #f (13 atan 13 672) (8 fma 43 38 38 264) (12 / 2 184 33) (10 neg 13 199) (14 / 2 229 39) (11 / 2 340 11) (11 / 2 231 15) (9 - 2 38 399) (12 / 2 120 18) (4 / 2 31 18) (3 / 2 31 15) (10 + 2 86 85) (5 / 2 71 12) (7 / 2 238 12) (5 / 2 32 38) (13 * 2 240 11) (11 * 2 401 12) (10 * 2 242 9) (8 - 2 33 91) (9 / 2 244 12) (7 - 2 504 38) (10 / 2 251 15) (8 / 2 8 18) (4 / 2 33 15) (9 / 2 252 15) (11 * 2 252 190) (11 * 2 190 252) (8 - 2 33 8) (7 + 2 31 8) (11 / 2 322 15) (10 * 2 255 11) (8 - 2 39 8) #f #f (10 - 2 16 8) (9 * 2 260 12) (7 + 2 38 8) (9 + 2 38 252) (11 * 2 261 11) (13 * 2 190 261) (5 pow 2 34 277) (10 + 2 80 30) (10 + 2 80 79) (9 + 2 46 79) (9 + 2 76 30) (9 + 2 30 76) (10 + 2 30 80) (9 + 2 79 46) (10 + 2 79 80) (7 * 2 32 34) (7 * 2 34 32) (11 + 2 24 84) (11 + 2 84 24) (1 . 2) (13 + 2 176 175) #f #f (11 / 2 282 12) (9 / 2 98 31) (12 / 2 284 11) (10 / 2 21 39) (10 neg 13 231) (3 * 2 38 15) (10 + 2 89 288) (5 * 2 31 294) (5 * 2 31 295) (11 / 2 52 11) (10 / 2 292 12) (8 + 2 39 504) (8 fma 43 15 15 365) (3 - 2 38 31) (3 - 2 31 38) (11 / 2 321 15) (5 / 2 295 15) (9 / 2 129 15) (11 * 2 11 298) (11 * 2 298 11) (10 / 2 377 18) (11 * 2 221 377) (11 * 2 377 221) (5 neg 13 233) (11 * 2 322 9) (11 * 2 9 322) (12 + 2 106 212) (13 * 2 321 221) (13 * 2 221 321) (13 / 2 296 12) (6 / 2 295 18) (10 / 2 129 18) (11 / 2 90 18) (10 / 2 207 18) (11 / 2 720 12) (5 / 2 234 12) (11 / 2 392 15) (5 / 2 124 15) (10 / 2 90 15) (9 / 2 207 15) (9 + 2 295 91) (9 - 2 38 129) (8 neg 13 324) (7 - 2 161 15) (5 / 2 101 12) (5 / 2 40 31) (5 / 2 37 31) (3 / 2 15 31) (11 / 2 330 12) (9 / 2 60 12) (10 * 2 9 242) (11 * 2 129 221) (6 / 2 218 12) (6 / 2 233 12) (11 / 2 330 11) (5 * 2 74 11) (5 / 2 74 11) (12 + 2 46 339) (8 fma 43 38 17 76) (9 + 2 161 34) (5 * 2 11 342) (3 / 2 15 38) #f (10 neg 13 346) (8 neg 13 350) (9 / 2 98 12) (11 / 2 496 12) (11 / 2 440 12) (11 / 2 184 12) (7 / 2 504 12) (8 / 2 506 12) (10 / 2 23 12) (5 / 2 102 12) (11 / 2 181 12) (7 / 2 100 12) (9 / 2 617 12) (11 / 2 667 12) (9 - 2 38 98) (11 / 2 184 31) (12 * 2 49 23) (5 * 2 9 37) (6 * 2 247 11) (11 * 2 364 190) (7 - 2 8 31) (5 pow 2 294 277) (10 + 2 6 289) (9 + 2 78 289) (9 + 2 46 7) (9 + 2 7 46) (10 + 2 7 6) (9 + 2 289 78) (10 + 2 289 6) (7 * 2 295 294) (7 * 2 294 295) (11 + 2 178 288) (11 + 2 288 178) (7 - 2 38 91) (16 / 2 379 12) (14 * 2 135 194) (6 neg 13 381) (5 / 2 34 38) (9 / 2 324 38) (6 / 2 124 18) (7 / 2 127 18) (7 * 2 32 74) (5 * 2 38 37) (5 * 2 37 9) (5 * 2 38 40) (5 * 2 37 12) (5 / 2 49 11) (11 / 2 392 12) (9 / 2 377 12) (9 / 2 119 12) (9 / 2 324 12) (9 / 2 350 12) (12 atan 13 397) (11 / 2 485 15) (9 * 2 399 11) (7 - 2 31 91) (10 neg 13 401) (9 - 2 32 161) (9 / 2 350 11) (11 * 2 190 404) (7 - 2 38 8) (12 / 2 126 15) (6 / 2 127 15) (11 / 2 408 11) (9 / 2 119 38) (8 neg 13 60) (5 * 2 15 188) (4 / 2 33 11) (15 / 2 224 12) (10 neg 13 414) (9 / 2 21 12) (11 / 2 416 11) (9 / 2 119 11) (7 + 2 38 91) (8 - 2 39 91) (12 / 2 416 39) (6 / 2 16 15) (12 * 2 11 422) (10 / 2 98 33) (11 * 2 399 190) (5 / 2 124 12) (6 / 2 127 12) (7 / 2 427 38) (5 / 2 32 12) (4 neg 13 124) (11 * 2 11 430) (9 / 2 487 15) (9 + 2 78 64) (7 / 2 433 12) (5 / 2 32 11) (6 / 2 101 33) (9 * 2 176 11) (9 * 2 11 176) (9 / 2 10 18) (8 neg 13 399) (11 * 2 440 11) (9 + 2 40 504) (12 * 2 284 11) (9 - 2 89 80) (5 neg 13 80) (6 + 2 9 6) (7 / 2 202 31) (6 / 2 124 39) (11 / 2 440 31) (4 / 2 38 33) (6 / 2 37 33) (4 / 2 9 33) (10 / 2 60 33) (5 neg 13 167) (11 / 2 358 31) (13 / 2 348 31) (11 / 2 346 31) (12 / 2 496 33) (5 / 2 57 12) (5 / 2 18 33) (11 / 2 292 33) (10 / 2 244 33) (11 / 2 23 33) (9 / 2 505 31) (6 / 2 102 33) (12 / 2 181 33) (8 / 2 100 33) (10 / 2 617 33) (12 / 2 667 33) (7 / 2 327 12) (5 / 2 53 12) (5 / 2 328 12) (9 / 2 350 31) (11 / 2 330 31) (5 / 2 96 31) (9 / 2 162 11) (10 / 2 162 39) (8 / 2 420 12) (7 / 2 16 18) (0 $Type binary64) (0 . h1) (11 / 2 414 38) (9 / 2 324 11) (10 neg 13 485) (8 + 2 33 91) (7 - 2 91 31) (9 - 2 31 417) (11 * 2 417 190) (7 - 2 31 8) (9 * 2 364 11) #f #f (12 atan 13 453) (14 * 2 135 491) (8 fma 43 15 15 64) (7 + 2 76 108) (10 - 2 89 64) (9 neg 13 23) (11 / 2 498 12) (9 / 2 21 11) (0 . binary32) (8 fma 43 31 31 85) (8 + 2 46 86) (5 / 2 124 11) (6 * 2 188 39) (5 hypot 2 31 40) (7 + 2 504 9) (6 neg 13 504) (9 + 2 260 9) (9 + 2 76 386) (9 / 2 260 15) (10 / 2 255 15) (12 * 2 512 11) (10 / 2 418 15) (0 . h0) (7 / 2 297 12) (6 / 2 167 12) (11 / 2 340 12) (10 neg 13 282) (12 * 2 422 11) (11 * 2 188 60) (4 neg 13 328) (12 + 2 54 53) (13 * 2 49 358) (13 * 2 440 188) (13 * 2 447 11) (13 * 2 188 440) (13 / 2 447 11) (11 / 2 496 31) (14 / 2 348 33) (5 / 2 57 11) (11 / 2 667 31) (5 / 2 101 31) (5 / 2 328 11) (6 / 2 450 12) (12 / 2 451 12) (12 / 2 330 33) (6 / 2 96 33) (10 / 2 505 33) (5 * 2 49 11) (13 / 2 180 11) (13 - 2 38 706) (13 + 2 500 86) (12 + 2 76 543) (8 fma 43 38 37 46) (9 + 2 64 78) (5 / 2 34 12) (5 / 2 102 11) (11 * 2 404 190) (7 / 2 381 11) #f (12 neg 13 516) (8 neg 13 159) (13 / 2 229 12) (11 / 2 199 12) (11 / 2 117 12) (9 / 2 162 12) (11 / 2 416 12) (5 / 2 51 12) (10 + 2 86 386) (9 - 2 8 17) (9 + 2 38 487) (5 * 2 32 9) (9 / 2 122 12) (5 neg 13 86) (13 + 2 86 543) (8 fma 43 31 31 566) (5 pow 2 40 277) (12 + 2 500 78) (10 + 2 500 9) (12 + 2 246 4) (5 / 2 73 11) (11 * 2 190 364) (12 + 2 493 108) (8 * 2 9 92) (9 * 2 404 11) (11 neg 13 579) (11 neg 13 113) (11 * 2 559 11) (11 * 2 11 559) (10 - 2 33 404) (10 neg 13 442) (10 / 2 639 12) (7 * 2 40 188) (6 / 2 32 39) (4 / 2 15 39) (10 / 2 324 39) (10 neg 13 498) (10 neg 13 181) (5 / 2 96 11) (9 + 2 47 108) (12 + 2 78 591) (8 fma 43 31 295 76) (12 / 2 593 12) (10 / 2 119 39) (11 / 2 340 38) (13 neg 13 186) (5 neg 13 36) (13 / 2 516 38) (6 / 2 101 39) (12 / 2 498 39) (8 / 2 433 39) (6 / 2 51 39) (5 / 2 342 12) (11 / 2 173 12) (11 / 2 408 12) (5 / 2 73 12) (5 / 2 96 38) (9 / 2 159 38) (11 / 2 393 38) (5 / 2 124 38) (10 / 2 639 11) (12 + 2 591 78) (12 / 2 392 18) (9 / 2 505 12) (7 * 2 91 9) (12 + 2 151 342) (11 * 2 377 190) (7 / 2 504 11) (10 / 2 23 11) (10 / 2 292 11) (9 / 2 244 11) (9 / 2 505 11) (9 * 2 56 11) (5 pow 2 17 277) (9 + 2 108 47) (9 + 2 108 64) (9 + 2 64 108) (9 + 2 47 46) (6 neg 13 623) (15 * 2 224 141) (15 * 2 135 224) (14 neg 13 224) (7 * 2 49 37) #f #f (17 / 2 630 12) (9 * 2 60 11) (11 * 2 190 399) (6 / 2 36 11) (8 - 2 33 161) (6 / 2 55 11) #f (13 + 2 246 212) (13 / 2 516 11) (9 * 2 377 11) (11 * 2 188 98) (9 * 2 11 56) (10 + 2 493 9) (11 / 2 117 11) (10 + 2 650 9) (8 fma 43 38 294 76) (10 * 2 506 49) (8 neg 13 404) (9 * 2 11 119) (9 * 2 119 11) (12 neg 13 229) (10 neg 13 117) (8 neg 13 162) (4 neg 13 51) (13 / 2 229 11) (11 / 2 199 11) (5 / 2 34 11) (5 / 2 101 11) (11 / 2 498 11) (7 / 2 433 11) (5 / 2 51 11) (13 + 2 6 591) (9 / 2 60 11) (13 + 2 650 6) (14 * 2 135 170) (5 * 2 49 38) (10 neg 13 509) (12 / 2 258 15) (12 * 2 190 255) (12 * 2 255 190) (12 * 2 11 245) (12 * 2 245 11) (11 / 2 261 15) (13 * 2 261 190) (7 * 2 295 221) (8 * 2 92 9) (10 neg 13 496) (7 + 2 78 46) (11 * 2 12 401) (6 * 2 32 18) (5 / 2 96 12) (10 * 2 49 506) (9 * 2 377 12) (10 + 2 386 86) (10 / 2 122 18) (5 * 2 49 12) (6 * 2 11 167) (9 * 2 417 11) (9 / 2 364 15) (13 / 2 240 12) (13 / 2 516 12) (11 / 2 414 12) (7 / 2 427 12) (9 / 2 159 12) (11 / 2 393 12) (11 * 2 11 191) #f (10 neg 13 703) (9 / 2 114 15) (11 * 2 119 20) (9 * 2 21 11) (11 / 2 346 12) (13 / 2 348 12) (7 / 2 202 12) (4 neg 13 73) (11 * 2 191 11) (11 / 2 496 11) (12 + 2 108 339) (10 - 2 628 76) (12 + 2 46 650) (11 * 2 321 12) (0 . h2) (11 / 2 120 12) (10 / 2 90 12) (9 / 2 207 12) (9 / 2 377 15) (13 * 2 559 190) (0 $Type binary32 binary32) (10 - 2 89 623) (7 / 2 100 11) (12 / 2 113 15) (5 * 2 188 9) (11 * 2 98 188) (12 * 2 23 49) (10 * 2 23 12) (13 + 2 731 80) (8 fma 43 38 38 30) (9 + 2 386 76) (6 neg 13 365) (11 * 2 21 20) (9 * 2 129 11) (10 + 2 83 24) (9 / 2 417 15) (11 neg 13 512) (5 * 2 74 12) (6 * 2 167 11) (11 / 2 181 11) (13 + 2 6 650) (12 / 2 579 15) (5 * 2 74 15) (9 * 2 252 11) (10 + 2 178 89) (4 neg 13 101) (7 / 2 427 11) (11 * 2 430 11) (14 / 2 516 39) (7 * 2 188 40) (7 * 2 37 49) (7 / 2 326 11) (8 + 2 76 6) (4 / 2 18 38) (11 / 2 560 15) (9 / 2 404 15) (11 / 2 559 15) (13 * 2 190 559) (9 + 2 85 78) (10 + 2 85 86) (9 neg 13 246) (12 * 2 74 639) (12 * 2 639 74) (5 * 2 11 49) (11 neg 13 245) (11 / 2 414 11) (6 * 2 49 18) (12 + 2 731 76) (6 / 2 36 12) (7 + 2 623 9) (12 + 2 493 78) (5 * 2 342 11) (5 * 2 188 15) (11 * 2 20 119) #f (11 / 2 416 38) (10 neg 13 184) (5 * 2 15 74) (11 / 2 191 15) (10 / 2 483 15) (9 / 2 484 15) (7 + 2 108 76) #f (14 * 2 194 141) (12 * 2 11 284) (13 * 2 74 401) (13 * 2 594 11) (13 / 2 594 11) (13 / 2 229 38) (11 / 2 199 38) (11 / 2 117 38) (6 / 2 44 12) (12 / 2 393 39) (13 / 2 240 11) (7 + 2 365 9) (8 + 2 86 46) (10 + 2 388 25) (11 + 2 112 89) (12 * 2 312 11) (13 + 2 80 75) (12 + 2 46 75) (10 + 2 731 9) (9 neg 13 255) (11 * 2 190 377) (3 * 2 15 38) (8 neg 13 377) (9 * 2 12 377) (12 * 2 11 512) (11 neg 13 811) (10 - 2 89 365) (7 * 2 74 32) (7 * 2 9 91) (12 + 2 650 46) (13 + 2 591 6) (10 + 2 591 9) #f (14 * 2 135 396) (6 * 2 39 188) (11 * 2 190 417) (4 neg 13 57) (7 / 2 202 11) (9 / 2 399 15) (12 + 2 3 234) (13 * 2 191 190) (11 * 2 11 440) (11 / 2 667 11) (10 + 2 288 89) (7 + 2 78 76) (13 neg 13 672) (9 / 2 159 11) (11 / 2 393 11) (5 * 2 38 49) (9 / 2 617 11) (8 + 2 6 76) (13 / 2 348 11) (11 / 2 346 11) (11 / 2 507 15) (8 neg 13 617))LC
run-egg/home/nightlies/herbie/egg-serialize/src/core/egg-herbie.rkt10260
simplify-batch/home/nightlies/herbie/egg-serialize/src/core/simplify.rkt150
(unnamed)/usr/local/racket/collects/racket/contract/private/arrow-higher-order.rkt37933
find-preprocessing/home/nightlies/herbie/egg-serialize/src/preprocess.rkt110
run-improve!/home/nightlies/herbie/egg-serialize/src/mainloop.rkt510
get-alternatives/report/home/nightlies/herbie/egg-serialize/src/sandbox.rkt1710
(unnamed)/home/nightlies/herbie/egg-serialize/src/sandbox.rkt2666
(unnamed)/usr/local/racket/share/pkgs/profile-lib/main.rkt4010
profile-thunk/usr/local/racket/share/pkgs/profile-lib/main.rkt90
(unnamed)/usr/local/racket/collects/racket/engine.rkt4224