Details

analyze1.2s

Algorithm

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
1.8%	98%	0.3%	13
2.4%	97.3%	0.3%	14

sample31.0ms

Algorithm

intervals

Results

11.0ms	256×	body	80	valid
5.0ms	111×	body	80	invalid

simplify4.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	80	13
1	80	13

prune13.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 0.1b

Counts

2 → 2

localize187.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ t (* z b))
0.0b	(+ (* y z) (* a (+ t (* z b))))
0.0b	(+ x (+ (* y z) (* a (+ t (* z b)))))
2.2b	(* a (+ t (* z b)))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-log-exp`
8×	`add-sqr-sqrt` `*-un-lft-identity`
6×	`pow1` `add-exp-log` `add-cube-cbrt` `add-cbrt-cube`
5×	`sum-log`
4×	`flip3-+` `flip-+`
3×	`+-commutative` `associate-+r+` `associate-r` `associate-l`
2×	`distribute-rgt-in` `distribute-lft-in` `associate-*r/`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `distribute-lft-out` `unswap-sqr`

Counts

4 → 60

Calls

4 calls:

3.0ms	(+ t (* z b))
4.0ms	(+ (* y z) (* a (+ t (* z b))))
5.0ms	(+ x (+ (* y z) (* a (+ t (* z b)))))
5.0ms	(* a (+ t (* z b)))

series68.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(+ t (* z b))
16.0ms	(+ (* y z) (* a (+ t (* z b))))
28.0ms	(+ x (+ (* y z) (* a (+ t (* z b)))))
14.0ms	(* a (+ t (* z b)))

simplify63.0ms

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5106	807

prune112.0ms

Filtered

56 candidates to 72 candidates (-28.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	68	4	72
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	68	6	74

Merged error: 0.0b

Counts

74 → 6

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
0.0b	(+ x (* y z))
0.0b	(+ (+ x (* y z)) (* t a))
5.8b	(* (* a z) b)

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-log-exp`
10×	`sum-log`
9×	`pow1` `add-exp-log` `add-cbrt-cube`
5×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
3×	`+-commutative` `flip3-+` `associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod` `flip-+`
2×	`associate-+l+`
1×	`associate-l` `*-commutative`

Counts

4 → 56

Calls

4 calls:

