Details

analyze597.0ms (5.4%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	46
1	34	46
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
50%	50%	0.1%	3
50%	50%	0.1%	4
62.4%	37.5%	0.1%	5
62.4%	37.5%	0.1%	6
68.7%	31.2%	0.1%	7
68.7%	31.2%	0.1%	8
71.8%	28.1%	0.1%	9
71.8%	28.1%	0.1%	10
73.4%	26.5%	0.1%	11
73.4%	26.5%	0.1%	12
74.1%	25.8%	0.1%	13
74.1%	25.8%	0.1%	14

Compiler

Compiled 16 to 13 computations (18.8% saved)

sample59.0ms (0.5%)

Algorithm

1×

intervals

Results

17.0ms	194×	body	128	valid
8.0ms	18×	body	2048	valid
8.0ms	14×	body	4096	valid
7.0ms	19×	body	1024	valid
1.0ms	5×	body	512	valid
1.0ms	6×	body	256	valid

Compiler

Compiled 31 to 27 computations (12.9% saved)

simplify13.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	23	23
1	23	23

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

38.9b

Counts

2 → 1

Compiler

Compiled 30 to 24 computations (20% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (.f64 2 (+.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re)))
0.0b	(+.f64 (.f64 re re) (.f64 im im))
1.3b	(+.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
28.6b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite103.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

38.5b

Rules

8×	`pow1_binary64_2526` `add-log-exp_binary64_2504`
7×	`*-un-lft-identity_binary64_2465`
6×	`add-sqr-sqrt_binary64_2487`
5×	`add-cube-cbrt_binary64_2500`
4×	`add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501` `flip3-+_binary64_2468` `sqrt-div_binary64_2482` `flip-+_binary64_2439` `sqrt-prod_binary64_2481`
3×	`sqrt-pow1_binary64_2483`
2×	`pow1/2_binary64_2545` `sum-log_binary64_2556` `+-commutative_binary64_2395` `associate-*r/_binary64_2407`
1×	`rem-sqrt-square_binary64_2478` `distribute-lft-out_binary64_2416` `pow-prod-down_binary64_2536`

Counts

4 → 51

Calls

4 calls:

13.0ms	(sqrt.f64 (.f64 2 (+.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re)))
11.0ms	(+.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
5.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
4.0ms	(+.f64 (.f64 re re) (.f64 im im))

Compiler

Compiled 1296 to 455 computations (64.9% saved)

series511.0ms (4.6%)

Error

7.4b

Counts

4 → 55

Calls

4 calls:

144.0ms	(+.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
132.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
106.0ms	(+.f64 (.f64 re re) (.f64 im im))
68.0ms	(sqrt.f64 (.f64 2 (+.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re)))

Compiler

Compiled 2185 to 1888 computations (13.6% saved)

simplify72.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5411	1660

prune126.0ms (1.1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	100	6	106
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	100	7	107

Error

7.1b

Counts

107 → 7

Compiler

Compiled 1988 to 1027 computations (48.3% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 (sqrt.f64 (.f64 2 (.f64 im im))) (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)))
0.3b	(-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
26.9b	(sqrt.f64 (.f64 2 (.f64 im im)))
28.6b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite211.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

7.1b

Rules

51×	`add-sqr-sqrt_binary64_2487`
50×	`sqrt-prod_binary64_2481`
38×	`*-un-lft-identity_binary64_2465`
36×	`times-frac_binary64_2471`
26×	`add-cube-cbrt_binary64_2500`
12×	`difference-of-squares_binary64_2434`
11×	`pow1_binary64_2526`
9×	`associate-/r*_binary64_2409`
6×	`add-log-exp_binary64_2504` `add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501` `distribute-lft-out--_binary64_2417`
4×	`sqrt-pow1_binary64_2483` `sqrt-div_binary64_2482` `associate-/l*_binary64_2410`
3×	`pow-prod-down_binary64_2536` `cancel-sign-sub-inv_binary64_2431`
2×	`pow1/2_binary64_2545` `flip3--_binary64_2469` `flip--_binary64_2440` `associate-/r/_binary64_2411`
1×	`flip3-+_binary64_2468` `flip-+_binary64_2439` `rem-sqrt-square_binary64_2478` `diff-log_binary64_2557` `sub-neg_binary64_2458` `div-exp_binary64_2516` `cbrt-undiv_binary64_2499` `sqrt-undiv_binary64_2486` `frac-2neg_binary64_2476` `clear-num_binary64_2464` `div-inv_binary64_2462`

Counts

4 → 108

Calls

4 calls:

15.0ms	(/.f64 (sqrt.f64 (.f64 2 (.f64 im im))) (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)))
8.0ms	(-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
8.0ms	(sqrt.f64 (.f64 2 (.f64 im im)))
8.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

Compiler

Compiled 3656 to 1176 computations (67.8% saved)

series518.0ms (4.7%)

Error

2.1b

Counts

4 → 44

Calls

4 calls:

165.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
144.0ms	(-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
109.0ms	(/.f64 (sqrt.f64 (.f64 2 (.f64 im im))) (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)))
33.0ms	(sqrt.f64 (.f64 2 (.f64 im im)))

Compiler

Compiled 2238 to 1742 computations (22.2% saved)

simplify90.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

152 → 152

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4958	4090
1	4958	4090

prune242.0ms (2.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	146	6	152
Fresh	1	4	5
Picked	1	0	1
Done	0	1	1
Total	148	11	159

Error

2.1b

Counts

159 → 11

Compiler

Compiled 4361 to 1723 computations (60.5% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
0.3b	(/.f64 (sqrt.f64 2) (sqrt.f64 (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re))))
28.6b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
28.6b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite322.0ms (2.9%)

Algorithm

1×	rewrite-expression-head

Error

2.1b

Rules

158×	`sqrt-prod_binary64_2481`
88×	`add-sqr-sqrt_binary64_2487`
72×	`times-frac_binary64_2471`
70×	`*-un-lft-identity_binary64_2465`
54×	`add-cube-cbrt_binary64_2500`
16×	`difference-of-squares_binary64_2434`
12×	`associate-/r*_binary64_2409`
8×	`sqrt-div_binary64_2482` `distribute-lft-out--_binary64_2417`
6×	`pow1_binary64_2526` `add-log-exp_binary64_2504` `add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501` `associate-/l*_binary64_2410`
3×	`cancel-sign-sub-inv_binary64_2431`
2×	`pow1/2_binary64_2545` `sqrt-pow1_binary64_2483` `flip3-+_binary64_2468` `flip-+_binary64_2439` `rem-sqrt-square_binary64_2478` `flip3--_binary64_2469` `associate-/r/_binary64_2411` `flip--_binary64_2440`
1×	`div-exp_binary64_2516` `cbrt-undiv_binary64_2499` `sqrt-undiv_binary64_2486` `frac-2neg_binary64_2476` `clear-num_binary64_2464` `div-inv_binary64_2462` `diff-log_binary64_2557` `sub-neg_binary64_2458`

Counts

4 → 152

Calls

4 calls:

15.0ms	(/.f64 (sqrt.f64 2) (sqrt.f64 (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re))))
8.0ms	(-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
4.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
4.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

Compiler

Compiled 7330 to 1809 computations (75.3% saved)

series727.0ms (6.6%)

Error

2.1b

Counts

4 → 57

Calls

4 calls:

257.0ms	(/.f64 (sqrt.f64 2) (sqrt.f64 (sqrt.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re))))
142.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
126.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
113.0ms	(-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)

Compiler

Compiled 5101 to 3428 computations (32.8% saved)

simplify135.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

209 → 209

Iterations

Useful iterations: 0 (79.0ms)

Iter	Nodes	Cost
0	4936	6157
1	4936	6157

prune349.0ms (3.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	208	1	209
Fresh	0	9	9
Picked	1	0	1
Done	0	1	1
Total	209	11	220

Error

2.1b

Counts

220 → 11

Compiler

Compiled 8955 to 2607 computations (70.9% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b	(cbrt.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re))
0.4b	(cbrt.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re))
28.6b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
28.6b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite136.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

2.1b

Rules

18×	`add-sqr-sqrt_binary64_2487`
12×	`*-un-lft-identity_binary64_2465` `cbrt-prod_binary64_2496`
8×	`add-cube-cbrt_binary64_2500` `sqrt-prod_binary64_2481`
6×	`pow1_binary64_2526`
4×	`add-log-exp_binary64_2504` `add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501` `sqrt-div_binary64_2482` `cbrt-div_binary64_2497` `difference-of-squares_binary64_2434`
2×	`pow1/2_binary64_2545` `sqrt-pow1_binary64_2483` `flip3-+_binary64_2468` `flip-+_binary64_2439` `rem-sqrt-square_binary64_2478` `pow1/3_binary64_2547` `flip3--_binary64_2469` `flip--_binary64_2440` `distribute-lft-out--_binary64_2417`

Counts

4 → 62

Calls

4 calls:

8.0ms	(cbrt.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re))
7.0ms	(cbrt.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re))
4.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
4.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

Compiler

Compiled 2762 to 649 computations (76.5% saved)

series811.0ms (7.3%)

Error

2.1b

Counts

4 → 55

Calls

4 calls:

257.0ms	(cbrt.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re))
238.0ms	(cbrt.f64 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re))
122.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
94.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

Compiler

Compiled 5296 to 3672 computations (30.7% saved)

simplify101.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	4932	2396
1	4932	2396

prune187.0ms (1.7%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	115	2	117
Fresh	0	9	9
Picked	1	0	1
Done	0	1	1
Total	116	12	128

Error

2.1b

Counts

128 → 12

Compiler

Compiled 4532 to 1489 computations (67.1% saved)

regimes2.1s (19.3%)

Accuracy

Total 16.6b remaining (86.9%)

Threshold costs 0b (0%)

Compiler

Compiled 14367 to 9582 computations (33.3% saved)

bsearch93.0ms (0.8%)

Steps

Iters	Range	Point
9	4.287379869613663e+60	3.2852186010901114e+65	3.1850954331301157e+65
9	-2.476689701277002e-295	-1.7061694670398767e-302	-1.7332866166362553e-302
5	-3.1697416605599447e+156	-1.243404022519528e+156	-1.2621472493207276e+156

Iters

Range

Point

4.287379869613663e+60

3.2852186010901114e+65

3.1850954331301157e+65

-2.476689701277002e-295

-1.7061694670398767e-302

-1.7332866166362553e-302

-3.1697416605599447e+156

-1.243404022519528e+156

-1.2621472493207276e+156

Compiler

Compiled 1 to 2 computations (-100% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	63	121
1	63	121

end0.0ms (0%)

sample3.5s (31.2%)

Algorithm

1×

intervals

Results

379.0ms	6077×	body	128	valid
212.0ms	538×	body	4096	valid
200.0ms	623×	body	2048	valid
99.0ms	411×	body	1024	valid
42.0ms	232×	body	512	valid
14.0ms	119×	body	256	valid

Compiler

Compiled 2023 to 1348 computations (33.4% saved)

Details

analyze597.0ms (5.4%)

sample59.0ms (0.5%)

simplify13.0ms (0.1%)

prune5.0ms (0%)

localize13.0ms (0.1%)

rewrite103.0ms (0.9%)

series511.0ms (4.6%)

simplify72.0ms (0.6%)

prune126.0ms (1.1%)

localize16.0ms (0.1%)

rewrite211.0ms (1.9%)

series518.0ms (4.7%)

simplify90.0ms (0.8%)

prune242.0ms (2.2%)

localize18.0ms (0.2%)

rewrite322.0ms (2.9%)

series727.0ms (6.6%)

simplify135.0ms (1.2%)

prune349.0ms (3.2%)

localize22.0ms (0.2%)

rewrite136.0ms (1.2%)

series811.0ms (7.3%)

simplify101.0ms (0.9%)

prune187.0ms (1.7%)

regimes2.1s (19.3%)

bsearch93.0ms (0.8%)

simplify4.0ms (0%)

end0.0ms (0%)

sample3.5s (31.2%)

Profiling