Details

analyze1.6s

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

sample60.0ms

Algorithm

intervals

Results

14.0ms	257×	body	80	invalid
14.0ms	256×	body	80	valid

simplify167.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (165.0ms)

Iter	Nodes	Cost
0	5068	19

prune20.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.6b

Counts

2 → 2

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))
0.0b	(+ (* x y) (* z t))
0.1b	(* (+ a (* b c)) c)
7.9b	(* (* (+ a (* b c)) c) i)

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

14×	`associate-*l/`
11×	`pow1` `add-exp-log` `add-cbrt-cube` `add-log-exp`
9×	`add-sqr-sqrt`
7×	`add-cube-cbrt` `*-un-lft-identity` `flip3-+` `flip-+`
6×	`associate-r`
4×	`associate-l` `pow-prod-down` `prod-exp` `frac-sub` `cbrt-unprod`
2×	`diff-log` `sum-log` `*-commutative`
1×	`+-commutative` `sub-neg` `flip3--` `associate--l+` `flip--` `unswap-sqr`

Counts

4 → 68

Calls

4 calls:

8.0ms	(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))
4.0ms	(+ (* x y) (* z t))
5.0ms	(* (+ a (* b c)) c)
6.0ms	(* (* (+ a (* b c)) c) i)

series369.0ms

Counts

4 → 12

Calls

4 calls:

333.0ms	(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))
9.0ms	(+ (* x y) (* z t))
11.0ms	(* (+ a (* b c)) c)
16.0ms	(* (* (+ a (* b c)) c) i)

simplify28.0ms

Algorithm

egg-herbie

Counts

80 → 80

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	5164	1205

prune131.0ms

Filtered

61 candidates to 80 candidates (-31.1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	74	6	80
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	74	8	82

Merged error: 0.5b

Counts

82 → 8

localize17.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* x y) (* z t))
0.0b	(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))
3.8b	(* (+ a (* b c)) (* c i))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-log-exp`
8×	`pow1` `add-exp-log` `add-cbrt-cube`
6×	`flip3-+` `associate-*l/` `flip-+`
4×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `frac-sub`
3×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`diff-log` `sum-log`
1×	`+-commutative` `sub-neg` `flip3--` `associate-r` `associate--l+` `*-commutative` `flip--`

Counts

3 → 48

Calls

3 calls:

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

series395.0ms

Counts

3 → 9

Calls

3 calls:

9.0ms	(+ (* x y) (* z t))
369.0ms	(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))
16.0ms	(* (+ a (* b c)) (* c i))

simplify24.0ms

Algorithm

egg-herbie

Counts

57 → 57

Iterations

Useful iterations: 0 (17.0ms)

Iter	Nodes	Cost
0	5308	1014

prune104.0ms

Filtered

40 candidates to 57 candidates (-42.5%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	55	2	57
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	55	10	65

Merged error: 0.5b

Counts

65 → 10

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* x y) (- (* z t) (* c (* (+ a (* b c)) i))))
0.0b	(- (* z t) (* c (* (+ a (* b c)) i)))
0.6b	(* (+ a (* b c)) i)
5.7b	(* c (* (+ a (* b c)) i))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 65

Calls

4 calls:

6.0ms	(+ (* x y) (- (* z t) (* c (* (+ a (* b c)) i))))
4.0ms	(- (* z t) (* c (* (+ a (* b c)) i)))
5.0ms	(* (+ a (* b c)) i)
6.0ms	(* c (* (+ a (* b c)) i))

series409.0ms

Counts

4 → 12

Calls

4 calls:

342.0ms	(+ (* x y) (- (* z t) (* c (* (+ a (* b c)) i))))
42.0ms	(- (* z t) (* c (* (+ a (* b c)) i)))
12.0ms	(* (+ a (* b c)) i)
13.0ms	(* c (* (+ a (* b c)) i))

simplify62.0ms

Algorithm

egg-herbie

Counts

77 → 77

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4932	1007
1	4932	1007

prune127.0ms

Filtered

59 candidates to 77 candidates (-30.5%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	74	3	77
Fresh	2	5	7
Picked	0	1	1
Done	1	1	2
Total	77	10	87

Merged error: 0.5b

Counts

87 → 10

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt c)
0.6b	(cbrt c)
2.7b	(* (+ a (* c b)) (* i (cbrt c)))
3.5b	(* (* (cbrt c) (cbrt c)) (* (+ a (* c b)) (* i (cbrt c))))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 72

Calls

4 calls:

1.0ms	(cbrt c)
1.0ms	(cbrt c)
7.0ms	(* (+ a (* c b)) (* i (cbrt c)))
13.0ms	(* (* (cbrt c) (cbrt c)) (* (+ a (* c b)) (* i (cbrt c))))

series114.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(cbrt c)
21.0ms	(cbrt c)
54.0ms	(* (+ a (* c b)) (* i (cbrt c)))
18.0ms	(* (* (cbrt c) (cbrt c)) (* (+ a (* c b)) (* i (cbrt c))))

simplify51.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	4944	684
1	4944	684

prune77.0ms

Filtered

53 candidates to 84 candidates (-58.5%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	83	1	84
Fresh	2	5	7
Picked	0	1	1
Done	0	2	2
Total	85	9	94

Merged error: 0.5b

Counts

94 → 9

regimes2.4s

Accuracy

76% (0.7b remaining)

Error of 1.5b against oracle of 0.8b and baseline of 3.8b

bsearch79.0ms

Steps

Iters	Range		Point
9	3.480711274237729e+69	3.4536606651275943e+76	3.558842578980158e+69
6	-9.350693053334505e+24	-1.4632353170380342e+24	-2.6177420105736684e+24

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	134	47
1	134	47

end0.0ms

sample1.6s

Algorithm

intervals

Results

479.0ms	8000×	body	80	valid
427.0ms	7178×	body	80	invalid

Details

analyze1.6s

sample60.0ms

simplify167.0ms

prune20.0ms

localize14.0ms

rewrite24.0ms

series369.0ms

simplify28.0ms

prune131.0ms

localize17.0ms

rewrite19.0ms

series395.0ms

simplify24.0ms

prune104.0ms

localize14.0ms

rewrite22.0ms

series409.0ms

simplify62.0ms

prune127.0ms

localize18.0ms

rewrite24.0ms

series114.0ms

simplify51.0ms

prune77.0ms

regimes2.4s

bsearch79.0ms

simplify2.0ms

end0.0ms

sample1.6s

Profiling