Details

analyze2.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
99.9%	0%	0.1%	1

sample39.0ms

Algorithm

intervals

Results

13.0ms	53×	body	1280	valid
9.0ms	25×	body	320	valid
6.0ms	34×	body	640	valid
4.0ms	134×	body	80	valid
1.0ms	10×	body	160	valid

simplify99.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (90.0ms)

Iter	Nodes	Cost
0	4759	15
1	4759	15

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

Counts

2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x))))
0.0b	(+.f64 1 (exp.f64 (*.f64 -2 x)))
2.9b	(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 63

Calls

3 calls:

6.0ms	(/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x))))
4.0ms	(+.f64 1 (exp.f64 (*.f64 -2 x)))
11.0ms	(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)

series77.0ms

Counts

3 → 9

Calls

3 calls:

29.0ms	(/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x))))
6.0ms	(+.f64 1 (exp.f64 (*.f64 -2 x)))
42.0ms	(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)

simplify90.0ms

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	5022	1370

prune66.0ms

Filtered

49 candidates to 72 candidates (-46.9%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	70	2	72
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	71	2	73

Merged error: 0.0b

Counts

73 → 2

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x))))
0.0b	(+.f64 1 (exp.f64 (*.f64 -2 x)))
2.9b	(-.f64 (log.f64 (exp.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))))) 1)

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

27×	`*-un-lft-identity_binary64`
17×	`add-sqr-sqrt_binary64`
13×	`add-cube-cbrt_binary64`
12×	`times-frac_binary64`
6×	`add-log-exp_binary64`
5×	`distribute-lft-out_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
4×	`associate-/r*_binary64` `pow1_binary64`
3×	`log-prod_binary64` `associate-/l*_binary64` `associate--l+_binary64`
2×	`flip3-+_binary64` `associate-/r/_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `flip-+_binary64`
1×	`sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `cbrt-undiv_binary64` `log-pow_binary64` `difference-of-sqr-1_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64` `+-commutative_binary64` `flip--_binary64` `sum-log_binary64`

Counts

3 → 64

Calls

3 calls:

6.0ms	(/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x))))
4.0ms	(+.f64 1 (exp.f64 (*.f64 -2 x)))
14.0ms	(-.f64 (log.f64 (exp.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))))) 1)

series82.0ms

Counts

3 → 9

Calls

3 calls:

31.0ms	(/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x))))
6.0ms	(+.f64 1 (exp.f64 (*.f64 -2 x)))
45.0ms	(-.f64 (log.f64 (exp.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))))) 1)

simplify108.0ms

Algorithm

egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (89.0ms)

Iter	Nodes	Cost
0	4856	1322
1	4856	1322

prune61.0ms

Filtered

52 candidates to 73 candidates (-40.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0.0b

Counts

75 → 2

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(*.f64 2/15 (pow.f64 x 5))
0.1b	(*.f64 1/3 (pow.f64 x 3))
23.0b	(-.f64 (+.f64 x (.f64 2/15 (pow.f64 x 5))) (.f64 1/3 (pow.f64 x 3)))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt_binary64`
19×	`associate-r_binary64`
13×	`add-exp-log_binary64`
10×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
8×	`add-log-exp_binary64` `unpow-prod-down_binary64`
7×	`add-cbrt-cube_binary64` `unswap-sqr_binary64`
6×	`associate-l_binary64` `prod-exp_binary64`
4×	`sqr-pow_binary64` `cube-prod_binary64`
3×	`pow1_binary64`
2×	`pow-to-exp_binary64` `diff-log_binary64` `cbrt-unprod_binary64` `pow-exp_binary64` `*-commutative_binary64`
1×	`sub-neg_binary64` `flip3--_binary64` `flip--_binary64` `unpow3_binary64` `associate--l+_binary64` `sum-log_binary64` `cube-mult_binary64`

Counts

3 → 69

Calls

3 calls:

5.0ms	(*.f64 2/15 (pow.f64 x 5))
6.0ms	(*.f64 1/3 (pow.f64 x 3))
6.0ms	(-.f64 (+.f64 x (.f64 2/15 (pow.f64 x 5))) (.f64 1/3 (pow.f64 x 3)))

series85.0ms

Counts

3 → 9

Calls

3 calls:

31.0ms	(*.f64 2/15 (pow.f64 x 5))
23.0ms	(*.f64 1/3 (pow.f64 x 3))
30.0ms	(-.f64 (+.f64 x (.f64 2/15 (pow.f64 x 5))) (.f64 1/3 (pow.f64 x 3)))

simplify48.0ms

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	4948	996
1	4948	996

prune56.0ms

Filtered

49 candidates to 78 candidates (-59.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	77	1	78
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	78	2	80

Merged error: 0b

Counts

80 → 2

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(*.f64 2/15 (pow.f64 x 5))
0.1b	(*.f64 1/3 (pow.f64 x 3))
23.0b	(-.f64 (.f64 2/15 (pow.f64 x 5)) (.f64 1/3 (pow.f64 x 3)))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt_binary64`
19×	`associate-r_binary64`
13×	`add-exp-log_binary64`
10×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
8×	`unpow-prod-down_binary64`
7×	`add-cbrt-cube_binary64` `unswap-sqr_binary64`
6×	`associate-l_binary64` `prod-exp_binary64`
5×	`add-log-exp_binary64`
4×	`sqr-pow_binary64` `cube-prod_binary64`
3×	`pow1_binary64`
2×	`pow-to-exp_binary64` `cbrt-unprod_binary64` `pow-exp_binary64` `*-commutative_binary64`
1×	`sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `flip--_binary64` `unpow3_binary64` `cube-mult_binary64`

Counts

3 → 67

Calls

3 calls:

5.0ms	(*.f64 2/15 (pow.f64 x 5))
6.0ms	(*.f64 1/3 (pow.f64 x 3))
5.0ms	(-.f64 (.f64 2/15 (pow.f64 x 5)) (.f64 1/3 (pow.f64 x 3)))

series142.0ms

Counts

3 → 9

Calls

3 calls:

31.0ms	(*.f64 2/15 (pow.f64 x 5))
23.0ms	(*.f64 1/3 (pow.f64 x 3))
88.0ms	(-.f64 (.f64 2/15 (pow.f64 x 5)) (.f64 1/3 (pow.f64 x 3)))

simplify92.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	4842	882
1	4842	882

prune52.0ms

Filtered

48 candidates to 76 candidates (-58.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Merged error: 0b

Counts

78 → 2

regimes131.0ms

Accuracy

97% (0.9b remaining)

Error of 0.9b against oracle of 0.0b and baseline of 29.4b

bsearch1.0ms

simplify5.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	82	58
1	82	58

end0.0ms

sample986.0ms

Algorithm

intervals

Results

407.0ms	1694×	body	1280	valid
203.0ms	1224×	body	640	valid
140.0ms	4082×	body	80	valid
74.0ms	668×	body	320	valid
27.0ms	332×	body	160	valid

Details

analyze2.0ms

sample39.0ms

simplify99.0ms

prune1.0ms

localize6.0ms

rewrite22.0ms

series77.0ms

simplify90.0ms

prune66.0ms

localize9.0ms

rewrite25.0ms

series82.0ms

simplify108.0ms

prune61.0ms

localize8.0ms

rewrite19.0ms

series85.0ms

simplify48.0ms

prune56.0ms

localize8.0ms

rewrite18.0ms

series142.0ms

simplify92.0ms

prune52.0ms

regimes131.0ms

bsearch1.0ms

simplify5.0ms

end0.0ms

sample986.0ms

Profiling