Details

analyze138.0ms (4.6%)

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

Algorithm

1×

intervals

Results

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

Compiler

Compiled 39 to 25 computations (35.9% saved)

simplify241.0ms (8.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (149.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

Merged error: 0.1b

Counts

2 → 2

Compiler

Compiled 41 to 29 computations (29.3% saved)

localize10.0ms (0.3%)

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

rewrite25.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-cbrt-cube_binary64_3524` `add-exp-log_binary64_3526` `pow1_binary64_3549`
12×	`cancel-sign-sub-inv_binary64_3454`
9×	`cbrt-unprod_binary64_3521` `pow-prod-down_binary64_3559` `prod-exp_binary64_3537`
8×	`add-sqr-sqrt_binary64_3510` `add-cube-cbrt_binary64_3523` `*-un-lft-identity_binary64_3488`
5×	`add-log-exp_binary64_3527`
4×	`associate-l_binary64_3429` `associate-r_binary64_3428`
3×	`unpow-prod-down_binary64_3567` `cube-prod_binary64_3516`
2×	`*-commutative_binary64_3419`
1×	`unpow3_binary64_3554` `flip3--_binary64_3492` `diff-log_binary64_3580` `flip--_binary64_3463` `sqr-pow_binary64_3460` `cube-mult_binary64_3518` `sub-neg_binary64_3481`

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)

series82.0ms (2.7%)

Counts

3 → 9

Calls

3 calls:

49.0ms	(-.f64 (.f64 x.re (.f64 (*.f64 x.re x.im) 3)) (pow.f64 x.im 3))
17.0ms	(.f64 x.re (.f64 (*.f64 x.re x.im) 3))
16.0ms	(.f64 (.f64 x.re x.im) 3)

simplify93.0ms (3.1%)

Algorithm

1×	egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	4911	985
1	4911	985

prune73.0ms (2.4%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	67	4	71
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	67	6	73

Merged error: 0.0b

Counts

73 → 6

Compiler

Compiled 1087 to 745 computations (31.5% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

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))

rewrite25.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-cbrt-cube_binary64_3524` `add-exp-log_binary64_3526` `pow1_binary64_3549`
12×	`cancel-sign-sub-inv_binary64_3454`
9×	`cbrt-unprod_binary64_3521` `pow-prod-down_binary64_3559` `prod-exp_binary64_3537`
8×	`add-sqr-sqrt_binary64_3510` `add-cube-cbrt_binary64_3523` `*-un-lft-identity_binary64_3488`
6×	`associate-l_binary64_3429`
5×	`add-log-exp_binary64_3527`
3×	`unpow-prod-down_binary64_3567` `cube-prod_binary64_3516`
2×	`associate-r_binary64_3428` `*-commutative_binary64_3419`
1×	`unpow3_binary64_3554` `flip3--_binary64_3492` `diff-log_binary64_3580` `flip--_binary64_3463` `sqr-pow_binary64_3460` `cube-mult_binary64_3518` `sub-neg_binary64_3481`

Counts

3 → 62

Calls

3 calls:

10.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))

series91.0ms (3%)

Counts

3 → 9

Calls

3 calls:

59.0ms	(-.f64 (.f64 x.re (.f64 x.re (*.f64 x.im 3))) (pow.f64 x.im 3))
17.0ms	(.f64 x.re (.f64 x.re (*.f64 x.im 3)))
15.0ms	(.f64 x.re (.f64 x.im 3))

simplify88.0ms (2.9%)

Algorithm

1×	egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	4908	980
1	4908	980

prune63.0ms (2.1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	71	0	71
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	71	6	77

Merged error: 0.0b

Counts

77 → 6

Compiler

Compiled 1078 to 770 computations (28.6% saved)

localize9.0ms (0.3%)

Local error

Found 4 expressions with local error:

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))

rewrite50.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Rules

32×	`add-cbrt-cube_binary64_3524` `add-exp-log_binary64_3526` `pow1_binary64_3549`
19×	`cbrt-unprod_binary64_3521` `pow-prod-down_binary64_3559` `prod-exp_binary64_3537`
13×	`associate-r_binary64_3428`
12×	`add-sqr-sqrt_binary64_3510` `cancel-sign-sub-inv_binary64_3454` `add-cube-cbrt_binary64_3523` `*-un-lft-identity_binary64_3488`
6×	`add-log-exp_binary64_3527` `sqrt-prod_binary64_3504`
5×	`associate-l_binary64_3429`
3×	`unpow-prod-down_binary64_3567` `cube-prod_binary64_3516` `*-commutative_binary64_3419`
1×	`unpow3_binary64_3554` `flip3--_binary64_3492` `diff-log_binary64_3580` `flip--_binary64_3463` `sqr-pow_binary64_3460` `cube-mult_binary64_3518` `sub-neg_binary64_3481`

Counts

4 → 92

Calls

4 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))

series179.0ms (6%)

Counts

4 → 12

Calls

4 calls:

77.0ms	(-.f64 (.f64 x.re (.f64 (.f64 (.f64 x.re x.im) (sqrt.f64 3)) (sqrt.f64 3))) (pow.f64 x.im 3))
40.0ms	(.f64 x.re (.f64 (.f64 (.f64 x.re x.im) (sqrt.f64 3)) (sqrt.f64 3)))
38.0ms	(.f64 (.f64 (*.f64 x.re x.im) (sqrt.f64 3)) (sqrt.f64 3))
24.0ms	(.f64 (.f64 x.re x.im) (sqrt.f64 3))

