Details

analyze210.0ms (4.8%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	782	20
1	782	20
0	2	2
1	2	2

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
25%	74.9%	0.1%	4
37.5%	62.4%	0.1%	5
59.3%	40.6%	0.1%	6
76.5%	23.4%	0.1%	7
82%	18%	0.1%	8
87.8%	12.1%	0.1%	9
90.7%	9.2%	0.1%	10
93.8%	6.1%	0.1%	11
95.3%	4.6%	0.1%	12
96.8%	3.1%	0.1%	13
97.6%	2.3%	0.1%	14

Compiler

Compiled 8 to 6 computations (25% saved)

sample14.0ms (0.3%)

Algorithm

1×

intervals

Results

5.0ms

256×

body

128

valid

Compiler

Compiled 15 to 13 computations (13.3% saved)

simplify66.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	782	10
1	782	10

prune2.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

0.0b

Counts

2 → 1

Compiler

Compiled 14 to 10 computations (28.6% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(/.f64 (-.f64 x y) (+.f64 x y))

rewrite51.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

34×	`*-un-lft-identity_binary64_24289`
22×	`add-sqr-sqrt_binary64_24311`
20×	`times-frac_binary64_24295`
12×	`add-cube-cbrt_binary64_24324`
6×	`distribute-lft-out_binary64_24240`
5×	`difference-of-squares_binary64_24258` `distribute-lft-out--_binary64_24241` `associate-/l*_binary64_24234`
4×	`associate-/r*_binary64_24233`
3×	`add-exp-log_binary64_24327` `add-cbrt-cube_binary64_24325`
2×	`associate-/l/_binary64_24236` `associate-/r/_binary64_24235`
1×	`pow1_binary64_24350` `div-exp_binary64_24340` `add-log-exp_binary64_24328` `cbrt-undiv_binary64_24323` `frac-2neg_binary64_24300` `div-sub_binary64_24294` `clear-num_binary64_24288` `div-inv_binary64_24286` `flip3--_binary64_24293` `flip--_binary64_24264` `flip3-+_binary64_24292` `flip-+_binary64_24263`

Counts

1 → 46

Calls

1 calls:

8.0ms

(/.f64 (-.f64 x y) (+.f64 x y))

Compiler

Compiled 725 to 165 computations (77.2% saved)

series79.0ms (1.8%)

Error

0.0b

Counts

1 → 18

Calls

1 calls:

66.0ms

(/.f64 (-.f64 x y) (+.f64 x y))

Compiler

Compiled 411 to 349 computations (15.1% saved)

simplify42.0ms (1%)

Algorithm

1×	egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5037	1014

prune47.0ms (1.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	61	3	64
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	61	4	65

Error

0.0b

Counts

65 → 4

Compiler

Compiled 865 to 246 computations (71.6% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (-.f64 x y) (+.f64 x y))
0.0b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 3))
0.1b	(pow.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 3)

rewrite212.0ms (4.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

150×	`*-un-lft-identity_binary64_24289`
100×	`times-frac_binary64_24295`
98×	`add-sqr-sqrt_binary64_24311`
58×	`cbrt-prod_binary64_24320`
56×	`add-cube-cbrt_binary64_24324`
52×	`unpow-prod-down_binary64_24368` `cube-prod_binary64_24317`
26×	`distribute-lft-out_binary64_24240`
21×	`difference-of-squares_binary64_24258` `distribute-lft-out--_binary64_24241`
10×	`associate-/r/_binary64_24235`
8×	`add-exp-log_binary64_24327` `add-cbrt-cube_binary64_24325`
5×	`div-inv_binary64_24286` `flip3-+_binary64_24292` `flip-+_binary64_24263` `associate-/l*_binary64_24234`
4×	`pow1_binary64_24350` `associate-/r*_binary64_24233`
3×	`pow-unpow_binary64_24366` `add-log-exp_binary64_24328`
2×	`div-exp_binary64_24340` `pow-exp_binary64_24357` `unpow3_binary64_24355` `cube-mult_binary64_24319` `cube-div_binary64_24318` `rem-cube-cbrt_binary64_24312` `cbrt-undiv_binary64_24323` `sqr-pow_binary64_24261` `associate-/l/_binary64_24236`
1×	`pow-pow_binary64_24361` `pow-to-exp_binary64_24358` `pow1/3_binary64_24371` `cbrt-div_binary64_24321` `rem-cbrt-cube_binary64_24313` `frac-2neg_binary64_24300` `div-sub_binary64_24294` `clear-num_binary64_24288` `flip3--_binary64_24293` `flip--_binary64_24264`

Counts

3 → 186

Calls

3 calls:

12.0ms	(/.f64 (-.f64 x y) (+.f64 x y))
12.0ms	(cbrt.f64 (pow.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 3))
11.0ms	(pow.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 3)

Compiler

Compiled 3948 to 1358 computations (65.6% saved)

series270.0ms (6.2%)

Error

0.0b

Counts

3 → 54

Calls

3 calls:

91.0ms	(pow.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 3)
72.0ms	(cbrt.f64 (pow.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 3))
65.0ms	(/.f64 (-.f64 x y) (+.f64 x y))

Compiler

Compiled 1434 to 1233 computations (14% saved)

simplify95.0ms (2.2%)

Algorithm

1×	egg-herbie

Counts

240 → 240

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5146	4479

prune172.0ms (3.9%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	239	1	240
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	239	5	244

Error

Counts

244 → 5

Compiler

Compiled 3742 to 1258 computations (66.4% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (-.f64 x y) (+.f64 x y))
0.0b	(cbrt.f64 (cbrt.f64 (pow.f64 (pow.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 3) 3)))
0.0b	(pow.f64 (pow.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 3) 3)
0.1b	(pow.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 3)

rewrite612.0ms (13.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

325×	`*-un-lft-identity_binary64_24289`
247×	`cbrt-prod_binary64_24320`
246×	`unpow-prod-down_binary64_24368` `cube-prod_binary64_24317`
220×	`times-frac_binary64_24295`
213×	`add-sqr-sqrt_binary64_24311`
123×	`add-cube-cbrt_binary64_24324`
56×	`distribute-lft-out_binary64_24240`
45×	`difference-of-squares_binary64_24258` `distribute-lft-out--_binary64_24241`
22×	`associate-/r/_binary64_24235`
13×	`add-exp-log_binary64_24327`
11×	`div-inv_binary64_24286` `flip3-+_binary64_24292` `flip-+_binary64_24263`
10×	`add-cbrt-cube_binary64_24325`
8×	`pow-exp_binary64_24357`
7×	`unpow3_binary64_24355` `cube-mult_binary64_24319` `sqr-pow_binary64_24261`
6×	`pow-unpow_binary64_24366`
5×	`pow1_binary64_24350` `cube-div_binary64_24318` `associate-/l*_binary64_24234`
4×	`add-log-exp_binary64_24328` `associate-/r*_binary64_24233`
3×	`pow-to-exp_binary64_24358` `div-exp_binary64_24340` `rem-cube-cbrt_binary64_24312`
2×	`pow-pow_binary64_24361` `cbrt-undiv_binary64_24323` `cbrt-div_binary64_24321` `associate-/l/_binary64_24236`
1×	`pow1/3_binary64_24371` `frac-2neg_binary64_24300` `div-sub_binary64_24294` `clear-num_binary64_24288` `flip3--_binary64_24293` `flip--_binary64_24264`

Counts

4 → 389

Calls

4 calls:

33.0ms	(cbrt.f64 (cbrt.f64 (pow.f64 (pow.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 3) 3)))
19.0ms	(pow.f64 (pow.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 3) 3)
12.0ms	(pow.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 3)
9.0ms	(/.f64 (-.f64 x y) (+.f64 x y))

Compiler

Compiled 10349 to 4740 computations (54.2% saved)

series443.0ms (10.1%)

Error

Counts

4 → 74

Calls

4 calls:

146.0ms	(pow.f64 (pow.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 3) 3)
99.0ms	(pow.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 3)
71.0ms	(/.f64 (-.f64 x y) (+.f64 x y))
65.0ms	(cbrt.f64 (cbrt.f64 (pow.f64 (pow.f64 (/.f64 (-.f64 x y) (+.f64 x y)) 3) 3)))

Compiler

Compiled 2250 to 1968 computations (12.5% saved)

simplify159.0ms (3.6%)

Algorithm

1×	egg-herbie

Counts

463 → 463

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	5000	10114

prune418.0ms (9.5%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	463	0	463
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	463	5	468

Error

Counts

468 → 5

Compiler

Compiled 8576 to 3530 computations (58.8% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (+.f64 x y))
0.6b	(cbrt.f64 (-.f64 x y))
0.6b	(cbrt.f64 (-.f64 x y))
0.6b	(cbrt.f64 (-.f64 x y))

rewrite69.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

19×	`cbrt-prod_binary64_24320`
16×	`*-un-lft-identity_binary64_24289`
14×	`add-sqr-sqrt_binary64_24311`
8×	`add-cube-cbrt_binary64_24324` `cbrt-div_binary64_24321`
4×	`pow1/3_binary64_24371` `pow1_binary64_24350` `add-log-exp_binary64_24328` `add-exp-log_binary64_24327` `add-cbrt-cube_binary64_24325`
3×	`flip3--_binary64_24293` `flip--_binary64_24264` `difference-of-squares_binary64_24258` `distribute-lft-out--_binary64_24241`
1×	`flip3-+_binary64_24292` `flip-+_binary64_24263` `distribute-lft-out_binary64_24240`

Counts

4 → 59

Calls

4 calls:

3.0ms	(cbrt.f64 (-.f64 x y))
3.0ms	(cbrt.f64 (-.f64 x y))
3.0ms	(cbrt.f64 (-.f64 x y))
3.0ms	(cbrt.f64 (+.f64 x y))

Compiler

Compiled 2102 to 286 computations (86.4% saved)

series379.0ms (8.6%)

Error

Counts

4 → 38

Calls

4 calls:

108.0ms	(cbrt.f64 (+.f64 x y))
78.0ms	(cbrt.f64 (-.f64 x y))
76.0ms	(cbrt.f64 (-.f64 x y))
74.0ms	(cbrt.f64 (-.f64 x y))

Compiler

Compiled 3844 to 1913 computations (50.2% saved)

simplify60.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5229	1198

prune96.0ms (2.2%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	97	0	97
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	97	5	102

Error

Counts

102 → 5

Compiler

Compiled 3309 to 490 computations (85.2% saved)

regimes123.0ms (2.8%)

Accuracy

Total 0.0b remaining (98.1%)

Threshold costs 0.0b (98.1%)

Compiler

Compiled 1273 to 730 computations (42.7% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	13
1	19	13

end0.0ms (0%)

sample731.0ms (16.7%)

Algorithm

1×

intervals

Results

183.0ms

8000×

body

128

valid

Compiler

Compiled 391 to 228 computations (41.7% saved)

Details

analyze210.0ms (4.8%)

sample14.0ms (0.3%)

simplify66.0ms (1.5%)

prune2.0ms (0%)

localize4.0ms (0.1%)

rewrite51.0ms (1.2%)

series79.0ms (1.8%)

simplify42.0ms (1%)

prune47.0ms (1.1%)

localize7.0ms (0.2%)

rewrite212.0ms (4.8%)

series270.0ms (6.2%)

simplify95.0ms (2.2%)

prune172.0ms (3.9%)

localize9.0ms (0.2%)

rewrite612.0ms (13.9%)

series443.0ms (10.1%)

simplify159.0ms (3.6%)

prune418.0ms (9.5%)

localize14.0ms (0.3%)

rewrite69.0ms (1.6%)

series379.0ms (8.6%)

simplify60.0ms (1.4%)

prune96.0ms (2.2%)

regimes123.0ms (2.8%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample731.0ms (16.7%)

Profiling