Details

analyze708.0ms (7.4%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1687	68
1	1687	68
0	3	3
1	3	3

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
26.5%	73.3%	0.1%	8
33.5%	66.3%	0.1%	9
49.1%	50.7%	0.1%	10
56.9%	42.9%	0.1%	11
60.8%	39%	0.1%	12
69%	30.9%	0.1%	13
72.5%	27.3%	0.1%	14

Compiler

Compiled 13 to 10 computations (23.1% saved)

sample36.0ms (0.4%)

Algorithm

1×

intervals

Results

10.0ms	86×	body	1024	valid
6.0ms	40×	body	2048	valid
3.0ms	36×	body	512	valid
3.0ms	78×	body	128	valid
1.0ms	16×	body	256	valid

Compiler

Compiled 25 to 22 computations (12% saved)

simplify44.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	504	17
1	504	17

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

44.0b

Counts

2 → 1

Compiler

Compiled 24 to 18 computations (25% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (*.f64 x y) z)
10.1b	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))

rewrite49.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

43.5b

Rules

13×	`add-log-exp_binary64_2504`
10×	`*-un-lft-identity_binary64_2465`
5×	`add-sqr-sqrt_binary64_2487`
4×	`sum-log_binary64_2556` `cancel-sign-sub-inv_binary64_2431`
3×	`diff-log_binary64_2557` `add-cube-cbrt_binary64_2500`
2×	`pow1_binary64_2526` `add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501` `distribute-lft-out_binary64_2416` `distribute-lft-out--_binary64_2417`
1×	`flip3--_binary64_2469` `sub-neg_binary64_2458` `flip--_binary64_2440` `difference-of-squares_binary64_2434` `associate--r+_binary64_2401` `flip3-+_binary64_2468` `flip-+_binary64_2439` `+-commutative_binary64_2395`

Counts

2 → 32

Calls

2 calls:

9.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))
4.0ms	(+.f64 (*.f64 x y) z)

Compiler

Compiled 684 to 235 computations (65.6% saved)

series204.0ms (2.1%)

Error

42.8b

Counts

2 → 36

Calls

2 calls:

110.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))
72.0ms	(+.f64 (*.f64 x y) z)

Compiler

Compiled 916 to 565 computations (38.3% saved)

simplify87.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	5205	901

prune60.0ms (0.6%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	58	10	68
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	59	10	69

Error

42.7b

Counts

69 → 10

Compiler

Compiled 1093 to 427 computations (60.9% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

9.1b	(cbrt.f64 (+.f64 z (*.f64 x y)))
9.1b	(cbrt.f64 (+.f64 z (*.f64 x y)))
9.1b	(cbrt.f64 (+.f64 z (*.f64 x y)))
31.5b	(-.f64 (fma.f64 x y z) (+.f64 1 (.f64 (.f64 (cbrt.f64 (+.f64 z (.f64 x y))) (cbrt.f64 (+.f64 z (.f64 x y)))) (cbrt.f64 (+.f64 z (*.f64 x y))))))

rewrite116.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

42.7b

Rules

10×	`add-sqr-sqrt_binary64_2487` `*-un-lft-identity_binary64_2465`
9×	`add-log-exp_binary64_2504` `cbrt-prod_binary64_2496`
8×	`add-cube-cbrt_binary64_2500`
6×	`cbrt-div_binary64_2497`
4×	`pow1_binary64_2526` `add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501`
3×	`cancel-sign-sub-inv_binary64_2431` `pow1/3_binary64_2547` `flip3-+_binary64_2468` `flip-+_binary64_2439`
2×	`diff-log_binary64_2557`
1×	`sum-log_binary64_2556` `flip3--_binary64_2469` `sub-neg_binary64_2458` `flip--_binary64_2440` `difference-of-squares_binary64_2434` `distribute-lft-out--_binary64_2417` `associate--r+_binary64_2401`

Counts

4 → 57

Calls

4 calls:

6.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (.f64 (.f64 (cbrt.f64 (+.f64 z (.f64 x y))) (cbrt.f64 (+.f64 z (.f64 x y)))) (cbrt.f64 (+.f64 z (*.f64 x y))))))
3.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
3.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
3.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))

