Details

analyze407.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
12.5%	87.4%	0.1%	7
18.7%	81.1%	0.1%	8
31.2%	68.6%	0.1%	9
35.9%	55.4%	8.7%	10
42.9%	47.6%	9.5%	11
51.5%	38.2%	10.3%	12
55%	30%	15%	13
59.5%	25.3%	15.3%	14

sample19.0ms

Algorithm

intervals

Results

8.0ms	237×	body	128	valid
1.0ms	7×	body	1024	valid
1.0ms	8×	body	512	valid
1.0ms	18×	body	128	invalid
0.0ms	4×	body	256	valid

simplify188.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (182.0ms)

Iter	Nodes	Cost
0	2426	16
1	2426	16

prune3.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 0.6b

Counts

2 → 1

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(-.f64 2/3 z)
0.0b	(+.f64 x (.f64 (.f64 (-.f64 y x) 6) (-.f64 2/3 z)))
0.0b	(*.f64 (-.f64 y x) 6)
0.5b	(.f64 (.f64 (-.f64 y x) 6) (-.f64 2/3 z))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt_binary64`
13×	`*-un-lft-identity_binary64`
11×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
10×	`associate-*l/_binary64`
8×	`add-log-exp_binary64` `flip3--_binary64` `associate-r_binary64` `flip--_binary64`
7×	`add-cube-cbrt_binary64`
6×	`associate-l_binary64`
5×	`sub-neg_binary64`
4×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `prod-exp_binary64` `frac-times_binary64`
3×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
2×	`associate-r/_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `associate-+r+_binary64` `-commutative_binary64`
1×	`flip3-+_binary64` `diff-log_binary64` `unswap-sqr_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64`

Counts

4 → 78

Calls

4 calls:

4.0ms	(-.f64 2/3 z)
7.0ms	(+.f64 x (.f64 (.f64 (-.f64 y x) 6) (-.f64 2/3 z)))
7.0ms	(*.f64 (-.f64 y x) 6)
12.0ms	(.f64 (.f64 (-.f64 y x) 6) (-.f64 2/3 z))

series227.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(-.f64 2/3 z)
85.0ms	(+.f64 x (.f64 (.f64 (-.f64 y x) 6) (-.f64 2/3 z)))
39.0ms	(*.f64 (-.f64 y x) 6)
74.0ms	(.f64 (.f64 (-.f64 y x) 6) (-.f64 2/3 z))

simplify51.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5747	1296

prune89.0ms

Filtered

64 candidates to 90 candidates (-40.6%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	79	11	90
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	80	11	91

Merged error: 0.0b

Counts

91 → 11

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (.f64 (-.f64 y x) 4) (.f64 (*.f64 6 z) (-.f64 x y)))
0.0b	(+.f64 x (+.f64 (.f64 (-.f64 y x) 4) (.f64 (*.f64 6 z) (-.f64 x y))))
0.3b	(.f64 (.f64 6 z) (-.f64 x y))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-log-exp_binary64`
8×	`*-un-lft-identity_binary64` `pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
6×	`associate-*r/_binary64` `add-sqr-sqrt_binary64`
5×	`flip3--_binary64` `associate-r_binary64` `flip--_binary64`
4×	`sub-neg_binary64` `frac-add_binary64` `add-cube-cbrt_binary64` `associate-*l/_binary64` `sum-log_binary64`
3×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `prod-exp_binary64` `associate-+r+_binary64`
2×	`flip3-+_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `+-commutative_binary64` `flip-+_binary64`
1×	`distribute-lft-out_binary64` `associate-l_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `*-commutative_binary64`

Counts

3 → 55

Calls

3 calls:

10.0ms	(+.f64 (.f64 (-.f64 y x) 4) (.f64 (*.f64 6 z) (-.f64 x y)))
9.0ms	(+.f64 x (+.f64 (.f64 (-.f64 y x) 4) (.f64 (*.f64 6 z) (-.f64 x y))))
9.0ms	(.f64 (.f64 6 z) (-.f64 x y))

series256.0ms

Counts

3 → 9

Calls

3 calls:

81.0ms	(+.f64 (.f64 (-.f64 y x) 4) (.f64 (*.f64 6 z) (-.f64 x y)))
94.0ms	(+.f64 x (+.f64 (.f64 (-.f64 y x) 4) (.f64 (*.f64 6 z) (-.f64 x y))))
80.0ms	(.f64 (.f64 6 z) (-.f64 x y))

simplify73.0ms

Algorithm

egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4970	1435
1	4970	1435

prune59.0ms

Filtered

46 candidates to 64 candidates (-39.1%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	63	1	64
Fresh	2	8	10
Picked	0	1	1
Done	0	0	0
Total	65	10	75

Merged error: 0.0b

Counts

75 → 10

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 (-.f64 y x) 4) (.f64 6 (*.f64 z (-.f64 x y))))
0.0b	(*.f64 z (-.f64 x y))
0.0b	(+.f64 x (+.f64 (.f64 (-.f64 y x) 4) (.f64 6 (*.f64 z (-.f64 x y)))))
0.3b	(.f64 6 (.f64 z (-.f64 x y)))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

