Details

sample140.0ms

Algorithm

intervals

Results

67.0ms	51×	body	2560	valid
38.0ms	88×	body	1280	valid
12.0ms	52×	body	640	valid
7.0ms	42×	body	320	valid
2.0ms	14×	body	160	valid
1.0ms	9×	body	80	valid

simplify5.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	4
1	14	4
2	16	4
3	16	4

prune3.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: 30.2b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.1b	(/ (- 1.0 (cos x)) (sin x))
2.0b	(- 1.0 (cos x))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt` `*-un-lft-identity`
15×	`times-frac`
12×	`add-cube-cbrt`
5×	`associate-/l*` `distribute-lft-out--` `difference-of-squares`
4×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
3×	`associate-/r*`
2×	`pow1` `flip3--` `flip--` `associate-/l/`
1×	`cbrt-undiv` `sub-neg` `frac-2neg` `diff-log` `div-sub` `div-exp` `clear-num` `div-inv`

Counts

2 → 52

Calls

2 calls:

6.0ms	(/ (- 1.0 (cos x)) (sin x))
3.0ms	(- 1.0 (cos x))

series12.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(/ (- 1.0 (cos x)) (sin x))
4.0ms	(- 1.0 (cos x))

simplify78.0ms

Algorithm

egg-herbie

Counts

58 → 58

Iterations

Useful iterations: 1 (6.0ms)

Iter	Nodes	Cost
0	233	396
1	673	373
2	2640	373
3	5002	373

prune124.0ms

Filtered

42 candidates to 58 candidates (-38.1%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	44	14	58
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	45	14	59

Merged error: 0.2b

Counts

59 → 14

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))
0.3b	(+ (cos x) 1.0)
0.4b	(pow (cos x) 3)
1.8b	(- (pow 1.0 3) (pow (cos x) 3))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

157×	`add-sqr-sqrt`
89×	`*-un-lft-identity`
80×	`difference-of-squares`
75×	`times-frac`
63×	`unpow-prod-down` `cube-prod`
41×	`sqr-pow`
37×	`add-cube-cbrt`
25×	`associate-/l*` `distribute-lft-out--`
8×	`add-log-exp`
7×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `difference-cubes`
3×	`pow-unpow` `associate-/r*`
2×	`flip3--` `flip3-+` `associate-/r/` `flip--` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `cube-mult` `pow-to-exp` `sub-neg` `pow-pow` `frac-2neg` `diff-log` `unpow3` `div-sub` `div-exp` `pow-exp` `clear-num` `sum-log` `div-inv` `distribute-lft-out` `rem-cube-cbrt`

Counts

4 → 189

Calls

4 calls:

20.0ms	(/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))
4.0ms	(+ (cos x) 1.0)
2.0ms	(pow (cos x) 3)
11.0ms	(- (pow 1.0 3) (pow (cos x) 3))

series42.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0)))
2.0ms	(+ (cos x) 1.0)
5.0ms	(pow (cos x) 3)
7.0ms	(- (pow 1.0 3) (pow (cos x) 3))

simplify96.0ms

Algorithm

egg-herbie

Counts

201 → 201

Iterations

Useful iterations: 2 (70.0ms)

Iter	Nodes	Cost
0	617	2953
1	2699	2889
2	5002	2810

prune335.0ms

Filtered

105 candidates to 201 candidates (-91.4%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	195	6	201
Fresh	2	11	13
Picked	1	0	1
Done	0	0	0
Total	198	17	215

Merged error: 0.1b

Counts

215 → 17

localize18.0ms

Local error

Found 4 expressions with local error:

0.3b	(log (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))
0.3b	(+ (cos x) 1.0)
0.4b	(pow (cos x) 3)
1.8b	(- (pow 1.0 3) (pow (cos x) 3))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

132×	`add-sqr-sqrt`
81×	`log-prod`
78×	`*-un-lft-identity`
75×	`times-frac`
64×	`difference-of-squares`
51×	`unpow-prod-down` `cube-prod`
36×	`add-cube-cbrt`
33×	`sqr-pow`
20×	`distribute-lft-out--`
8×	`add-exp-log` `add-log-exp`
6×	`pow1`
5×	`add-cbrt-cube`
4×	`difference-cubes`
3×	`pow-unpow`
2×	`flip3-+` `rem-log-exp` `associate-/r/` `flip-+`
1×	`+-commutative` `cube-mult` `pow-to-exp` `sub-neg` `log-div` `flip3--` `pow-pow` `diff-log` `unpow3` `div-exp` `pow-exp` `sum-log` `log-pow` `flip--` `div-inv` `distribute-lft-out` `rem-cube-cbrt`

Counts

4 → 161

Calls

4 calls:

20.0ms	(log (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))
4.0ms	(+ (cos x) 1.0)
2.0ms	(pow (cos x) 3)
11.0ms	(- (pow 1.0 3) (pow (cos x) 3))

series60.0ms

Counts

4 → 12

Calls

4 calls:

46.0ms	(log (/ (- (pow 1.0 3) (pow (cos x) 3)) (+ (* (cos x) (+ (cos x) 1.0)) (* 1.0 1.0))))
2.0ms	(+ (cos x) 1.0)
5.0ms	(pow (cos x) 3)
7.0ms	(- (pow 1.0 3) (pow (cos x) 3))

simplify90.0ms

Algorithm

egg-herbie

Counts

173 → 173

Iterations

Useful iterations: 2 (65.0ms)

Iter	Nodes	Cost
0	784	2810
1	2652	2748
2	5002	2680

prune332.0ms

Filtered

88 candidates to 173 candidates (-96.6%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	171	2	173
Fresh	2	14	16
Picked	1	0	1
Done	0	0	0
Total	174	16	190

Merged error: 0.1b

Counts

190 → 16

localize10.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ (- 1.0 (cos x)) (sin x))
0.2b	(exp (/ (- 1.0 (cos x)) (sin x)))
1.5b	(log (exp (/ (- 1.0 (cos x)) (sin x))))
2.0b	(- 1.0 (cos x))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

55×	`add-sqr-sqrt` `*-un-lft-identity`
45×	`times-frac`
38×	`exp-prod`
33×	`add-cube-cbrt`
20×	`log-pow`
11×	`distribute-lft-out--` `difference-of-squares`
7×	`add-log-exp`
6×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `associate-/l*`
3×	`log-prod` `div-sub` `associate-/r*` `div-inv`
2×	`flip3--` `exp-diff` `flip--` `associate-/l/`
1×	`cbrt-undiv` `sub-neg` `log-div` `frac-2neg` `diff-log` `div-exp` `rem-log-exp` `clear-num` `rem-exp-log`

Counts

4 → 112

Calls

4 calls:

6.0ms	(/ (- 1.0 (cos x)) (sin x))
7.0ms	(exp (/ (- 1.0 (cos x)) (sin x)))
7.0ms	(log (exp (/ (- 1.0 (cos x)) (sin x))))
3.0ms	(- 1.0 (cos x))

series30.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(/ (- 1.0 (cos x)) (sin x))
12.0ms	(exp (/ (- 1.0 (cos x)) (sin x)))
8.0ms	(log (exp (/ (- 1.0 (cos x)) (sin x))))
3.0ms	(- 1.0 (cos x))

simplify87.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 2 (20.0ms)

Iter	Nodes	Cost
0	303	818
1	799	768
2	2970	766
3	5001	766

prune148.0ms

Filtered

88 candidates to 124 candidates (-40.9%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	118	6	124
Fresh	4	11	15
Picked	1	0	1
Done	0	0	0
Total	123	17	140

Merged error: 0.1b

Counts

140 → 17

regimes244.0ms

Accuracy

97.8% (0.7b remaining)

Error of 0.8b against oracle of 0.2b and baseline of 30.1b

bsearch1.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	50	47
1	50	47

end0.0ms

sample4.2s

Algorithm

intervals

Results

2.1s	1599×	body	2560	valid
1.2s	2732×	body	1280	valid
456.0ms	1918×	body	640	valid
144.0ms	922×	body	320	valid
50.0ms	443×	body	160	valid
28.0ms	6×	body	5120	valid
25.0ms	380×	body	80	valid

Details

sample140.0ms

simplify5.0ms

prune3.0ms

localize7.0ms

rewrite11.0ms

series12.0ms

simplify78.0ms

prune124.0ms

localize17.0ms

rewrite46.0ms

series42.0ms

simplify96.0ms

prune335.0ms

localize18.0ms

rewrite48.0ms

series60.0ms

simplify90.0ms

prune332.0ms

localize10.0ms

rewrite28.0ms

series30.0ms

simplify87.0ms

prune148.0ms

regimes244.0ms

bsearch1.0ms

simplify2.0ms

end0.0ms

sample4.2s

Profiling