Details

analyze1.0ms

Algorithm

Search

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

sample23.0ms

Algorithm

intervals

Results

10.0ms	52×	body	1280	valid
3.0ms	37×	body	640	valid
3.0ms	137×	body	80	valid
1.0ms	19×	body	320	valid
0.0ms	11×	body	160	valid

simplify7.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	70	7
1	70	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: 28.5b

Counts

2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

0.3b	(cbrt.f64 (+.f64 x 1))
0.6b	(cbrt.f64 x)
3.5b	(-.f64 (cbrt.f64 (+.f64 x 1)) (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))
1.0ms	(cbrt.f64 x)
8.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

series31.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(cbrt.f64 (+.f64 x 1))
14.0ms	(cbrt.f64 x)
12.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

simplify73.0ms

Algorithm

egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4814	463
1	4814	463

prune75.0ms

Filtered

45 candidates to 52 candidates (-15.6%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	45	7	52
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	46	7	53

Merged error: 9.8b

Counts

53 → 7

localize10.0ms

Local error

Found 4 expressions with local error:

0.3b	(cbrt.f64 (+.f64 x 1))
0.3b	(*.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (cbrt.f64 (+.f64 x 1))))
0.6b	(cbrt.f64 x)
21.5b	(-.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 x))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

77×	`cbrt-prod_binary64`
36×	`add-sqr-sqrt_binary64`
34×	`*-un-lft-identity_binary64`
26×	`cbrt-div_binary64`
18×	`add-cube-cbrt_binary64`
12×	`swap-sqr_binary64`
11×	`pow1_binary64`
10×	`associate-r_binary64` `associate-l_binary64`
9×	`unswap-sqr_binary64`
8×	`pow1/3_binary64`
7×	`flip3-+_binary64` `distribute-lft-out_binary64` `flip-+_binary64`
6×	`add-log-exp_binary64` `add-exp-log_binary64`
4×	`add-cbrt-cube_binary64` `frac-times_binary64`
2×	`pow-prod-down_binary64` `pow-prod-up_binary64` `associate-r/_binary64` `pow-sqr_binary64` `associate-l/_binary64`
1×	`sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `cbrt-unprod_binary64` `pow-plus_binary64` `prod-exp_binary64` `flip--_binary64` `pow2_binary64` `*-commutative_binary64`

Counts

4 → 103

Calls

4 calls:

3.0ms	(cbrt.f64 (+.f64 x 1))
13.0ms	(*.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (cbrt.f64 (+.f64 x 1))))
1.0ms	(cbrt.f64 x)
21.0ms	(-.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 x))

series38.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(cbrt.f64 (+.f64 x 1))
6.0ms	(*.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (cbrt.f64 (+.f64 x 1))))
16.0ms	(cbrt.f64 x)
12.0ms	(-.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 x))

simplify59.0ms

Algorithm

egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4889	1333
1	4889	1333

prune139.0ms

Filtered

81 candidates to 115 candidates (-42.0%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	113	2	115
Fresh	1	5	6
Picked	0	1	1
Done	0	0	0
Total	114	8	122

Merged error: 9.8b

Counts

122 → 8

localize11.0ms

Local error

Found 4 expressions with local error:

0.3b	(cbrt.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))))
0.3b	(*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))
0.6b	(cbrt.f64 x)
12.2b	(-.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 x))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

32×	`cbrt-div_binary64`
28×	`cbrt-prod_binary64`
27×	`*-un-lft-identity_binary64`
21×	`add-sqr-sqrt_binary64`
13×	`add-cube-cbrt_binary64`
12×	`flip3-+_binary64` `flip-+_binary64`
11×	`pow1_binary64`
9×	`swap-sqr_binary64`
8×	`pow1/3_binary64` `frac-times_binary64`
7×	`associate-r_binary64` `associate-l_binary64`
6×	`add-log-exp_binary64` `distribute-lft-out_binary64` `add-exp-log_binary64`
4×	`associate-r/_binary64` `add-cbrt-cube_binary64` `unswap-sqr_binary64` `associate-l/_binary64`
2×	`pow-prod-down_binary64` `pow-prod-up_binary64` `pow-sqr_binary64`
1×	`sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `cbrt-unprod_binary64` `pow-plus_binary64` `prod-exp_binary64` `flip--_binary64` `pow2_binary64` `*-commutative_binary64`

