Details

analyze129.0ms (3.4%)

Algorithm

1×

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
25%	74.9%	0.1%	5
25%	74.9%	0.1%	6
31.2%	50%	18.8%	7
34.3%	43.7%	22%	8
45.3%	26.5%	28.2%	9
46.8%	23.4%	29.8%	10
48.8%	14%	37.2%	11
49.8%	12.1%	38.1%	12
52.8%	7.1%	40.1%	13
53.3%	6.1%	40.6%	14

Compiler

Compiled 20 to 12 computations (40% saved)

sample19.0ms (0.5%)

Algorithm

1×

intervals

Results

11.0ms	256×	body	128	valid
1.0ms	12×	body	128	invalid

Compiler

Compiled 39 to 25 computations (35.9% saved)

simplify249.0ms (6.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (151.0ms)

Iter	Nodes	Cost
0	4915	20
1	4915	20

prune5.0ms (0.1%)

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.1b

Counts

2 → 2

Compiler

Compiled 41 to 29 computations (29.3% saved)

localize7.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 x.re x.im) 3)
0.1b	(.f64 x.re (.f64 (*.f64 x.re x.im) 3))
0.1b	(.f64 x.re (.f64 (*.f64 x.re x.im) 3))
0.2b	(.f64 (.f64 x.re x.im) 3)

rewrite16.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`pow1_binary64_2185` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
9×	`pow-prod-down_binary64_2195` `prod-exp_binary64_2173` `cbrt-unprod_binary64_2157`
4×	`add-cube-cbrt_binary64_2159` `associate-l_binary64_2065` `add-sqr-sqrt_binary64_2146` `associate-r_binary64_2064` `*-un-lft-identity_binary64_2124`
2×	`*-commutative_binary64_2055` `add-log-exp_binary64_2163`

Counts

2 → 39

Calls

4 calls:

7.0ms	(.f64 x.re (.f64 (*.f64 x.re x.im) 3))
6.0ms	(.f64 (.f64 x.re x.im) 3)
0.0ms	(.f64 x.re (.f64 (*.f64 x.re x.im) 3))
0.0ms	(.f64 (.f64 x.re x.im) 3)

series132.0ms (3.5%)

Counts

2 → 12

Calls

2 calls:

75.0ms	(.f64 x.re (.f64 (*.f64 x.re x.im) 3))
57.0ms	(.f64 (.f64 x.re x.im) 3)

Compiler

Compiled 264 to 228 computations (13.6% saved)

simplify70.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

51 → 51

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5029	605

prune66.0ms (1.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	46	5	51
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	47	6	53

Error

0.0b

Counts

53 → 6

Compiler

Compiled 759 to 522 computations (31.2% saved)

localize7.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 x.re (.f64 x.im 3))
0.1b	(.f64 x.re (.f64 x.re (*.f64 x.im 3)))
0.1b	(.f64 x.re (.f64 x.re (*.f64 x.im 3)))
0.2b	(.f64 x.re (.f64 x.im 3))

rewrite15.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`pow1_binary64_2185` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
9×	`pow-prod-down_binary64_2195` `prod-exp_binary64_2173` `cbrt-unprod_binary64_2157`
6×	`associate-l_binary64_2065`
4×	`add-cube-cbrt_binary64_2159` `add-sqr-sqrt_binary64_2146` `*-un-lft-identity_binary64_2124`
2×	`-commutative_binary64_2055` `add-log-exp_binary64_2163` `associate-r*_binary64_2064`

Counts

2 → 39

Calls

4 calls:

7.0ms	(.f64 x.re (.f64 x.re (*.f64 x.im 3)))
5.0ms	(.f64 x.re (.f64 x.im 3))
0.0ms	(.f64 x.re (.f64 x.re (*.f64 x.im 3)))
0.0ms	(.f64 x.re (.f64 x.im 3))

series131.0ms (3.5%)

Counts

2 → 12

Calls

2 calls:

77.0ms	(.f64 x.re (.f64 x.re (*.f64 x.im 3)))
54.0ms	(.f64 x.re (.f64 x.im 3))

Compiler

Compiled 264 to 228 computations (13.6% saved)

simplify66.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

51 → 51

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5198	600