Compiler

Compiled 2300 to 411 computations (82.1% saved)

series995.0ms (10.4%)

Error

42.7b

Counts

4 → 69

Calls

4 calls:

253.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
249.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
237.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
159.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (.f64 (.f64 (cbrt.f64 (+.f64 z (.f64 x y))) (cbrt.f64 (+.f64 z (.f64 x y)))) (cbrt.f64 (+.f64 z (*.f64 x y))))))

Compiler

Compiled 5870 to 3410 computations (41.9% saved)

simplify82.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5019	2309

prune147.0ms (1.5%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	116	10	126
Fresh	2	7	9
Picked	1	0	1
Done	0	0	0
Total	119	17	136

Error

42.7b

Counts

136 → 17

Compiler

Compiled 4079 to 1254 computations (69.3% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

9.1b	(cbrt.f64 (+.f64 z (*.f64 x y)))
9.1b	(cbrt.f64 (+.f64 z (*.f64 x y)))
9.1b	(cbrt.f64 (+.f64 z (*.f64 x y)))
34.6b	(-.f64 (fma.f64 x y z) (+.f64 1 (.f64 (.f64 (cbrt.f64 (+.f64 z (.f64 x y))) (cbrt.f64 (+.f64 z (.f64 x y)))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y)))) (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y))))) (cbrt.f64 (cbrt.f64 (+.f64 z (*.f64 x y))))))))

rewrite142.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

42.7b

Rules

10×	`add-sqr-sqrt_binary64_2487` `*-un-lft-identity_binary64_2465`
9×	`add-log-exp_binary64_2504` `cbrt-prod_binary64_2496`
8×	`add-cube-cbrt_binary64_2500`
6×	`cbrt-div_binary64_2497`
4×	`pow1_binary64_2526` `add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501`
3×	`cancel-sign-sub-inv_binary64_2431` `pow1/3_binary64_2547` `flip3-+_binary64_2468` `flip-+_binary64_2439`
2×	`diff-log_binary64_2557`
1×	`sum-log_binary64_2556` `flip3--_binary64_2469` `sub-neg_binary64_2458` `flip--_binary64_2440` `difference-of-squares_binary64_2434` `distribute-lft-out--_binary64_2417` `associate--r+_binary64_2401`

Counts

4 → 57

Calls

4 calls:

7.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (.f64 (.f64 (cbrt.f64 (+.f64 z (.f64 x y))) (cbrt.f64 (+.f64 z (.f64 x y)))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y)))) (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y))))) (cbrt.f64 (cbrt.f64 (+.f64 z (*.f64 x y))))))))
3.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
3.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
3.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))

Compiler

Compiled 3507 to 474 computations (86.5% saved)

series1.1s (11.3%)

Error

42.7b

Counts

4 → 69

Calls

4 calls:

311.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
296.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
235.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
153.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (.f64 (.f64 (cbrt.f64 (+.f64 z (.f64 x y))) (cbrt.f64 (+.f64 z (.f64 x y)))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y)))) (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y))))) (cbrt.f64 (cbrt.f64 (+.f64 z (*.f64 x y))))))))

Compiler

Compiled 8063 to 3826 computations (52.5% saved)

simplify107.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4958	2291
1	4958	2291

prune222.0ms (2.3%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	121	5	126
Fresh	1	15	16
Picked	1	0	1
Done	0	0	0
Total	123	20	143

Error

42.7b

Counts

143 → 20

Compiler

Compiled 5808 to 1471 computations (74.7% saved)

localize26.0ms (0.3%)

Local error

Found 4 expressions with local error:

9.1b	(cbrt.f64 (+.f64 z (*.f64 x y)))
9.1b	(cbrt.f64 (+.f64 z (*.f64 x y)))
9.1b	(cbrt.f64 (+.f64 z (*.f64 x y)))
34.6b	(-.f64 (fma.f64 x y z) (+.f64 1 (.f64 (.f64 (cbrt.f64 (+.f64 z (.f64 x y))) (cbrt.f64 (+.f64 z (.f64 x y)))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y)))) (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y))))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y)))) (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y))))) (cbrt.f64 (cbrt.f64 (+.f64 z (*.f64 x y))))))))))

