Details

analyze974.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
25%	74.9%	0.1%	5
25%	74.9%	0.1%	6
25%	74.9%	0.1%	7
37.4%	62.4%	0.1%	8
37.4%	62.4%	0.1%	9
37.4%	62.4%	0.1%	10
43.7%	56.2%	0.1%	11
43.7%	56.2%	0.1%	12
43.7%	56.2%	0.1%	13
61.7%	38.2%	0.1%	14

sample33.0ms

Algorithm

intervals

Results

23.0ms

256×

body

valid

simplify42.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5321	37

prune7.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 31.9b

Counts

2 → 1

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x)
0.1b	(.f64 (+.f64 (.f64 (+.f64 x 43.3400022514) x) 263.505074721) x)
0.1b	(.f64 (+.f64 (.f64 x 4.16438922228) 78.6994924154) x)
30.9b	(/.f64 (.f64 (-.f64 x 2.0) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))

rewrite73.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt_binary64`
15×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
12×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
10×	`pow1_binary64`
9×	`associate-r_binary64` `associate-l_binary64`
8×	`associate-/l/_binary64` `associate-*l/_binary64`
7×	`flip3-+_binary64` `flip-+_binary64`
4×	`add-log-exp_binary64` `cbrt-unprod_binary64` `prod-exp_binary64` `frac-times_binary64`
3×	`pow-prod-down_binary64` `associate-/r_binary64` `flip3--_binary64` `unswap-sqr_binary64` `times-frac_binary64` `flip--_binary64` `-commutative_binary64`
2×	`cbrt-undiv_binary64` `associate-*r/_binary64` `associate-/r/_binary64` `div-exp_binary64`
1×	`clear-num_binary64` `frac-2neg_binary64` `associate-/l*_binary64` `div-inv_binary64`

Counts

4 → 91

Calls

4 calls:

15.0ms	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x)
10.0ms	(.f64 (+.f64 (.f64 (+.f64 x 43.3400022514) x) 263.505074721) x)
8.0ms	(.f64 (+.f64 (.f64 x 4.16438922228) 78.6994924154) x)
37.0ms	(/.f64 (.f64 (-.f64 x 2.0) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))

series74.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x)
7.0ms	(.f64 (+.f64 (.f64 (+.f64 x 43.3400022514) x) 263.505074721) x)
8.0ms	(.f64 (+.f64 (.f64 x 4.16438922228) 78.6994924154) x)
48.0ms	(/.f64 (.f64 (-.f64 x 2.0) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))

simplify67.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4987	2167
1	4987	2167

prune219.0ms

Filtered

85 candidates to 103 candidates (-21.2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	97	6	103
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	98	6	104

Merged error: 0.0b

Counts

104 → 6

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (+.f64 (.f64 x 4.16438922228) (/.f64 y (.f64 x x))) 110.1139242984811)
0.0b	(+.f64 (.f64 x 4.16438922228) (/.f64 y (.f64 x x)))
7.8b	(/.f64 y (*.f64 x x))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-log-exp_binary64`
8×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
7×	`*-un-lft-identity_binary64` `add-sqr-sqrt_binary64`
5×	`add-cube-cbrt_binary64`
3×	`pow1_binary64` `associate-/l*_binary64` `times-frac_binary64`
2×	`diff-log_binary64` `cbrt-undiv_binary64` `div-exp_binary64` `sum-log_binary64`
1×	`flip3-+_binary64` `associate-/r*_binary64` `sub-neg_binary64` `flip3--_binary64` `cbrt-unprod_binary64` `clear-num_binary64` `prod-exp_binary64` `frac-2neg_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `div-inv_binary64` `+-commutative_binary64` `flip--_binary64` `flip-+_binary64` `associate--l+_binary64`

Counts

3 → 47

Calls

3 calls:

9.0ms	(-.f64 (+.f64 (.f64 x 4.16438922228) (/.f64 y (.f64 x x))) 110.1139242984811)
6.0ms	(+.f64 (.f64 x 4.16438922228) (/.f64 y (.f64 x x)))
5.0ms	(/.f64 y (*.f64 x x))

series18.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(-.f64 (+.f64 (.f64 x 4.16438922228) (/.f64 y (.f64 x x))) 110.1139242984811)
6.0ms	(+.f64 (.f64 x 4.16438922228) (/.f64 y (.f64 x x)))
6.0ms	(/.f64 y (*.f64 x x))

simplify33.0ms

Algorithm

egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	5324	604

prune67.0ms

Filtered

39 candidates to 56 candidates (-43.6%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	55	1	56
Fresh	0	5	5
Picked	1	0	1
Done	0	0	0
Total	56	6	62

Merged error: 0.0b

Counts

62 → 6

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (+.f64 (*.f64 x 4.16438922228) (/.f64 (/.f64 y x) x)) 110.1139242984811)
0.0b	(+.f64 (*.f64 x 4.16438922228) (/.f64 (/.f64 y x) x))
0.1b	(/.f64 (/.f64 y x) x)

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

75×	`times-frac_binary64`
47×	`*-un-lft-identity_binary64` `add-sqr-sqrt_binary64`
45×	`add-cube-cbrt_binary64`
13×	`associate-/l*_binary64`
10×	`add-log-exp_binary64`
8×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
5×	`div-inv_binary64`
3×	`associate-/r*_binary64` `pow1_binary64` `cbrt-undiv_binary64` `div-exp_binary64`
2×	`diff-log_binary64` `sum-log_binary64`
1×	`flip3-+_binary64` `associate-/l/_binary64` `sub-neg_binary64` `flip3--_binary64` `clear-num_binary64` `frac-2neg_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `+-commutative_binary64` `flip--_binary64` `flip-+_binary64` `associate--l+_binary64`

