Details

analyze348.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	74.9%	25.1%	3
0%	74.9%	25.1%	4
0%	74.9%	25.1%	5
0%	62.4%	37.6%	6
0%	31.2%	68.8%	7
0%	31.2%	68.8%	8
0%	31.2%	68.8%	9
0%	28.1%	71.9%	10
6.1%	20.4%	73.5%	11
6.1%	20.4%	73.5%	12
7.7%	18.8%	73.5%	13
9.2%	16.6%	74.3%	14

sample50.0ms

Algorithm

intervals

Results

13.0ms	184×	body	80	valid
11.0ms	28×	body	640	valid
7.0ms	7×	body	1280	valid
4.0ms	18×	body	320	valid
3.0ms	19×	body	160	valid
1.0ms	9×	body	80	nan

simplify240.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (237.0ms)

Iter	Nodes	Cost
0	6294	17

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: 6.1b

Counts

2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 (-.f64 x 1) (log.f64 y)) (.f64 (-.f64 z 1) (log.f64 (-.f64 1 y))))
0.0b	(*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))
0.1b	(*.f64 (-.f64 x 1) (log.f64 y))
6.0b	(log.f64 (-.f64 1 y))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

44×	`add-sqr-sqrt_binary64`
42×	`log-prod_binary64`
38×	`*-un-lft-identity_binary64`
18×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64`
17×	`add-cube-cbrt_binary64`
14×	`associate-l_binary64` `difference-of-squares_binary64`
12×	`associate-+r+_binary64` `associate-*l/_binary64`
11×	`pow1_binary64`
9×	`add-exp-log_binary64`
8×	`associate-r_binary64` `add-cbrt-cube_binary64`
7×	`flip3--_binary64` `distribute-lft-out--_binary64` `flip--_binary64`
6×	`add-log-exp_binary64` `associate-+l+_binary64`
4×	`frac-add_binary64`
3×	`log-pow_binary64`
2×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `difference-of-sqr-1_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `log-div_binary64` `*-commutative_binary64`
1×	`flip3-+_binary64` `rem-log-exp_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64`

Counts

4 → 118

Calls

4 calls:

14.0ms	(+.f64 (.f64 (-.f64 x 1) (log.f64 y)) (.f64 (-.f64 z 1) (log.f64 (-.f64 1 y))))
10.0ms	(*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))
8.0ms	(*.f64 (-.f64 x 1) (log.f64 y))
4.0ms	(log.f64 (-.f64 1 y))

series43.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(+.f64 (.f64 (-.f64 x 1) (log.f64 y)) (.f64 (-.f64 z 1) (log.f64 (-.f64 1 y))))
7.0ms	(*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))
9.0ms	(*.f64 (-.f64 x 1) (log.f64 y))
4.0ms	(log.f64 (-.f64 1 y))

simplify48.0ms

Algorithm

egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5164	1658

prune128.0ms

Filtered

95 candidates to 130 candidates (-36.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	122	8	130
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	123	8	131

Merged error: 0.0b

Counts

131 → 8

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(.f64 (-.f64 z 1) (-.f64 (neg.f64 y) (.f64 (.f64 y y) (+.f64 (.f64 y 1/3) 1/2))))
0.0b	(.f64 (.f64 y y) (+.f64 (*.f64 y 1/3) 1/2))
0.1b	(*.f64 (-.f64 x 1) (log.f64 y))
0.3b	(*.f64 y 1/3)

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt_binary64`
19×	`*-un-lft-identity_binary64`
18×	`associate-l_binary64`
16×	`pow1_binary64`
15×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
13×	`associate-r_binary64` `add-cube-cbrt_binary64`
7×	`flip3--_binary64` `flip--_binary64`
6×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `log-prod_binary64` `prod-exp_binary64`
5×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64`
4×	`add-log-exp_binary64` `associate-r/_binary64` `unswap-sqr_binary64` `difference-of-squares_binary64` `frac-times_binary64` `associate-l/_binary64` `*-commutative_binary64`
2×	`sub-neg_binary64` `difference-of-sqr-1_binary64` `distribute-lft-out--_binary64`
1×	`flip3-+_binary64` `log-pow_binary64` `flip-+_binary64`

Counts

4 → 104

Calls

4 calls:

11.0ms	(.f64 (-.f64 z 1) (-.f64 (neg.f64 y) (.f64 (.f64 y y) (+.f64 (.f64 y 1/3) 1/2))))
10.0ms	(.f64 (.f64 y y) (+.f64 (*.f64 y 1/3) 1/2))
8.0ms	(*.f64 (-.f64 x 1) (log.f64 y))
4.0ms	(*.f64 y 1/3)

series37.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(.f64 (-.f64 z 1) (-.f64 (neg.f64 y) (.f64 (.f64 y y) (+.f64 (.f64 y 1/3) 1/2))))
9.0ms	(.f64 (.f64 y y) (+.f64 (*.f64 y 1/3) 1/2))
8.0ms	(*.f64 (-.f64 x 1) (log.f64 y))
2.0ms	(*.f64 y 1/3)

simplify37.0ms

Algorithm

egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	4988	1354
1	4988	1354

prune106.0ms

Filtered

79 candidates to 116 candidates (-46.8%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	114	2	116
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	114	10	124

Merged error: 0.0b

Counts

124 → 10

localize31.0ms

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (.f64 y (-.f64 -1 (.f64 y (+.f64 (.f64 y 1/3) 1/2))))) (cbrt.f64 (.f64 y (-.f64 -1 (.f64 y (+.f64 (*.f64 y 1/3) 1/2))))))
0.6b	(cbrt.f64 (-.f64 (neg.f64 y) (.f64 (.f64 y y) (+.f64 (*.f64 y 1/3) 1/2))))
0.6b	(cbrt.f64 (.f64 y (-.f64 -1 (.f64 y (+.f64 (*.f64 y 1/3) 1/2)))))
0.6b	(cbrt.f64 (.f64 y (-.f64 -1 (.f64 y (+.f64 (*.f64 y 1/3) 1/2)))))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

