Details

analyze1.0s

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
0%	99.8%	0.2%	9
1.8%	98%	0.2%	10
7.7%	92.1%	0.2%	11
10.4%	89.3%	0.2%	12
12.2%	87.5%	0.2%	13
21.9%	77.7%	0.4%	14

sample27.0ms

Algorithm

intervals

Results

8.0ms	209×	body	80	valid
2.0ms	55×	body	80	invalid
2.0ms	14×	body	640	valid
2.0ms	16×	body	320	valid
1.0ms	7×	body	1280	valid
1.0ms	10×	body	160	valid

simplify118.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (105.0ms)

Iter	Nodes	Cost
0	4930	19
1	4930	19

prune1.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: 13.8b

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (-.f64 t x) (-.f64 a z))
4.0b	(*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))
4.2b	(+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

78×	`add-sqr-sqrt_binary64`
73×	`*-un-lft-identity_binary64`
51×	`times-frac_binary64`
31×	`associate-r_binary64`
27×	`add-cube-cbrt_binary64`
23×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
10×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
5×	`associate-/r_binary64` `add-log-exp_binary64` `pow1_binary64` `flip3--_binary64` `associate-l_binary64` `associate-/l_binary64` `flip--_binary64`
4×	`associate-/r/_binary64`
2×	`associate-/l/_binary64` `cbrt-unprod_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `div-inv_binary64` `div-exp_binary64` `frac-times_binary64` `associate-*l/_binary64`
1×	`pow-prod-down_binary64` `flip3-+_binary64` `associate-r/_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64` `-commutative_binary64`

Counts

3 → 119

Calls

3 calls:

8.0ms	(/.f64 (-.f64 t x) (-.f64 a z))
18.0ms	(*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))
4.0ms	(+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))))

series417.0ms

Counts

3 → 9

Calls

3 calls:

55.0ms	(/.f64 (-.f64 t x) (-.f64 a z))
149.0ms	(*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)))
213.0ms	(+.f64 x (*.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z))))

simplify86.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5921	2420

prune123.0ms

Filtered

88 candidates to 128 candidates (-45.5%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	117	11	128
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	117	12	129

Merged error: 2.2b

Counts

129 → 12

localize17.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (-.f64 a z))
0.6b	(cbrt.f64 (-.f64 a z))
0.6b	(cbrt.f64 (-.f64 a z))
8.3b	(+.f64 x (.f64 (.f64 (-.f64 y z) (/.f64 (.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (-.f64 t x))) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z))))) (/.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (-.f64 a z)))))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

15×	`cbrt-prod_binary64`
13×	`*-un-lft-identity_binary64` `add-sqr-sqrt_binary64`
7×	`add-cube-cbrt_binary64`
6×	`cbrt-div_binary64` `add-log-exp_binary64`
4×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
3×	`flip3--_binary64` `pow1/3_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `flip--_binary64`
1×	`flip3-+_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64`

Counts

4 → 56

Calls

4 calls:

3.0ms	(cbrt.f64 (-.f64 a z))
3.0ms	(cbrt.f64 (-.f64 a z))
3.0ms	(cbrt.f64 (-.f64 a z))
7.0ms	(+.f64 x (.f64 (.f64 (-.f64 y z) (/.f64 (.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (-.f64 t x))) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z))))) (/.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (-.f64 a z)))))

series570.0ms

Counts

4 → 12

Calls

4 calls:

112.0ms	(cbrt.f64 (-.f64 a z))
115.0ms	(cbrt.f64 (-.f64 a z))
114.0ms	(cbrt.f64 (-.f64 a z))
229.0ms	(+.f64 x (.f64 (.f64 (-.f64 y z) (/.f64 (.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (-.f64 t x))) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z))))) (/.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (-.f64 a z)))))

simplify68.0ms

Algorithm

egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4952	1067
1	4952	1067

prune77.0ms

Filtered