7.0ms	(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
2.0ms	(+ x (* y z))
5.0ms	(+ (+ x (* y z)) (* t a))
7.0ms	(* (* a z) b)

series53.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
6.0ms	(+ x (* y z))
15.0ms	(+ (+ x (* y z)) (* t a))
6.0ms	(* (* a z) b)

simplify31.0ms

Algorithm

egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	5133	695

prune80.0ms

Filtered

50 candidates to 68 candidates (-36.0%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	66	2	68
Fresh	2	2	4
Picked	0	1	1
Done	0	1	1
Total	68	6	74

Merged error: 0.0b

Counts

74 → 6

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (+ x (+ (* z y) (* a t))))
0.5b	(cbrt (+ x (+ (* z y) (* a t))))
0.6b	(* (cbrt (+ x (+ (* z y) (* a t)))) (cbrt (+ x (+ (* z y) (* a t)))))
5.8b	(* (* a z) b)

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

33×	`*-un-lft-identity`
32×	`cbrt-prod`
23×	`add-sqr-sqrt`
16×	`pow1` `cbrt-div`
15×	`add-cube-cbrt`
11×	`add-exp-log`
10×	`associate-r`
9×	`swap-sqr` `add-cbrt-cube`
8×	`flip3-+` `pow1/3` `associate-l` `flip-+` `distribute-lft-out`
5×	`pow-prod-down`
4×	`frac-times` `prod-exp` `cbrt-unprod` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `associate-l/` `pow-sqr` `*-commutative` `pow-prod-up`
1×	`pow2` `pow-plus`

Counts

4 → 99

Calls

4 calls:

4.0ms	(cbrt (+ x (+ (* z y) (* a t))))
4.0ms	(cbrt (+ x (+ (* z y) (* a t))))
13.0ms	(* (cbrt (+ x (+ (* z y) (* a t)))) (cbrt (+ x (+ (* z y) (* a t)))))
5.0ms	(* (* a z) b)

series215.0ms

Counts

4 → 12

Calls

4 calls:

64.0ms	(cbrt (+ x (+ (* z y) (* a t))))
63.0ms	(cbrt (+ x (+ (* z y) (* a t))))
81.0ms	(* (cbrt (+ x (+ (* z y) (* a t)))) (cbrt (+ x (+ (* z y) (* a t)))))
6.0ms	(* (* a z) b)

simplify88.0ms

Algorithm

egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	4849	1748
1	4849	1748

prune113.0ms

Filtered

72 candidates to 111 candidates (-54.2%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	111	0	111
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	111	6	117

Merged error: 0.0b

Counts

117 → 6

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (+ (* y z) (* a (cbrt (pow (+ t (* z b)) 3)))))
0.1b	(pow (+ t (* z b)) 3)
2.2b	(* a (cbrt (pow (+ t (* z b)) 3)))
30.5b	(cbrt (pow (+ t (* z b)) 3))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

28×	`cbrt-prod`
24×	`add-sqr-sqrt`
17×	`*-un-lft-identity`
15×	`add-cube-cbrt` `associate-r`
10×	`unpow-prod-down` `cube-prod`
9×	`add-log-exp`
7×	`pow1` `add-exp-log`
6×	`cube-div` `add-cbrt-cube`
5×	`unswap-sqr`
4×	`cbrt-div` `flip3-+` `flip-+` `sqr-pow`
3×	`cube-mult` `pow-unpow` `unpow3` `associate-l` `sum-log`
2×	`associate-*r/`
1×	`+-commutative` `pow-to-exp` `associate-+r+` `pow-pow` `pow1/3` `pow-prod-down` `pow-exp` `prod-exp` `*-commutative` `rem-cbrt-cube` `cbrt-unprod` `distribute-lft-out` `rem-cube-cbrt`

Counts

4 → 98

Calls

4 calls:

5.0ms	(+ x (+ (* y z) (* a (cbrt (pow (+ t (* z b)) 3)))))
4.0ms	(pow (+ t (* z b)) 3)
9.0ms	(* a (cbrt (pow (+ t (* z b)) 3)))
4.0ms	(cbrt (pow (+ t (* z b)) 3))

series69.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(+ x (+ (* y z) (* a (cbrt (pow (+ t (* z b)) 3)))))
19.0ms	(pow (+ t (* z b)) 3)
13.0ms	(* a (cbrt (pow (+ t (* z b)) 3)))
7.0ms	(cbrt (pow (+ t (* z b)) 3))

simplify39.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	4957	1147
1	4957	1147

prune100.0ms

Filtered

70 candidates to 110 candidates (-57.1%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	110	0	110
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	110	6	116

Merged error: 0.0b

Counts

116 → 6

regimes585.0ms

Accuracy

85.4% (0.4b remaining)

Error of 0.5b against oracle of 0.0b and baseline of 2.9b

bsearch1.7s

Steps

Iters	Range		Point
8	3.155185273150046e-96	2.1545741619173444e-92	3.729775424660717e-93
0	-6.40768964210836e-14	-6.290944529749808e-14	-6.349317085929084e-14

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	37
1	39	37

end0.0ms

analyze1.2s

Algorithm

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
1.8%	98%	0.3%	13
2.4%	97.3%	0.3%	14

sample886.0ms

Algorithm

intervals

Results

364.0ms	8000×	body	80	valid
167.0ms	3826×	body	80	invalid

Details

analyze1.2s

sample31.0ms

simplify4.0ms

prune13.0ms

localize187.0ms

rewrite19.0ms

series68.0ms

simplify63.0ms

prune112.0ms

localize10.0ms

rewrite23.0ms

series53.0ms

simplify31.0ms

prune80.0ms

localize15.0ms

rewrite30.0ms

series215.0ms

simplify88.0ms

prune113.0ms

localize13.0ms

rewrite24.0ms

series69.0ms

simplify39.0ms

prune100.0ms

regimes585.0ms

bsearch1.7s

simplify1.0ms

end0.0ms

analyze1.2s

sample886.0ms

Profiling