Details

analyze630.0ms (6.9%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	210
1	45	210
0	4	4
1	4	4

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
6.2%	93.6%	0.2%	8
25%	74.9%	0.2%	9
28.1%	71.7%	0.2%	10
29.6%	70.2%	0.2%	11
53%	46.8%	0.2%	12
71.3%	28.5%	0.2%	13
71.7%	28.1%	0.2%	14

Compiler

Compiled 16 to 12 computations (25% saved)

sample25.0ms (0.3%)

Algorithm

1×

intervals

Results

10.0ms	256×	body	128	valid
1.0ms	17×	body	128	invalid

Compiler

Compiled 31 to 27 computations (12.9% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	18	30
1	18	30

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

23.5b

Counts

2 → 1

Compiler

Compiled 30 to 22 computations (26.7% saved)

localize10.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.4b	(+.f64 (.f64 x.re y.re) (.f64 x.im y.im))
23.0b	(/.f64 (+.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (+.f64 (.f64 y.re y.re) (.f64 y.im y.im)))

rewrite72.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

23.3b

Rules

10×	`add-cube-cbrt_binary64_1136` `add-sqr-sqrt_binary64_1123` `*-un-lft-identity_binary64_1101`
9×	`times-frac_binary64_1107`
4×	`add-exp-log_binary64_1139` `add-log-exp_binary64_1140` `add-cbrt-cube_binary64_1137`
3×	`flip3-+_binary64_1104` `flip-+_binary64_1075` `associate-/l_binary64_1046` `associate-/r_binary64_1045`
2×	`pow1_binary64_1162` `associate-/l/_binary64_1048` `associate-/r/_binary64_1047`
1×	`div-exp_binary64_1152` `cbrt-undiv_binary64_1135` `frac-2neg_binary64_1112` `clear-num_binary64_1100` `div-inv_binary64_1098` `sum-log_binary64_1192` `+-commutative_binary64_1031`

Counts

2 → 42

Calls

2 calls:

9.0ms	(/.f64 (+.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (+.f64 (.f64 y.re y.re) (.f64 y.im y.im)))
4.0ms	(+.f64 (.f64 x.re y.re) (.f64 x.im y.im))

Compiler

Compiled 1203 to 160 computations (86.7% saved)

series501.0ms (5.5%)

Error

5.3b

Counts

2 → 51

Calls

2 calls:

327.0ms	(/.f64 (+.f64 (.f64 x.re y.re) (.f64 x.im y.im)) (+.f64 (.f64 y.re y.re) (.f64 y.im y.im)))
138.0ms	(+.f64 (.f64 x.re y.re) (.f64 x.im y.im))

Compiler

Compiled 1800 to 1116 computations (38% saved)

simplify70.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5353	2382

prune93.0ms (1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	85	8	93
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	86	8	94

Error

4.8b

Counts

94 → 8

Compiler

Compiled 1905 to 682 computations (64.2% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b	(+.f64 (.f64 y.im x.im) (.f64 y.re x.re))
13.5b	(/.f64 (+.f64 (.f64 y.im x.im) (.f64 y.re x.re)) (sqrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2))))
25.1b	(sqrt.f64 (+.f64 (.f64 y.re y.re) (.f64 y.im y.im)))
25.1b	(sqrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)))

rewrite169.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

4.8b

Rules

43×	`*-un-lft-identity_binary64_1101`
28×	`sqrt-prod_binary64_1117`
25×	`add-sqr-sqrt_binary64_1123`
24×	`times-frac_binary64_1107`
23×	`add-cube-cbrt_binary64_1136`
10×	`unpow-prod-down_binary64_1180` `distribute-lft-out_binary64_1052`
8×	`associate-/r*_binary64_1045`
6×	`pow1_binary64_1162` `add-log-exp_binary64_1140` `add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137` `sqrt-div_binary64_1118`
5×	`flip3-+_binary64_1104` `flip-+_binary64_1075`
3×	`associate-/l*_binary64_1046`
2×	`pow1/2_binary64_1181` `sqrt-pow1_binary64_1119` `rem-sqrt-square_binary64_1114` `associate-/l/_binary64_1048` `associate-/r/_binary64_1047`
1×	`div-exp_binary64_1152` `cbrt-undiv_binary64_1135` `frac-2neg_binary64_1112` `clear-num_binary64_1100` `div-inv_binary64_1098` `sum-log_binary64_1192` `+-commutative_binary64_1031`

Counts

4 → 94

Calls

4 calls:

16.0ms	(/.f64 (+.f64 (.f64 y.im x.im) (.f64 y.re x.re)) (sqrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2))))
8.0ms	(sqrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)))
4.0ms	(+.f64 (.f64 y.im x.im) (.f64 y.re x.re))
4.0ms	(sqrt.f64 (+.f64 (.f64 y.re y.re) (.f64 y.im y.im)))