59 candidates to 68 candidates (-15.3%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	68	0	68
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	68	12	80

Merged error: 2.2b

Counts

80 → 12

localize13.0ms

Local error

Found 4 expressions with local error:

5.8b	(cbrt.f64 (/.f64 (-.f64 t x) (-.f64 a z)))
5.8b	(cbrt.f64 (/.f64 (-.f64 t x) (-.f64 a z)))
5.8b	(cbrt.f64 (/.f64 (-.f64 t x) (-.f64 a z)))
8.8b	(+.f64 x (.f64 (.f64 (-.f64 y z) (*.f64 (cbrt.f64 (/.f64 (-.f64 t x) (-.f64 a z))) (cbrt.f64 (/.f64 (-.f64 t x) (-.f64 a z))))) (cbrt.f64 (/.f64 (-.f64 t x) (-.f64 a z)))))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

97×	`*-un-lft-identity_binary64` `add-sqr-sqrt_binary64`
93×	`cbrt-prod_binary64`
75×	`times-frac_binary64`
37×	`add-cube-cbrt_binary64`
30×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
6×	`add-log-exp_binary64` `associate-/r/_binary64`
4×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
3×	`cbrt-div_binary64` `flip3--_binary64` `pow1/3_binary64` `div-inv_binary64` `flip--_binary64`
1×	`flip3-+_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64`

Counts

4 → 131

Calls

4 calls:

8.0ms	(cbrt.f64 (/.f64 (-.f64 t x) (-.f64 a z)))
10.0ms	(cbrt.f64 (/.f64 (-.f64 t x) (-.f64 a z)))
7.0ms	(cbrt.f64 (/.f64 (-.f64 t x) (-.f64 a z)))
4.0ms	(+.f64 x (.f64 (.f64 (-.f64 y z) (*.f64 (cbrt.f64 (/.f64 (-.f64 t x) (-.f64 a z))) (cbrt.f64 (/.f64 (-.f64 t x) (-.f64 a z))))) (cbrt.f64 (/.f64 (-.f64 t x) (-.f64 a z)))))

series908.0ms

Counts

4 → 12

Calls

4 calls:

218.0ms	(cbrt.f64 (/.f64 (-.f64 t x) (-.f64 a z)))
237.0ms	(cbrt.f64 (/.f64 (-.f64 t x) (-.f64 a z)))
220.0ms	(cbrt.f64 (/.f64 (-.f64 t x) (-.f64 a z)))
233.0ms	(+.f64 x (.f64 (.f64 (-.f64 y z) (*.f64 (cbrt.f64 (/.f64 (-.f64 t x) (-.f64 a z))) (cbrt.f64 (/.f64 (-.f64 t x) (-.f64 a z))))) (cbrt.f64 (/.f64 (-.f64 t x) (-.f64 a z)))))

simplify127.0ms

Algorithm

egg-herbie

Counts

143 → 143

Iterations

Useful iterations: 0 (89.0ms)

Iter	Nodes	Cost
0	4943	3618
1	4943	3618

prune121.0ms

Filtered

107 candidates to 143 candidates (-33.6%)

Pruning

12 alts after pruning (9 fresh and 3 done)

	Pruned	Kept	Total
New	143	0	143
Fresh	0	9	9
Picked	0	1	1
Done	0	2	2
Total	143	12	155

Merged error: 2.2b

Counts

155 → 12

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (-.f64 t x))
0.6b	(cbrt.f64 (-.f64 t x))
9.6b	(+.f64 x (.f64 (.f64 (-.f64 y z) (*.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (-.f64 t x)))) (/.f64 (cbrt.f64 (-.f64 t x)) (-.f64 a z))))
11.6b	(.f64 (.f64 (-.f64 y z) (*.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (-.f64 t x)))) (/.f64 (cbrt.f64 (-.f64 t x)) (-.f64 a z)))

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

