Details

analyze139.0ms (3%)

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)

sample22.0ms (0.5%)

Algorithm

1×

intervals

Results

12.0ms	256×	body	128	valid
1.0ms	25×	body	128	invalid

Compiler

Compiled 39 to 25 computations (35.9% saved)

simplify240.0ms (5.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

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

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

rewrite27.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`pow1_binary64_2796` `add-cbrt-cube_binary64_2771` `add-exp-log_binary64_2773`
12×	`cancel-sign-sub-inv_binary64_2701`
9×	`pow-prod-down_binary64_2806` `prod-exp_binary64_2784` `cbrt-unprod_binary64_2768`
8×	`*-un-lft-identity_binary64_2735` `add-cube-cbrt_binary64_2770` `add-sqr-sqrt_binary64_2757`
5×	`add-log-exp_binary64_2774`
4×	`associate-l_binary64_2676` `associate-r_binary64_2675`
3×	`cube-prod_binary64_2763` `unpow-prod-down_binary64_2814`
2×	`*-commutative_binary64_2666`
1×	`flip3--_binary64_2739` `unpow3_binary64_2801` `flip--_binary64_2710` `sub-neg_binary64_2728` `diff-log_binary64_2827` `sqr-pow_binary64_2707` `cube-mult_binary64_2765`

Counts

3 → 62

Calls

6 calls:

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

series297.0ms (6.3%)

Counts

3 → 24

Calls

3 calls:

161.0ms	(-.f64 (.f64 x.re (.f64 (*.f64 x.re x.im) 3)) (pow.f64 x.im 3))
77.0ms	(.f64 x.re (.f64 (*.f64 x.re x.im) 3))
58.0ms	(.f64 (.f64 x.re x.im) 3)

Compiler

Compiled 432 to 387 computations (10.4% saved)

simplify94.0ms (2%)

Algorithm

1×	egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	4911	1162
1	4911	1162

prune103.0ms (2.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	81	5	86
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	81	7	88

Error

0.0b

Counts

88 → 7

Compiler

Compiled 1237 to 847 computations (31.5% saved)

localize8.0ms (0.2%)

Local error

Found 6 expressions with local error:

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

rewrite29.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`pow1_binary64_2796` `add-cbrt-cube_binary64_2771` `add-exp-log_binary64_2773`
12×	`cancel-sign-sub-inv_binary64_2701`
9×	`pow-prod-down_binary64_2806` `prod-exp_binary64_2784` `cbrt-unprod_binary64_2768`
8×	`*-un-lft-identity_binary64_2735` `add-cube-cbrt_binary64_2770` `add-sqr-sqrt_binary64_2757`
6×	`associate-l_binary64_2676`
5×	`add-log-exp_binary64_2774`
3×	`cube-prod_binary64_2763` `unpow-prod-down_binary64_2814`
2×	`-commutative_binary64_2666` `associate-r*_binary64_2675`
1×	`flip3--_binary64_2739` `unpow3_binary64_2801` `flip--_binary64_2710` `sub-neg_binary64_2728` `diff-log_binary64_2827` `sqr-pow_binary64_2707` `cube-mult_binary64_2765`

Counts

3 → 62

Calls

6 calls:

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

series297.0ms (6.3%)

Counts

3 → 24

Calls

3 calls:

167.0ms	(-.f64 (.f64 x.re (.f64 x.re (*.f64 x.im 3))) (pow.f64 x.im 3))
74.0ms	(.f64 x.re (.f64 x.re (*.f64 x.im 3)))
56.0ms	(.f64 x.re (.f64 x.im 3))

Compiler

Compiled 432 to 387 computations (10.4% saved)

simplify95.0ms (2%)

Algorithm

1×	egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	4908	1157
1	4908	1157

prune76.0ms (1.6%)

Pruning

8 alts after pruning (6 fresh and 2 done)

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

Error

0.0b

Counts

93 → 8

Compiler

Compiled 1246 to 887 computations (28.8% saved)

localize9.0ms (0.2%)

Local error

Found 8 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.2b	(.f64 x.re (.f64 (.f64 (.f64 x.re x.im) (sqrt.f64 3)) (sqrt.f64 3)))
0.0b	(-.f64 (.f64 x.re (.f64 (.f64 (.f64 x.re x.im) (sqrt.f64 3)) (sqrt.f64 3))) (pow.f64 x.im 3))
0.0b	(-.f64 (.f64 x.re (.f64 (.f64 (.f64 x.re x.im) (sqrt.f64 3)) (sqrt.f64 3))) (pow.f64 x.im 3))
0.2b	(.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))

rewrite51.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

32×	`pow1_binary64_2796` `add-cbrt-cube_binary64_2771` `add-exp-log_binary64_2773`
19×	`pow-prod-down_binary64_2806` `prod-exp_binary64_2784` `cbrt-unprod_binary64_2768`
13×	`associate-r_binary64_2675`
12×	`*-un-lft-identity_binary64_2735` `cancel-sign-sub-inv_binary64_2701` `add-cube-cbrt_binary64_2770` `add-sqr-sqrt_binary64_2757`
6×	`sqrt-prod_binary64_2751` `add-log-exp_binary64_2774`
5×	`associate-l_binary64_2676`
3×	`cube-prod_binary64_2763` `unpow-prod-down_binary64_2814` `*-commutative_binary64_2666`
1×	`flip3--_binary64_2739` `unpow3_binary64_2801` `flip--_binary64_2710` `sub-neg_binary64_2728` `diff-log_binary64_2827` `sqr-pow_binary64_2707` `cube-mult_binary64_2765`

Counts

4 → 92

Calls

8 calls:

13.0ms	(-.f64 (.f64 x.re (.f64 (.f64 (.f64 x.re x.im) (sqrt.f64 3)) (sqrt.f64 3))) (pow.f64 x.im 3))
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))
6.0ms	(.f64 (.f64 x.re x.im) (sqrt.f64 3))
0.0ms	(-.f64 (.f64 x.re (.f64 (.f64 (.f64 x.re x.im) (sqrt.f64 3)) (sqrt.f64 3))) (pow.f64 x.im 3))