Counts

4 → 92

Calls

4 calls:

8.0ms	(cbrt.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))))
10.0ms	(*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))
1.0ms	(cbrt.f64 x)
13.0ms	(-.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 x))

series39.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(cbrt.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))))
6.0ms	(*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))
16.0ms	(cbrt.f64 x)
12.0ms	(-.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 x))

simplify71.0ms

Algorithm

egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4850	1123
1	4850	1123

prune124.0ms

Filtered

74 candidates to 104 candidates (-40.5%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	101	3	104
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	102	10	112

Merged error: 9.8b

Counts

112 → 10

localize20.0ms

Local error

Found 4 expressions with local error:

0.3b	(pow.f64 (cbrt.f64 (+.f64 x 1)) 2)
0.3b	(pow.f64 (cbrt.f64 (+.f64 x 1)) 2)
0.6b	(cbrt.f64 x)
14.4b	(-.f64 (.f64 (cbrt.f64 (.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 2))) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) 2))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 x))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

15×	`*-un-lft-identity_binary64`
14×	`unpow-prod-down_binary64`
11×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `cbrt-prod_binary64`
6×	`pow-unpow_binary64` `add-log-exp_binary64` `pow1_binary64` `add-exp-log_binary64`
4×	`pow-pow_binary64` `add-cbrt-cube_binary64`
3×	`pow1/3_binary64`
2×	`pow-to-exp_binary64` `distribute-lft-out_binary64` `unpow2_binary64` `sqr-pow_binary64` `pow-exp_binary64`
1×	`sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `flip--_binary64`

Counts

4 → 68

Calls

4 calls:

5.0ms	(pow.f64 (cbrt.f64 (+.f64 x 1)) 2)
5.0ms	(pow.f64 (cbrt.f64 (+.f64 x 1)) 2)
1.0ms	(cbrt.f64 x)
12.0ms	(-.f64 (.f64 (cbrt.f64 (.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 2))) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) 2))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 x))

series42.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(pow.f64 (cbrt.f64 (+.f64 x 1)) 2)
8.0ms	(pow.f64 (cbrt.f64 (+.f64 x 1)) 2)
14.0ms	(cbrt.f64 x)
13.0ms	(-.f64 (.f64 (cbrt.f64 (.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 2))) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) 2))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 x))

simplify59.0ms

Algorithm

egg-herbie

Counts

80 → 80

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4908	952
1	4908	952

prune123.0ms

Filtered

60 candidates to 80 candidates (-33.3%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	79	1	80
Fresh	0	7	7
Picked	1	0	1
Done	0	2	2
Total	80	10	90

Merged error: 9.8b

Counts

90 → 10

regimes60.0ms

Accuracy

98.3% (0.4b remaining)

Error of 9.6b against oracle of 9.2b and baseline of 30.4b

bsearch17.0ms

Steps

Iters	Range		Point
5	2.2258198364326634e-09	5.477722416731081e-09	2.485660549684957e-09
9	-3845107229.608724	-1826.0808775835717	-4083.0155412597046

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	86	69
1	86	69

end0.0ms

sample552.0ms

Algorithm

intervals

Results

204.0ms	1768×	body	1280	valid
111.0ms	1263×	body	640	valid
94.0ms	4032×	body	80	valid
42.0ms	630×	body	320	valid
13.0ms	307×	body	160	valid

Details

analyze1.0ms

sample23.0ms

simplify7.0ms

prune2.0ms

localize6.0ms

rewrite14.0ms

series31.0ms

simplify73.0ms

prune75.0ms

localize10.0ms

rewrite43.0ms

series38.0ms

simplify59.0ms

prune139.0ms

localize11.0ms

rewrite36.0ms

series39.0ms

simplify71.0ms

prune124.0ms

localize20.0ms

rewrite26.0ms

series42.0ms

simplify59.0ms

prune123.0ms

regimes60.0ms

bsearch17.0ms

simplify3.0ms

end0.0ms

sample552.0ms

Profiling