Details

analyze695.0ms (7.2%)

Algorithm

2×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	263	64
1	263	64
0	3	3
1	3	3

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	5
25%	74.9%	0.1%	6
25%	74.9%	0.1%	6
25%	74.9%	0.1%	7
25%	74.9%	0.1%	7
43.7%	56.2%	0.1%	8
43.7%	56.2%	0.1%	8
62.4%	37.4%	0.1%	9
62.4%	37.4%	0.1%	9
65.5%	34.3%	0.1%	10
65.5%	34.3%	0.1%	10
71.8%	27.7%	0.5%	11
71.8%	27.7%	0.5%	11
79.2%	19.7%	1.1%	12
79.2%	19.7%	1.1%	12
80.2%	18.7%	1.1%	13
80.2%	18.7%	1.1%	13
82.8%	15%	2.2%	14
82.8%	15%	2.2%	14

Symmetry

(sort x y)

Compiler

Compiled 24 to 22 computations (8.3% saved)

sample222.0ms (2.3%)

Algorithm

2×

intervals

Results

18.0ms	512×	body	128	valid
2.0ms	42×	body	128	invalid

Compiler

Compiled 3347 to 3902 computations (-16.6% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	111	16
1	111	16

prune4.0ms (0%)

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

Error

8.1b

Counts

2 → 1

Compiler

Compiled 22 to 20 computations (9.1% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

4.2b	(/.f64 (/.f64 1 x) (.f64 y (+.f64 1 (.f64 z z))))
5.7b	(.f64 y (+.f64 1 (.f64 z z)))

rewrite327.0ms (3.4%)

Algorithm

1×	rewrite-expression-head

Error

6.5b

Rules

31×	`times-frac_binary64_10655`
26×	`add-exp-log_binary64_10687`
20×	`add-sqr-sqrt_binary64_10671`
18×	`add-cube-cbrt_binary64_10684` `*-un-lft-identity_binary64_10649`
16×	`add-cbrt-cube_binary64_10685`
13×	`associate-/l*_binary64_10594`
12×	`div-exp_binary64_10700`
6×	`cbrt-undiv_binary64_10683`
5×	`prod-exp_binary64_10698`
4×	`pow1_binary64_10710` `associate-*r/_binary64_10591`
3×	`cbrt-unprod_binary64_10682` `associate-l_binary64_10590` `associate-r_binary64_10589` `div-inv_binary64_10646`
2×	`add-log-exp_binary64_10688` `flip3-+_binary64_10652` `flip-+_binary64_10623` `1-exp_binary64_10693` `rec-exp_binary64_10699` `associate-/r/_binary64_10595`
1×	`pow-prod-down_binary64_10720` `unswap-sqr_binary64_10617` `distribute-rgt-in_binary64_10599` `distribute-lft-in_binary64_10598` `-commutative_binary64_10580` `frac-2neg_binary64_10660` `clear-num_binary64_10648` `associate-/l/_binary64_10596` `associate-/r_binary64_10593`

Counts

2 → 74

Calls

2 calls:

9.0ms	(/.f64 (/.f64 1 x) (.f64 y (+.f64 1 (.f64 z z))))
6.0ms	(.f64 y (+.f64 1 (.f64 z z)))

Compiler

Compiled 1418 to 830 computations (41.5% saved)

series446.0ms (4.6%)

Error

6.6b

Counts

2 → 25

Calls

2 calls:

314.0ms	(/.f64 (/.f64 1 x) (.f64 y (+.f64 1 (.f64 z z))))
109.0ms	(.f64 y (+.f64 1 (.f64 z z)))

Compiler

Compiled 884 to 702 computations (20.6% saved)

simplify85.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	4970	1684
1	4970	1684

prune126.0ms (1.3%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	88	11	99
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	89	11	100

Error

6.5b

Counts

100 → 11

Compiler

Compiled 1712 to 1002 computations (41.5% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.5b	(/.f64 1 (*.f64 y x))
7.3b	(/.f64 (/.f64 1 (.f64 y x)) (+.f64 1 (.f64 z z)))

rewrite103.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

6.5b

Rules

36×	`times-frac_binary64_10655`
32×	`add-exp-log_binary64_10687`
20×	`add-cube-cbrt_binary64_10684` `add-sqr-sqrt_binary64_10671` `*-un-lft-identity_binary64_10649`
16×	`add-cbrt-cube_binary64_10685`
15×	`div-exp_binary64_10700`
10×	`associate-/l*_binary64_10594`
7×	`cbrt-undiv_binary64_10683`
6×	`prod-exp_binary64_10698` `div-inv_binary64_10646`
5×	`pow1_binary64_10710`
4×	`1-exp_binary64_10693` `rec-exp_binary64_10699` `associate-/r*_binary64_10593`
2×	`add-log-exp_binary64_10688` `cbrt-unprod_binary64_10682` `frac-2neg_binary64_10660` `clear-num_binary64_10648` `associate-/r/_binary64_10595` `pow-flip_binary64_10723`
1×	`associate-/l/_binary64_10596` `flip3-+_binary64_10652` `flip-+_binary64_10623` `inv-pow_binary64_10734` `pow-prod-down_binary64_10720`

Counts

2 → 82

Calls

2 calls:

8.0ms	(/.f64 (/.f64 1 (.f64 y x)) (+.f64 1 (.f64 z z)))
5.0ms	(/.f64 1 (*.f64 y x))

Compiler

Compiled 1594 to 889 computations (44.2% saved)

series410.0ms (4.3%)

Error

6.5b

Counts

2 → 22

Calls

2 calls:

325.0ms	(/.f64 (/.f64 1 (.f64 y x)) (+.f64 1 (.f64 z z)))
64.0ms	(/.f64 1 (*.f64 y x))

Compiler

Compiled 838 to 643 computations (23.3% saved)

simplify78.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4946	1907
1	4946	1907

prune107.0ms (1.1%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	103	1	104
Fresh	2	8	10
Picked	0	1	1
Done	0	0	0
Total	105	10	115

Error

6.5b

Counts

115 → 10

Compiler

Compiled 1853 to 903 computations (51.3% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
1.9b	(/.f64 (/.f64 1 (cbrt.f64 x)) (+.f64 (*.f64 z z) 1))
6.5b	(.f64 (/.f64 (/.f64 1 (.f64 (cbrt.f64 x) (cbrt.f64 x))) y) (/.f64 (/.f64 1 (cbrt.f64 x)) (+.f64 (*.f64 z z) 1)))

rewrite704.0ms (7.3%)

Algorithm

1×	rewrite-expression-head

Error

6.5b

Rules

354×	`times-frac_binary64_10655`
245×	`add-sqr-sqrt_binary64_10671`
193×	`add-exp-log_binary64_10687`
171×	`*-un-lft-identity_binary64_10649`
157×	`add-cube-cbrt_binary64_10684`
109×	`div-exp_binary64_10700`
77×	`cbrt-prod_binary64_10680`
72×	`associate-r_binary64_10589`
55×	`prod-exp_binary64_10698`
52×	`add-cbrt-cube_binary64_10685`
30×	`cbrt-undiv_binary64_10683`
25×	`associate-l_binary64_10590`
24×	`unswap-sqr_binary64_10617`
22×	`associate-/l*_binary64_10594`
19×	`1-exp_binary64_10693` `rec-exp_binary64_10699`
15×	`cbrt-unprod_binary64_10682`
13×	`div-inv_binary64_10646`
6×	`pow1_binary64_10710`
4×	`add-log-exp_binary64_10688` `associate-/r/_binary64_10595`
3×	`associate-/r*_binary64_10593`
2×	`flip3-+_binary64_10652` `flip-+_binary64_10623` `pow1/3_binary64_10731`
1×	`pow-prod-down_binary64_10720` `frac-times_binary64_10659` `associate-l/_binary64_10592` `associate-r/_binary64_10591` `*-commutative_binary64_10580` `frac-2neg_binary64_10660` `clear-num_binary64_10648` `associate-/l/_binary64_10596`

Counts

4 → 317

Calls

4 calls:

54.0ms	(.f64 (/.f64 (/.f64 1 (.f64 (cbrt.f64 x) (cbrt.f64 x))) y) (/.f64 (/.f64 1 (cbrt.f64 x)) (+.f64 (*.f64 z z) 1)))
16.0ms	(/.f64 (/.f64 1 (cbrt.f64 x)) (+.f64 (*.f64 z z) 1))
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)

Compiler

Compiled 10824 to 5494 computations (49.2% saved)

series1.0s (10.6%)

Error

6.5b

Counts

4 → 34

Calls

4 calls:

380.0ms	(/.f64 (/.f64 1 (cbrt.f64 x)) (+.f64 (*.f64 z z) 1))
362.0ms	(.f64 (/.f64 (/.f64 1 (.f64 (cbrt.f64 x) (cbrt.f64 x))) y) (/.f64 (/.f64 1 (cbrt.f64 x)) (+.f64 (*.f64 z z) 1)))
118.0ms	(cbrt.f64 x)
114.0ms	(cbrt.f64 x)

Compiler

Compiled 1984 to 1537 computations (22.5% saved)

simplify155.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

351 → 351

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	4968	9116
1	4968	9116

prune555.0ms (5.8%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	351	0	351
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	351	10	361

Error

6.5b

Counts

361 → 10

Compiler

Compiled 9425 to 4802 computations (49.1% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.6b	(/.f64 1 (.f64 (.f64 y (+.f64 (*.f64 z z) 1)) x))
4.0b	(.f64 (.f64 y (+.f64 (*.f64 z z) 1)) x)
5.7b	(.f64 y (+.f64 (.f64 z z) 1))

rewrite113.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

6.5b

Rules

31×	`add-exp-log_binary64_10687`
19×	`add-cbrt-cube_binary64_10685`
16×	`pow1_binary64_10710`
13×	`prod-exp_binary64_10698`
10×	`add-sqr-sqrt_binary64_10671`
8×	`add-cube-cbrt_binary64_10684` `*-un-lft-identity_binary64_10649`
7×	`pow-prod-down_binary64_10720` `cbrt-unprod_binary64_10682`
6×	`associate-r/_binary64_10591` `associate-r*_binary64_10589` `div-exp_binary64_10700`
4×	`associate-l_binary64_10590` `associate-*l/_binary64_10592`
3×	`add-log-exp_binary64_10688` `flip3-+_binary64_10652` `flip-+_binary64_10623` `pow-flip_binary64_10723` `1-exp_binary64_10693` `rec-exp_binary64_10699` `cbrt-undiv_binary64_10683` `times-frac_binary64_10655` `associate-/l*_binary64_10594`
2×	`*-commutative_binary64_10580` `associate-/r/_binary64_10595`
1×	`unswap-sqr_binary64_10617` `distribute-rgt-in_binary64_10599` `distribute-lft-in_binary64_10598` `inv-pow_binary64_10734` `frac-2neg_binary64_10660` `clear-num_binary64_10648` `div-inv_binary64_10646` `associate-/r*_binary64_10593`

Counts

3 → 77

Calls

3 calls:

10.0ms	(/.f64 1 (.f64 (.f64 y (+.f64 (*.f64 z z) 1)) x))
10.0ms	(.f64 (.f64 y (+.f64 (*.f64 z z) 1)) x)
7.0ms	(.f64 y (+.f64 (.f64 z z) 1))

Compiler

Compiled 1420 to 811 computations (42.9% saved)

series700.0ms (7.3%)

Error

6.5b

Counts

3 → 37

Calls

3 calls:

321.0ms	(/.f64 1 (.f64 (.f64 y (+.f64 (*.f64 z z) 1)) x))
235.0ms	(.f64 (.f64 y (+.f64 (*.f64 z z) 1)) x)
118.0ms	(.f64 y (+.f64 (.f64 z z) 1))

Compiler

Compiled 1245 to 1001 computations (19.6% saved)

simplify74.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	5067	1685

prune90.0ms (0.9%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	113	1	114
Fresh	1	6	7
Picked	0	1	1
Done	1	1	2
Total	115	9	124

Error

6.5b

Counts

124 → 9

Compiler

Compiled 1630 to 666 computations (59.1% saved)

regimes1.4s (14.5%)

Accuracy

Total 1.5b remaining (24.6%)

Threshold costs 0b (0%)

Compiler

Compiled 14758 to 12086 computations (18.1% saved)

bsearch0.0ms (0%)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	16
1	12	16

Remove

(sort x y)

Compiler

Compiled 22 to 20 computations (9.1% saved)

end0.0ms (0%)

sample2.1s (22.4%)

Algorithm

1×

intervals

Results

290.0ms	8000×	body	128	valid
21.0ms	642×	body	128	invalid

Compiler

Compiled 1741 to 1422 computations (18.3% saved)

Details

analyze695.0ms (7.2%)

sample222.0ms (2.3%)

simplify9.0ms (0.1%)

prune4.0ms (0%)

localize8.0ms (0.1%)

rewrite327.0ms (3.4%)

series446.0ms (4.6%)

simplify85.0ms (0.9%)

prune126.0ms (1.3%)

localize7.0ms (0.1%)

rewrite103.0ms (1.1%)

series410.0ms (4.3%)

simplify78.0ms (0.8%)

prune107.0ms (1.1%)

localize15.0ms (0.2%)

rewrite704.0ms (7.3%)

series1.0s (10.6%)

simplify155.0ms (1.6%)

prune555.0ms (5.8%)

localize8.0ms (0.1%)

rewrite113.0ms (1.2%)

series700.0ms (7.3%)

simplify74.0ms (0.8%)

prune90.0ms (0.9%)

regimes1.4s (14.5%)

bsearch0.0ms (0%)

simplify8.0ms (0.1%)

end0.0ms (0%)

sample2.1s (22.4%)

Profiling