Details

analyze601.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
18.7%	81.1%	0.2%	9
21.8%	78%	0.2%	10
25%	74.9%	0.2%	11
34.7%	64.9%	0.4%	12
47.2%	51.9%	0.9%	13
49%	49.2%	1.8%	14

sample18.0ms

Algorithm

intervals

Results

7.0ms	256×	body	80	valid
1.0ms	55×	body	80	invalid

simplify10.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	67	7
1	67	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: 9.7b

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

9.4b	(/.f64 (.f64 a1 a2) (.f64 b1 b2))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
4×	`cbrt-unprod_binary64` `cbrt-undiv_binary64` `prod-exp_binary64` `div-exp_binary64`
1×	`-un-lft-identity_binary64` `associate-/r_binary64` `add-log-exp_binary64` `pow1_binary64` `add-cube-cbrt_binary64` `clear-num_binary64` `frac-2neg_binary64` `add-sqr-sqrt_binary64` `associate-/l*_binary64` `times-frac_binary64` `div-inv_binary64`

Counts

1 → 21

Calls

1 calls:

6.0ms

(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))

series9.0ms

Counts

1 → 3

Calls

1 calls:

9.0ms

(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))

simplify52.0ms

Algorithm

egg-herbie

Counts

24 → 24

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5102	191

prune29.0ms

Filtered

13 candidates to 24 candidates (-84.6%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	17	7	24
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	18	7	25

Merged error: 0.1b

Counts

25 → 7

localize5.0ms

Local error

Found 1 expressions with local error:

9.3b	(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-sqr-sqrt_binary64`
22×	`times-frac_binary64`
15×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
13×	`associate-r_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-l_binary64`
4×	`cbrt-unprod_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `div-exp_binary64`
3×	`pow1_binary64`
2×	`div-inv_binary64`
1×	`pow-prod-down_binary64` `add-log-exp_binary64` `associate-r/_binary64` `frac-times_binary64` `associate-l/_binary64` `*-commutative_binary64`

Counts

1 → 50

Calls

1 calls:

12.0ms

(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))

series9.0ms

Counts

1 → 3

Calls

1 calls:

9.0ms

(*.f64 (/.f64 a1 b1) (/.f64 a2 b2))

simplify53.0ms

Algorithm

egg-herbie

Counts

53 → 53

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4993	471
1	4993	471

prune53.0ms

Filtered

38 candidates to 53 candidates (-39.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	46	7	53
Fresh	2	4	6
Picked	1	0	1
Done	0	0	0
Total	49	11	60

Merged error: 0.0b

Counts

60 → 11

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 b1)
0.6b	(cbrt.f64 b1)
3.4b	(*.f64 (/.f64 a2 b2) (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)))
3.5b	(.f64 (/.f64 (.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (.f64 (/.f64 a2 b2) (/.f64 (cbrt.f64 a1) (cbrt.f64 b1))))

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

146×	`add-exp-log_binary64`
82×	`add-cbrt-cube_binary64`
72×	`add-sqr-sqrt_binary64`
69×	`cbrt-unprod_binary64` `prod-exp_binary64`
59×	`times-frac_binary64`
50×	`cbrt-prod_binary64`
44×	`cbrt-undiv_binary64` `div-exp_binary64`
41×	`associate-r_binary64`
39×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
18×	`associate-l_binary64`
11×	`pow1_binary64`
10×	`unswap-sqr_binary64`
6×	`associate-*r/_binary64` `frac-times_binary64`
4×	`pow-prod-down_binary64` `add-log-exp_binary64` `associate-*l/_binary64`
3×	`div-inv_binary64`
2×	`pow1/3_binary64` `*-commutative_binary64`

Counts

4 → 178

Calls

4 calls:

1.0ms	(cbrt.f64 b1)
1.0ms	(cbrt.f64 b1)
22.0ms	(*.f64 (/.f64 a2 b2) (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)))
20.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (.f64 (/.f64 a2 b2) (/.f64 (cbrt.f64 a1) (cbrt.f64 b1))))

