Details

analyze697.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	50%	0%	4
50%	50%	0%	5
50%	50%	0%	6
50%	50%	0%	7
50%	50%	0%	8
50%	50%	0%	9
50%	50%	0%	10
50%	50%	0%	11
50%	50%	0%	12
50%	50%	0%	13
50%	49.9%	0.1%	14

sample200.0ms

Algorithm

intervals

Results

68.0ms	45×	body	5120	exit
52.0ms	104×	body	1280	valid
29.0ms	89×	body	640	valid
19.0ms	40×	body	1280	nan
8.0ms	31×	body	640	nan
8.0ms	36×	body	320	valid
2.0ms	10×	body	320	nan
2.0ms	11×	body	160	valid
1.0ms	16×	body	80	valid
1.0ms	7×	body	160	nan
0.0ms	6×	body	80	nan

simplify145.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (136.0ms)

Iter	Nodes	Cost
0	4786	15
1	4786	15

prune4.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: 59.4b

Counts

2 → 2

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
0.0b	(sqrt.f64 (cos.f64 x))
3.0b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-sqr-sqrt_binary64`
12×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
9×	`times-frac_binary64`
5×	`add-cbrt-cube_binary64`
4×	`pow1_binary64` `add-exp-log_binary64`
3×	`associate-/r_binary64` `add-log-exp_binary64` `associate-/l_binary64` `sqrt-prod_binary64`
1×	`pow1/2_binary64` `cbrt-undiv_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64`

Counts

3 → 47

Calls

3 calls:

4.0ms	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
1.0ms	(sqrt.f64 (cos.f64 x))
0.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

series58.0ms

Counts

3 → 9

Calls

3 calls:

36.0ms	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
15.0ms	(sqrt.f64 (cos.f64 x))
7.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

simplify94.0ms

Algorithm

egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	5710	953

prune37.0ms

Filtered

40 candidates to 56 candidates (-40.0%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	52	4	56
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	54	4	58

Merged error: 59.4b

Counts

58 → 4

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
3.0b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
3.0b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
3.0b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

5×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
4×	`add-log-exp_binary64` `pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
3×	`cbrt-prod_binary64`
1×	`pow1/3_binary64`

Counts

4 → 32

Calls

4 calls:

1.0ms	(cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
1.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
0.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
1.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

series148.0ms

Counts

4 → 12

Calls

4 calls:

129.0ms	(cbrt.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))))
6.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
6.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
7.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

simplify82.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4772	566
1	4772	566

prune42.0ms

Filtered

31 candidates to 44 candidates (-41.9%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	43	1	44
Fresh	0	3	3
Picked	1	0	1
Done	0	0	0
Total	44	4	48

Merged error: 59.4b

Counts

48 → 4

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
0.0b	(sqrt.f64 (cos.f64 x))
1.0b	(log.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))))
3.0b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt_binary64`
21×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
18×	`times-frac_binary64`
14×	`log-pow_binary64`
13×	`exp-prod_binary64`
6×	`pow1_binary64` `add-cbrt-cube_binary64`
5×	`add-exp-log_binary64`
4×	`add-log-exp_binary64`
3×	`associate-/r_binary64` `log-prod_binary64` `associate-/l_binary64` `sqrt-prod_binary64`
2×	`div-inv_binary64`
1×	`pow1/2_binary64` `cbrt-undiv_binary64` `rem-log-exp_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-exp_binary64`

Counts

4 → 72

Calls

4 calls:

4.0ms	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
1.0ms	(sqrt.f64 (cos.f64 x))
4.0ms	(log.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))))
1.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

series88.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))
12.0ms	(sqrt.f64 (cos.f64 x))
38.0ms	(log.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x))))
7.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

simplify98.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	4853	1509
1	4853	1509

prune54.0ms

Filtered

64 candidates to 84 candidates (-31.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	83	1	84
Fresh	1	2	3
Picked	1	0	1
Done	0	0	0
Total	85	3	88

Merged error: 59.4b

Counts

88 → 3

localize11.0ms

Local error

Found 4 expressions with local error:

1.1b	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x)))))
1.1b	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x)))))
3.0b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
3.0b	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

32×	`log-pow_binary64`
28×	`sqrt-pow1_binary64`
26×	`exp-prod_binary64`
22×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
18×	`times-frac_binary64`
12×	`log-prod_binary64`
8×	`pow1_binary64`
6×	`add-exp-log_binary64` `sqrt-prod_binary64`
4×	`add-log-exp_binary64` `add-cbrt-cube_binary64`
2×	`pow1/2_binary64` `rem-log-exp_binary64` `div-inv_binary64`

Counts

4 → 74

Calls

4 calls:

6.0ms	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x)))))
6.0ms	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x)))))
1.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
1.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

series328.0ms

Counts

4 → 12

Calls

4 calls:

161.0ms	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x)))))
155.0ms	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x))) (exp.f64 x)))))
5.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))
6.0ms	(fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))

simplify161.0ms

Algorithm

egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (136.0ms)

Iter	Nodes	Cost
0	4957	1848
1	4957	1848

prune73.0ms

Filtered

64 candidates to 86 candidates (-34.4%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	84	2	86
Fresh	0	2	2
Picked	1	0	1
Done	0	0	0
Total	85	4	89

Merged error: 59.4b

Counts

89 → 4

regimes15.0ms

Accuracy

0% (0.0b remaining)

Error of 59.6b against oracle of 59.6b and baseline of 59.6b

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	22	87
1	22	87

end0.0ms

sample6.4s

Algorithm

intervals

Results

2.5s	1556×	body	5120	exit
1.6s	3142×	body	1280	valid
826.0ms	2523×	body	640	valid
458.0ms	1174×	body	1280	nan
288.0ms	1241×	body	320	valid
251.0ms	960×	body	640	nan
102.0ms	524×	body	320	nan
89.0ms	599×	body	160	valid
43.0ms	495×	body	80	valid
32.0ms	248×	body	160	nan
19.0ms	253×	body	80	nan

Details

analyze697.0ms

sample200.0ms

simplify145.0ms

prune4.0ms

localize7.0ms

rewrite7.0ms

series58.0ms

simplify94.0ms

prune37.0ms

localize17.0ms

rewrite3.0ms

series148.0ms

simplify82.0ms

prune42.0ms

localize9.0ms

rewrite12.0ms

series88.0ms

simplify98.0ms

prune54.0ms

localize11.0ms

rewrite15.0ms

series328.0ms

simplify161.0ms

prune73.0ms

regimes15.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample6.4s

Profiling