simplify82.0ms (2.7%)

Algorithm

1×	egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4939	1417
1	4939	1417

prune100.0ms (3.4%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	103	1	104
Fresh	1	2	3
Picked	0	1	1
Done	0	2	2
Total	104	6	110

Merged error: 0.0b

Counts

110 → 6

Compiler

Compiled 1737 to 1239 computations (28.7% saved)

localize15.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 (.f64 (.f64 x.re x.im) (sqrt.f64 3)) (*.f64 (cbrt.f64 (sqrt.f64 3)) (cbrt.f64 (sqrt.f64 3)))) (cbrt.f64 (sqrt.f64 3)))
0.3b	(.f64 (.f64 (.f64 x.re x.im) (sqrt.f64 3)) (.f64 (cbrt.f64 (sqrt.f64 3)) (cbrt.f64 (sqrt.f64 3))))
0.3b	(.f64 (.f64 x.re x.im) (sqrt.f64 3))
1.0b	(*.f64 (cbrt.f64 (sqrt.f64 3)) (cbrt.f64 (sqrt.f64 3)))

rewrite65.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Rules

66×	`pow1_binary64_3549`
61×	`add-exp-log_binary64_3526`
46×	`cbrt-prod_binary64_3519`
43×	`add-sqr-sqrt_binary64_3510`
42×	`pow-prod-down_binary64_3559`
41×	`cbrt-unprod_binary64_3521` `prod-exp_binary64_3537`
40×	`add-cbrt-cube_binary64_3524`
26×	`sqrt-prod_binary64_3504`
25×	`associate-r_binary64_3428`
21×	`add-cube-cbrt_binary64_3523` `*-un-lft-identity_binary64_3488`
12×	`associate-l_binary64_3429`
11×	`swap-sqr_binary64_3455`
9×	`unswap-sqr_binary64_3456`
6×	`pow1/3_binary64_3570`
4×	`add-log-exp_binary64_3527` `*-commutative_binary64_3419`
2×	`pow-prod-up_binary64_3558` `pow-sqr_binary64_3461`
1×	`pow2_binary64_3569` `pow-plus_binary64_3551`

Counts

4 → 144

Calls

4 calls:

19.0ms	(.f64 (.f64 (.f64 (.f64 x.re x.im) (sqrt.f64 3)) (*.f64 (cbrt.f64 (sqrt.f64 3)) (cbrt.f64 (sqrt.f64 3)))) (cbrt.f64 (sqrt.f64 3)))
14.0ms	(.f64 (.f64 (.f64 x.re x.im) (sqrt.f64 3)) (.f64 (cbrt.f64 (sqrt.f64 3)) (cbrt.f64 (sqrt.f64 3))))
9.0ms	(*.f64 (cbrt.f64 (sqrt.f64 3)) (cbrt.f64 (sqrt.f64 3)))
7.0ms	(.f64 (.f64 x.re x.im) (sqrt.f64 3))

series185.0ms (6.2%)

Counts

4 → 10

Calls

4 calls:

114.0ms	(.f64 (.f64 (.f64 x.re x.im) (sqrt.f64 3)) (.f64 (cbrt.f64 (sqrt.f64 3)) (cbrt.f64 (sqrt.f64 3))))
41.0ms	(.f64 (.f64 (.f64 (.f64 x.re x.im) (sqrt.f64 3)) (*.f64 (cbrt.f64 (sqrt.f64 3)) (cbrt.f64 (sqrt.f64 3)))) (cbrt.f64 (sqrt.f64 3)))
30.0ms	(.f64 (.f64 x.re x.im) (sqrt.f64 3))
0.0ms	(*.f64 (cbrt.f64 (sqrt.f64 3)) (cbrt.f64 (sqrt.f64 3)))

simplify96.0ms (3.2%)

Algorithm

1×	egg-herbie

Counts

154 → 154

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4918	2166
1	4918	2166

prune235.0ms (7.8%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	154	0	154
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	154	6	160

Merged error: 0.0b

Counts

160 → 6

Compiler

Compiled 3641 to 2868 computations (21.2% saved)

regimes94.0ms (3.1%)

Compiler: Compiled 852 to 714 computations (16.2% saved)

bsearch0.0ms (0%)

simplify2.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%)

sample919.0ms (30.7%)

Algorithm

1×

intervals

Results

367.0ms	8000×	body	128	valid
26.0ms	594×	body	128	invalid

Compiler

Compiled 318 to 262 computations (17.6% saved)

Details

analyze138.0ms (4.6%)

sample20.0ms (0.7%)

simplify241.0ms (8.1%)

prune4.0ms (0.1%)

localize10.0ms (0.3%)

rewrite25.0ms (0.8%)

series82.0ms (2.7%)

simplify93.0ms (3.1%)

prune73.0ms (2.4%)

localize7.0ms (0.2%)

rewrite25.0ms (0.8%)

series91.0ms (3%)

simplify88.0ms (2.9%)

prune63.0ms (2.1%)

localize9.0ms (0.3%)

rewrite50.0ms (1.7%)

series179.0ms (6%)

simplify82.0ms (2.7%)

prune100.0ms (3.4%)

localize15.0ms (0.5%)

rewrite65.0ms (2.2%)

series185.0ms (6.2%)

simplify96.0ms (3.2%)

prune235.0ms (7.8%)

regimes94.0ms (3.1%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample919.0ms (30.7%)

Profiling