Details

analyze32.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
50%	50%	0.1%	3
50%	50%	0.1%	4
62.4%	37.5%	0.1%	5
62.4%	31.2%	6.3%	6
68.7%	18.7%	12.6%	7
68.7%	15.6%	15.7%	8
71.8%	9.4%	18.8%	9
71.8%	7.8%	20.4%	10
73.4%	4.7%	22%	11
73.4%	3.9%	22.7%	12
74.1%	2.3%	23.5%	13
74.1%	2%	23.9%	14

sample12.0ms

Algorithm

intervals

Results

6.0ms	256×	body	80	valid
0.0ms	3×	body	80	invalid

simplify50.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5006	6

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

Counts

2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(exp.f64 (.f64 (.f64 x y) y))
0.1b	(.f64 (.f64 x y) y)

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

7×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
4×	`add-log-exp_binary64`
3×	`pow-prod-down_binary64` `-un-lft-identity_binary64` `cbrt-unprod_binary64` `associate-r*_binary64` `add-cube-cbrt_binary64` `prod-exp_binary64` `add-sqr-sqrt_binary64`
1×	`associate-l_binary64` `rem-exp-log_binary64` `exp-to-pow_binary64` `exp-prod_binary64` `*-commutative_binary64`

Counts

2 → 28

Calls

2 calls:

2.0ms	(exp.f64 (.f64 (.f64 x y) y))
5.0ms	(.f64 (.f64 x y) y)

series17.0ms

Counts

2 → 6

Calls

2 calls:

9.0ms	(exp.f64 (.f64 (.f64 x y) y))
7.0ms	(.f64 (.f64 x y) y)

simplify59.0ms

Algorithm

egg-herbie

Counts

34 → 34

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	5004	203

prune14.0ms

Filtered

20 candidates to 34 candidates (-70.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	32	2	34
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	33	2	35

Merged error: 0.0b

Counts

35 → 2

localize6.0ms

Local error

Found 4 expressions with local error:

0.0b	(cbrt.f64 (pow.f64 (exp.f64 (.f64 y (.f64 x y))) 3))
0.0b	(pow.f64 (exp.f64 (.f64 y (.f64 x y))) 3)
0.0b	(exp.f64 (.f64 y (.f64 x y)))
0.1b	(.f64 y (.f64 x y))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod_binary64`
11×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
10×	`pow1_binary64` `add-cbrt-cube_binary64`
9×	`add-exp-log_binary64`
7×	`add-log-exp_binary64`
6×	`unpow-prod-down_binary64` `cube-prod_binary64`
3×	`pow-prod-down_binary64` `pow-unpow_binary64` `cbrt-unprod_binary64` `pow-pow_binary64` `associate-l_binary64` `prod-exp_binary64`
2×	`sqr-pow_binary64` `exp-to-pow_binary64` `unpow3_binary64` `exp-prod_binary64` `cube-mult_binary64`
1×	`pow-to-exp_binary64` `rem-cbrt-cube_binary64` `associate-r_binary64` `pow1/3_binary64` `rem-exp-log_binary64` `rem-cube-cbrt_binary64` `pow-exp_binary64` `*-commutative_binary64`

Counts

4 → 74

Calls

4 calls:

3.0ms	(cbrt.f64 (pow.f64 (exp.f64 (.f64 y (.f64 x y))) 3))
4.0ms	(pow.f64 (exp.f64 (.f64 y (.f64 x y))) 3)
3.0ms	(exp.f64 (.f64 y (.f64 x y)))
5.0ms	(.f64 y (.f64 x y))

series28.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(cbrt.f64 (pow.f64 (exp.f64 (.f64 y (.f64 x y))) 3))
14.0ms	(pow.f64 (exp.f64 (.f64 y (.f64 x y))) 3)
5.0ms	(exp.f64 (.f64 y (.f64 x y)))
4.0ms	(.f64 y (.f64 x y))

simplify60.0ms

Algorithm

egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	4957	651
1	4957	651

prune30.0ms

Filtered

50 candidates to 86 candidates (-72.0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	85	1	86
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	86	2	88

Merged error: 0.0b

Counts

88 → 2

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(cbrt.f64 (exp.f64 (.f64 (.f64 y (*.f64 y x)) 3)))
0.0b	(exp.f64 (.f64 (.f64 y (*.f64 y x)) 3))
0.1b	(.f64 y (.f64 y x))
0.2b	(.f64 (.f64 y (*.f64 y x)) 3)

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

18×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `prod-exp_binary64`
7×	`*-un-lft-identity_binary64` `add-log-exp_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
4×	`associate-r_binary64` `associate-l_binary64`
3×	`rem-cbrt-cube_binary64` `cbrt-prod_binary64`
2×	`exp-lft-cube_binary64` `exp-to-pow_binary64` `exp-prod_binary64` `*-commutative_binary64`
1×	`pow1/3_binary64` `rem-exp-log_binary64`

Counts

4 → 64

Calls

4 calls:

2.0ms	(cbrt.f64 (exp.f64 (.f64 (.f64 y (*.f64 y x)) 3)))
3.0ms	(exp.f64 (.f64 (.f64 y (*.f64 y x)) 3))
6.0ms	(.f64 y (.f64 y x))
7.0ms	(.f64 (.f64 y (*.f64 y x)) 3)

series27.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(cbrt.f64 (exp.f64 (.f64 (.f64 y (*.f64 y x)) 3)))
6.0ms	(exp.f64 (.f64 (.f64 y (*.f64 y x)) 3))
4.0ms	(.f64 y (.f64 y x))
5.0ms	(.f64 (.f64 y (*.f64 y x)) 3)

simplify67.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5052	506

prune22.0ms

Filtered

41 candidates to 76 candidates (-85.4%)

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

Counts

78 → 2

regimes43.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	9
1	11	9

end0.0ms

sample327.0ms

Algorithm

intervals

Results

196.0ms	8000×	body	80	valid
3.0ms	109×	body	80	invalid

Details

analyze32.0ms

sample12.0ms

simplify50.0ms

prune7.0ms

localize5.0ms

rewrite8.0ms

series17.0ms

simplify59.0ms

prune14.0ms

localize6.0ms

rewrite17.0ms

series28.0ms

simplify60.0ms

prune30.0ms

localize9.0ms

rewrite19.0ms

series27.0ms

simplify67.0ms

prune22.0ms

regimes43.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample327.0ms

Profiling