Details

Time bar (total: 6.8s)

sample84.0ms

Algorithm
intervals
Results
47.0ms557×body80valid

simplify149.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
06615
120414
263114
3146814
4246414
5390914
6500114

prune11.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 4.6b

Counts
2 → 1

localize22.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* j 27.0) k)
0.2b
(* (* x 18.0) y)
5.1b
(* (* (* (* x 18.0) y) z) t)
5.3b
(* (* (* x 18.0) y) z)

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1 add-exp-log add-cbrt-cube
22×pow-prod-down prod-exp cbrt-unprod
12×associate-*r*
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×associate-*l* *-commutative add-log-exp
Counts
4 → 81
Calls
4 calls:
5.0ms
(* (* j 27.0) k)
5.0ms
(* (* x 18.0) y)
10.0ms
(* (* (* (* x 18.0) y) z) t)
10.0ms
(* (* (* x 18.0) y) z)

series113.0ms

Counts
4 → 12
Calls
4 calls:
17.0ms
(* (* j 27.0) k)
21.0ms
(* (* x 18.0) y)
49.0ms
(* (* (* (* x 18.0) y) z) t)
26.0ms
(* (* (* x 18.0) y) z)

simplify66.0ms

Algorithm
egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 1 (12.0ms)

IterNodesCost
0360423
12133320
25001320

prune279.0ms

Filtered
93 candidates to 46 candidates (49.5%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New84993
Fresh000
Picked101
Done000
Total85994

Merged error: 0.5b

Counts
94 → 9

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
0.2b
(* (* j 27.0) k)
4.5b
(* (* x 18.0) (* y z))
5.1b
(* (* (* x 18.0) (* y z)) t)

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
39×pow1 add-exp-log add-cbrt-cube
24×pow-prod-down prod-exp cbrt-unprod
13×add-log-exp
7×associate-*r*
6×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×diff-log
3×associate-*l* *-commutative
2×sum-log
1×associate--l- associate-+l- sub-neg flip3-- associate--l+ flip--
Counts
4 → 83
Calls
4 calls:
13.0ms
(- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
5.0ms
(* (* j 27.0) k)
7.0ms
(* (* x 18.0) (* y z))
9.0ms
(* (* (* x 18.0) (* y z)) t)

series473.0ms

Counts
4 → 12
Calls
4 calls:
384.0ms
(- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
16.0ms
(* (* j 27.0) k)
31.0ms
(* (* x 18.0) (* y z))
42.0ms
(* (* (* x 18.0) (* y z)) t)

simplify72.0ms

Algorithm
egg-herbie
Counts
95 → 95
Iterations

Useful iterations: 2 (64.0ms)

IterNodesCost
0475672
12347541
25001528

prune284.0ms

Filtered
95 candidates to 47 candidates (49.5%)
Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New91495
Fresh268
Picked011
Done000
Total9311104

Merged error: 0.3b

Counts
104 → 11

localize21.0ms

Local error

Found 4 expressions with local error:

0.2b
(* j (* 27.0 k))
0.2b
(* (* x 18.0) y)
5.1b
(* (* (* (* x 18.0) y) z) t)
5.3b
(* (* (* x 18.0) y) z)

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
37×pow1 add-exp-log add-cbrt-cube
22×pow-prod-down prod-exp cbrt-unprod
10×associate-*r*
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
6×associate-*l*
4×*-commutative add-log-exp
Counts
4 → 81
Calls
4 calls:
5.0ms
(* j (* 27.0 k))
5.0ms
(* (* x 18.0) y)
10.0ms
(* (* (* (* x 18.0) y) z) t)
7.0ms
(* (* (* x 18.0) y) z)

series115.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(* j (* 27.0 k))
20.0ms
(* (* x 18.0) y)
42.0ms
(* (* (* (* x 18.0) y) z) t)
30.0ms
(* (* (* x 18.0) y) z)

simplify63.0ms

Algorithm
egg-herbie
Counts
93 → 93
Iterations

Useful iterations: 1 (11.0ms)

IterNodesCost
0352422
12022319
25001319

prune259.0ms

Filtered
93 candidates to 46 candidates (49.5%)
Pruning

11 alts after pruning (9 fresh and 2 done)

PrunedKeptTotal
New93093
Fresh099
Picked011
Done011
Total9311104

Merged error: 0.3b

Counts
104 → 11

localize33.0ms

Local error

Found 4 expressions with local error:

5.3b
(* (* (* x 18.0) y) z)
18.2b
(cbrt (* (* (* (* x 18.0) y) z) t))
18.2b
(cbrt (* (* (* (* x 18.0) y) z) t))
18.2b
(cbrt (* (* (* (* x 18.0) y) z) t))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
13×pow1 add-exp-log add-cbrt-cube
6×pow-prod-down prod-exp cbrt-unprod
5×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×add-log-exp
3×cbrt-prod pow1/3 associate-*r*
1×associate-*l* *-commutative
Counts
4 → 48
Calls
4 calls:
7.0ms
(* (* (* x 18.0) y) z)
7.0ms
(cbrt (* (* (* (* x 18.0) y) z) t))
7.0ms
(cbrt (* (* (* (* x 18.0) y) z) t))
7.0ms
(cbrt (* (* (* (* x 18.0) y) z) t))

series443.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(* (* (* x 18.0) y) z)
136.0ms
(cbrt (* (* (* (* x 18.0) y) z) t))
141.0ms
(cbrt (* (* (* (* x 18.0) y) z) t))
134.0ms
(cbrt (* (* (* (* x 18.0) y) z) t))

simplify40.0ms

Algorithm
egg-herbie
Counts
60 → 60
Iterations

Useful iterations: 2 (34.0ms)

IterNodesCost
0267431
11193370
25002358

prune306.0ms

Filtered
60 candidates to 47 candidates (78.3%)
Pruning

11 alts after pruning (8 fresh and 3 done)

PrunedKeptTotal
New60060
Fresh088
Picked011
Done022
Total601171

Merged error: 0.3b

Counts
71 → 11

regimes1.5s

Accuracy

71.4% (1.7b remaining)

Error of 2.0b against oracle of 0.3b and baseline of 6.2b

bsearch198.0ms

Steps
ItersRangePoint
6
3.1845273564640336e-14
4.2588643893151474e-13
1.4331564226188567e-13
7
-1.998823649693466e-50
-5.1421817139889924e-52
-1.175161024334673e-50

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06430
16430

end0.0ms

sample2.2s

Algorithm
intervals
Results
1.3s16392×body80valid

Profiling

Loading profile data...