Compiler

Compiled 3563 to 1385 computations (61.1% saved)

series933.0ms (10.2%)

Error

4.8b

Counts

4 → 100

Calls

4 calls:

416.0ms	(/.f64 (+.f64 (.f64 y.im x.im) (.f64 y.re x.re)) (sqrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2))))
152.0ms	(+.f64 (.f64 y.im x.im) (.f64 y.re x.re))
130.0ms	(sqrt.f64 (+.f64 (.f64 y.re y.re) (.f64 y.im y.im)))
129.0ms	(sqrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)))

Compiler

Compiled 6184 to 3873 computations (37.4% saved)

simplify130.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

194 → 194

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	4958	5156
1	4958	5156

prune255.0ms (2.8%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	192	2	194
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	192	10	202

Error

4.8b

Counts

202 → 10

Compiler

Compiled 5977 to 2454 computations (58.9% saved)

localize11.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b

(+.f64 (/.f64 (*.f64 y.im x.im) (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2))) (/.f64 (*.f64 y.re x.re) (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2))))

15.1b

(/.f64 (*.f64 y.re x.re) (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)))

17.8b

(/.f64 (*.f64 y.im x.im) (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)))

rewrite172.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

4.6b

Rules

25×	`*-un-lft-identity_binary64_1101`
13×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
10×	`times-frac_binary64_1107` `associate-/r*_binary64_1045`
9×	`distribute-lft-out_binary64_1052`
8×	`unpow-prod-down_binary64_1180` `associate-/r/_binary64_1047`
7×	`add-cube-cbrt_binary64_1136` `add-sqr-sqrt_binary64_1123`
5×	`add-log-exp_binary64_1140` `flip3-+_binary64_1104` `flip-+_binary64_1075`
4×	`div-exp_binary64_1152` `cbrt-undiv_binary64_1135` `div-inv_binary64_1098`
3×	`pow1_binary64_1162` `distribute-rgt-out_binary64_1054`
2×	`prod-exp_binary64_1150` `cbrt-unprod_binary64_1134` `frac-2neg_binary64_1112` `clear-num_binary64_1100` `associate-/l*_binary64_1046`
1×	`sum-log_binary64_1192` `frac-add_binary64_1109` `+-commutative_binary64_1031`

Counts

3 → 70

Calls

3 calls:

28.0ms

(+.f64 (/.f64 (*.f64 y.im x.im) (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2))) (/.f64 (*.f64 y.re x.re) (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2))))

11.0ms

(/.f64 (*.f64 y.re x.re) (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)))

11.0ms

(/.f64 (*.f64 y.im x.im) (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)))

Compiler

Compiled 2449 to 1527 computations (37.6% saved)

series813.0ms (8.9%)

Error

4.8b

Counts

3 → 54

Calls

3 calls:

409.0ms

(+.f64 (/.f64 (*.f64 y.im x.im) (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2))) (/.f64 (*.f64 y.re x.re) (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2))))

203.0ms

(/.f64 (*.f64 y.im x.im) (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)))

158.0ms

(/.f64 (*.f64 y.re x.re) (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)))

Compiler

Compiled 2766 to 2006 computations (27.5% saved)

simplify66.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (23.0ms)

Iter	Nodes	Cost
0	5000	3224

prune162.0ms (1.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	121	3	124
Fresh	2	6	8
Picked	1	0	1
Done	1	0	1
Total	125	9	134

Error

4.6b

Counts

134 → 9

Compiler

Compiled 3292 to 1995 computations (39.4% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.3b	(*.f64 (/.f64 y.im (sqrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)))) (/.f64 x.im (sqrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)))))
15.1b	(/.f64 (*.f64 y.re x.re) (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)))
25.1b	(sqrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)))
25.1b	(sqrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)))

rewrite477.0ms (5.2%)

Algorithm

1×	rewrite-expression-head

Error

4.2b

Rules

