Details

analyze525.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
6.2%	93.7%	0.1%	5
6.2%	90.5%	3.2%	6
21.9%	67.1%	11%	7
23.4%	64.8%	11.8%	8
32%	52.7%	15.3%	9
33.2%	51.3%	15.5%	10
37.7%	45.2%	17.2%	11
38.3%	44.4%	17.2%	12
40.6%	41.3%	18%	13
41%	41%	18%	14

sample44.0ms

Algorithm

intervals

Results

11.0ms	178×	body	80	valid
7.0ms	28×	body	1280	valid
5.0ms	30×	body	640	valid
4.0ms	25×	body	1280	nan
3.0ms	24×	body	640	nan
1.0ms	11×	body	320	valid
1.0ms	12×	body	320	nan
1.0ms	9×	body	160	valid
0.0ms	5×	body	160	nan
0.0ms	8×	body	80	nan

simplify398.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (389.0ms)

Iter	Nodes	Cost
0	5145	18

prune1.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: 19.3b

Counts

2 → 1

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
0.0b	(/.f64 (-.f64 x y) (-.f64 1 y))
2.3b	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))
5.3b	(log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))

rewrite71.0ms

Algorithm

rewrite-expression-head

Rules

78×	`add-sqr-sqrt_binary64`
67×	`*-un-lft-identity_binary64`
36×	`times-frac_binary64`
33×	`difference-of-squares_binary64`
19×	`add-cube-cbrt_binary64`
18×	`distribute-lft-out--_binary64`
16×	`log-prod_binary64`
8×	`associate--r+_binary64`
7×	`add-log-exp_binary64` `add-exp-log_binary64`
6×	`associate-/r*_binary64` `pow1_binary64` `flip3--_binary64` `add-cbrt-cube_binary64` `flip--_binary64`
5×	`associate-/l*_binary64`
4×	`log-div_binary64`
3×	`associate--r-_binary64`
2×	`associate-/l/_binary64` `sub-neg_binary64` `diff-log_binary64` `log-pow_binary64` `associate-/r/_binary64` `div-sub_binary64`
1×	`cbrt-undiv_binary64` `rem-log-exp_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64`

Counts

4 → 119

Calls

4 calls:

21.0ms	(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
11.0ms	(/.f64 (-.f64 x y) (-.f64 1 y))
17.0ms	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))
17.0ms	(log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))

series178.0ms

Counts

4 → 12

Calls

4 calls:

53.0ms	(-.f64 1 (log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
27.0ms	(/.f64 (-.f64 x y) (-.f64 1 y))
38.0ms	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))
59.0ms	(log.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))

simplify98.0ms

Algorithm

egg-herbie

Counts

131 → 131

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	5547	2791

prune138.0ms

Filtered

93 candidates to 131 candidates (-40.9%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	126	5	131
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	127	5	132

Merged error: 0.1b

Counts

132 → 5

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(-.f64 1 (log.f64 (-.f64 1 (*.f64 (-.f64 x y) (/.f64 1 (-.f64 1 y))))))
0.1b	(*.f64 (-.f64 x y) (/.f64 1 (-.f64 1 y)))
4.7b	(-.f64 1 (*.f64 (-.f64 x y) (/.f64 1 (-.f64 1 y))))
5.3b	(log.f64 (-.f64 1 (*.f64 (-.f64 x y) (/.f64 1 (-.f64 1 y)))))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

38×	`add-sqr-sqrt_binary64`
33×	`*-un-lft-identity_binary64`
24×	`associate-r_binary64`
20×	`times-frac_binary64`
17×	`add-cube-cbrt_binary64`
14×	`add-exp-log_binary64`
9×	`add-cbrt-cube_binary64` `difference-of-squares_binary64`
8×	`pow1_binary64`
7×	`add-log-exp_binary64` `flip3--_binary64` `flip--_binary64`
6×	`log-prod_binary64` `distribute-lft-out--_binary64`
5×	`associate-l_binary64`
4×	`prod-exp_binary64` `log-div_binary64`
3×	`associate--r+_binary64` `unswap-sqr_binary64`
2×	`sub-neg_binary64` `diff-log_binary64` `cbrt-unprod_binary64` `associate--r-_binary64` `log-pow_binary64` `associate-/r/_binary64` `div-exp_binary64` `frac-times_binary64` `associate-*l/_binary64`
1×	`pow-prod-down_binary64` `1-exp_binary64` `cbrt-undiv_binary64` `rem-log-exp_binary64` `associate-r/_binary64` `rec-exp_binary64` `un-div-inv_binary64` `div-inv_binary64` `-commutative_binary64`

Counts

4 → 98

Calls

4 calls:

7.0ms	(-.f64 1 (log.f64 (-.f64 1 (*.f64 (-.f64 x y) (/.f64 1 (-.f64 1 y))))))
15.0ms	(*.f64 (-.f64 x y) (/.f64 1 (-.f64 1 y)))
4.0ms	(-.f64 1 (*.f64 (-.f64 x y) (/.f64 1 (-.f64 1 y))))
4.0ms	(log.f64 (-.f64 1 (*.f64 (-.f64 x y) (/.f64 1 (-.f64 1 y)))))

series169.0ms

Counts

4 → 12

Calls

4 calls:

54.0ms	(-.f64 1 (log.f64 (-.f64 1 (*.f64 (-.f64 x y) (/.f64 1 (-.f64 1 y))))))
24.0ms	(*.f64 (-.f64 x y) (/.f64 1 (-.f64 1 y)))
37.0ms	(-.f64 1 (*.f64 (-.f64 x y) (/.f64 1 (-.f64 1 y))))
54.0ms	(log.f64 (-.f64 1 (*.f64 (-.f64 x y) (/.f64 1 (-.f64 1 y)))))

simplify78.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5274	2023

prune91.0ms

Filtered

83 candidates to 110 candidates (-32.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	110	0	110
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	110	5	115

Merged error: 0.1b

Counts

115 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (-.f64 x y) (-.f64 1 y))
0.0b	(log.f64 (/.f64 E.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
0.1b	(/.f64 E.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))
2.3b	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))

