Details

analyze364.0ms (7.2%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5194	40
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
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)

sample21.0ms (0.4%)

Algorithm

1×

intervals

Results

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

Compiler

Compiled 39 to 25 computations (35.9% saved)

simplify151.0ms (3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (145.0ms)

Iter	Nodes	Cost
0	4915	20
1	4915	20

prune4.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.1%)

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.1b	(.f64 x.re (.f64 (*.f64 x.re x.im) 3))
0.3b	(.f64 (.f64 x.re x.im) 3)

rewrite92.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

17×	`pow1_binary64_3890` `add-exp-log_binary64_3867` `add-cbrt-cube_binary64_3865`
12×	`cancel-sign-sub-inv_binary64_3795`
9×	`pow-prod-down_binary64_3900` `prod-exp_binary64_3878` `cbrt-unprod_binary64_3862`
8×	`add-cube-cbrt_binary64_3864` `add-sqr-sqrt_binary64_3851` `*-un-lft-identity_binary64_3829`
5×	`add-log-exp_binary64_3868`
4×	`associate-l_binary64_3770` `associate-r_binary64_3769`
3×	`unpow-prod-down_binary64_3908` `cube-prod_binary64_3857`
2×	`*-commutative_binary64_3760`
1×	`diff-log_binary64_3921` `flip3--_binary64_3833` `sub-neg_binary64_3822` `flip--_binary64_3804` `unpow3_binary64_3895` `cube-mult_binary64_3859` `sqr-pow_binary64_3801`

Counts

3 → 62

Calls

3 calls:

9.0ms	(-.f64 (.f64 x.re (.f64 (*.f64 x.re x.im) 3)) (pow.f64 x.im 3))
6.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)

series298.0ms (5.9%)

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))
75.0ms	(.f64 x.re (.f64 (*.f64 x.re x.im) 3))
55.0ms	(.f64 (.f64 x.re x.im) 3)

Compiler

Compiled 666 to 549 computations (17.6% saved)

simplify95.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (78.0ms)

Iter	Nodes	Cost
0	4911	1162
1	4911	1162

prune88.0ms (1.7%)

Pruning

8 alts after pruning (8 fresh and 0 done)

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

Error

0.0b

Counts

88 → 8

Compiler

Compiled 1294 to 894 computations (30.9% saved)

localize7.0ms (0.1%)

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.1b	(.f64 x.re (.f64 x.re (*.f64 3 x.im)))
0.2b	(.f64 x.re (.f64 3 x.im))

rewrite87.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

17×	`pow1_binary64_3890` `add-exp-log_binary64_3867` `add-cbrt-cube_binary64_3865`
12×	`cancel-sign-sub-inv_binary64_3795`
9×	`pow-prod-down_binary64_3900` `prod-exp_binary64_3878` `cbrt-unprod_binary64_3862`
8×	`add-cube-cbrt_binary64_3864` `add-sqr-sqrt_binary64_3851` `*-un-lft-identity_binary64_3829`
6×	`associate-l_binary64_3770`
5×	`add-log-exp_binary64_3868`
3×	`unpow-prod-down_binary64_3908` `cube-prod_binary64_3857`
2×	`associate-r_binary64_3769` `*-commutative_binary64_3760`
1×	`diff-log_binary64_3921` `flip3--_binary64_3833` `sub-neg_binary64_3822` `flip--_binary64_3804` `unpow3_binary64_3895` `cube-mult_binary64_3859` `sqr-pow_binary64_3801`

Counts

3 → 62

Calls

3 calls:

10.0ms	(-.f64 (.f64 x.re (.f64 x.re (*.f64 3 x.im))) (pow.f64 x.im 3))
7.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)

series301.0ms (5.9%)

Error

0.0b

Counts

3 → 24

Calls

3 calls:

153.0ms	(-.f64 (.f64 x.re (.f64 x.re (*.f64 3 x.im))) (pow.f64 x.im 3))
76.0ms	(.f64 x.re (.f64 x.re (*.f64 3 x.im)))
58.0ms	(.f64 x.re (.f64 3 x.im))

Compiler

Compiled 666 to 549 computations (17.6% saved)

simplify78.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4914	1160
1	4914	1160

prune77.0ms (1.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	84	2	86
Fresh	2	5	7
Picked	0	1	1
Done	0	0	0
Total	86	8	94

Error

0.0b

Counts

94 → 8

Compiler

Compiled 1280 to 895 computations (30.1% saved)

localize7.0ms (0.1%)

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.1b	(.f64 x.re (.f64 (*.f64 3 x.re) x.im))
0.2b	(.f64 (.f64 3 x.re) x.im)

rewrite86.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

17×	`pow1_binary64_3890` `add-exp-log_binary64_3867` `add-cbrt-cube_binary64_3865`
12×	`cancel-sign-sub-inv_binary64_3795`
9×	`pow-prod-down_binary64_3900` `prod-exp_binary64_3878` `cbrt-unprod_binary64_3862`
8×	`add-cube-cbrt_binary64_3864` `add-sqr-sqrt_binary64_3851` `*-un-lft-identity_binary64_3829`
5×	`add-log-exp_binary64_3868`
4×	`associate-l_binary64_3770` `associate-r_binary64_3769`
3×	`unpow-prod-down_binary64_3908` `cube-prod_binary64_3857`
2×	`*-commutative_binary64_3760`
1×	`diff-log_binary64_3921` `flip3--_binary64_3833` `sub-neg_binary64_3822` `flip--_binary64_3804` `unpow3_binary64_3895` `cube-mult_binary64_3859` `sqr-pow_binary64_3801`

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))
5.0ms	(.f64 (.f64 3 x.re) x.im)