78×	`*-un-lft-identity_binary64_1101`
70×	`add-sqr-sqrt_binary64_1123`
65×	`times-frac_binary64_1107`
46×	`sqrt-prod_binary64_1117`
38×	`add-cube-cbrt_binary64_1136`
30×	`associate-l_binary64_1042` `associate-r_binary64_1041`
21×	`add-exp-log_binary64_1139` `add-cbrt-cube_binary64_1137`
20×	`unpow-prod-down_binary64_1180` `distribute-lft-out_binary64_1052`
9×	`unswap-sqr_binary64_1069`
8×	`pow1_binary64_1162` `sqrt-div_binary64_1118`
6×	`div-exp_binary64_1152` `cbrt-undiv_binary64_1135` `associate-/r/_binary64_1047`
5×	`flip3-+_binary64_1104` `flip-+_binary64_1075` `prod-exp_binary64_1150` `cbrt-unprod_binary64_1134` `associate-/r*_binary64_1045`
4×	`add-log-exp_binary64_1140`
3×	`div-inv_binary64_1098`
2×	`pow1/2_binary64_1181` `sqrt-pow1_binary64_1119` `rem-sqrt-square_binary64_1114`
1×	`frac-2neg_binary64_1112` `clear-num_binary64_1100` `associate-/l_binary64_1046` `pow-prod-down_binary64_1172` `frac-times_binary64_1111` `associate-l/_binary64_1044` `associate-r/_binary64_1043` `-commutative_binary64_1032`

Counts

4 → 150

Calls

4 calls:

44.0ms	(*.f64 (/.f64 y.im (sqrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)))) (/.f64 x.im (sqrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)))))
10.0ms	(/.f64 (*.f64 y.re x.re) (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)))
9.0ms	(sqrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)))
8.0ms	(sqrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)))

Compiler

Compiled 6929 to 4765 computations (31.2% saved)

series739.0ms (8.1%)

Error

4.4b

Counts

4 → 67

Calls

4 calls:

196.0ms	(*.f64 (/.f64 y.im (sqrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)))) (/.f64 x.im (sqrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)))))
166.0ms	(/.f64 (*.f64 y.re x.re) (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)))
139.0ms	(sqrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)))
137.0ms	(sqrt.f64 (+.f64 (pow.f64 y.re 2) (pow.f64 y.im 2)))

Compiler

Compiled 5484 to 4052 computations (26.1% saved)

simplify121.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

217 → 217

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4970	5644
1	4970	5644

prune488.0ms (5.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	213	4	217
Fresh	4	4	8
Picked	1	0	1
Done	0	0	0
Total	218	8	226

Error

4.2b

Counts

226 → 8

Compiler

Compiled 8181 to 5423 computations (33.7% saved)

regimes994.0ms (10.9%)

Accuracy

Total 8.0b remaining (62.8%)

Threshold costs 0b (0%)

Compiler

Compiled 9404 to 6168 computations (34.4% saved)

bsearch83.0ms (0.9%)

Steps

Iters	Range		Point
7	2.265601925694942e+151	3.6137297073063824e+153	3.5175210954414894e+153
2	3.737873731965851e-66	4.036969044734628e-66	3.7752606460619477e-66
7	-8.690372529981509e-125	-1.3967395415921734e-126	-1.4138995451185585e-126
10	-7.792265601336191e+156	-9.01390167882476e+138	-1.3717105610359733e+154

Compiler

Compiled 1 to 4 computations (-300% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	51	233
1	51	233

end0.0ms (0%)

sample2.1s (22.7%)

Algorithm

1×

intervals

Results

333.0ms	8000×	body	128	valid
20.0ms	523×	body	128	invalid

Compiler

Compiled 1982 to 1316 computations (33.6% saved)

Details

analyze630.0ms (6.9%)

sample25.0ms (0.3%)

simplify8.0ms (0.1%)

prune2.0ms (0%)

localize10.0ms (0.1%)

rewrite72.0ms (0.8%)

series501.0ms (5.5%)

simplify70.0ms (0.8%)

prune93.0ms (1%)

localize18.0ms (0.2%)

rewrite169.0ms (1.9%)

series933.0ms (10.2%)

simplify130.0ms (1.4%)

prune255.0ms (2.8%)

localize11.0ms (0.1%)

rewrite172.0ms (1.9%)

series813.0ms (8.9%)

simplify66.0ms (0.7%)

prune162.0ms (1.8%)

localize16.0ms (0.2%)

rewrite477.0ms (5.2%)

series739.0ms (8.1%)

simplify121.0ms (1.3%)

prune488.0ms (5.3%)

regimes994.0ms (10.9%)

bsearch83.0ms (0.9%)

simplify5.0ms (0.1%)

end0.0ms (0%)

sample2.1s (22.7%)

Profiling