18×	`cbrt-div_binary64` `associate-*r/_binary64`
11×	`pow1_binary64` `add-sqr-sqrt_binary64`
9×	`*-un-lft-identity_binary64` `flip3--_binary64` `pow1/3_binary64` `add-cube-cbrt_binary64` `flip--_binary64` `cbrt-prod_binary64`
6×	`add-exp-log_binary64`
4×	`add-log-exp_binary64` `swap-sqr_binary64` `associate-r_binary64` `add-cbrt-cube_binary64` `associate-l_binary64` `frac-times_binary64`
2×	`pow-prod-down_binary64` `pow-prod-up_binary64` `pow-sqr_binary64` `associate-*l/_binary64`
1×	`cbrt-unprod_binary64` `pow-plus_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `pow2_binary64` `*-commutative_binary64`

Counts

4 → 74

Calls

4 calls:

7.0ms	(.f64 (cbrt.f64 (.f64 y (-.f64 -1 (.f64 y (+.f64 (.f64 y 1/3) 1/2))))) (cbrt.f64 (.f64 y (-.f64 -1 (.f64 y (+.f64 (*.f64 y 1/3) 1/2))))))
5.0ms	(cbrt.f64 (-.f64 (neg.f64 y) (.f64 (.f64 y y) (+.f64 (*.f64 y 1/3) 1/2))))
5.0ms	(cbrt.f64 (.f64 y (-.f64 -1 (.f64 y (+.f64 (*.f64 y 1/3) 1/2)))))
5.0ms	(cbrt.f64 (.f64 y (-.f64 -1 (.f64 y (+.f64 (*.f64 y 1/3) 1/2)))))

series66.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(.f64 (cbrt.f64 (.f64 y (-.f64 -1 (.f64 y (+.f64 (.f64 y 1/3) 1/2))))) (cbrt.f64 (.f64 y (-.f64 -1 (.f64 y (+.f64 (*.f64 y 1/3) 1/2))))))
12.0ms	(cbrt.f64 (-.f64 (neg.f64 y) (.f64 (.f64 y y) (+.f64 (*.f64 y 1/3) 1/2))))
15.0ms	(cbrt.f64 (.f64 y (-.f64 -1 (.f64 y (+.f64 (*.f64 y 1/3) 1/2)))))
16.0ms	(cbrt.f64 (.f64 y (-.f64 -1 (.f64 y (+.f64 (*.f64 y 1/3) 1/2)))))

simplify53.0ms

Algorithm

egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	4950	1868
1	4950	1868

prune170.0ms

Filtered

70 candidates to 86 candidates (-22.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	86	0	86
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	86	10	96

Merged error: 0.0b

Counts

96 → 10

localize17.0ms

Local error

Found 4 expressions with local error:

0.1b	(*.f64 (-.f64 x 1) (log.f64 y))
7.2b	(+.f64 (log.f64 (+.f64 1 (sqrt.f64 y))) (log.f64 (-.f64 1 (sqrt.f64 y))))
10.3b	(log.f64 (-.f64 1 (sqrt.f64 y)))
10.4b	(log.f64 (+.f64 1 (sqrt.f64 y)))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 100

Calls

4 calls:

8.0ms	(*.f64 (-.f64 x 1) (log.f64 y))
14.0ms	(+.f64 (log.f64 (+.f64 1 (sqrt.f64 y))) (log.f64 (-.f64 1 (sqrt.f64 y))))
5.0ms	(log.f64 (-.f64 1 (sqrt.f64 y)))
4.0ms	(log.f64 (+.f64 1 (sqrt.f64 y)))

series52.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(*.f64 (-.f64 x 1) (log.f64 y))
23.0ms	(+.f64 (log.f64 (+.f64 1 (sqrt.f64 y))) (log.f64 (-.f64 1 (sqrt.f64 y))))
9.0ms	(log.f64 (-.f64 1 (sqrt.f64 y)))
10.0ms	(log.f64 (+.f64 1 (sqrt.f64 y)))

simplify79.0ms

Algorithm

egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4964	1426
1	4964	1426

prune89.0ms

Filtered

76 candidates to 112 candidates (-47.4%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	112	0	112
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	112	10	122

Merged error: 0.0b

Counts

122 → 10

regimes371.0ms

Accuracy

0% (0.3b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 0.3b

bsearch0.0ms

simplify5.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	233	24
1	233	24

end0.0ms

sample1.4s

Algorithm

intervals

Results

421.0ms	5819×	body	80	valid
289.0ms	762×	body	640	valid
181.0ms	254×	body	1280	valid
168.0ms	713×	body	320	valid
69.0ms	452×	body	160	valid
18.0ms	252×	body	80	nan
2.0ms	29×	body	80	invalid

Details

analyze348.0ms

sample50.0ms

simplify240.0ms

prune3.0ms

localize13.0ms

rewrite40.0ms

series43.0ms

simplify48.0ms

prune128.0ms

localize18.0ms

rewrite36.0ms

series37.0ms

simplify37.0ms

prune106.0ms

localize31.0ms

rewrite24.0ms

series66.0ms

simplify53.0ms

prune170.0ms

localize17.0ms

rewrite35.0ms

series52.0ms

simplify79.0ms

prune89.0ms

regimes371.0ms

bsearch0.0ms

simplify5.0ms

end0.0ms

sample1.4s

Profiling