Details

analyze2.1s

Algorithm

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	99.6%	0.4%	8
0%	99.6%	0.4%	9
0%	99.6%	0.4%	10
0%	99.6%	0.4%	11
0%	99.6%	0.4%	12
0%	99.6%	0.4%	13
0%	99.6%	0.4%	14

sample111.0ms

Algorithm

intervals

Results

40.0ms	385×	body	80	invalid
24.0ms	256×	body	80	valid

simplify88.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	43	14
1	96	14
2	291	14
3	825	14
4	2021	14
5	5001	14

prune7.0ms

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

Counts

2 → 1

localize23.0ms

Local error

Found 4 expressions with local error:

0.4b	(- (* c z) (* i a))
5.0b	(* x (- (* y z) (* t a)))
5.0b	(* j (- (* c t) (* i y)))
5.4b	(* b (- (* c z) (* i a)))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
10×	`pow1` `add-exp-log` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube`
9×	`associate-r` `associate-l`
7×	`sub-neg`
6×	`distribute-rgt-in` `distribute-lft-in` `associate-*r/` `add-log-exp`
4×	`flip3--` `flip--`
3×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`diff-log`

Counts

4 → 84

Calls

4 calls:

4.0ms	(- (* c z) (* i a))
7.0ms	(* x (- (* y z) (* t a)))
7.0ms	(* j (- (* c t) (* i y)))
7.0ms	(* b (- (* c z) (* i a)))

series82.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(- (* c z) (* i a))
22.0ms	(* x (- (* y z) (* t a)))
23.0ms	(* j (- (* c t) (* i y)))
25.0ms	(* b (- (* c z) (* i a)))

simplify59.0ms

Algorithm

egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 1 (14.0ms)

Iter	Nodes	Cost
0	425	552
1	1771	485
2	5002	485

prune308.0ms

Filtered

63 candidates to 96 candidates (-52.4%)

Pruning

23 alts after pruning (23 fresh and 0 done)

	Pruned	Kept	Total
New	73	23	96
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	74	23	97

Merged error: 7.5b

Counts

97 → 23

localize26.0ms

Local error

Found 4 expressions with local error:

5.0b	(* j (- (* c t) (* i y)))
5.4b	(* b (- (* c z) (* i a)))
5.4b	(* b (- (* c z) (* i a)))
5.4b	(* b (- (* c z) (* i a)))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
12×	`pow1` `add-exp-log` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*` `add-cbrt-cube`
8×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/`
4×	`flip3--` `pow-prod-down` `prod-exp` `*-commutative` `flip--` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

4 → 96

Calls

4 calls:

7.0ms	(* j (- (* c t) (* i y)))
8.0ms	(* b (- (* c z) (* i a)))
7.0ms	(* b (- (* c z) (* i a)))
6.0ms	(* b (- (* c z) (* i a)))

series95.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(* j (- (* c t) (* i y)))
23.0ms	(* b (- (* c z) (* i a)))
25.0ms	(* b (- (* c z) (* i a)))
24.0ms	(* b (- (* c z) (* i a)))

simplify143.0ms

Algorithm

egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 1 (10.0ms)

Iter	Nodes	Cost
0	274	632
1	1137	552
2	4591	552
3	5002	552

prune265.0ms

Filtered

68 candidates to 108 candidates (-58.8%)

Pruning

23 alts after pruning (23 fresh and 0 done)

	Pruned	Kept	Total
New	107	1	108
Fresh	0	22	22
Picked	1	0	1
Done	0	0	0
Total	108	23	131

Merged error: 7.5b

Counts

131 → 23

localize28.0ms

Local error

Found 4 expressions with local error:

2.5b	(* (cbrt j) (- (* c t) (* i y)))
2.8b	(* (* (cbrt j) (cbrt j)) (* (cbrt j) (- (* c t) (* i y))))
5.0b	(* x (- (* y z) (* t a)))
5.4b	(* b (- (* c z) (* i a)))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

22×	`pow1` `add-exp-log`
19×	`add-sqr-sqrt`
15×	`add-cbrt-cube`
14×	`distribute-rgt-in` `distribute-lft-in`
13×	`associate-l`
11×	`add-cube-cbrt` `*-un-lft-identity` `pow-prod-down` `prod-exp` `cbrt-unprod`
10×	`sub-neg` `associate-r/` `associate-r*`
4×	`cbrt-prod` `flip3--` `*-commutative` `flip--` `add-log-exp` `unswap-sqr`

Counts

4 → 108

Calls

4 calls:

7.0ms	(* (cbrt j) (- (* c t) (* i y)))
12.0ms	(* (* (cbrt j) (cbrt j)) (* (cbrt j) (- (* c t) (* i y))))
6.0ms	(* x (- (* y z) (* t a)))
11.0ms	(* b (- (* c z) (* i a)))

series138.0ms

Counts

4 → 12

Calls

4 calls:

72.0ms	(* (cbrt j) (- (* c t) (* i y)))
27.0ms	(* (* (cbrt j) (cbrt j)) (* (cbrt j) (- (* c t) (* i y))))
19.0ms	(* x (- (* y z) (* t a)))
20.0ms	(* b (- (* c z) (* i a)))

simplify70.0ms

Algorithm

egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 2 (60.0ms)

Iter	Nodes	Cost
0	595	987
1	2490	787
2	5002	724

prune315.0ms

Filtered

71 candidates to 120 candidates (-69.0%)

Pruning

27 alts after pruning (27 fresh and 0 done)

	Pruned	Kept	Total
New	114	6	120
Fresh	1	21	22
Picked	1	0	1
Done	0	0	0
Total	116	27	143

Merged error: 6.5b

Counts

143 → 27

localize26.0ms

Local error

Found 4 expressions with local error:

5.0b	(* x (- (* y z) (* t a)))
5.1b	(* (neg j) (* i y))
5.4b	(* b (- (* c z) (* i a)))
6.5b	(* t (* j c))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

19×	`associate-l`
18×	`pow1` `add-exp-log` `add-cbrt-cube`
16×	`add-sqr-sqrt`
12×	`add-cube-cbrt` `*-un-lft-identity`
8×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `-commutative` `add-log-exp`
3×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
2×	`flip3--` `flip--` `unswap-sqr`
1×	`distribute-lft-neg-out` `neg-mul-1`

Counts

4 → 92

Calls

4 calls:

7.0ms	(* x (- (* y z) (* t a)))
7.0ms	(* (neg j) (* i y))
7.0ms	(* b (- (* c z) (* i a)))
6.0ms	(* t (* j c))

series59.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(* x (- (* y z) (* t a)))
7.0ms	(* (neg j) (* i y))
22.0ms	(* b (- (* c z) (* i a)))
7.0ms	(* t (* j c))

simplify64.0ms

Algorithm

egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 1 (13.0ms)

Iter	Nodes	Cost
0	484	497
1	2035	427
2	5002	427

prune116.0ms

Filtered

68 candidates to 104 candidates (-52.9%)

Pruning

26 alts after pruning (26 fresh and 0 done)

	Pruned	Kept	Total
New	99	5	104
Fresh	5	21	26
Picked	1	0	1
Done	0	0	0
Total	105	26	131

Merged error: 5.9b

Counts

131 → 26

regimes3.0s

Accuracy

-9.9% (7.4b remaining)

Error of 13.6b against oracle of 6.1b and baseline of 12.9b

bsearch5.4s

Steps

Iters	Range		Point
0	-1.0911062161307408e-302	-1.0801828380096936e-302	-1.0856445270702172e-302
9	-1.6503384099080212e-53	-3.534453995980245e-60	-2.412843846369024e-59

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	73	43
1	83	43
2	93	43
3	93	43

end0.0ms

analyze2.1s

Algorithm

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	99.6%	0.4%	8
0%	99.6%	0.4%	9
0%	99.6%	0.4%	10
0%	99.6%	0.4%	11
0%	99.6%	0.4%	12
0%	99.6%	0.4%	13
0%	99.6%	0.4%	14

sample2.8s

Algorithm

intervals

Results

1.0s	11170×	body	80	invalid
733.0ms	8000×	body	80	valid

Details

analyze2.1s

sample111.0ms

simplify88.0ms

prune7.0ms

localize23.0ms

rewrite27.0ms

series82.0ms

simplify59.0ms

prune308.0ms

localize26.0ms

rewrite31.0ms

series95.0ms

simplify143.0ms

prune265.0ms

localize28.0ms

rewrite40.0ms

series138.0ms

simplify70.0ms

prune315.0ms

localize26.0ms

rewrite32.0ms

series59.0ms

simplify64.0ms

prune116.0ms

regimes3.0s

bsearch5.4s

simplify3.0ms

end0.0ms

analyze2.1s

sample2.8s

Profiling