series59.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(cbrt.f64 b1)
14.0ms	(cbrt.f64 b1)
20.0ms	(*.f64 (/.f64 a2 b2) (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)))
11.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (.f64 (/.f64 a2 b2) (/.f64 (cbrt.f64 a1) (cbrt.f64 b1))))

simplify69.0ms

Algorithm

egg-herbie

Counts

190 → 190

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5006	1800

prune83.0ms

Filtered

117 candidates to 190 candidates (-62.4%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	188	2	190
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	188	13	201

Merged error: 0b

Counts

201 → 13

localize16.0ms

Local error

Found 4 expressions with local error:

3.5b	(.f64 (/.f64 (.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (.f64 (.f64 (cbrt.f64 (/.f64 a2 b2)) (cbrt.f64 (/.f64 a2 b2))) (.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 (/.f64 a2 b2)))))
13.8b	(cbrt.f64 (/.f64 a2 b2))
13.8b	(cbrt.f64 (/.f64 a2 b2))
13.8b	(cbrt.f64 (/.f64 a2 b2))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

205×	`add-exp-log_binary64`
128×	`cbrt-unprod_binary64` `prod-exp_binary64`
79×	`add-cbrt-cube_binary64`
51×	`cbrt-div_binary64`
49×	`frac-times_binary64`
39×	`cbrt-prod_binary64`
38×	`cbrt-undiv_binary64` `div-exp_binary64`
37×	`associate-*r/_binary64`
28×	`times-frac_binary64`
26×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
23×	`associate-*l/_binary64`
22×	`pow1_binary64`
13×	`pow-prod-down_binary64`
5×	`associate-l_binary64`
4×	`add-log-exp_binary64` `div-inv_binary64`
3×	`pow1/3_binary64`
1×	`associate-r_binary64` `*-commutative_binary64`

Counts

4 → 186

Calls

4 calls:

34.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (.f64 (.f64 (cbrt.f64 (/.f64 a2 b2)) (cbrt.f64 (/.f64 a2 b2))) (.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 (/.f64 a2 b2)))))
3.0ms	(cbrt.f64 (/.f64 a2 b2))
4.0ms	(cbrt.f64 (/.f64 a2 b2))
2.0ms	(cbrt.f64 (/.f64 a2 b2))

series50.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (.f64 (cbrt.f64 b1) (cbrt.f64 b1))) (.f64 (.f64 (cbrt.f64 (/.f64 a2 b2)) (cbrt.f64 (/.f64 a2 b2))) (.f64 (/.f64 (cbrt.f64 a1) (cbrt.f64 b1)) (cbrt.f64 (/.f64 a2 b2)))))
12.0ms	(cbrt.f64 (/.f64 a2 b2))
12.0ms	(cbrt.f64 (/.f64 a2 b2))
12.0ms	(cbrt.f64 (/.f64 a2 b2))

simplify81.0ms

Algorithm

egg-herbie

Counts

198 → 198

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	5052	2109

prune46.0ms

Filtered

96 candidates to 198 candidates (-106.3%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	198	0	198
Fresh	0	11	11
Picked	0	1	1
Done	0	1	1
Total	198	13	211

Merged error: 0b

Counts

211 → 13

regimes647.0ms

Accuracy

38.4% (5.3b remaining)

Error of 5.3b against oracle of 0.0b and baseline of 8.7b

bsearch1.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	32	73
1	32	73

end0.0ms

sample538.0ms

Algorithm

intervals

Results

237.0ms	8000×	body	80	valid
57.0ms	1791×	body	80	invalid

Details

analyze601.0ms

sample18.0ms

simplify10.0ms

prune2.0ms

localize5.0ms

rewrite7.0ms

series9.0ms

simplify52.0ms

prune29.0ms

localize5.0ms

rewrite15.0ms

series9.0ms

simplify53.0ms

prune53.0ms

localize13.0ms

rewrite54.0ms

series59.0ms

simplify69.0ms

prune83.0ms

localize16.0ms

rewrite55.0ms

series50.0ms

simplify81.0ms

prune46.0ms

regimes647.0ms

bsearch1.0ms

simplify3.0ms

end0.0ms

sample538.0ms

Profiling