Details

analyze1.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
100%	0%	0%	1

sample20.0ms

Algorithm

intervals

Results

7.0ms	56×	body	1280	valid
3.0ms	142×	body	80	valid
3.0ms	36×	body	640	valid
1.0ms	16×	body	320	valid
0.0ms	6×	body	160	valid

simplify7.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	71	7
1	71	7

prune2.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: 27.1b

Counts

2 → 1

localize5.0ms

Local error

Found 3 expressions with local error:

0.2b	(cbrt.f64 (+.f64 x 1.0))
0.6b	(cbrt.f64 x)
2.1b	(-.f64 (cbrt.f64 (+.f64 x 1.0)) (cbrt.f64 x))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

15×	`cbrt-prod_binary64`
14×	`*-un-lft-identity_binary64`
13×	`add-sqr-sqrt_binary64`
5×	`add-log-exp_binary64` `add-cube-cbrt_binary64`
4×	`difference-of-squares_binary64`
3×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `distribute-lft-out--_binary64`
2×	`cbrt-div_binary64` `distribute-lft-out_binary64` `pow1/3_binary64`
1×	`flip3-+_binary64` `sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `flip--_binary64` `flip-+_binary64`

Counts

3 → 43

Calls

3 calls:

3.0ms	(cbrt.f64 (+.f64 x 1.0))
1.0ms	(cbrt.f64 x)
9.0ms	(-.f64 (cbrt.f64 (+.f64 x 1.0)) (cbrt.f64 x))

series44.0ms

Counts

3 → 9

Calls

3 calls:

10.0ms	(cbrt.f64 (+.f64 x 1.0))
17.0ms	(cbrt.f64 x)
16.0ms	(-.f64 (cbrt.f64 (+.f64 x 1.0)) (cbrt.f64 x))

simplify56.0ms

Algorithm

egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4900	503
1	4900	503

prune77.0ms

Filtered

45 candidates to 52 candidates (-15.6%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	46	6	52
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	47	6	53

Merged error: 7.2b

Counts

53 → 6

localize10.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 x)
2.1b	(-.f64 (cbrt.f64 (+.f64 x 1.0)) (cbrt.f64 x))
2.1b	(-.f64 (cbrt.f64 (+.f64 x 1.0)) (cbrt.f64 x))
2.1b	(-.f64 (cbrt.f64 (+.f64 x 1.0)) (cbrt.f64 x))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

29×	`add-sqr-sqrt_binary64`
27×	`cbrt-prod_binary64`
26×	`*-un-lft-identity_binary64`
12×	`difference-of-squares_binary64`
10×	`add-log-exp_binary64`
9×	`distribute-lft-out--_binary64`
5×	`add-cube-cbrt_binary64`
4×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
3×	`sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `distribute-lft-out_binary64` `flip--_binary64`
1×	`pow1/3_binary64`

Counts

4 → 65

Calls

4 calls:

1.0ms	(cbrt.f64 x)
11.0ms	(-.f64 (cbrt.f64 (+.f64 x 1.0)) (cbrt.f64 x))
8.0ms	(-.f64 (cbrt.f64 (+.f64 x 1.0)) (cbrt.f64 x))
8.0ms	(-.f64 (cbrt.f64 (+.f64 x 1.0)) (cbrt.f64 x))

series63.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(cbrt.f64 x)
15.0ms	(-.f64 (cbrt.f64 (+.f64 x 1.0)) (cbrt.f64 x))
15.0ms	(-.f64 (cbrt.f64 (+.f64 x 1.0)) (cbrt.f64 x))
15.0ms	(-.f64 (cbrt.f64 (+.f64 x 1.0)) (cbrt.f64 x))

simplify68.0ms

Algorithm

egg-herbie

Counts

77 → 77

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4850	899
1	4850	899

prune114.0ms

Filtered

