Details

Time bar (total: 5.9s)

sample31.0ms

Algorithm
intervals
Results
16.0ms256×body80valid

simplify114.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03210
17110
218410
338110
468210
5110210
6212210
7433710
8500110

prune3.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 24.3b

Counts
2 → 1

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ x y) z)
0.9b
(+ (* (+ x y) z) (* (+ t y) a))
1.3b
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
22.7b
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
38×*-un-lft-identity
18×add-sqr-sqrt
16×add-cube-cbrt
15×times-frac
13×distribute-lft-out
11×add-log-exp
10×associate-*l/
8×add-exp-log add-cbrt-cube
7×flip3-+ flip-+
6×pow1
5×associate-/r*
4×associate-*l* frac-add
3×associate-*r* associate-/l*
2×flip3-- diff-log sum-log associate-/r/ flip-- associate-/l/
1×cbrt-undiv +-commutative sub-neg frac-2neg div-sub div-exp pow-prod-down prod-exp associate--l+ clear-num *-commutative cbrt-unprod div-inv unswap-sqr
Counts
4 → 90
Calls
4 calls:
6.0ms
(* (+ x y) z)
6.0ms
(+ (* (+ x y) z) (* (+ t y) a))
9.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
14.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

series892.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(* (+ x y) z)
50.0ms
(+ (* (+ x y) z) (* (+ t y) a))
227.0ms
(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
594.0ms
(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

simplify74.0ms

Algorithm
egg-herbie
Counts
102 → 102
Iterations

Useful iterations: 1 (18.0ms)

IterNodesCost
05231089
123081025
250011025

prune296.0ms

Filtered
102 candidates to 74 candidates (72.5%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New9111102
Fresh000
Picked101
Done000
Total9211103

Merged error: 7.3b

Counts
103 → 11

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ x y) z)
0.9b
(+ (* (+ x y) z) (* (+ t y) a))
5.9b
(/ (* y b) (+ (+ x t) y))
20.7b
(/ (+ (* (+ x y) z) (* (+ t y) a)) (+ (+ x t) y))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
50×*-un-lft-identity
20×add-sqr-sqrt times-frac
19×distribute-lft-out
18×add-cube-cbrt associate-*l/
13×add-exp-log flip3-+ add-cbrt-cube flip-+
10×associate-/r*
8×frac-add
6×pow1 associate-/l/ add-log-exp
4×associate-*l* associate-/r/ associate-/l*
3×cbrt-undiv div-exp associate-*r*
2×frac-2neg prod-exp clear-num cbrt-unprod div-inv
1×+-commutative pow-prod-down sum-log *-commutative unswap-sqr
Counts
4 → 106
Calls
4 calls:
6.0ms
(* (+ x y) z)
7.0ms
(+ (* (+ x y) z) (* (+ t y) a))
8.0ms
(/ (* y b) (+ (+ x t) y))
14.0ms
(/ (+ (* (+ x y) z) (* (+ t y) a)) (+ (+ x t) y))

series370.0ms

Counts
4 → 12
Calls
4 calls:
21.0ms
(* (+ x y) z)
52.0ms
(+ (* (+ x y) z) (* (+ t y) a))
76.0ms
(/ (* y b) (+ (+ x t) y))
221.0ms
(/ (+ (* (+ x y) z) (* (+ t y) a)) (+ (+ x t) y))

simplify77.0ms

Algorithm
egg-herbie
Counts
118 → 118
Iterations

Useful iterations: 1 (18.0ms)

IterNodesCost
05381000
12671922
25001922

prune326.0ms

Filtered
118 candidates to 83 candidates (70.3%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New1144118
Fresh3710
Picked101
Done000
Total11811129

Merged error: 4.7b

Counts
129 → 11

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ b (+ (+ x t) y))
0.9b
(+ (* (+ x y) z) (* (+ t y) a))
7.0b
(* y (/ b (+ (+ x t) y)))
20.7b
(/ (+ (* (+ x y) z) (* (+ t y) a)) (+ (+ x t) y))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
89×*-un-lft-identity
46×times-frac
39×add-sqr-sqrt
34×add-cube-cbrt
33×distribute-lft-out
21×associate-*r*
16×associate-*l/
13×add-exp-log flip3-+ add-cbrt-cube flip-+
10×associate-/r*
8×frac-add
6×pow1 associate-/r/ associate-/l/ associate-/l* add-log-exp
3×cbrt-undiv div-exp associate-*l* div-inv
2×frac-2neg prod-exp clear-num cbrt-unprod unswap-sqr
1×+-commutative associate-*r/ pow-prod-down sum-log *-commutative
Counts
4 → 135
Calls
4 calls:
7.0ms
(/ b (+ (+ x t) y))
7.0ms
(+ (* (+ x y) z) (* (+ t y) a))
11.0ms
(* y (/ b (+ (+ x t) y)))
14.0ms
(/ (+ (* (+ x y) z) (* (+ t y) a)) (+ (+ x t) y))

series381.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(/ b (+ (+ x t) y))
46.0ms
(+ (* (+ x y) z) (* (+ t y) a))
74.0ms
(* y (/ b (+ (+ x t) y)))
223.0ms
(/ (+ (* (+ x y) z) (* (+ t y) a)) (+ (+ x t) y))

simplify79.0ms

Algorithm
egg-herbie
Counts
147 → 147
Iterations

Useful iterations: 1 (17.0ms)

IterNodesCost
05491202
127051118
250011118

prune356.0ms

Filtered
147 candidates to 99 candidates (67.3%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New1443147
Fresh3710
Picked101
Done000
Total14810158

Merged error: 3.7b

Counts
158 → 10

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (+ (+ x t) y))
0.9b
(+ (* (+ x y) z) (* (+ t y) a))
5.0b
(* (/ y (* (cbrt (+ (+ x t) y)) (cbrt (+ (+ x t) y)))) (/ b (cbrt (+ (+ x t) y))))
20.7b
(/ (+ (* (+ x y) z) (* (+ t y) a)) (+ (+ x t) y))

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
72×*-un-lft-identity
49×times-frac
48×add-sqr-sqrt
32×add-cube-cbrt
30×associate-*r*
27×add-exp-log
24×distribute-lft-out
22×cbrt-prod
20×add-cbrt-cube
19×flip3-+ associate-*l/ flip-+
16×cbrt-div
15×associate-*l*
12×associate-/r/
8×cbrt-undiv div-exp frac-add prod-exp cbrt-unprod
6×pow1 associate-/l/ add-log-exp unswap-sqr
5×frac-times associate-/r*
3×associate-*r/ div-inv associate-/l*
1×+-commutative frac-2neg pow1/3 pow-prod-down clear-num sum-log *-commutative
Counts
4 → 148
Calls
4 calls:
5.0ms
(cbrt (+ (+ x t) y))
6.0ms
(+ (* (+ x y) z) (* (+ t y) a))
35.0ms
(* (/ y (* (cbrt (+ (+ x t) y)) (cbrt (+ (+ x t) y)))) (/ b (cbrt (+ (+ x t) y))))
13.0ms
(/ (+ (* (+ x y) z) (* (+ t y) a)) (+ (+ x t) y))

series584.0ms

Counts
4 → 12
Calls
4 calls:
146.0ms
(cbrt (+ (+ x t) y))
49.0ms
(+ (* (+ x y) z) (* (+ t y) a))
174.0ms
(* (/ y (* (cbrt (+ (+ x t) y)) (cbrt (+ (+ x t) y)))) (/ b (cbrt (+ (+ x t) y))))
214.0ms
(/ (+ (* (+ x y) z) (* (+ t y) a)) (+ (+ x t) y))

simplify105.0ms

Algorithm
egg-herbie
Counts
160 → 160
Iterations

Useful iterations: 2 (86.0ms)

IterNodesCost
08762099
142271889
250011805

prune483.0ms

Filtered
160 candidates to 119 candidates (74.4%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New1591160
Fresh189
Picked011
Done000
Total16010170

Merged error: 3.7b

Counts
170 → 10

regimes485.0ms

Accuracy

19.8% (16.7b remaining)

Error of 20.0b against oracle of 3.3b and baseline of 24.2b

bsearch300.0ms

Steps
ItersRangePoint
7
2.5127699424482527e+284
5.113211743996628e+286
1.1491718325649683e+285
10
1.0231840909437777e+181
1.6571735130289622e+193
5.2947219811442057e+185
8
1.1510030204968663e+111
1.2966517094148697e+114
4.969699258518304e+111
9
-239107316231.7374
-100707.19623866348
-95783751222.01859
6
-2.0116990110953268e+40
-2.5876560450528495e+39
-2.61898695225494e+39
8
-3.077268279928216e+158
-1.5465466440084348e+155
-8.528825256271354e+156

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06585
16585

end0.0ms

sample680.0ms

Algorithm
intervals
Results
416.0ms7998×body80valid
0.0ms1×body640valid
0.0ms1×body160valid

Profiling

Loading profile data...