Details

analyze4.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	100%	0%	3
75%	25%	0%	4
87.5%	12.5%	0%	5
93.7%	6.2%	0%	6
96.8%	3.1%	0%	7
98.4%	1.6%	0%	8
99.2%	0.8%	0%	9
99.6%	0.4%	0%	10
99.8%	0.2%	0%	11
99.9%	0.1%	0%	12
99.9%	0%	0%	13
99.9%	0%	0%	14

sample24.0ms

Algorithm

intervals

Results

8.0ms	57×	body	1280	valid
4.0ms	38×	body	640	valid
4.0ms	136×	body	80	valid
1.0ms	13×	body	320	valid
1.0ms	12×	body	160	valid

simplify101.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (99.0ms)

Iter	Nodes	Cost
0	1001	13
1	1001	13

prune2.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: 28.2b

Counts

2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(/.f64 x (+.f64 x 1.0))
0.0b	(/.f64 (+.f64 x 1.0) (-.f64 x 1.0))
3.1b	(-.f64 (/.f64 x (+.f64 x 1.0)) (/.f64 (+.f64 x 1.0) (-.f64 x 1.0)))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

99×	`*-un-lft-identity_binary64`
52×	`times-frac_binary64`
45×	`add-sqr-sqrt_binary64`
23×	`add-cube-cbrt_binary64`
18×	`distribute-lft-out_binary64` `distribute-lft-out--_binary64`
9×	`associate-/r*_binary64` `difference-of-squares_binary64`
7×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-/l*_binary64`
5×	`add-log-exp_binary64`
4×	`associate-/r/_binary64`
3×	`pow1_binary64`
2×	`flip3-+_binary64` `associate-/l/_binary64` `flip3--_binary64` `cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64` `flip--_binary64` `flip-+_binary64`
1×	`sub-neg_binary64` `diff-log_binary64` `frac-sub_binary64`

Counts

3 → 103

Calls

3 calls:

5.0ms	(/.f64 x (+.f64 x 1.0))
9.0ms	(/.f64 (+.f64 x 1.0) (-.f64 x 1.0))
35.0ms	(-.f64 (/.f64 x (+.f64 x 1.0)) (/.f64 (+.f64 x 1.0) (-.f64 x 1.0)))

series16.0ms

Counts

3 → 9

Calls

3 calls:

3.0ms	(/.f64 x (+.f64 x 1.0))
3.0ms	(/.f64 (+.f64 x 1.0) (-.f64 x 1.0))
9.0ms	(-.f64 (/.f64 x (+.f64 x 1.0)) (/.f64 (+.f64 x 1.0) (-.f64 x 1.0)))

simplify58.0ms

Algorithm

egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4955	1404
1	4955	1404

prune147.0ms

Filtered

76 candidates to 112 candidates (-47.4%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	108	4	112
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	109	4	113

Merged error: 0.1b

Counts

113 → 4

localize7.0ms

Local error

Found 4 expressions with local error:

0.0b	(/.f64 1 (-.f64 x 1.0))
0.0b	(/.f64 x (+.f64 x 1.0))
0.1b	(*.f64 (+.f64 x 1.0) (/.f64 1 (-.f64 x 1.0)))
5.5b	(-.f64 (/.f64 x (+.f64 x 1.0)) (*.f64 (+.f64 x 1.0) (/.f64 1 (-.f64 x 1.0))))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

58×	`*-un-lft-identity_binary64`
54×	`add-sqr-sqrt_binary64`
44×	`times-frac_binary64`
33×	`add-cube-cbrt_binary64`
21×	`associate-r_binary64`
19×	`add-exp-log_binary64`
13×	`add-cbrt-cube_binary64`
9×	`associate-/r*_binary64`
7×	`pow1_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64`
6×	`add-log-exp_binary64` `associate-/r/_binary64` `associate-/l*_binary64` `frac-sub_binary64`
5×	`flip3-+_binary64` `distribute-lft-out_binary64` `div-exp_binary64` `flip-+_binary64`
4×	`associate-l_binary64` `prod-exp_binary64` `frac-times_binary64` `associate-*l/_binary64`
3×	`flip3--_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64` `div-inv_binary64` `flip--_binary64`
2×	`cbrt-unprod_binary64` `1-exp_binary64` `associate-*r/_binary64` `clear-num_binary64` `frac-2neg_binary64` `rec-exp_binary64` `un-div-inv_binary64`
1×	`pow-prod-down_binary64` `sub-neg_binary64` `diff-log_binary64` `inv-pow_binary64` `pow-flip_binary64` `*-commutative_binary64`

Counts

4 → 140

Calls

4 calls:

6.0ms	(/.f64 1 (-.f64 x 1.0))
5.0ms	(/.f64 x (+.f64 x 1.0))
15.0ms	(*.f64 (+.f64 x 1.0) (/.f64 1 (-.f64 x 1.0)))
11.0ms	(-.f64 (/.f64 x (+.f64 x 1.0)) (*.f64 (+.f64 x 1.0) (/.f64 1 (-.f64 x 1.0))))

series19.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(/.f64 1 (-.f64 x 1.0))
3.0ms	(/.f64 x (+.f64 x 1.0))
3.0ms	(*.f64 (+.f64 x 1.0) (/.f64 1 (-.f64 x 1.0)))
10.0ms	(-.f64 (/.f64 x (+.f64 x 1.0)) (*.f64 (+.f64 x 1.0) (/.f64 1 (-.f64 x 1.0))))

simplify52.0ms

Algorithm

egg-herbie

Counts

152 → 152

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5312	1602

prune136.0ms

Filtered

99 candidates to 152 candidates (-53.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	151	1	152
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	151	5	156

Merged error: 0.0b

Counts

156 → 5

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (+.f64 x 1.0) (-.f64 x 1.0))
0.1b	(.f64 (/.f64 x (.f64 (+.f64 x 1.0) (-.f64 x 1.0))) (-.f64 x 1.0))
5.5b	(-.f64 (.f64 (/.f64 x (.f64 (+.f64 x 1.0) (-.f64 x 1.0))) (-.f64 x 1.0)) (/.f64 (+.f64 x 1.0) (-.f64 x 1.0)))
16.2b	(/.f64 x (*.f64 (+.f64 x 1.0) (-.f64 x 1.0)))

rewrite66.0ms

Algorithm

rewrite-expression-head

Rules

44×	`*-un-lft-identity_binary64`
34×	`add-sqr-sqrt_binary64`
26×	`times-frac_binary64`
20×	`add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
18×	`associate-/r/_binary64`
15×	`associate-l_binary64`
12×	`flip3--_binary64` `flip--_binary64` `frac-times_binary64`
8×	`associate-*r/_binary64`
7×	`flip3-+_binary64` `associate-/l*_binary64` `flip-+_binary64`
6×	`associate-/r_binary64` `add-log-exp_binary64` `pow1_binary64` `distribute-lft-out_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `associate-l/_binary64`
5×	`sub-neg_binary64` `cbrt-unprod_binary64` `associate-r_binary64` `cbrt-undiv_binary64` `prod-exp_binary64` `div-exp_binary64` `frac-sub_binary64`
3×	`div-inv_binary64`
2×	`associate-/l/_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate--l+_binary64`
1×	`pow-prod-down_binary64` `diff-log_binary64` `unswap-sqr_binary64` `*-commutative_binary64`

Counts

4 → 135

Calls

4 calls:

11.0ms	(/.f64 (+.f64 x 1.0) (-.f64 x 1.0))
17.0ms	(.f64 (/.f64 x (.f64 (+.f64 x 1.0) (-.f64 x 1.0))) (-.f64 x 1.0))
23.0ms	(-.f64 (.f64 (/.f64 x (.f64 (+.f64 x 1.0) (-.f64 x 1.0))) (-.f64 x 1.0)) (/.f64 (+.f64 x 1.0) (-.f64 x 1.0)))
10.0ms	(/.f64 x (*.f64 (+.f64 x 1.0) (-.f64 x 1.0)))

series24.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(/.f64 (+.f64 x 1.0) (-.f64 x 1.0))
4.0ms	(.f64 (/.f64 x (.f64 (+.f64 x 1.0) (-.f64 x 1.0))) (-.f64 x 1.0))
9.0ms	(-.f64 (.f64 (/.f64 x (.f64 (+.f64 x 1.0) (-.f64 x 1.0))) (-.f64 x 1.0)) (/.f64 (+.f64 x 1.0) (-.f64 x 1.0)))
8.0ms	(/.f64 x (*.f64 (+.f64 x 1.0) (-.f64 x 1.0)))

simplify70.0ms

Algorithm

egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4975	1919
1	4975	1919

prune168.0ms

Filtered

112 candidates to 147 candidates (-31.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	147	0	147
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	147	5	152

Merged error: 0.0b

Counts

152 → 5

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(+.f64 1.0 (.f64 x (+.f64 (.f64 x 1.0) 3.0)))
0.0b	(.f64 x (+.f64 (.f64 x 1.0) 3.0))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt_binary64`
4×	`*-un-lft-identity_binary64` `add-log-exp_binary64` `pow1_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
3×	`associate-r_binary64` `associate-l_binary64`
2×	`flip3-+_binary64` `associate-*r/_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `flip-+_binary64` `associate-+r+_binary64`
1×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `+-commutative_binary64` `sum-log_binary64` `*-commutative_binary64`