Counts

3 → 96

Calls

3 calls:

15.0ms	(-.f64 (+.f64 (*.f64 x 4.16438922228) (/.f64 (/.f64 y x) x)) 110.1139242984811)
13.0ms	(+.f64 (*.f64 x 4.16438922228) (/.f64 (/.f64 y x) x))
6.0ms	(/.f64 (/.f64 y x) x)

series19.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(-.f64 (+.f64 (*.f64 x 4.16438922228) (/.f64 (/.f64 y x) x)) 110.1139242984811)
6.0ms	(+.f64 (*.f64 x 4.16438922228) (/.f64 (/.f64 y x) x))
6.0ms	(/.f64 (/.f64 y x) x)

simplify60.0ms

Algorithm

egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5004	1173

prune96.0ms

Filtered

73 candidates to 105 candidates (-43.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	105	0	105
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	105	6	111

Merged error: 0.0b

Counts

111 → 6

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b	(.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4.16438922228) 78.6994924154)) 137.519416416)) y))
0.1b	(.f64 x (+.f64 (.f64 x (+.f64 x 43.3400022514)) 263.505074721))
0.1b	(.f64 x (+.f64 (.f64 x 4.16438922228) 78.6994924154))
28.3b	(/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))

rewrite67.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64`
18×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
12×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
10×	`pow1_binary64`
9×	`associate-r_binary64` `associate-l_binary64` `times-frac_binary64`
6×	`associate-*r/_binary64`
5×	`flip3-+_binary64` `flip-+_binary64`
4×	`add-log-exp_binary64`
3×	`pow-prod-down_binary64` `associate-/r_binary64` `cbrt-unprod_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `associate-/l_binary64` `*-commutative_binary64`
2×	`associate-/l/_binary64` `associate-/r/_binary64`
1×	`cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64`

Counts

4 → 97

Calls

4 calls:

14.0ms	(.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4.16438922228) 78.6994924154)) 137.519416416)) y))
10.0ms	(.f64 x (+.f64 (.f64 x (+.f64 x 43.3400022514)) 263.505074721))
8.0ms	(.f64 x (+.f64 (.f64 x 4.16438922228) 78.6994924154))
33.0ms	(/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))

series69.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4.16438922228) 78.6994924154)) 137.519416416)) y))
4.0ms	(.f64 x (+.f64 (.f64 x (+.f64 x 43.3400022514)) 263.505074721))
8.0ms	(.f64 x (+.f64 (.f64 x 4.16438922228) 78.6994924154))
43.0ms	(/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4.16438922228) 78.6994924154)) 137.519416416)) y)) z) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 43.3400022514)) 263.505074721)) 313.399215894)) 47.066876606))

simplify67.0ms

Algorithm

egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4967	2383
1	4967	2383

prune162.0ms

Filtered

78 candidates to 109 candidates (-39.7%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	108	1	109
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	108	7	115

Merged error: 0b

Counts

115 → 7

regimes276.0ms

Accuracy

97.7% (0.7b remaining)

Error of 0.8b against oracle of 0.0b and baseline of 33.1b

bsearch47.0ms

Steps

Iters	Range		Point
7	1.1883944874142598e+70	5.181603383984646e+71	2.4366870775092837e+70
9	-6.100783881809914e+27	-2.052349882819186e+21	-5.996847038044274e+27

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	78	57
1	78	57

end0.0ms

sample847.0ms

Algorithm

intervals

Results

656.0ms	8000×	body	80	valid
1.0ms	9×	body	80	invalid

Details

analyze974.0ms

sample33.0ms

simplify42.0ms

prune7.0ms

localize22.0ms

rewrite73.0ms

series74.0ms

simplify67.0ms

prune219.0ms

localize9.0ms

rewrite21.0ms

series18.0ms

simplify33.0ms

prune67.0ms

localize7.0ms

rewrite38.0ms

series19.0ms

simplify60.0ms

prune96.0ms

localize23.0ms

rewrite67.0ms

series69.0ms

simplify67.0ms

prune162.0ms

regimes276.0ms

bsearch47.0ms

simplify3.0ms

end0.0ms

sample847.0ms

Profiling