82×	`frac-times_binary64`
76×	`cbrt-div_binary64`
57×	`flip3--_binary64` `flip--_binary64`
55×	`*-un-lft-identity_binary64` `add-sqr-sqrt_binary64`
46×	`associate-r_binary64`
42×	`associate-*l/_binary64`
40×	`times-frac_binary64`
35×	`cbrt-prod_binary64`
29×	`associate-*r/_binary64`
25×	`add-cube-cbrt_binary64` `add-exp-log_binary64`
18×	`add-cbrt-cube_binary64`
15×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
13×	`pow1_binary64`
12×	`cbrt-unprod_binary64` `prod-exp_binary64`
6×	`pow-prod-down_binary64` `add-log-exp_binary64`
3×	`cbrt-undiv_binary64` `div-exp_binary64`
2×	`pow1/3_binary64` `associate-/r/_binary64`
1×	`flip3-+_binary64` `associate-l_binary64` `div-inv_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64` `*-commutative_binary64`

Counts

4 → 164

Calls

4 calls:

3.0ms	(cbrt.f64 (-.f64 t x))
3.0ms	(cbrt.f64 (-.f64 t x))
4.0ms	(+.f64 x (.f64 (.f64 (-.f64 y z) (*.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (-.f64 t x)))) (/.f64 (cbrt.f64 (-.f64 t x)) (-.f64 a z))))
34.0ms	(.f64 (.f64 (-.f64 y z) (*.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (-.f64 t x)))) (/.f64 (cbrt.f64 (-.f64 t x)) (-.f64 a z)))

series603.0ms

Counts

4 → 12

Calls

4 calls:

113.0ms	(cbrt.f64 (-.f64 t x))
113.0ms	(cbrt.f64 (-.f64 t x))
215.0ms	(+.f64 x (.f64 (.f64 (-.f64 y z) (*.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (-.f64 t x)))) (/.f64 (cbrt.f64 (-.f64 t x)) (-.f64 a z))))
162.0ms	(.f64 (.f64 (-.f64 y z) (*.f64 (cbrt.f64 (-.f64 t x)) (cbrt.f64 (-.f64 t x)))) (/.f64 (cbrt.f64 (-.f64 t x)) (-.f64 a z)))

simplify171.0ms

Algorithm

egg-herbie

Counts

176 → 176

Iterations

Useful iterations: 0 (99.0ms)

Iter	Nodes	Cost
0	4981	5843
1	4981	5843

prune130.0ms

Filtered

121 candidates to 176 candidates (-45.5%)

Pruning

14 alts after pruning (10 fresh and 4 done)

	Pruned	Kept	Total
New	174	2	176
Fresh	0	8	8
Picked	0	1	1
Done	0	3	3
Total	174	14	188

Merged error: 2.1b

Counts

188 → 14

regimes230.0ms

Accuracy

61.4% (3.5b remaining)

Error of 6.9b against oracle of 3.5b and baseline of 12.4b

bsearch2.0ms

simplify5.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	77	121
1	77	121

end0.0ms

sample803.0ms

Algorithm

intervals

Results

256.0ms	6513×	body	80	valid
79.0ms	493×	body	640	valid
51.0ms	273×	body	1280	valid
51.0ms	1257×	body	80	invalid
45.0ms	423×	body	320	valid
21.0ms	283×	body	160	valid
3.0ms	15×	body	2560	valid

Details

analyze1.0s

sample27.0ms

simplify118.0ms

prune1.0ms

localize9.0ms

rewrite36.0ms

series417.0ms

simplify86.0ms

prune123.0ms

localize17.0ms

rewrite18.0ms

series570.0ms

simplify68.0ms

prune77.0ms

localize13.0ms

rewrite37.0ms

series908.0ms

simplify127.0ms

prune121.0ms

localize13.0ms

rewrite56.0ms

series603.0ms

simplify171.0ms

prune130.0ms

regimes230.0ms

bsearch2.0ms

simplify5.0ms

end0.0ms

sample803.0ms

Profiling