Details

analyze324.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
12.5%	87.4%	0.1%	5
18.7%	68.7%	12.6%	6
28.1%	59.3%	12.6%	7
32.8%	48.4%	18.8%	8
38.2%	42.9%	18.8%	9
41%	37.1%	22%	10
43.9%	34.1%	22%	11
45.5%	31%	23.5%	12
46.9%	29.6%	23.5%	13
47.7%	28%	24.3%	14

sample53.0ms

Algorithm

intervals

Results

31.0ms	130×	body	5120	exit
7.0ms	206×	body	80	valid
2.0ms	23×	body	320	valid
1.0ms	7×	body	640	valid
1.0ms	20×	body	160	valid
0.0ms	2×	body	80	invalid

simplify103.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (94.0ms)

Iter	Nodes	Cost
0	4946	18
1	4946	18

prune4.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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

Counts

2 → 2

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (/.f64 x (exp.f64 wj)) wj)
0.0b	(/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1))
0.0b	(/.f64 x (exp.f64 wj))
4.5b	(+.f64 wj (/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1)))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

54×	`add-sqr-sqrt_binary64`
52×	`*-un-lft-identity_binary64`
39×	`times-frac_binary64`
24×	`add-cube-cbrt_binary64`
12×	`difference-of-squares_binary64`
9×	`associate-/l*_binary64`
8×	`add-log-exp_binary64` `distribute-lft-out_binary64` `add-cbrt-cube_binary64`
7×	`associate-/r*_binary64` `add-exp-log_binary64`
6×	`distribute-lft-out--_binary64`
4×	`pow1_binary64`
2×	`flip3-+_binary64` `associate-/l/_binary64` `flip3--_binary64` `cbrt-undiv_binary64` `associate-/r/_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64` `flip--_binary64` `flip-+_binary64`
1×	`sub-neg_binary64` `associate-+r-_binary64` `diff-log_binary64` `+-commutative_binary64` `sum-log_binary64`

Counts

4 → 105

Calls

4 calls:

9.0ms	(-.f64 (/.f64 x (exp.f64 wj)) wj)
15.0ms	(/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1))
4.0ms	(/.f64 x (exp.f64 wj))
18.0ms	(+.f64 wj (/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1)))

series173.0ms

Counts

4 → 12

Calls

4 calls:

50.0ms	(-.f64 (/.f64 x (exp.f64 wj)) wj)
45.0ms	(/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1))
37.0ms	(/.f64 x (exp.f64 wj))
42.0ms	(+.f64 wj (/.f64 (-.f64 (/.f64 x (exp.f64 wj)) wj) (+.f64 wj 1)))

simplify99.0ms

Algorithm

egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	5729	2358

prune110.0ms

Filtered

