Details

Time bar (total: 8.1s)

sample2.3s

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 54.6875%

Results
14.0ms267×body80valid

simplify114.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0238
1378
2658
3948
41088
51328
62018
73598
88258
932128
1050028

prune5.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 22.1b

Counts
2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ y (* z (- b y)))
0.0b
(* z (- b y))
0.5b
(+ (* x y) (* z (- t a)))
21.4b
(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

rewrite22.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
16×*-un-lft-identity
14×add-cube-cbrt
9×times-frac
8×add-exp-log associate-+r+ add-cbrt-cube add-log-exp
6×pow1 distribute-rgt-in sub-neg distribute-lft-in
5×associate-*r*
4×flip3-+ flip-+
3×associate-*l* associate-/r* associate-/l*
2×+-commutative associate-*r/ sum-log associate-/r/ associate-/l/
1×cbrt-undiv flip3-- frac-2neg div-exp pow-prod-down prod-exp clear-num *-commutative flip-- cbrt-unprod div-inv distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 87
Calls
4 calls:
3.0ms
(+ y (* z (- b y)))
6.0ms
(* z (- b y))
4.0ms
(+ (* x y) (* z (- t a)))
7.0ms
(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

series119.0ms

Counts
4 → 12
Calls
4 calls:
7.0ms
(+ y (* z (- b y)))
7.0ms
(* z (- b y))
15.0ms
(+ (* x y) (* z (- t a)))
90.0ms
(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

simplify46.0ms

Algorithm
egg-herbie
Counts
99 → 99
Iterations

Useful iterations: 1 (9.0ms)

IterNodesCost
0353708
11481648
25001648

prune180.0ms

Filtered
69 candidates to 99 candidates (-43.5%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New90999
Fresh000
Picked011
Done000
Total9010100

Merged error: 21.5b

Counts
100 → 10

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b
(* z (- b y))
0.3b
(/ 1 (+ y (* z (- b y))))
0.5b
(+ (* x y) (* z (- t a)))
21.4b
(* (+ (* x y) (* z (- t a))) (/ 1 (+ y (* z (- b y)))))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
33×add-sqr-sqrt
25×*-un-lft-identity
22×add-cube-cbrt
20×times-frac associate-*r*
19×add-exp-log
13×add-cbrt-cube
9×pow1
6×associate-*l* add-log-exp
5×flip3-+ prod-exp flip-+
4×distribute-rgt-in sub-neg associate-+r+ distribute-lft-in div-exp associate-/r/ unswap-sqr
3×associate-*r/ associate-/r* cbrt-unprod associate-/l*
2×cbrt-undiv frac-times rec-exp 1-exp pow-prod-down associate-*l/ *-commutative div-inv
1×+-commutative flip3-- pow-flip frac-2neg clear-num sum-log un-div-inv flip-- distribute-lft-out-- inv-pow difference-of-squares
Counts
4 → 116
Calls
4 calls:
6.0ms
(* z (- b y))
4.0ms
(/ 1 (+ y (* z (- b y))))
4.0ms
(+ (* x y) (* z (- t a)))
10.0ms
(* (+ (* x y) (* z (- t a))) (/ 1 (+ y (* z (- b y)))))

series129.0ms

Counts
4 → 12
Calls
4 calls:
7.0ms
(* z (- b y))
17.0ms
(/ 1 (+ y (* z (- b y))))
13.0ms
(+ (* x y) (* z (- t a)))
92.0ms
(* (+ (* x y) (* z (- t a))) (/ 1 (+ y (* z (- b y)))))

simplify62.0ms

Algorithm
egg-herbie
Counts
128 → 128
Iterations

Useful iterations: 2 (50.0ms)

IterNodesCost
0449955
12234847
25001821

prune151.0ms

Filtered
75 candidates to 128 candidates (-70.7%)
Pruning

13 alts after pruning (11 fresh and 2 done)

PrunedKeptTotal
New1244128
Fresh178
Picked011
Done011
Total12513138

Merged error: 21.5b

Counts
138 → 13

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt z)
0.6b
(cbrt z)
0.6b
(cbrt z)
21.4b
(/ (+ (* x y) (* z (- t a))) (+ y (* (* (cbrt z) (cbrt z)) (* (cbrt z) (- b y)))))

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×cbrt-prod times-frac
6×add-exp-log add-cbrt-cube
4×pow1 add-log-exp
3×pow1/3 associate-/r* associate-/l*
2×flip3-+ associate-/r/ flip-+ associate-/l/
1×cbrt-undiv frac-2neg div-exp clear-num div-inv
Counts
4 → 64
Calls
4 calls:
1.0ms
(cbrt z)
1.0ms
(cbrt z)
1.0ms
(cbrt z)
7.0ms
(/ (+ (* x y) (* z (- t a))) (+ y (* (* (cbrt z) (cbrt z)) (* (cbrt z) (- b y)))))

series170.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(cbrt z)
22.0ms
(cbrt z)
23.0ms
(cbrt z)
103.0ms
(/ (+ (* x y) (* z (- t a))) (+ y (* (* (cbrt z) (cbrt z)) (* (cbrt z) (- b y)))))

simplify141.0ms

Algorithm
egg-herbie
Counts
76 → 76
Iterations

Useful iterations: 3 (130.0ms)

IterNodesCost
0266804
1970735
24745700
35001697

prune122.0ms

Filtered
59 candidates to 76 candidates (-28.8%)
Pruning

13 alts after pruning (10 fresh and 3 done)

PrunedKeptTotal
New76076
Fresh01010
Picked011
Done022
Total761389

Merged error: 21.5b

Counts
89 → 13

localize16.0ms

Local error

Found 4 expressions with local error:

9.1b
(* (* (cbrt (+ (* x y) (* z (- t a)))) (cbrt (+ (* x y) (* z (- t a))))) (/ (cbrt (+ (* x y) (* z (- t a)))) (+ y (* z (- b y)))))
17.9b
(cbrt (+ (* x y) (* z (- t a))))
17.9b
(cbrt (+ (* x y) (* z (- t a))))
17.9b
(cbrt (+ (* x y) (* z (- t a))))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
30×cbrt-div
25×add-sqr-sqrt
24×associate-*r*
20×add-cube-cbrt *-un-lft-identity times-frac
19×cbrt-prod
16×add-exp-log frac-times flip3-+ flip-+
12×associate-*l/
10×add-cbrt-cube
9×pow1
6×prod-exp cbrt-unprod
5×associate-*r/
4×add-log-exp
3×pow1/3 pow-prod-down unswap-sqr
2×cbrt-undiv div-exp associate-/r/
1×associate-*l* *-commutative div-inv
Counts
4 → 102
Calls
4 calls:
19.0ms
(* (* (cbrt (+ (* x y) (* z (- t a)))) (cbrt (+ (* x y) (* z (- t a))))) (/ (cbrt (+ (* x y) (* z (- t a)))) (+ y (* z (- b y)))))
3.0ms
(cbrt (+ (* x y) (* z (- t a))))
3.0ms
(cbrt (+ (* x y) (* z (- t a))))
3.0ms
(cbrt (+ (* x y) (* z (- t a))))

series256.0ms

Counts
4 → 12
Calls
4 calls:
90.0ms
(* (* (cbrt (+ (* x y) (* z (- t a)))) (cbrt (+ (* x y) (* z (- t a))))) (/ (cbrt (+ (* x y) (* z (- t a)))) (+ y (* z (- b y)))))
55.0ms
(cbrt (+ (* x y) (* z (- t a))))
53.0ms
(cbrt (+ (* x y) (* z (- t a))))
57.0ms
(cbrt (+ (* x y) (* z (- t a))))

simplify70.0ms

Algorithm
egg-herbie
Counts
114 → 114
Iterations

Useful iterations: 2 (51.0ms)

IterNodesCost
06252252
124162030
250011931

prune122.0ms

Filtered
90 candidates to 114 candidates (-26.7%)
Pruning

14 alts after pruning (10 fresh and 4 done)

PrunedKeptTotal
New1131114
Fresh099
Picked011
Done033
Total11314127

Merged error: 21.5b

Counts
127 → 14

regimes1.0s

Accuracy

0% (0.6b remaining)

Error of 23.4b against oracle of 22.8b and baseline of 23.4b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0198
1198

end0.0ms

sample2.9s

Algorithm
intervals
sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 54.6875%

Results
452.0ms8416×body80valid

Profiling

Loading profile data...