Details

analyze274.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
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
18.7%	81.1%	0.1%	7
21.8%	78%	0.1%	8
32.8%	67.1%	0.1%	9
43.7%	43.7%	12.6%	10
46.8%	40.6%	12.6%	11
52.7%	34.7%	12.6%	12
58.5%	22.6%	18.9%	13
60.5%	20.7%	18.9%	14

sample14.0ms

Algorithm

intervals

Results

6.0ms	256×	body	128	valid
1.0ms	23×	body	128	invalid

simplify8.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	13	10
1	13	10

prune3.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.1b

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (.f64 (.f64 y z) z))
0.2b	(.f64 (.f64 y z) z)

rewrite13.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×	`flip3-+_binary64` `associate-l_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64` `*-commutative_binary64`

Counts

2 → 29

Calls

2 calls:

3.0ms	(+.f64 x (.f64 (.f64 y z) z))
7.0ms	(.f64 (.f64 y z) z)

series161.0ms

Counts

2 → 6

Calls

2 calls:

105.0ms	(+.f64 x (.f64 (.f64 y z) z))
56.0ms	(.f64 (.f64 y z) z)

simplify99.0ms

Algorithm

egg-herbie

Counts

35 → 35

Iterations

Useful iterations: 0 (89.0ms)

Iter	Nodes	Cost
0	4831	376
1	4831	376

prune22.0ms

Filtered

24 candidates to 35 candidates (-45.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	31	4	35
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	31	5	36

Merged error: 0.0b

Counts

36 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

0.4b	(.f64 (cbrt.f64 (.f64 z (.f64 y z))) (cbrt.f64 (.f64 z (*.f64 y z))))
20.5b	(cbrt.f64 (.f64 z (.f64 y z)))
20.5b	(cbrt.f64 (.f64 z (.f64 y z)))
20.5b	(cbrt.f64 (.f64 z (.f64 y z)))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 58

Calls

4 calls:

6.0ms	(.f64 (cbrt.f64 (.f64 z (.f64 y z))) (cbrt.f64 (.f64 z (*.f64 y z))))
4.0ms	(cbrt.f64 (.f64 z (.f64 y z)))
4.0ms	(cbrt.f64 (.f64 z (.f64 y z)))
4.0ms	(cbrt.f64 (.f64 z (.f64 y z)))

series569.0ms

Counts

4 → 12

Calls

4 calls:

164.0ms	(.f64 (cbrt.f64 (.f64 z (.f64 y z))) (cbrt.f64 (.f64 z (*.f64 y z))))
129.0ms	(cbrt.f64 (.f64 z (.f64 y z)))
134.0ms	(cbrt.f64 (.f64 z (.f64 y z)))
142.0ms	(cbrt.f64 (.f64 z (.f64 y z)))

simplify60.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4853	738
1	4853	738

prune57.0ms

Filtered

53 candidates to 70 candidates (-32.1%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	67	3	70
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	67	8	75

Merged error: 0.0b

Counts

75 → 8

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 z)
10.8b	(cbrt.f64 (*.f64 z y))
20.5b	(cbrt.f64 (.f64 z (.f64 y z)))
20.5b	(cbrt.f64 (.f64 z (.f64 z y)))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 38

Calls

4 calls:

1.0ms	(cbrt.f64 z)
2.0ms	(cbrt.f64 (*.f64 z y))
4.0ms	(cbrt.f64 (.f64 z (.f64 y z)))
4.0ms	(cbrt.f64 (.f64 z (.f64 z y)))

series523.0ms

Counts

4 → 12

Calls

4 calls:

156.0ms	(cbrt.f64 z)
100.0ms	(cbrt.f64 (*.f64 z y))
126.0ms	(cbrt.f64 (.f64 z (.f64 y z)))
141.0ms	(cbrt.f64 (.f64 z (.f64 z y)))

simplify68.0ms

Algorithm

egg-herbie

Counts

50 → 50

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	5691	433

prune39.0ms

Filtered

39 candidates to 50 candidates (-28.2%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	50	0	50
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	50	8	58

Merged error: 0.0b

Counts

58 → 8

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 z)
10.8b	(cbrt.f64 (*.f64 z y))
20.5b	(cbrt.f64 (.f64 z (.f64 y z)))
20.5b	(cbrt.f64 (.f64 z (.f64 y z)))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 38

Calls

4 calls:

1.0ms	(cbrt.f64 z)
2.0ms	(cbrt.f64 (*.f64 z y))
4.0ms	(cbrt.f64 (.f64 z (.f64 y z)))
4.0ms	(cbrt.f64 (.f64 z (.f64 y z)))

series534.0ms

Counts

4 → 12

Calls

4 calls:

156.0ms	(cbrt.f64 z)
99.0ms	(cbrt.f64 (*.f64 z y))
143.0ms	(cbrt.f64 (.f64 z (.f64 y z)))
136.0ms	(cbrt.f64 (.f64 z (.f64 y z)))

simplify64.0ms

Algorithm

egg-herbie

Counts

50 → 50

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5691	433

prune37.0ms

Filtered

40 candidates to 50 candidates (-25.0%)

Pruning

9 alts after pruning (5 fresh and 4 done)

	Pruned	Kept	Total
New	49	1	50
Fresh	0	4	4
Picked	0	1	1
Done	0	3	3
Total	49	9	58

Merged error: 0.0b

Counts

58 → 9

regimes97.0ms

Accuracy

0% (0.1b 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 (0.0ms)

Iter	Nodes	Cost
0	10	10
1	10	10

end0.0ms

sample371.0ms

Algorithm

intervals

Results

188.0ms	8000×	body	128	valid
15.0ms	675×	body	128	invalid

Details

analyze274.0ms

sample14.0ms

simplify8.0ms

prune3.0ms

localize6.0ms

rewrite13.0ms

series161.0ms

simplify99.0ms

prune22.0ms

localize9.0ms

rewrite26.0ms

series569.0ms

simplify60.0ms

prune57.0ms

localize16.0ms

rewrite14.0ms

series523.0ms

simplify68.0ms

prune39.0ms

localize16.0ms

rewrite15.0ms

series534.0ms

simplify64.0ms

prune37.0ms

regimes97.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample371.0ms

Profiling