Details

Time bar (total: 42.3s)

sample26.0ms

Algorithm
intervals
Results
9.0ms270×body80valid

simplify16.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0194
1444
2824
31324
41754
52084
62214
72214

prune10.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 4.8b

Counts
2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(* z (- y t))
4.8b
(/ x (/ (* z (- y t)) 2.0))

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
33×times-frac
24×add-sqr-sqrt
22×*-un-lft-identity
20×add-cube-cbrt
13×add-exp-log add-cbrt-cube
7×associate-/r*
5×cbrt-undiv div-exp associate-*r* div-inv
4×pow1
3×associate-*l* associate-/l*
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r/ prod-exp cbrt-unprod add-log-exp
1×flip3-- frac-2neg pow-prod-down clear-num associate-/r/ *-commutative flip-- distribute-lft-out-- difference-of-squares unswap-sqr
Counts
2 → 74
Calls
2 calls:
9.0ms
(* z (- y t))
7.0ms
(/ x (/ (* z (- y t)) 2.0))

series93.0ms

Counts
2 → 6
Calls
2 calls:
44.0ms
(* z (- y t))
49.0ms
(/ x (/ (* z (- y t)) 2.0))

simplify39.0ms

Algorithm
egg-herbie
Counts
80 → 80
Iterations

Useful iterations: 2 (32.0ms)

IterNodesCost
0353467
11535417
25002414

prune268.0ms

Filtered
80 candidates to 57 candidates (28.8%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New74680
Fresh000
Picked011
Done000
Total74781

Merged error: 0b

Counts
81 → 7

localize6.0ms

Local error

Found 1 expressions with local error:

4.2b
(/ (/ x z) (/ (- y t) 2.0))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
637×times-frac
351×add-sqr-sqrt *-un-lft-identity
267×add-cube-cbrt
42×distribute-lft-out-- difference-of-squares
35×div-inv
19×associate-/r*
13×add-exp-log add-cbrt-cube associate-/l*
8×cbrt-undiv div-exp
1×pow1 frac-2neg clear-num associate-/r/ associate-/l/ add-log-exp
Counts
1 → 299
Calls
1 calls:
16.0ms
(/ (/ x z) (/ (- y t) 2.0))

series53.0ms

Counts
1 → 3
Calls
1 calls:
53.0ms
(/ (/ x z) (/ (- y t) 2.0))

simplify64.0ms

Algorithm
egg-herbie
Counts
302 → 302
Iterations

Useful iterations: 1 (30.0ms)

IterNodesCost
015643639
150013548

prune2.5s

Filtered
302 candidates to 217 candidates (28.1%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New3002302
Fresh235
Picked011
Done011
Total3027309

Merged error: 0b

Counts
309 → 7

localize8.0ms

Local error

Found 2 expressions with local error:

0.2b
(/ (/ 1 z) (/ (- y t) 2.0))
4.8b
(* x (/ (/ 1 z) (/ (- y t) 2.0)))

rewrite120.0ms

Algorithm
rewrite-expression-head
Rules
1263×times-frac
707×add-sqr-sqrt
684×*-un-lft-identity
520×add-cube-cbrt
252×associate-*r*
81×distribute-lft-out-- difference-of-squares
68×div-inv
56×add-exp-log
32×div-exp add-cbrt-cube
19×associate-/r*
16×cbrt-undiv
13×associate-/l*
9×prod-exp
7×unswap-sqr
5×cbrt-unprod
4×pow1 rec-exp 1-exp
3×associate-*l*
2×associate-/r/ add-log-exp
1×frac-2neg associate-*r/ pow-prod-down clear-num *-commutative associate-/l/
Counts
2 → 589
Calls
2 calls:
17.0ms
(/ (/ 1 z) (/ (- y t) 2.0))
58.0ms
(* x (/ (/ 1 z) (/ (- y t) 2.0)))

series93.0ms

Counts
2 → 6
Calls
2 calls:
35.0ms
(/ (/ 1 z) (/ (- y t) 2.0))
58.0ms
(* x (/ (/ 1 z) (/ (- y t) 2.0)))

simplify103.0ms

Algorithm
egg-herbie
Counts
595 → 595
Iterations

Useful iterations: 1 (46.0ms)

IterNodesCost
021805980
150015668

prune5.2s

Filtered
595 candidates to 341 candidates (42.7%)
Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New5950595
Fresh044
Picked011
Done022
Total5957602

Merged error: 0b

Counts
602 → 7

localize8.0ms

Local error

Found 2 expressions with local error:

1.2b
(/ 1 (/ (/ (- y t) 2.0) (/ x z)))
3.9b
(/ (/ (- y t) 2.0) (/ x z))

rewrite203.0ms

Algorithm
rewrite-expression-head
Rules
3845×times-frac
1921×add-sqr-sqrt *-un-lft-identity
1525×add-cube-cbrt
265×associate-/r*
198×distribute-lft-out-- difference-of-squares
168×div-inv
58×add-exp-log
42×div-exp
32×add-cbrt-cube
22×associate-/l*
21×cbrt-undiv
6×associate-/r/
5×rec-exp 1-exp
3×pow1
2×frac-2neg div-sub clear-num add-log-exp
1×pow-flip associate-/l/ inv-pow
Counts
2 → 1344
Calls
2 calls:
48.0ms
(/ 1 (/ (/ (- y t) 2.0) (/ x z)))
14.0ms
(/ (/ (- y t) 2.0) (/ x z))

series207.0ms

Counts
2 → 6
Calls
2 calls:
141.0ms
(/ 1 (/ (/ (- y t) 2.0) (/ x z)))
66.0ms
(/ (/ (- y t) 2.0) (/ x z))

simplify258.0ms

Algorithm
egg-herbie
Counts
1350 → 1350
Iterations

Useful iterations: 1 (73.0ms)

IterNodesCost
0454119114
1500318554

prune31.8s

Filtered
1350 candidates to 791 candidates (41.4%)
Pruning

7 alts after pruning (3 fresh and 4 done)

PrunedKeptTotal
New135001350
Fresh033
Picked011
Done033
Total135071357

Merged error: 0b

Counts
1357 → 7

regimes307.0ms

Accuracy

42.7% (3.4b remaining)

Error of 3.4b against oracle of 0.0b and baseline of 5.9b

bsearch83.0ms

Steps
ItersRangePoint
5
2.203045785538233e-164
7.567343047242508e-164
7.36972738959608e-164
9
-1.7066391881130814e-90
-1.7398666896260048e-98
-5.169287313997779e-91

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0228
1228

end0.0ms

sample696.0ms

Algorithm
intervals
Results
303.0ms8722×body80valid

Profiling

Loading profile data...