rewrite148.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

42.7b

Rules

10×	`add-sqr-sqrt_binary64_2487` `*-un-lft-identity_binary64_2465`
9×	`add-log-exp_binary64_2504` `cbrt-prod_binary64_2496`
8×	`add-cube-cbrt_binary64_2500`
6×	`cbrt-div_binary64_2497`
4×	`pow1_binary64_2526` `add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501`
3×	`cancel-sign-sub-inv_binary64_2431` `pow1/3_binary64_2547` `flip3-+_binary64_2468` `flip-+_binary64_2439`
2×	`diff-log_binary64_2557`
1×	`sum-log_binary64_2556` `flip3--_binary64_2469` `sub-neg_binary64_2458` `flip--_binary64_2440` `difference-of-squares_binary64_2434` `distribute-lft-out--_binary64_2417` `associate--r+_binary64_2401`

Counts

4 → 57

Calls

4 calls:

7.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (.f64 (.f64 (cbrt.f64 (+.f64 z (.f64 x y))) (cbrt.f64 (+.f64 z (.f64 x y)))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y)))) (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y))))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y)))) (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y))))) (cbrt.f64 (cbrt.f64 (+.f64 z (*.f64 x y))))))))))
3.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
3.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
3.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))

Compiler

Compiled 4714 to 552 computations (88.3% saved)

series937.0ms (9.8%)

Error

42.7b

Counts

4 → 69

Calls

4 calls:

228.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
222.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
213.0ms	(cbrt.f64 (+.f64 z (*.f64 x y)))
163.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (.f64 (.f64 (cbrt.f64 (+.f64 z (.f64 x y))) (cbrt.f64 (+.f64 z (.f64 x y)))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y)))) (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y))))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y)))) (cbrt.f64 (cbrt.f64 (+.f64 z (.f64 x y))))) (cbrt.f64 (cbrt.f64 (+.f64 z (*.f64 x y))))))))))

Compiler

Compiled 10256 to 4136 computations (59.7% saved)

simplify92.0ms (1%)

Algorithm

1×	egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4958	2291
1	4958	2291

prune207.0ms (2.2%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	123	3	126
Fresh	1	18	19
Picked	1	0	1
Done	0	0	0
Total	125	21	146

Error

42.7b

Counts

146 → 21

Compiler

Compiled 6767 to 1335 computations (80.3% saved)

regimes845.0ms (8.8%)

Accuracy

Total 1.3b remaining (3%)

Threshold costs 0b (0%)

Compiler

Compiled 13898 to 4760 computations (65.8% saved)

bsearch0.0ms (0%)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	95	17
1	95	17

end0.0ms (0%)

sample3.2s (33.3%)

Algorithm

1×

intervals

Results

421.0ms	2758×	body	1024	valid
232.0ms	1236×	body	2048	valid
143.0ms	1165×	body	512	valid
99.0ms	2285×	body	128	valid
42.0ms	554×	body	256	valid
0.0ms	2×	body	4096	valid

Compiler

Compiled 3493 to 1207 computations (65.4% saved)

Details

analyze708.0ms (7.4%)

sample36.0ms (0.4%)

simplify44.0ms (0.5%)

prune2.0ms (0%)

localize7.0ms (0.1%)

rewrite49.0ms (0.5%)

series204.0ms (2.1%)

simplify87.0ms (0.9%)

prune60.0ms (0.6%)

localize11.0ms (0.1%)

rewrite116.0ms (1.2%)

series995.0ms (10.4%)

simplify82.0ms (0.9%)

prune147.0ms (1.5%)

localize18.0ms (0.2%)

rewrite142.0ms (1.5%)

series1.1s (11.3%)

simplify107.0ms (1.1%)

prune222.0ms (2.3%)

localize26.0ms (0.3%)

rewrite148.0ms (1.5%)

series937.0ms (9.8%)

simplify92.0ms (1%)

prune207.0ms (2.2%)

regimes845.0ms (8.8%)

bsearch0.0ms (0%)

simplify6.0ms (0.1%)

end0.0ms (0%)

sample3.2s (33.3%)

Profiling