Details

Time bar (total: 3.5s)

sample73.0ms

Algorithm
intervals
Results
24.0ms49×body1280valid
19.0ms55×body640valid
8.0ms142×body80valid
5.0ms27×body320valid
4.0ms107×body80nan
2.0ms13×body160valid

simplify112.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 4 (9.0ms)

IterNodesCost
0156
1246
2516
31066
43044
57744
641424
750014

prune4.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 12.3b

Counts
2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ x (+ x y))
7.8b
(pow (/ x (+ x y)) x)

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
34×*-un-lft-identity
24×times-frac
20×add-sqr-sqrt add-cube-cbrt
18×unpow-prod-down
7×add-exp-log distribute-lft-out
4×associate-/r* associate-/r/ add-cbrt-cube
3×pow1 pow-unpow associate-/l*
2×flip3-+ div-exp pow-exp flip-+ div-inv add-log-exp
1×cbrt-undiv pow-to-exp pow-pow frac-2neg clear-num sqr-pow
Counts
2 → 66
Calls
2 calls:
5.0ms
(/ x (+ x y))
6.0ms
(pow (/ x (+ x y)) x)

series272.0ms

Counts
2 → 6
Calls
2 calls:
39.0ms
(/ x (+ x y))
233.0ms
(pow (/ x (+ x y)) x)

simplify40.0ms

Algorithm
egg-herbie
Counts
72 → 72
Iterations

Useful iterations: 2 (33.0ms)

IterNodesCost
0309402
11244387
25002386

prune131.0ms

Filtered
72 candidates to 50 candidates (69.4%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New69372
Fresh000
Picked101
Done000
Total70373

Merged error: 1.3b

Counts
73 → 3

localize8.0ms

Local error

Found 1 expressions with local error:

0.0b
(/ (exp (* -1 y)) x)

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt add-cube-cbrt *-un-lft-identity times-frac
3×associate-/r* add-cbrt-cube associate-/l*
2×add-exp-log
1×pow1 cbrt-undiv exp-neg frac-2neg mul-1-neg div-exp clear-num div-inv associate-/l/ add-log-exp
Counts
1 → 28
Calls
1 calls:
4.0ms
(/ (exp (* -1 y)) x)

series19.0ms

Counts
1 → 3
Calls
1 calls:
19.0ms
(/ (exp (* -1 y)) x)

simplify48.0ms

Algorithm
egg-herbie
Counts
31 → 31
Iterations

Useful iterations: 2 (11.0ms)

IterNodesCost
0114186
1303172
21465170
35003170

prune54.0ms

Filtered
31 candidates to 23 candidates (74.2%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New30131
Fresh022
Picked011
Done000
Total30434

Merged error: 1.3b

Counts
34 → 4

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ 1 (* x (exp y)))
0.0b
(* x (exp y))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
11×add-exp-log
9×add-cbrt-cube
8×add-sqr-sqrt
7×pow1
6×add-cube-cbrt *-un-lft-identity
4×div-exp prod-exp
3×times-frac associate-*r* associate-*l* associate-/l*
2×cbrt-undiv rec-exp pow-flip 1-exp pow-prod-down cbrt-unprod add-log-exp
1×frac-2neg clear-num associate-/r* *-commutative div-inv inv-pow unswap-sqr
Counts
2 → 46
Calls
2 calls:
5.0ms
(/ 1 (* x (exp y)))
5.0ms
(* x (exp y))

series41.0ms

Counts
2 → 6
Calls
2 calls:
19.0ms
(/ 1 (* x (exp y)))
21.0ms
(* x (exp y))

simplify95.0ms

Algorithm
egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 2 (24.0ms)

IterNodesCost
0173203
1786170
24230163
35002163

prune62.0ms

Filtered
52 candidates to 29 candidates (55.8%)
Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New51152
Fresh022
Picked011
Done011
Total51556

Merged error: 1.2b

Counts
56 → 5

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* 1/2 (pow y 2)) (+ y 1))
0.4b
(/ 1 (* x (+ (* 1/2 (pow y 2)) (+ y 1))))
4.3b
(* x (+ (* 1/2 (pow y 2)) (+ y 1)))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
16×add-exp-log
10×add-cbrt-cube
9×add-sqr-sqrt
8×pow1 add-log-exp
7×add-cube-cbrt *-un-lft-identity
4×associate-*r/ div-exp prod-exp
3×flip3-+ times-frac associate-*r* associate-*l* sum-log flip-+ associate-/l*
2×cbrt-undiv rec-exp pow-flip 1-exp pow-prod-down associate-/r/ cbrt-unprod
1×+-commutative distribute-rgt-in associate-+r+ frac-2neg distribute-lft-in clear-num associate-/r* *-commutative div-inv inv-pow unswap-sqr
Counts
3 → 65
Calls
3 calls:
7.0ms
(+ (* 1/2 (pow y 2)) (+ y 1))
9.0ms
(/ 1 (* x (+ (* 1/2 (pow y 2)) (+ y 1))))
8.0ms
(* x (+ (* 1/2 (pow y 2)) (+ y 1)))

series108.0ms

Counts
3 → 9
Calls
3 calls:
17.0ms
(+ (* 1/2 (pow y 2)) (+ y 1))
50.0ms
(/ 1 (* x (+ (* 1/2 (pow y 2)) (+ y 1))))
41.0ms
(* x (+ (* 1/2 (pow y 2)) (+ y 1)))

simplify54.0ms

Algorithm
egg-herbie
Counts
74 → 74
Iterations

Useful iterations: 2 (47.0ms)

IterNodesCost
0339550
11749468
25002462

prune104.0ms

Filtered
74 candidates to 45 candidates (60.8%)
Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New74074
Fresh022
Picked011
Done022
Total74579

Merged error: 1.2b

Counts
79 → 5

regimes62.0ms

Accuracy

92.4% (0.9b remaining)

Error of 1.6b against oracle of 0.7b and baseline of 12.3b

bsearch87.0ms

Steps
ItersRangePoint
6
5.0295420654173144e-14
2.575196888632014e-13
2.533222095666427e-13
11
-895.7341520863147
-3.138575948961601e-20
-15.52181361111243

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02914
12914

end0.0ms

sample2.0s

Algorithm
intervals
Results
728.0ms1504×body1280valid
424.0ms1431×body640valid
267.0ms4888×body80valid
165.0ms859×body320valid
128.0ms3152×body80nan
53.0ms422×body160valid

Profiling

Loading profile data...