66 candidates to 77 candidates (-16.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	77	0	77
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	77	6	83

Merged error: 7.2b

Counts

83 → 6

localize10.0ms

Local error

Found 4 expressions with local error:

0.7b	(cbrt.f64 (cbrt.f64 x))
0.7b	(cbrt.f64 (cbrt.f64 x))
0.7b	(cbrt.f64 (cbrt.f64 x))
18.7b	(-.f64 (cbrt.f64 (+.f64 x 1.0)) (.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

27×	`cbrt-prod_binary64`
10×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
6×	`add-log-exp_binary64`
4×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
3×	`pow1/3_binary64`
1×	`sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `flip--_binary64`

Counts

4 → 53

Calls

4 calls:

2.0ms	(cbrt.f64 (cbrt.f64 x))
2.0ms	(cbrt.f64 (cbrt.f64 x))
2.0ms	(cbrt.f64 (cbrt.f64 x))
8.0ms	(-.f64 (cbrt.f64 (+.f64 x 1.0)) (.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))))

series95.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(cbrt.f64 (cbrt.f64 x))
26.0ms	(cbrt.f64 (cbrt.f64 x))
27.0ms	(cbrt.f64 (cbrt.f64 x))
16.0ms	(-.f64 (cbrt.f64 (+.f64 x 1.0)) (.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))))

simplify53.0ms

Algorithm

egg-herbie

Counts

65 → 65

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5218	465

prune69.0ms

Filtered

55 candidates to 65 candidates (-18.2%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	64	1	65
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	64	7	71

Merged error: 7.2b

Counts

71 → 7

localize14.0ms

Local error

Found 4 expressions with local error:

0.7b	(cbrt.f64 (cbrt.f64 x))
0.7b	(cbrt.f64 (cbrt.f64 x))
0.7b	(cbrt.f64 (cbrt.f64 x))
19.4b	(-.f64 (cbrt.f64 (+.f64 x 1.0)) (.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 (cbrt.f64 x)))) (cbrt.f64 (cbrt.f64 (cbrt.f64 x))))))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

27×	`cbrt-prod_binary64`
10×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
6×	`add-log-exp_binary64`
4×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
3×	`pow1/3_binary64`
1×	`sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `flip--_binary64`

Counts

4 → 53

Calls

4 calls:

2.0ms	(cbrt.f64 (cbrt.f64 x))
2.0ms	(cbrt.f64 (cbrt.f64 x))
2.0ms	(cbrt.f64 (cbrt.f64 x))
10.0ms	(-.f64 (cbrt.f64 (+.f64 x 1.0)) (.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 (cbrt.f64 x)))) (cbrt.f64 (cbrt.f64 (cbrt.f64 x))))))

series94.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(cbrt.f64 (cbrt.f64 x))
25.0ms	(cbrt.f64 (cbrt.f64 x))
27.0ms	(cbrt.f64 (cbrt.f64 x))
17.0ms	(-.f64 (cbrt.f64 (+.f64 x 1.0)) (.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 (cbrt.f64 x)))) (cbrt.f64 (cbrt.f64 (cbrt.f64 x))))))

simplify53.0ms

Algorithm

egg-herbie

Counts

65 → 65

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4912	457
1	4912	457

prune60.0ms

Filtered

53 candidates to 65 candidates (-22.6%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	65	0	65
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	65	7	72

Merged error: 7.2b

Counts

72 → 7

regimes89.0ms

Accuracy

98% (0.4b remaining)

Error of 8.9b against oracle of 8.5b and baseline of 30.0b

bsearch22.0ms

Steps

Iters	Range		Point
9	1.68944210644525e-06	0.6641629572335109	3.918028469423763e-05
9	-124329.74709641912	-0.038615431940133144	-0.9976424196784309

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	82	60
1	82	60

end0.0ms

sample577.0ms

Algorithm

intervals

Results

215.0ms	1723×	body	1280	valid
117.0ms	1261×	body	640	valid
99.0ms	4084×	body	80	valid
43.0ms	630×	body	320	valid
13.0ms	302×	body	160	valid

Details

analyze1.0ms

sample20.0ms

simplify7.0ms

prune2.0ms

localize5.0ms

rewrite14.0ms

series44.0ms

simplify56.0ms

prune77.0ms

localize10.0ms

rewrite31.0ms

series63.0ms

simplify68.0ms

prune114.0ms

localize10.0ms

rewrite15.0ms

series95.0ms

simplify53.0ms

prune69.0ms

localize14.0ms

rewrite16.0ms

series94.0ms

simplify53.0ms

prune60.0ms

regimes89.0ms

bsearch22.0ms

simplify2.0ms

end0.0ms

sample577.0ms

Profiling