prune56.0ms (1.5%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	48	3	51
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	48	9	57

Error

0.0b

Counts

57 → 9

Compiler

Compiled 808 to 579 computations (28.3% saved)

localize9.0ms (0.2%)

Local error

Found 6 expressions with local error:

0.3b	(.f64 (.f64 (*.f64 x.re x.im) (sqrt.f64 3)) (sqrt.f64 3))
0.3b	(.f64 (.f64 x.re x.im) (sqrt.f64 3))
0.1b	(.f64 x.re (.f64 (.f64 (.f64 x.re x.im) (sqrt.f64 3)) (sqrt.f64 3)))
0.1b	(.f64 x.re (.f64 (.f64 (.f64 x.re x.im) (sqrt.f64 3)) (sqrt.f64 3)))
0.3b	(.f64 (.f64 x.re x.im) (sqrt.f64 3))
0.3b	(.f64 (.f64 (*.f64 x.re x.im) (sqrt.f64 3)) (sqrt.f64 3))

rewrite34.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`pow1_binary64_2185` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
19×	`pow-prod-down_binary64_2195` `prod-exp_binary64_2173` `cbrt-unprod_binary64_2157`
13×	`associate-r_binary64_2064`
8×	`add-cube-cbrt_binary64_2159` `add-sqr-sqrt_binary64_2146` `*-un-lft-identity_binary64_2124`
6×	`sqrt-prod_binary64_2140`
5×	`associate-l_binary64_2065`
3×	`*-commutative_binary64_2055` `add-log-exp_binary64_2163`

Counts

3 → 69

Calls

6 calls:

11.0ms	(.f64 x.re (.f64 (.f64 (.f64 x.re x.im) (sqrt.f64 3)) (sqrt.f64 3)))
10.0ms	(.f64 (.f64 (*.f64 x.re x.im) (sqrt.f64 3)) (sqrt.f64 3))
7.0ms	(.f64 (.f64 x.re x.im) (sqrt.f64 3))
0.0ms	(.f64 x.re (.f64 (.f64 (.f64 x.re x.im) (sqrt.f64 3)) (sqrt.f64 3)))
0.0ms	(.f64 (.f64 x.re x.im) (sqrt.f64 3))

series358.0ms (9.5%)

Counts

3 → 18

Calls

3 calls:

139.0ms	(.f64 x.re (.f64 (.f64 (.f64 x.re x.im) (sqrt.f64 3)) (sqrt.f64 3)))
131.0ms	(.f64 (.f64 (*.f64 x.re x.im) (sqrt.f64 3)) (sqrt.f64 3))
88.0ms	(.f64 (.f64 x.re x.im) (sqrt.f64 3))

Compiler

Compiled 516 to 456 computations (11.6% saved)

simplify71.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5363	1069

prune82.0ms (2.2%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	87	0	87
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	87	9	96

Error

0.0b

Counts

96 → 9

Compiler

Compiled 1446 to 1015 computations (29.8% saved)

localize11.0ms (0.3%)

Local error

Found 8 expressions with local error:

0.2b	(.f64 x.re (.f64 x.im 3))
0.2b	(.f64 x.re (.f64 x.im 3))
0.2b	(.f64 x.re (.f64 x.im 3))
0.1b	(.f64 x.re (.f64 (.f64 (cbrt.f64 (.f64 x.re (.f64 x.im 3))) (cbrt.f64 (.f64 x.re (.f64 x.im 3)))) (cbrt.f64 (.f64 x.re (*.f64 x.im 3)))))
0.5b	(.f64 (cbrt.f64 (.f64 x.re (.f64 x.im 3))) (cbrt.f64 (.f64 x.re (*.f64 x.im 3))))
11.5b	(cbrt.f64 (.f64 x.re (.f64 x.im 3)))
11.5b	(cbrt.f64 (.f64 x.re (.f64 x.im 3)))
11.5b	(cbrt.f64 (.f64 x.re (.f64 x.im 3)))

rewrite25.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`pow1_binary64_2185`
10×	`add-sqr-sqrt_binary64_2146`
9×	`pow1/3_binary64_2206`
8×	`add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
7×	`cbrt-prod_binary64_2155`
6×	`add-exp-log_binary64_2162`
4×	`swap-sqr_binary64_2091` `add-log-exp_binary64_2163` `associate-l_binary64_2065` `associate-r_binary64_2064` `add-cbrt-cube_binary64_2160`
2×	`pow-prod-down_binary64_2195` `pow-prod-up_binary64_2194` `pow-sqr_binary64_2097`
1×	`unswap-sqr_binary64_2092` `*-commutative_binary64_2055` `prod-exp_binary64_2173` `pow-plus_binary64_2187` `pow2_binary64_2205` `cbrt-unprod_binary64_2157`

Counts

4 → 58

Calls

8 calls:

8.0ms	(.f64 (cbrt.f64 (.f64 x.re (.f64 x.im 3))) (cbrt.f64 (.f64 x.re (*.f64 x.im 3))))
4.0ms	(cbrt.f64 (.f64 x.re (.f64 x.im 3)))
4.0ms	(cbrt.f64 (.f64 x.re (.f64 x.im 3)))
4.0ms	(cbrt.f64 (.f64 x.re (.f64 x.im 3)))
0.0ms	(.f64 x.re (.f64 (.f64 (cbrt.f64 (.f64 x.re (.f64 x.im 3))) (cbrt.f64 (.f64 x.re (.f64 x.im 3)))) (cbrt.f64 (.f64 x.re (*.f64 x.im 3)))))

series1.0s (26.6%)

Counts

4 → 24

Calls

4 calls:

325.0ms	(.f64 (cbrt.f64 (.f64 x.re (.f64 x.im 3))) (cbrt.f64 (.f64 x.re (*.f64 x.im 3))))
232.0ms	(cbrt.f64 (.f64 x.re (.f64 x.im 3)))
223.0ms	(cbrt.f64 (.f64 x.re (.f64 x.im 3)))
221.0ms	(cbrt.f64 (.f64 x.re (.f64 x.im 3)))

Compiler

Compiled 1540 to 1276 computations (17.1% saved)

simplify99.0ms (2.6%)

Algorithm

1×	egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	4898	1068
1	4898	1068

prune107.0ms (2.9%)

Pruning

9 alts after pruning (5 fresh and 4 done)

	Pruned	Kept	Total
New	82	0	82
Fresh	0	5	5
Picked	0	1	1
Done	0	3	3
Total	82	9	91

Error

0.0b

Counts

91 → 9

Compiler

Compiled 2218 to 1544 computations (30.4% saved)

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	160	442
1	160	442

regimes60.0ms (1.6%)

Compiler: Compiled 450 to 366 computations (18.7% saved)

bsearch0.0ms (0%)

regimes20.0ms (0.5%)

Compiler: Compiled 70 to 64 computations (8.6% saved)

bsearch0.0ms (0%)

regimes19.0ms (0.5%)

Compiler: Compiled 48 to 46 computations (4.2% saved)

bsearch0.0ms (0%)

regimes17.0ms (0.4%)

Accuracy

Total 0.2b remaining (92.2%)

Threshold costs 0.2b (92.2%)

Compiler

Compiled 10 to 26 computations (-160% saved)

bsearch3.0ms (0.1%)

Compiler: Compiled 43 to 34 computations (20.9% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	60	80
1	60	80

end0.0ms (0%)

sample871.0ms (23.1%)

Algorithm

1×

intervals

Results

340.0ms	8000×	body	128	valid
26.0ms	572×	body	128	invalid

Compiler

Compiled 303 to 238 computations (21.5% saved)

Pareto

0.7271276630128508

Details

analyze129.0ms (3.4%)

sample19.0ms (0.5%)

simplify249.0ms (6.6%)

prune5.0ms (0.1%)

localize7.0ms (0.2%)

rewrite16.0ms (0.4%)

series132.0ms (3.5%)

simplify70.0ms (1.9%)

prune66.0ms (1.8%)

localize7.0ms (0.2%)

rewrite15.0ms (0.4%)

series131.0ms (3.5%)

simplify66.0ms (1.8%)

prune56.0ms (1.5%)

localize9.0ms (0.2%)

rewrite34.0ms (0.9%)

series358.0ms (9.5%)

simplify71.0ms (1.9%)

prune82.0ms (2.2%)

localize11.0ms (0.3%)

rewrite25.0ms (0.7%)

series1.0s (26.6%)

simplify99.0ms (2.6%)

prune107.0ms (2.9%)

simplify8.0ms (0.2%)

regimes60.0ms (1.6%)

bsearch0.0ms (0%)

regimes20.0ms (0.5%)

bsearch0.0ms (0%)

regimes19.0ms (0.5%)

bsearch0.0ms (0%)

regimes17.0ms (0.4%)

bsearch3.0ms (0.1%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample871.0ms (23.1%)

Profiling