Details

Time bar (total: 4.0s)

sample35.0ms

Algorithm
intervals
Results
17.0ms410×body80valid

simplify14.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
0267
1576
2956
31166
41186
51186

prune9.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 2

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ t (* z b))
0.0b
(+ (* y z) (+ x (* a (+ t (* z b)))))
0.0b
(+ x (* a (+ t (* z b))))
1.5b
(* a (+ t (* z b)))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
13×add-log-exp
8×add-sqr-sqrt
6×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
5×sum-log
4×flip3-+ flip-+
3×+-commutative associate-+r+ associate-*r* associate-*l*
2×distribute-rgt-in distribute-lft-in associate-*r/
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 59
Calls
4 calls:
3.0ms
(+ t (* z b))
8.0ms
(+ (* y z) (+ x (* a (+ t (* z b)))))
3.0ms
(+ x (* a (+ t (* z b))))
6.0ms
(* a (+ t (* z b)))

series236.0ms

Counts
4 → 12
Calls
4 calls:
25.0ms
(+ t (* z b))
87.0ms
(+ (* y z) (+ x (* a (+ t (* z b)))))
67.0ms
(+ x (* a (+ t (* z b))))
56.0ms
(* a (+ t (* z b)))

simplify43.0ms

Algorithm
egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 1 (9.0ms)

IterNodesCost
0325392
11353363
25002363

prune166.0ms

Filtered
71 candidates to 54 candidates (76.1%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New64771
Fresh011
Picked101
Done000
Total65873

Merged error: 0.0b

Counts
73 → 8

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* a t) (* a (* z b)))
0.0b
(+ (* y z) (+ x (+ (* a t) (* a (* z b)))))
0.0b
(+ x (+ (* a t) (* a (* z b))))
4.2b
(* a (* z b))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
20×add-log-exp
10×sum-log
9×pow1 add-exp-log add-cbrt-cube
7×*-un-lft-identity
5×add-sqr-sqrt add-cube-cbrt
3×+-commutative flip3-+ associate-*l* pow-prod-down prod-exp cbrt-unprod flip-+
2×associate-+r+ distribute-lft-out
1×associate-*r* *-commutative
Counts
4 → 58
Calls
4 calls:
4.0ms
(+ (* a t) (* a (* z b)))
8.0ms
(+ (* y z) (+ x (+ (* a t) (* a (* z b)))))
8.0ms
(+ x (+ (* a t) (* a (* z b))))
5.0ms
(* a (* z b))

series245.0ms

Counts
4 → 12
Calls
4 calls:
59.0ms
(+ (* a t) (* a (* z b)))
89.0ms
(+ (* y z) (+ x (+ (* a t) (* a (* z b)))))
71.0ms
(+ x (+ (* a t) (* a (* z b))))
26.0ms
(* a (* z b))

simplify46.0ms

Algorithm
egg-herbie
Counts
70 → 70
Iterations

Useful iterations: 2 (40.0ms)

IterNodesCost
0341421
11496378
25001376

prune147.0ms

Filtered
70 candidates to 51 candidates (72.9%)
Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New70070
Fresh077
Picked011
Done000
Total70878

Merged error: 0.0b

Counts
78 → 8

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (+ t (* z b))) (cbrt (+ t (* z b))))
2.0b
(cbrt (+ t (* z b)))
2.0b
(cbrt (+ t (* z b)))
2.0b
(cbrt (+ t (* z b)))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
18×cbrt-div
15×add-cube-cbrt *-un-lft-identity
11×pow1
9×flip3-+ pow1/3 flip-+
6×add-exp-log swap-sqr associate-*r* associate-*l*
4×frac-times add-cbrt-cube add-log-exp unswap-sqr
2×associate-*r/ pow-prod-down associate-*l/ pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 87
Calls
4 calls:
8.0ms
(* (cbrt (+ t (* z b))) (cbrt (+ t (* z b))))
2.0ms
(cbrt (+ t (* z b)))
2.0ms
(cbrt (+ t (* z b)))
2.0ms
(cbrt (+ t (* z b)))

series431.0ms

Counts
4 → 12
Calls
4 calls:
102.0ms
(* (cbrt (+ t (* z b))) (cbrt (+ t (* z b))))
110.0ms
(cbrt (+ t (* z b)))
107.0ms
(cbrt (+ t (* z b)))
111.0ms
(cbrt (+ t (* z b)))

simplify133.0ms

Algorithm
egg-herbie
Counts
99 → 99
Iterations

Useful iterations: 3 (123.0ms)

IterNodesCost
0303872
11042820
24602747
35001736

prune303.0ms

Filtered
99 candidates to 75 candidates (75.8%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New97299
Fresh246
Picked101
Done011
Total1007107

Merged error: 0.0b

Counts
107 → 7

localize21.0ms

Local error

Found 4 expressions with local error:

2.0b
(cbrt (+ t (* z b)))
2.0b
(cbrt (+ t (* z b)))
2.0b
(cbrt (+ t (* z b)))
2.0b
(cbrt (+ t (* z b)))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt add-cube-cbrt cbrt-div *-un-lft-identity
4×pow1 add-exp-log flip3-+ pow1/3 add-cbrt-cube flip-+ add-log-exp
Counts
4 → 52
Calls
4 calls:
2.0ms
(cbrt (+ t (* z b)))
2.0ms
(cbrt (+ t (* z b)))
2.0ms
(cbrt (+ t (* z b)))
2.0ms
(cbrt (+ t (* z b)))

series450.0ms

Counts
4 → 12
Calls
4 calls:
113.0ms
(cbrt (+ t (* z b)))
112.0ms
(cbrt (+ t (* z b)))
113.0ms
(cbrt (+ t (* z b)))
112.0ms
(cbrt (+ t (* z b)))

simplify150.0ms

Algorithm
egg-herbie
Counts
64 → 64
Iterations

Useful iterations: 4 (144.0ms)

IterNodesCost
0169484
1434456
21396420
34733388
45001384

prune251.0ms

Filtered
64 candidates to 56 candidates (87.5%)
Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New64064
Fresh055
Picked011
Done011
Total64771

Merged error: 0.0b

Counts
71 → 7

regimes262.0ms

Accuracy

60.6% (1.0b remaining)

Error of 1.0b against oracle of 0.0b and baseline of 2.6b

bsearch2.0ms

simplify5.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03928
14128
24128

end0.0ms

sample927.0ms

Algorithm
intervals
Results
522.0ms11753×body80valid

Profiling

Loading profile data...