Details

Time bar (total: 4.6s)

sample27.0ms

Algorithm
intervals
Results
13.0ms267×body80valid

simplify9.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0268
1398
2478
3498
4498

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: 19.0b

Counts
2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (/ (* y z) t))
4.6b
(/ (* y b) t)
6.1b
(/ (* y z) t)
12.4b
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
58×*-un-lft-identity
26×times-frac
22×distribute-lft-out
19×add-sqr-sqrt add-cube-cbrt
16×add-exp-log add-cbrt-cube
11×associate-/r*
6×associate-/l* add-log-exp
5×cbrt-undiv div-exp
4×pow1 flip3-+ associate-/r/ flip-+
3×frac-2neg clear-num div-inv
2×frac-add prod-exp cbrt-unprod associate-/l/
1×+-commutative sum-log
Counts
4 → 101
Calls
4 calls:
5.0ms
(+ x (/ (* y z) t))
5.0ms
(/ (* y b) t)
5.0ms
(/ (* y z) t)
15.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

series162.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(+ x (/ (* y z) t))
19.0ms
(/ (* y b) t)
21.0ms
(/ (* y z) t)
95.0ms
(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

simplify48.0ms

Algorithm
egg-herbie
Counts
113 → 113
Iterations

Useful iterations: 1 (11.0ms)

IterNodesCost
0454843
11942782
25001782

prune449.0ms

Filtered
113 candidates to 73 candidates (64.6%)
Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New10211113
Fresh000
Picked101
Done000
Total10311114

Merged error: 12.0b

Counts
114 → 11

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (/ y (/ t z)))
4.6b
(/ (* y b) t)
5.6b
(/ y (/ t z))
12.4b
(/ (+ x (/ y (/ t z))) (+ (+ a 1.0) (/ (* y b) t)))

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
98×*-un-lft-identity times-frac
59×add-sqr-sqrt add-cube-cbrt
22×distribute-lft-out
21×associate-/r*
16×add-exp-log add-cbrt-cube
8×associate-/l*
7×div-inv
6×cbrt-undiv div-exp add-log-exp
5×associate-/r/
4×pow1 flip3-+ flip-+
3×frac-2neg clear-num
2×frac-add associate-/l/
1×+-commutative prod-exp sum-log cbrt-unprod
Counts
4 → 150
Calls
4 calls:
12.0ms
(+ x (/ y (/ t z)))
5.0ms
(/ (* y b) t)
6.0ms
(/ y (/ t z))
25.0ms
(/ (+ x (/ y (/ t z))) (+ (+ a 1.0) (/ (* y b) t)))

series308.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(+ x (/ y (/ t z)))
19.0ms
(/ (* y b) t)
18.0ms
(/ y (/ t z))
235.0ms
(/ (+ x (/ y (/ t z))) (+ (+ a 1.0) (/ (* y b) t)))

simplify68.0ms

Algorithm
egg-herbie
Counts
162 → 162
Iterations

Useful iterations: 2 (54.0ms)

IterNodesCost
06611208
127161142
250021141

prune372.0ms

Filtered
162 candidates to 113 candidates (69.8%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New1575162
Fresh3710
Picked101
Done000
Total16112173

Merged error: 10.8b

Counts
173 → 12

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (/ y (/ t z)))
5.5b
(/ y (/ t b))
5.6b
(/ y (/ t z))
12.4b
(/ (+ x (/ y (/ t z))) (+ (+ a 1.0) (/ y (/ t b))))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
170×times-frac
138×*-un-lft-identity
99×add-sqr-sqrt add-cube-cbrt
31×associate-/r*
22×distribute-lft-out
16×add-exp-log add-cbrt-cube
11×div-inv
10×associate-/l*
7×cbrt-undiv div-exp
6×associate-/r/ add-log-exp
4×pow1 flip3-+ flip-+
3×frac-2neg clear-num
2×frac-add associate-/l/
1×+-commutative sum-log
Counts
4 → 199
Calls
4 calls:
12.0ms
(+ x (/ y (/ t z)))
6.0ms
(/ y (/ t b))
6.0ms
(/ y (/ t z))
30.0ms
(/ (+ x (/ y (/ t z))) (+ (+ a 1.0) (/ y (/ t b))))

series367.0ms

Counts
4 → 12
Calls
4 calls:
50.0ms
(+ x (/ y (/ t z)))
28.0ms
(/ y (/ t b))
18.0ms
(/ y (/ t z))
272.0ms
(/ (+ x (/ y (/ t z))) (+ (+ a 1.0) (/ y (/ t b))))

simplify99.0ms

Algorithm
egg-herbie
Counts
211 → 211
Iterations

Useful iterations: 1 (29.0ms)

IterNodesCost
08151575
132991504
250011504

prune512.0ms

Filtered
211 candidates to 158 candidates (74.9%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New2083211
Fresh2911
Picked101
Done000
Total21112223

Merged error: 10.2b

Counts
223 → 12

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ x (/ y (/ t z)))
4.9b
(* (/ y t) b)
5.6b
(/ y (/ t z))
12.4b
(/ (+ x (/ y (/ t z))) (+ (+ a 1.0) (* (/ y t) b)))

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
97×times-frac
73×*-un-lft-identity
68×add-sqr-sqrt
63×add-cube-cbrt
16×add-exp-log associate-/r* add-cbrt-cube
13×associate-*l*
7×div-inv associate-/l*
6×pow1 add-log-exp
5×cbrt-undiv div-exp associate-/r/ distribute-lft-out
4×flip3-+ flip-+
3×associate-*r* associate-*l/
2×frac-2neg frac-add prod-exp clear-num cbrt-unprod associate-/l/ unswap-sqr
1×+-commutative pow-prod-down sum-log *-commutative
Counts
4 → 151
Calls
4 calls:
12.0ms
(+ x (/ y (/ t z)))
7.0ms
(* (/ y t) b)
6.0ms
(/ y (/ t z))
23.0ms
(/ (+ x (/ y (/ t z))) (+ (+ a 1.0) (* (/ y t) b)))

series324.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(+ x (/ y (/ t z)))
21.0ms
(* (/ y t) b)
20.0ms
(/ y (/ t z))
250.0ms
(/ (+ x (/ y (/ t z))) (+ (+ a 1.0) (* (/ y t) b)))

simplify79.0ms

Algorithm
egg-herbie
Counts
163 → 163
Iterations

Useful iterations: 2 (60.0ms)

IterNodesCost
06981151
127791085
250011084

prune370.0ms

Filtered
163 candidates to 122 candidates (74.8%)
Pruning

12 alts after pruning (11 fresh and 1 done)

PrunedKeptTotal
New1621163
Fresh11011
Picked011
Done000
Total16312175

Merged error: 10.2b

Counts
175 → 12

regimes369.0ms

Accuracy

42.4% (3.6b remaining)

Error of 13.2b against oracle of 9.6b and baseline of 15.9b

bsearch55.0ms

Steps
ItersRangePoint
4
4.817027770006264e-07
9.5577051646451e-07
7.329944604503392e-07
4
-1.2102736540490743e-119
-7.011270166349127e-120
-1.1943628216298818e-119

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04317
14317

end0.0ms

sample686.0ms

Algorithm
intervals
Results
418.0ms8275×body80valid

Profiling

Loading profile data...