Details

analyze132.0ms (2.8%)

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)

sample20.0ms (0.4%)

Algorithm

1×

intervals

Results

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

Compiler

Compiled 39 to 25 computations (35.9% saved)

simplify258.0ms (5.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (158.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 3 expressions with local error:

0.0b	(-.f64 (.f64 x.re (.f64 (*.f64 x.re x.im) 3)) (pow.f64 x.im 3))
0.2b	(.f64 x.re (.f64 (*.f64 x.re x.im) 3))
0.2b	(.f64 (.f64 x.re x.im) 3)

rewrite95.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

17×	`pow1_binary64_4231` `add-exp-log_binary64_4208` `add-cbrt-cube_binary64_4206`
12×	`cancel-sign-sub-inv_binary64_4136`
9×	`pow-prod-down_binary64_4241` `prod-exp_binary64_4219` `cbrt-unprod_binary64_4203`
8×	`add-cube-cbrt_binary64_4205` `add-sqr-sqrt_binary64_4192` `*-un-lft-identity_binary64_4170`
5×	`add-log-exp_binary64_4209`
4×	`associate-l_binary64_4111` `associate-r_binary64_4110`
3×	`unpow-prod-down_binary64_4249` `cube-prod_binary64_4198`
2×	`*-commutative_binary64_4101`
1×	`diff-log_binary64_4262` `flip3--_binary64_4174` `sub-neg_binary64_4163` `flip--_binary64_4145` `unpow3_binary64_4236` `cube-mult_binary64_4200` `sqr-pow_binary64_4142`

Counts

3 → 62

Calls

3 calls:

9.0ms	(-.f64 (.f64 x.re (.f64 (*.f64 x.re x.im) 3)) (pow.f64 x.im 3))
7.0ms	(.f64 x.re (.f64 (*.f64 x.re x.im) 3))
5.0ms	(.f64 (.f64 x.re x.im) 3)

Compiler

Compiled 1135 to 665 computations (41.4% saved)

series309.0ms (6.5%)

Error

0.1b

Counts

3 → 24

Calls

3 calls:

151.0ms	(-.f64 (.f64 x.re (.f64 (*.f64 x.re x.im) 3)) (pow.f64 x.im 3))
79.0ms	(.f64 x.re (.f64 (*.f64 x.re x.im) 3))
60.0ms	(.f64 (.f64 x.re x.im) 3)

Compiler

Compiled 666 to 549 computations (17.6% saved)

simplify109.0ms (2.3%)

Algorithm

1×	egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (90.0ms)

Iter	Nodes	Cost
0	4911	1162
1	4911	1162

prune85.0ms (1.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	80	6	86
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	80	8	88

Error

0.0b

Counts

88 → 8

Compiler

Compiled 1273 to 878 computations (31% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (.f64 x.re (.f64 x.re (*.f64 3 x.im))) (pow.f64 x.im 3))
0.2b	(.f64 x.re (.f64 x.re (*.f64 3 x.im)))
0.3b	(.f64 x.re (.f64 3 x.im))

rewrite94.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

17×	`pow1_binary64_4231` `add-exp-log_binary64_4208` `add-cbrt-cube_binary64_4206`
12×	`cancel-sign-sub-inv_binary64_4136`
9×	`pow-prod-down_binary64_4241` `prod-exp_binary64_4219` `cbrt-unprod_binary64_4203`
8×	`add-cube-cbrt_binary64_4205` `add-sqr-sqrt_binary64_4192` `*-un-lft-identity_binary64_4170`
6×	`associate-l_binary64_4111`
5×	`add-log-exp_binary64_4209`
3×	`unpow-prod-down_binary64_4249` `cube-prod_binary64_4198`
2×	`associate-r_binary64_4110` `*-commutative_binary64_4101`
1×	`diff-log_binary64_4262` `flip3--_binary64_4174` `sub-neg_binary64_4163` `flip--_binary64_4145` `unpow3_binary64_4236` `cube-mult_binary64_4200` `sqr-pow_binary64_4142`

Counts

3 → 62

Calls

3 calls:

10.0ms	(-.f64 (.f64 x.re (.f64 x.re (*.f64 3 x.im))) (pow.f64 x.im 3))
10.0ms	(.f64 x.re (.f64 x.re (*.f64 3 x.im)))
5.0ms	(.f64 x.re (.f64 3 x.im))

Compiler

Compiled 1135 to 736 computations (35.2% saved)

series294.0ms (6.2%)

Error

0.0b

Counts

3 → 24

Calls

3 calls:

158.0ms	(-.f64 (.f64 x.re (.f64 x.re (*.f64 3 x.im))) (pow.f64 x.im 3))
70.0ms	(.f64 x.re (.f64 x.re (*.f64 3 x.im)))
52.0ms	(.f64 x.re (.f64 3 x.im))

Compiler

Compiled 666 to 549 computations (17.6% saved)

simplify88.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4914	1160
1	4914	1160

prune82.0ms (1.7%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	82	4	86
Fresh	3	3	6
Picked	0	1	1
Done	0	1	1
Total	85	9	94

Error

0.0b

Counts

94 → 9

Compiler

Compiled 1274 to 893 computations (29.9% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (.f64 x.re (.f64 (*.f64 3 x.re) x.im)) (pow.f64 x.im 3))
0.2b	(.f64 x.re (.f64 (*.f64 3 x.re) x.im))
0.2b	(.f64 (.f64 3 x.re) x.im)

rewrite88.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

17×	`pow1_binary64_4231` `add-exp-log_binary64_4208` `add-cbrt-cube_binary64_4206`
12×	`cancel-sign-sub-inv_binary64_4136`
9×	`pow-prod-down_binary64_4241` `prod-exp_binary64_4219` `cbrt-unprod_binary64_4203`
8×	`add-cube-cbrt_binary64_4205` `add-sqr-sqrt_binary64_4192` `*-un-lft-identity_binary64_4170`
5×	`add-log-exp_binary64_4209`
4×	`associate-l_binary64_4111` `associate-r_binary64_4110`
3×	`unpow-prod-down_binary64_4249` `cube-prod_binary64_4198`
2×	`*-commutative_binary64_4101`
1×	`diff-log_binary64_4262` `flip3--_binary64_4174` `sub-neg_binary64_4163` `flip--_binary64_4145` `unpow3_binary64_4236` `cube-mult_binary64_4200` `sqr-pow_binary64_4142`

Counts

3 → 62

Calls

3 calls:

9.0ms	(-.f64 (.f64 x.re (.f64 (*.f64 3 x.re) x.im)) (pow.f64 x.im 3))
7.0ms	(.f64 x.re (.f64 (*.f64 3 x.re) x.im))
6.0ms	(.f64 (.f64 3 x.re) x.im)

Compiler

Compiled 1135 to 737 computations (35.1% saved)

series330.0ms (6.9%)

Error

0.0b

Counts

3 → 24

Calls

3 calls:

167.0ms	(-.f64 (.f64 x.re (.f64 (*.f64 3 x.re) x.im)) (pow.f64 x.im 3))
83.0ms	(.f64 x.re (.f64 (*.f64 3 x.re) x.im))
59.0ms	(.f64 (.f64 3 x.re) x.im)

Compiler

Compiled 666 to 549 computations (17.6% saved)

simplify86.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4956	1158
1	4956	1158

prune77.0ms (1.6%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	84	2	86
Fresh	3	3	6
Picked	0	1	1
Done	0	2	2
Total	87	8	95

Error

0.0b

Counts

95 → 8

Compiler

Compiled 1224 to 860 computations (29.7% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (.f64 x.re (.f64 (.f64 (.f64 x.im x.re) (sqrt.f64 3)) (sqrt.f64 3))) (pow.f64 x.im 3))
0.2b	(.f64 x.re (.f64 (.f64 (.f64 x.im x.re) (sqrt.f64 3)) (sqrt.f64 3)))
0.3b	(.f64 (.f64 x.im x.re) (sqrt.f64 3))
0.3b	(.f64 (.f64 (*.f64 x.im x.re) (sqrt.f64 3)) (sqrt.f64 3))

rewrite157.0ms (3.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

32×	`pow1_binary64_4231` `add-exp-log_binary64_4208` `add-cbrt-cube_binary64_4206`
19×	`pow-prod-down_binary64_4241` `prod-exp_binary64_4219` `cbrt-unprod_binary64_4203`
13×	`associate-r_binary64_4110`
12×	`add-cube-cbrt_binary64_4205` `add-sqr-sqrt_binary64_4192` `*-un-lft-identity_binary64_4170` `cancel-sign-sub-inv_binary64_4136`
6×	`add-log-exp_binary64_4209` `sqrt-prod_binary64_4186`
5×	`associate-l_binary64_4111`
3×	`*-commutative_binary64_4101` `unpow-prod-down_binary64_4249` `cube-prod_binary64_4198`
1×	`diff-log_binary64_4262` `flip3--_binary64_4174` `sub-neg_binary64_4163` `flip--_binary64_4145` `unpow3_binary64_4236` `cube-mult_binary64_4200` `sqr-pow_binary64_4142`

Counts

4 → 92

Calls

4 calls:

13.0ms	(-.f64 (.f64 x.re (.f64 (.f64 (.f64 x.im x.re) (sqrt.f64 3)) (sqrt.f64 3))) (pow.f64 x.im 3))
11.0ms	(.f64 x.re (.f64 (.f64 (.f64 x.im x.re) (sqrt.f64 3)) (sqrt.f64 3)))
10.0ms	(.f64 (.f64 (*.f64 x.im x.re) (sqrt.f64 3)) (sqrt.f64 3))
6.0ms	(.f64 (.f64 x.im x.re) (sqrt.f64 3))

Compiler

Compiled 2155 to 1484 computations (31.1% saved)

series613.0ms (12.9%)

Error

0.0b

Counts

4 → 30

Calls

4 calls:

236.0ms	(-.f64 (.f64 x.re (.f64 (.f64 (.f64 x.im x.re) (sqrt.f64 3)) (sqrt.f64 3))) (pow.f64 x.im 3))
134.0ms	(.f64 x.re (.f64 (.f64 (.f64 x.im x.re) (sqrt.f64 3)) (sqrt.f64 3)))
126.0ms	(.f64 (.f64 (*.f64 x.im x.re) (sqrt.f64 3)) (sqrt.f64 3))
91.0ms	(.f64 (.f64 x.im x.re) (sqrt.f64 3))

Compiler

Compiled 1116 to 956 computations (14.3% saved)

simplify102.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	4917	1633
1	4917	1633

prune114.0ms (2.4%)

Pruning

9 alts after pruning (5 fresh and 4 done)

	Pruned	Kept	Total
New	121	1	122
Fresh	0	4	4
Picked	0	1	1
Done	0	3	3
Total	121	9	130

Error

Counts

130 → 9

Compiler

Compiled 1871 to 1366 computations (27% saved)

regimes226.0ms (4.7%)

Accuracy

Total 0.2b remaining (97.9%)

Threshold costs 0.2b (97.9%)

Compiler

Compiled 2121 to 1644 computations (22.5% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	24	20
1	24	20

end0.0ms (0%)

sample1.4s (28.5%)

Algorithm

1×

intervals

Results

357.0ms	8000×	body	128	valid
24.0ms	565×	body	128	invalid

Compiler

Compiled 741 to 572 computations (22.8% saved)

Details

analyze132.0ms (2.8%)

sample20.0ms (0.4%)

simplify258.0ms (5.4%)

prune5.0ms (0.1%)

localize7.0ms (0.2%)

rewrite95.0ms (2%)

series309.0ms (6.5%)

simplify109.0ms (2.3%)

prune85.0ms (1.8%)

localize8.0ms (0.2%)

rewrite94.0ms (2%)

series294.0ms (6.2%)

simplify88.0ms (1.8%)

prune82.0ms (1.7%)

localize7.0ms (0.2%)

rewrite88.0ms (1.8%)

series330.0ms (6.9%)

simplify86.0ms (1.8%)

prune77.0ms (1.6%)

localize9.0ms (0.2%)

rewrite157.0ms (3.3%)

series613.0ms (12.9%)

simplify102.0ms (2.1%)

prune114.0ms (2.4%)

regimes226.0ms (4.7%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.4s (28.5%)

Profiling