Compiler

Compiled 1135 to 737 computations (35.1% saved)

series306.0ms (6%)

Error

0.0b

Counts

3 → 24

Calls

3 calls:

162.0ms	(-.f64 (.f64 x.re (.f64 (*.f64 3 x.re) x.im)) (pow.f64 x.im 3))
68.0ms	(.f64 x.re (.f64 (*.f64 3 x.re) x.im))
60.0ms	(.f64 (.f64 3 x.re) x.im)

Compiler

Compiled 666 to 549 computations (17.6% saved)

simplify75.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4956	1158
1	4956	1158

prune75.0ms (1.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	85	1	86
Fresh	1	5	6
Picked	1	0	1
Done	0	1	1
Total	87	7	94

Error

0.0b

Counts

94 → 7

Compiler

Compiled 1254 to 879 computations (29.9% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (.f64 3 (.f64 x.im x.re))) (cbrt.f64 (.f64 3 (*.f64 x.im x.re))))
11.9b	(cbrt.f64 (.f64 3 (.f64 x.im x.re)))
11.9b	(cbrt.f64 (.f64 3 (.f64 x.im x.re)))
11.9b	(cbrt.f64 (.f64 3 (.f64 x.im x.re)))

rewrite111.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

11×	`pow1_binary64_3890`
10×	`add-sqr-sqrt_binary64_3851`
9×	`pow1/3_binary64_3911`
8×	`add-cube-cbrt_binary64_3864` `*-un-lft-identity_binary64_3829`
7×	`cbrt-prod_binary64_3860`
6×	`add-exp-log_binary64_3867`
4×	`add-log-exp_binary64_3868` `add-cbrt-cube_binary64_3865` `swap-sqr_binary64_3796` `associate-l_binary64_3770` `associate-r_binary64_3769`
2×	`pow-prod-down_binary64_3900` `pow-prod-up_binary64_3899` `pow-sqr_binary64_3802`
1×	`pow2_binary64_3910` `pow-plus_binary64_3892` `prod-exp_binary64_3878` `cbrt-unprod_binary64_3862` `unswap-sqr_binary64_3797` `*-commutative_binary64_3760`

Counts

4 → 58

Calls

4 calls:

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

Compiler

Compiled 1861 to 1121 computations (39.8% saved)

series1000.0ms (19.7%)

Error

0.0b

Counts

4 → 24

Calls

4 calls:

309.0ms	(.f64 (cbrt.f64 (.f64 3 (.f64 x.im x.re))) (cbrt.f64 (.f64 3 (*.f64 x.im x.re))))
227.0ms	(cbrt.f64 (.f64 3 (.f64 x.im x.re)))
216.0ms	(cbrt.f64 (.f64 3 (.f64 x.im x.re)))
213.0ms	(cbrt.f64 (.f64 3 (.f64 x.im x.re)))

Compiler

Compiled 2310 to 1762 computations (23.7% saved)

simplify98.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	4901	1064
1	4901	1064

prune108.0ms (2.1%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	81	1	82
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	81	8	89

Error

0.0b

Counts

89 → 8

Compiler

Compiled 2216 to 1337 computations (39.7% saved)

regimes207.0ms (4.1%)

Accuracy

Total 0.2b remaining (96.1%)

Threshold costs 0.2b (96.1%)

Compiler

Compiled 2154 to 1665 computations (22.7% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	24	20
1	24	20

end0.0ms (0%)

sample1.3s (26.2%)

Algorithm

1×

intervals

Results

351.0ms	8000×	body	128	valid
26.0ms	539×	body	128	invalid

Compiler

Compiled 752 to 579 computations (23% saved)

Details

analyze364.0ms (7.2%)

sample21.0ms (0.4%)

simplify151.0ms (3%)

prune4.0ms (0.1%)

localize7.0ms (0.1%)

rewrite92.0ms (1.8%)

series298.0ms (5.9%)

simplify95.0ms (1.9%)

prune88.0ms (1.7%)

localize7.0ms (0.1%)

rewrite87.0ms (1.7%)

series301.0ms (5.9%)

simplify78.0ms (1.5%)

prune77.0ms (1.5%)

localize7.0ms (0.1%)

rewrite86.0ms (1.7%)

series306.0ms (6%)

simplify75.0ms (1.5%)

prune75.0ms (1.5%)

localize11.0ms (0.2%)

rewrite111.0ms (2.2%)

series1000.0ms (19.7%)

simplify98.0ms (1.9%)

prune108.0ms (2.1%)

regimes207.0ms (4.1%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.3s (26.2%)

Profiling