rewrite76.0ms

Algorithm

rewrite-expression-head

Rules

138×	`add-sqr-sqrt_binary64`
106×	`*-un-lft-identity_binary64`
94×	`times-frac_binary64`
51×	`difference-of-squares_binary64`
42×	`add-cube-cbrt_binary64`
30×	`log-prod_binary64`
21×	`distribute-lft-out--_binary64`
14×	`associate-/r*_binary64`
13×	`add-exp-log_binary64`
8×	`add-cbrt-cube_binary64` `associate-/l*_binary64`
6×	`add-log-exp_binary64` `associate-/r/_binary64`
5×	`pow1_binary64` `flip3--_binary64` `div-exp_binary64` `flip--_binary64`
3×	`rem-log-exp_binary64` `div-inv_binary64`
2×	`associate-/l/_binary64` `cbrt-undiv_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `e-exp-1_binary64`
1×	`sub-neg_binary64` `diff-log_binary64` `associate--r-_binary64` `log-pow_binary64` `log-div_binary64`

Counts

4 → 167

Calls

4 calls:

9.0ms	(/.f64 (-.f64 x y) (-.f64 1 y))
20.0ms	(log.f64 (/.f64 E.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
20.0ms	(/.f64 E.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))
19.0ms	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))

series198.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(/.f64 (-.f64 x y) (-.f64 1 y))
74.0ms	(log.f64 (/.f64 E.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))))
52.0ms	(/.f64 E.f64 (-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y))))
47.0ms	(-.f64 1 (/.f64 (-.f64 x y) (-.f64 1 y)))

simplify102.0ms

Algorithm

egg-herbie

Counts

179 → 179

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5088	4580

prune164.0ms

Filtered

122 candidates to 179 candidates (-46.7%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	178	1	179
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	178	6	184

Merged error: 0b

Counts

184 → 6

localize12.0ms

Local error

Found 2 expressions with local error:

0.0b	(log.f64 (*.f64 E.f64 (+.f64 1 (-.f64 x y))))
0.2b	(*.f64 E.f64 (+.f64 1 (-.f64 x y)))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

9×	`*-un-lft-identity_binary64` `add-exp-log_binary64`
7×	`pow1_binary64`
6×	`add-sqr-sqrt_binary64`
5×	`associate-r_binary64`
4×	`associate-*r/_binary64` `add-cube-cbrt_binary64` `add-cbrt-cube_binary64` `prod-exp_binary64`
3×	`rem-log-exp_binary64` `associate-l_binary64`
2×	`pow-prod-down_binary64` `flip3-+_binary64` `add-log-exp_binary64` `distribute-lft-out_binary64` `log-pow_binary64` `e-exp-1_binary64` `log-div_binary64` `flip-+_binary64`
1×	`cbrt-unprod_binary64` `log-prod_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `distribute-lft-out--_binary64` `*-commutative_binary64`

Counts

2 → 40

Calls

2 calls:

7.0ms	(log.f64 (*.f64 E.f64 (+.f64 1 (-.f64 x y))))
17.0ms	(*.f64 E.f64 (+.f64 1 (-.f64 x y)))

series44.0ms

Counts

2 → 6

Calls

2 calls:

30.0ms	(log.f64 (*.f64 E.f64 (+.f64 1 (-.f64 x y))))
14.0ms	(*.f64 E.f64 (+.f64 1 (-.f64 x y)))

simplify76.0ms

Algorithm

egg-herbie

Counts

46 → 46

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4974	612
1	4974	612

prune23.0ms

Filtered

30 candidates to 46 candidates (-53.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	45	1	46
Fresh	1	2	3
Picked	1	0	1
Done	0	2	2
Total	47	5	52

Merged error: 0b

Counts

52 → 5

regimes74.0ms

Accuracy

99.2% (0.1b remaining)

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

bsearch1.0ms

simplify6.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	161	60
1	161	60

end0.0ms

sample1.2s

Algorithm

intervals

Results

266.0ms	5700×	body	80	valid
194.0ms	815×	body	1280	valid
137.0ms	807×	body	640	valid
131.0ms	749×	body	1280	nan
110.0ms	779×	body	640	nan
52.0ms	432×	body	320	valid
47.0ms	431×	body	320	nan
22.0ms	246×	body	160	valid
16.0ms	232×	body	160	nan
12.0ms	372×	body	80	nan

Details

analyze525.0ms

sample44.0ms

simplify398.0ms

prune1.0ms

localize8.0ms

rewrite71.0ms

series178.0ms

simplify98.0ms

prune138.0ms

localize10.0ms

rewrite33.0ms

series169.0ms

simplify78.0ms

prune91.0ms

localize9.0ms

rewrite76.0ms

series198.0ms

simplify102.0ms

prune164.0ms

localize12.0ms

rewrite25.0ms

series44.0ms

simplify76.0ms

prune23.0ms

regimes74.0ms

bsearch1.0ms

simplify6.0ms

end0.0ms

sample1.2s

Profiling