series598.0ms (12.7%)

Counts

4 → 30

Calls

4 calls:

240.0ms	(-.f64 (.f64 x.re (.f64 (.f64 (.f64 x.re x.im) (sqrt.f64 3)) (sqrt.f64 3))) (pow.f64 x.im 3))
138.0ms	(.f64 x.re (.f64 (.f64 (.f64 x.re x.im) (sqrt.f64 3)) (sqrt.f64 3)))
126.0ms	(.f64 (.f64 (*.f64 x.re x.im) (sqrt.f64 3)) (sqrt.f64 3))
94.0ms	(.f64 (.f64 x.re x.im) (sqrt.f64 3))

Compiler

Compiled 729 to 660 computations (9.5% saved)

simplify92.0ms (2%)

Algorithm

1×	egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4943	1633
1	4943	1633

prune117.0ms (2.5%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	122	0	122
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	122	8	130

Error

0.0b

Counts

130 → 8

Compiler

Compiled 1948 to 1372 computations (29.6% saved)

localize15.0ms (0.3%)

Local error

Found 8 expressions with local error:

0.4b	(.f64 (.f64 x.im 3) (cbrt.f64 x.re))
0.2b	(.f64 x.re (.f64 (*.f64 x.im 3) (cbrt.f64 x.re)))
0.2b	(.f64 (.f64 (cbrt.f64 x.re) (cbrt.f64 x.re)) (.f64 x.re (.f64 (*.f64 x.im 3) (cbrt.f64 x.re))))
0.0b	(-.f64 (.f64 (.f64 (cbrt.f64 x.re) (cbrt.f64 x.re)) (.f64 x.re (.f64 (*.f64 x.im 3) (cbrt.f64 x.re)))) (pow.f64 x.im 3))
0.5b	(*.f64 (cbrt.f64 x.re) (cbrt.f64 x.re))
0.7b	(cbrt.f64 x.re)
0.7b	(cbrt.f64 x.re)
0.7b	(cbrt.f64 x.re)

rewrite16.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`cbrt-prod_binary64_2766`
23×	`add-sqr-sqrt_binary64_2757`
15×	`*-un-lft-identity_binary64_2735` `add-cube-cbrt_binary64_2770`
11×	`pow1_binary64_2796`
9×	`pow1/3_binary64_2817`
6×	`associate-l_binary64_2676` `associate-r_binary64_2675` `add-exp-log_binary64_2773` `swap-sqr_binary64_2702`
4×	`unswap-sqr_binary64_2703` `add-cbrt-cube_binary64_2771` `add-log-exp_binary64_2774`
2×	`pow-sqr_binary64_2708` `pow-prod-up_binary64_2805` `pow-prod-down_binary64_2806`
1×	`pow-plus_binary64_2798` `pow2_binary64_2816` `*-commutative_binary64_2666` `prod-exp_binary64_2784` `cbrt-unprod_binary64_2768`

Counts

4 → 73

Calls

8 calls:

7.0ms	(*.f64 (cbrt.f64 x.re) (cbrt.f64 x.re))
1.0ms	(cbrt.f64 x.re)
1.0ms	(cbrt.f64 x.re)
1.0ms	(cbrt.f64 x.re)
0.0ms	(-.f64 (.f64 (.f64 (cbrt.f64 x.re) (cbrt.f64 x.re)) (.f64 x.re (.f64 (*.f64 x.im 3) (cbrt.f64 x.re)))) (pow.f64 x.im 3))

series322.0ms (6.9%)

Counts

4 → 12

Calls

4 calls:

99.0ms	(*.f64 (cbrt.f64 x.re) (cbrt.f64 x.re))
83.0ms	(cbrt.f64 x.re)
71.0ms	(cbrt.f64 x.re)
68.0ms	(cbrt.f64 x.re)

Compiler

Compiled 490 to 382 computations (22% saved)

simplify76.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4874	647
1	4874	647

prune84.0ms (1.8%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	4	4
Picked	0	1	1
Done	0	3	3
Total	85	8	93

Error

0.0b

Counts

93 → 8

Compiler

Compiled 1743 to 901 computations (48.3% saved)

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	161	498
1	161	498

regimes66.0ms (1.4%)

Accuracy

Total 0.1b remaining (91%)

Threshold costs 0.1b (91%)

Compiler

Compiled 514 to 422 computations (17.9% saved)

bsearch0.0ms (0%)

simplify2.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.8s (38.2%)

Algorithm

1×

intervals

Results

399.0ms	8000×	body	128	valid
29.0ms	600×	body	128	invalid

Compiler

Compiled 802 to 646 computations (19.5% saved)

Pareto

0.6119155937457508

Details

analyze139.0ms (3%)

sample22.0ms (0.5%)

simplify240.0ms (5.1%)

prune5.0ms (0.1%)

localize7.0ms (0.2%)

rewrite27.0ms (0.6%)

series297.0ms (6.3%)

simplify94.0ms (2%)

prune103.0ms (2.2%)

localize8.0ms (0.2%)

rewrite29.0ms (0.6%)

series297.0ms (6.3%)

simplify95.0ms (2%)

prune76.0ms (1.6%)

localize9.0ms (0.2%)

rewrite51.0ms (1.1%)

series598.0ms (12.7%)

simplify92.0ms (2%)

prune117.0ms (2.5%)

localize15.0ms (0.3%)

rewrite16.0ms (0.3%)

series322.0ms (6.9%)

simplify76.0ms (1.6%)

prune84.0ms (1.8%)

simplify8.0ms (0.2%)

regimes66.0ms (1.4%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample1.8s (38.2%)

Profiling