14×	`associate-*r/_binary64`
11×	`*-un-lft-identity_binary64` `add-log-exp_binary64` `pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `add-sqr-sqrt_binary64`
10×	`sub-neg_binary64`
9×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64`
7×	`add-cube-cbrt_binary64`
6×	`flip3--_binary64` `associate-r_binary64` `associate-l_binary64` `flip--_binary64`
5×	`associate-+r+_binary64`
4×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `frac-add_binary64` `prod-exp_binary64` `associate-*l/_binary64` `sum-log_binary64`
2×	`flip3-+_binary64` `+-commutative_binary64` `flip-+_binary64` `*-commutative_binary64`
1×	`distribute-lft-out_binary64` `unswap-sqr_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64`

Counts

4 → 81

Calls

4 calls:

11.0ms	(+.f64 (.f64 (-.f64 y x) 4) (.f64 6 (*.f64 z (-.f64 x y))))
8.0ms	(*.f64 z (-.f64 x y))
9.0ms	(+.f64 x (+.f64 (.f64 (-.f64 y x) 4) (.f64 6 (*.f64 z (-.f64 x y)))))
11.0ms	(.f64 6 (.f64 z (-.f64 x y)))

series325.0ms

Counts

4 → 12

Calls

4 calls:

86.0ms	(+.f64 (.f64 (-.f64 y x) 4) (.f64 6 (*.f64 z (-.f64 x y))))
68.0ms	(*.f64 z (-.f64 x y))
96.0ms	(+.f64 x (+.f64 (.f64 (-.f64 y x) 4) (.f64 6 (*.f64 z (-.f64 x y)))))
74.0ms	(.f64 6 (.f64 z (-.f64 x y)))

simplify75.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	4954	1729
1	4954	1729

prune76.0ms

Filtered

63 candidates to 93 candidates (-47.6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	92	1	93
Fresh	1	7	8
Picked	1	0	1
Done	0	1	1
Total	94	9	103

Merged error: 0.0b

Counts

103 → 9

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 (-.f64 y x) 4) (.f64 6 (+.f64 (.f64 z x) (.f64 z (neg.f64 y)))))
0.0b	(+.f64 x (+.f64 (.f64 (-.f64 y x) 4) (.f64 6 (+.f64 (.f64 z x) (.f64 z (neg.f64 y))))))
0.0b	(+.f64 (.f64 z x) (.f64 z (neg.f64 y)))
0.3b	(.f64 6 (+.f64 (.f64 z x) (*.f64 z (neg.f64 y))))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 67

Calls

4 calls:

9.0ms	(+.f64 (.f64 (-.f64 y x) 4) (.f64 6 (+.f64 (.f64 z x) (.f64 z (neg.f64 y)))))
9.0ms	(+.f64 x (+.f64 (.f64 (-.f64 y x) 4) (.f64 6 (+.f64 (.f64 z x) (.f64 z (neg.f64 y))))))
4.0ms	(+.f64 (.f64 z x) (.f64 z (neg.f64 y)))
7.0ms	(.f64 6 (+.f64 (.f64 z x) (*.f64 z (neg.f64 y))))

series333.0ms

Counts

4 → 12

Calls

4 calls:

90.0ms	(+.f64 (.f64 (-.f64 y x) 4) (.f64 6 (+.f64 (.f64 z x) (.f64 z (neg.f64 y)))))
92.0ms	(+.f64 x (+.f64 (.f64 (-.f64 y x) 4) (.f64 6 (+.f64 (.f64 z x) (.f64 z (neg.f64 y))))))
60.0ms	(+.f64 (.f64 z x) (.f64 z (neg.f64 y)))
91.0ms	(.f64 6 (+.f64 (.f64 z x) (*.f64 z (neg.f64 y))))

simplify62.0ms

Algorithm

egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4975	1698
1	4975	1698

prune65.0ms

Filtered

63 candidates to 79 candidates (-25.4%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	79	0	79
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	79	9	88

Merged error: 0.0b

Counts

88 → 9

regimes64.0ms

Accuracy

0% (0.1b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 0.2b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	54	25
1	54	25

end0.0ms

sample540.0ms

Algorithm

intervals

Results

273.0ms	7379×	body	128	valid
32.0ms	240×	body	1024	valid
23.0ms	235×	body	512	valid
20.0ms	567×	body	128	invalid
10.0ms	146×	body	256	valid

Details

analyze407.0ms

sample19.0ms

simplify188.0ms

prune3.0ms

localize8.0ms

rewrite37.0ms

series227.0ms

simplify51.0ms

prune89.0ms

localize10.0ms

rewrite34.0ms

series256.0ms

simplify73.0ms

prune59.0ms

localize10.0ms

rewrite46.0ms

series325.0ms

simplify75.0ms

prune76.0ms

localize12.0ms

rewrite37.0ms

series333.0ms

simplify62.0ms

prune65.0ms

regimes64.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample540.0ms

Profiling