86 candidates to 117 candidates (-36.0%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	109	8	117
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	111	8	119

Merged error: 0.5b

Counts

119 → 8

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(.f64 wj (+.f64 wj (.f64 x -2)))
0.0b	(+.f64 x (.f64 wj (+.f64 wj (.f64 x -2))))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt_binary64`
4×	`*-un-lft-identity_binary64` `add-log-exp_binary64` `pow1_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
3×	`associate-r_binary64` `associate-l_binary64`
2×	`flip3-+_binary64` `associate-*r/_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `flip-+_binary64` `associate-+r+_binary64`
1×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `+-commutative_binary64` `sum-log_binary64` `*-commutative_binary64`

Counts

2 → 35

Calls

2 calls:

6.0ms	(.f64 wj (+.f64 wj (.f64 x -2)))
4.0ms	(+.f64 x (.f64 wj (+.f64 wj (.f64 x -2))))

series53.0ms

Counts

2 → 6

Calls

2 calls:

30.0ms	(.f64 wj (+.f64 wj (.f64 x -2)))
24.0ms	(+.f64 x (.f64 wj (+.f64 wj (.f64 x -2))))

simplify92.0ms

Algorithm

egg-herbie

Counts

41 → 41

Iterations

Useful iterations: 0 (79.0ms)

Iter	Nodes	Cost
0	4955	598
1	4955	598

prune35.0ms

Filtered

28 candidates to 41 candidates (-46.4%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	39	2	41
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	39	10	49

Merged error: 0.5b

Counts

49 → 10

localize12.0ms

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 wj) (cbrt.f64 wj))
0.7b	(cbrt.f64 wj)
0.7b	(cbrt.f64 wj)
0.7b	(cbrt.f64 wj)

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 73

Calls

4 calls:

6.0ms	(*.f64 (cbrt.f64 wj) (cbrt.f64 wj))
1.0ms	(cbrt.f64 wj)
1.0ms	(cbrt.f64 wj)
1.0ms	(cbrt.f64 wj)

series362.0ms

Counts

4 → 12

Calls

4 calls:

100.0ms	(*.f64 (cbrt.f64 wj) (cbrt.f64 wj))
87.0ms	(cbrt.f64 wj)
85.0ms	(cbrt.f64 wj)
90.0ms	(cbrt.f64 wj)

simplify101.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (84.0ms)

Iter	Nodes	Cost
0	4937	588
1	4937	588

prune74.0ms

Filtered

65 candidates to 85 candidates (-30.8%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	82	3	85
Fresh	1	7	8
Picked	0	1	1
Done	0	1	1
Total	83	12	95

Merged error: 0.5b

Counts

95 → 12

localize13.0ms

Local error

Found 4 expressions with local error:

0.7b	(cbrt.f64 wj)
0.7b	(cbrt.f64 wj)
0.7b	(cbrt.f64 wj)
17.4b	(log.f64 (exp.f64 (cbrt.f64 wj)))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod_binary64`
10×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
7×	`log-pow_binary64`
6×	`exp-prod_binary64`
5×	`pow1_binary64`
4×	`add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
3×	`log-prod_binary64` `pow1/3_binary64`
1×	`rem-log-exp_binary64`

Counts

4 → 51

Calls

4 calls:

1.0ms	(cbrt.f64 wj)
1.0ms	(cbrt.f64 wj)
1.0ms	(cbrt.f64 wj)
3.0ms	(log.f64 (exp.f64 (cbrt.f64 wj)))

series348.0ms

Counts

4 → 12

Calls

4 calls:

83.0ms	(cbrt.f64 wj)
88.0ms	(cbrt.f64 wj)
87.0ms	(cbrt.f64 wj)
89.0ms	(log.f64 (exp.f64 (cbrt.f64 wj)))

simplify97.0ms

Algorithm

egg-herbie

Counts

63 → 63

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	4934	387
1	4934	387

prune48.0ms

Filtered

52 candidates to 63 candidates (-21.2%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	62	1	63
Fresh	1	8	9
Picked	1	0	1
Done	0	2	2
Total	64	11	75

Merged error: 0.5b

Counts

75 → 11

regimes72.0ms

Accuracy

63.9% (0.6b remaining)

Error of 0.9b against oracle of 0.3b and baseline of 2.0b

bsearch13.0ms

Steps

Iters	Range		Point
5	5.649491039888226e-09	1.445648436434716e-08	8.32368644848313e-09

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	37	39
1	37	39

end0.0ms

sample1.5s

Algorithm

intervals

Results

826.0ms	3799×	body	5120	exit
225.0ms	6244×	body	80	valid
89.0ms	808×	body	320	valid
77.0ms	438×	body	640	valid
41.0ms	510×	body	160	valid
3.0ms	78×	body	80	invalid
1.0ms	18×	body	80	overflowed

Details

analyze324.0ms

sample53.0ms

simplify103.0ms

prune4.0ms

localize8.0ms

rewrite50.0ms

series173.0ms

simplify99.0ms

prune110.0ms

localize6.0ms

rewrite11.0ms

series53.0ms

simplify92.0ms

prune35.0ms

localize12.0ms

rewrite12.0ms

series362.0ms

simplify101.0ms

prune74.0ms

localize13.0ms

rewrite8.0ms

series348.0ms

simplify97.0ms

prune48.0ms

regimes72.0ms

bsearch13.0ms

simplify3.0ms

end0.0ms

sample1.5s

Profiling