Details

sample159.0ms

Algorithm

intervals

Results

61.0ms	55×	body	2560	valid
46.0ms	78×	body	1280	valid
16.0ms	42×	body	640	valid
8.0ms	15×	body	320	valid
5.0ms	58×	body	80	valid
1.0ms	8×	body	160	valid

simplify86.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	42	14
1	99	14
2	222	14
3	402	14
4	676	14
5	928	14
6	1116	14
7	1206	14
8	1368	14
9	1380	14
10	1380	14

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 46.5b

localize23.0ms

Local error

Found 4 expressions with local error:

1.3b	(* (* (+ (* y 2.0) 1.0) z) t)
3.2b	(* (* (+ (* a 2.0) 1.0) b) t)
34.2b	(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))
35.1b	(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

14×	`pow1` `add-exp-log` `add-cbrt-cube`
8×	`associate-*l/`
6×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-r*` `pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`add-log-exp`
2×	`flip3-+` `associate-l` `*-commutative` `flip-+`

Counts

4 → 54

Calls

4 calls:

16.0ms	(* (* (+ (* y 2.0) 1.0) z) t)
17.0ms	(* (* (+ (* a 2.0) 1.0) b) t)
2.0ms	(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))
5.0ms	(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

series158.0ms

Counts

4 → 12

Calls

4 calls:

46.0ms	(* (* (+ (* y 2.0) 1.0) z) t)
40.0ms	(* (* (+ (* a 2.0) 1.0) b) t)
39.0ms	(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))
34.0ms	(cos (/ (* (* (+ (* a 2.0) 1.0) b) t) 16.0))

simplify54.0ms

Algorithm

egg-herbie

Counts

66 → 66

Iterations

Useful iterations: 1 (13.0ms)

Iter	Nodes	Cost
0	371	438
1	1835	354
2	5001	354

prune365.0ms

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 41.7b

localize25.0ms

Local error

Found 4 expressions with local error:

1.3b	(* (* (+ (* y 2.0) 1.0) z) t)
2.5b	(* (+ (* a 2.0) 1.0) (* b t))
34.2b	(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))
35.1b	(cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

14×	`pow1` `add-exp-log` `add-cbrt-cube`
6×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `pow-prod-down` `associate-l/` `prod-exp` `cbrt-unprod`
4×	`associate-r` `associate-l` `add-log-exp`
2×	`flip3-+` `*-commutative` `flip-+`

Counts

4 → 54

Calls

4 calls:

17.0ms	(* (* (+ (* y 2.0) 1.0) z) t)
15.0ms	(* (+ (* a 2.0) 1.0) (* b t))
2.0ms	(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))
2.0ms	(cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0))

series163.0ms

Counts

4 → 12

Calls

4 calls:

46.0ms	(* (* (+ (* y 2.0) 1.0) z) t)
42.0ms	(* (+ (* a 2.0) 1.0) (* b t))
35.0ms	(cos (/ (* (* (+ (* y 2.0) 1.0) z) t) 16.0))
39.0ms	(cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0))

simplify50.0ms

Algorithm

egg-herbie

Counts

66 → 66

Iterations

Useful iterations: 2 (44.0ms)

Iter	Nodes	Cost
0	366	439
1	1744	355
2	5001	353

prune335.0ms

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 41.4b

localize23.0ms

Local error

Found 4 expressions with local error:

1.9b	(* (+ (* y 2.0) 1.0) (* z t))
2.5b	(* (+ (* a 2.0) 1.0) (* b t))
34.1b	(cos (/ (* (+ (* y 2.0) 1.0) (* z t)) 16.0))
35.1b	(cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

14×	`pow1` `add-exp-log` `add-cbrt-cube`
6×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-l*` `pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`associate-*l/` `add-log-exp`
2×	`flip3-+` `associate-r` `*-commutative` `flip-+`

Counts

4 → 54

Calls

4 calls:

14.0ms	(* (+ (* y 2.0) 1.0) (* z t))
15.0ms	(* (+ (* a 2.0) 1.0) (* b t))
2.0ms	(cos (/ (* (+ (* y 2.0) 1.0) (* z t)) 16.0))
2.0ms	(cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0))

series158.0ms

Counts

4 → 12

Calls

4 calls:

47.0ms	(* (+ (* y 2.0) 1.0) (* z t))
41.0ms	(* (+ (* a 2.0) 1.0) (* b t))
33.0ms	(cos (/ (* (+ (* y 2.0) 1.0) (* z t)) 16.0))
37.0ms	(cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0))

simplify47.0ms

Algorithm

egg-herbie

Counts

66 → 66

Iterations

Useful iterations: 2 (42.0ms)

Iter	Nodes	Cost
0	357	440
1	1508	356
2	5001	352

prune357.0ms

Pruning

24 alts after pruning (24 fresh and 0 done)

Merged error: 41.3b

localize27.0ms

Local error

Found 4 expressions with local error:

15.1b	(cbrt (* (+ (* y 2.0) 1.0) (* z t)))
15.1b	(cbrt (* (+ (* y 2.0) 1.0) (* z t)))
33.9b	(cos (/ (* (* (cbrt (* (+ (* y 2.0) 1.0) (* z t))) (cbrt (* (+ (* y 2.0) 1.0) (* z t)))) (cbrt (* (+ (* y 2.0) 1.0) (* z t)))) 16.0))
35.1b	(cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

4×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `cbrt-div` `-un-lft-identity` `associate-l/` `add-cbrt-cube` `add-log-exp`
2×	`cbrt-prod` `flip3-+` `pow1/3` `flip-+`

Counts

4 → 36

Calls

4 calls:

7.0ms	(cbrt (* (+ (* y 2.0) 1.0) (* z t)))
7.0ms	(cbrt (* (+ (* y 2.0) 1.0) (* z t)))
1.0ms	(cos (/ (* (* (cbrt (* (+ (* y 2.0) 1.0) (* z t))) (cbrt (* (+ (* y 2.0) 1.0) (* z t)))) (cbrt (* (+ (* y 2.0) 1.0) (* z t)))) 16.0))
2.0ms	(cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0))

series360.0ms

Counts

4 → 12

Calls

4 calls:

142.0ms	(cbrt (* (+ (* y 2.0) 1.0) (* z t)))
147.0ms	(cbrt (* (+ (* y 2.0) 1.0) (* z t)))
34.0ms	(cos (/ (* (* (cbrt (* (+ (* y 2.0) 1.0) (* z t))) (cbrt (* (+ (* y 2.0) 1.0) (* z t)))) (cbrt (* (+ (* y 2.0) 1.0) (* z t)))) 16.0))
37.0ms	(cos (/ (* (+ (* a 2.0) 1.0) (* b t)) 16.0))

simplify70.0ms

Algorithm

egg-herbie

Counts

48 → 48

Iterations

Useful iterations: 2 (20.0ms)

Iter	Nodes	Cost
0	296	706
1	851	632
2	2930	628
3	5001	628

prune320.0ms

Pruning

31 alts after pruning (31 fresh and 0 done)

Merged error: 40.8b

regimes2.2s

Accuracy

0% (4.9b remaining)

Error of 45.9b against oracle of 40.9b and baseline of 45.9b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	41	28
1	41	28

end0.0ms

sample4.8s

Algorithm

intervals

Results

1.9s	1739×	body	2560	valid
1.6s	2330×	body	1280	valid
450.0ms	1178×	body	640	valid
163.0ms	1883×	body	80	valid
154.0ms	576×	body	320	valid
110.0ms	41×	body	5120	valid
46.0ms	253×	body	160	valid