Counts

2 → 35

Calls

2 calls:

4.0ms	(+.f64 1.0 (.f64 x (+.f64 (.f64 x 1.0) 3.0)))
7.0ms	(.f64 x (+.f64 (.f64 x 1.0) 3.0))

series12.0ms

Counts

2 → 6

Calls

2 calls:

4.0ms	(+.f64 1.0 (.f64 x (+.f64 (.f64 x 1.0) 3.0)))
9.0ms	(.f64 x (+.f64 (.f64 x 1.0) 3.0))

simplify52.0ms

Algorithm

egg-herbie

Counts

41 → 41

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4999	411
1	4999	411

prune35.0ms

Filtered

28 candidates to 41 candidates (-46.4%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	41	0	41
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	41	5	46

Merged error: 0.0b

Counts

46 → 5

regimes44.0ms

Accuracy

99.9% (0.0b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 28.4b

bsearch23.0ms

Steps

Iters	Range		Point
8	783.9248997700159	333434.52581577527	14598.338637180132
10	-1150091520452.1025	-0.024287732823846688	-13030.927938080447

simplify4.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	173	40
1	173	40

end0.0ms

sample677.0ms

Algorithm

intervals

Results

244.0ms	1665×	body	1280	valid
137.0ms	1201×	body	640	valid
129.0ms	4231×	body	80	valid
53.0ms	595×	body	320	valid
18.0ms	308×	body	160	valid

Details

analyze4.0ms

sample24.0ms

simplify101.0ms

prune2.0ms

localize6.0ms

rewrite53.0ms

series16.0ms

simplify58.0ms

prune147.0ms

localize7.0ms

rewrite43.0ms

series19.0ms

simplify52.0ms

prune136.0ms

localize8.0ms

rewrite66.0ms

series24.0ms

simplify70.0ms

prune168.0ms

localize7.0ms

rewrite11.0ms

series12.0ms

simplify52.0ms

prune35.0ms

regimes44.0ms

bsearch23.0ms

simplify4.0ms

end0.0ms

sample677.0ms

Profiling