Details

analyze68.0ms (2.5%)

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%	50%	25.1%	6
25%	31.2%	43.8%	7
31.2%	25%	43.8%	8
39%	17.2%	43.8%	9
42.9%	13.3%	43.8%	10
47.2%	9%	43.8%	11
49.4%	6.8%	43.8%	12
51.6%	4.6%	43.8%	13
52.7%	3.5%	43.8%	14

Compiler

Compiled 16 to 8 computations (50% saved)

sample19.0ms (0.7%)

Algorithm

1×

intervals

Results

12.0ms

256×

body

128

valid

Compiler

Compiled 31 to 17 computations (45.2% saved)

simplify163.0ms (6.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	39	13
1	39	13

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 33 to 21 computations (36.4% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (.f64 x x) (.f64 y (*.f64 y 3)))
0.2b	(.f64 y (.f64 y 3))

rewrite14.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`pow1_binary64_13952` `add-exp-log_binary64_13929` `add-cbrt-cube_binary64_13927`
4×	`add-log-exp_binary64_13930`
3×	`-un-lft-identity_binary64_13894` `add-cube-cbrt_binary64_13926` `pow-prod-down_binary64_13962` `prod-exp_binary64_13940` `cbrt-unprod_binary64_13924` `add-sqr-sqrt_binary64_13915` `associate-l*_binary64_13837`
1×	`+-commutative_binary64_13826` `flip-+_binary64_13868` `flip3-+_binary64_13897` `-commutative_binary64_13827` `associate-r*_binary64_13836` `sum-log_binary64_13982`

Counts

2 → 29

Calls

2 calls:

7.0ms	(.f64 y (.f64 y 3))
5.0ms	(+.f64 (.f64 x x) (.f64 y (*.f64 y 3)))

series89.0ms (3.3%)

Counts

2 → 6

Calls

2 calls:

49.0ms	(+.f64 (.f64 x x) (.f64 y (*.f64 y 3)))
40.0ms	(.f64 y (.f64 y 3))

simplify80.0ms (3%)

Algorithm

1×	egg-herbie

Counts

35 → 35

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4832	410
1	4832	410

prune36.0ms (1.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	31	4	35
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	32	5	37

Merged error: 0.0b

Counts

37 → 5

Compiler

Compiled 518 to 297 computations (42.7% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (.f64 x x) (.f64 (*.f64 y y) 3))
0.2b	(.f64 (.f64 y y) 3)

rewrite13.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`pow1_binary64_13952` `add-exp-log_binary64_13929` `add-cbrt-cube_binary64_13927`
4×	`add-log-exp_binary64_13930` `add-sqr-sqrt_binary64_13915`
3×	`-un-lft-identity_binary64_13894` `add-cube-cbrt_binary64_13926` `pow-prod-down_binary64_13962` `prod-exp_binary64_13940` `associate-r*_binary64_13836` `cbrt-unprod_binary64_13924`
1×	`+-commutative_binary64_13826` `flip-+_binary64_13868` `flip3-+_binary64_13897` `-commutative_binary64_13827` `associate-l*_binary64_13837` `unswap-sqr_binary64_13862` `sum-log_binary64_13982`

Counts

2 → 30

Calls

2 calls:

6.0ms	(.f64 (.f64 y y) 3)
5.0ms	(+.f64 (.f64 x x) (.f64 (*.f64 y y) 3))

series91.0ms (3.4%)

Counts

2 → 6

Calls

2 calls:

51.0ms	(+.f64 (.f64 x x) (.f64 (*.f64 y y) 3))
40.0ms	(.f64 (.f64 y y) 3)

simplify82.0ms (3.1%)

Algorithm

1×	egg-herbie

Counts

36 → 36

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	4857	426
1	4857	426

prune32.0ms (1.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	36	0	36
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	36	5	41

Merged error: 0.0b

Counts

41 → 5

Compiler

Compiled 521 to 269 computations (48.4% saved)

localize9.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 y (.f64 y 3))
0.3b	(.f64 (sqrt.f64 (+.f64 (.f64 y (.f64 y 3)) (.f64 x x))) (sqrt.f64 (+.f64 (.f64 y (.f64 y 3)) (*.f64 x x))))
6.4b	(sqrt.f64 (+.f64 (.f64 y (.f64 y 3)) (*.f64 x x)))
6.4b	(sqrt.f64 (+.f64 (.f64 y (.f64 y 3)) (*.f64 x x)))

rewrite47.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`add-sqr-sqrt_binary64_13915`
26×	`pow1_binary64_13952`
24×	`sqrt-prod_binary64_13909`
16×	`sqrt-div_binary64_13910`
15×	`*-un-lft-identity_binary64_13894` `add-cube-cbrt_binary64_13926`
11×	`add-exp-log_binary64_13929` `add-cbrt-cube_binary64_13927`
10×	`sqrt-pow1_binary64_13911` `pow1/2_binary64_13971`
9×	`associate-l_binary64_13837`
8×	`flip-+_binary64_13868` `flip3-+_binary64_13897` `swap-sqr_binary64_13861`
7×	`associate-r_binary64_13836`
6×	`pow-prod-down_binary64_13962`
5×	`pow-prod-up_binary64_13961`
4×	`frac-times_binary64_13904` `add-log-exp_binary64_13930` `prod-exp_binary64_13940` `cbrt-unprod_binary64_13924` `unswap-sqr_binary64_13862`
3×	`pow-sqr_binary64_13867`
2×	`associate-l/_binary64_13839` `associate-r/_binary64_13838` `*-commutative_binary64_13827` `rem-sqrt-square_binary64_13907`
1×	`sqrt-unprod_binary64_13913` `pow2_binary64_13972` `rem-square-sqrt_binary64_13906` `pow-plus_binary64_13954`

Counts

4 → 105

Calls

4 calls:

17.0ms	(.f64 (sqrt.f64 (+.f64 (.f64 y (.f64 y 3)) (.f64 x x))) (sqrt.f64 (+.f64 (.f64 y (.f64 y 3)) (*.f64 x x))))
6.0ms	(sqrt.f64 (+.f64 (.f64 y (.f64 y 3)) (*.f64 x x)))
6.0ms	(sqrt.f64 (+.f64 (.f64 y (.f64 y 3)) (*.f64 x x)))
5.0ms	(.f64 y (.f64 y 3))

series223.0ms (8.3%)

Counts

4 → 12

Calls

4 calls:

69.0ms	(sqrt.f64 (+.f64 (.f64 y (.f64 y 3)) (*.f64 x x)))
65.0ms	(sqrt.f64 (+.f64 (.f64 y (.f64 y 3)) (*.f64 x x)))
51.0ms	(.f64 (sqrt.f64 (+.f64 (.f64 y (.f64 y 3)) (.f64 x x))) (sqrt.f64 (+.f64 (.f64 y (.f64 y 3)) (*.f64 x x))))
37.0ms	(.f64 y (.f64 y 3))

simplify96.0ms (3.6%)

Algorithm

1×	egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4885	1944
1	4885	1944

prune131.0ms (4.9%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	116	1	117
Fresh	0	2	2
Picked	1	0	1
Done	0	2	2
Total	117	5	122

Merged error: 0.0b

Counts

122 → 5

Compiler

Compiled 2713 to 1572 computations (42.1% saved)

localize12.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.3b	(pow.f64 (sqrt.f64 (+.f64 (.f64 y (.f64 y 3)) (*.f64 x x))) 3)
6.4b	(sqrt.f64 (+.f64 (.f64 y (.f64 y 3)) (*.f64 x x)))
6.4b	(sqrt.f64 (+.f64 (.f64 y (.f64 y 3)) (*.f64 x x)))
26.1b	(cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (.f64 y (.f64 y 3)) (*.f64 x x))) 3))

rewrite39.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`sqrt-prod_binary64_13909` `cbrt-prod_binary64_13922` `add-sqr-sqrt_binary64_13915`
16×	`*-un-lft-identity_binary64_13894` `add-cube-cbrt_binary64_13926`
12×	`cube-prod_binary64_13919` `unpow-prod-down_binary64_13970`
8×	`pow1_binary64_13952` `sqrt-div_binary64_13910`
5×	`add-exp-log_binary64_13929` `add-cbrt-cube_binary64_13927`
4×	`flip-+_binary64_13868` `cube-div_binary64_13920` `flip3-+_binary64_13897` `add-log-exp_binary64_13930`
3×	`sqrt-pow1_binary64_13911` `pow-pow_binary64_13963` `pow1/2_binary64_13971` `pow-unpow_binary64_13968`
2×	`unpow3_binary64_13957` `cube-mult_binary64_13921` `cbrt-div_binary64_13923` `rem-sqrt-square_binary64_13907` `sqr-pow_binary64_13866`
1×	`rem-cube-cbrt_binary64_13916` `rem-cbrt-cube_binary64_13917` `sqrt-pow2_binary64_13912` `pow-to-exp_binary64_13960` `pow1/3_binary64_13973` `pow-exp_binary64_13959`

Counts

4 → 93

Calls

4 calls:

9.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (.f64 y (.f64 y 3)) (*.f64 x x))) 3))
8.0ms	(pow.f64 (sqrt.f64 (+.f64 (.f64 y (.f64 y 3)) (*.f64 x x))) 3)
6.0ms	(sqrt.f64 (+.f64 (.f64 y (.f64 y 3)) (*.f64 x x)))
6.0ms	(sqrt.f64 (+.f64 (.f64 y (.f64 y 3)) (*.f64 x x)))

series380.0ms (14.2%)

Counts

4 → 12

Calls

4 calls:

173.0ms	(pow.f64 (sqrt.f64 (+.f64 (.f64 y (.f64 y 3)) (*.f64 x x))) 3)
74.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (.f64 y (.f64 y 3)) (*.f64 x x))) 3))
69.0ms	(sqrt.f64 (+.f64 (.f64 y (.f64 y 3)) (*.f64 x x)))
64.0ms	(sqrt.f64 (+.f64 (.f64 y (.f64 y 3)) (*.f64 x x)))

simplify82.0ms (3.1%)

Algorithm

1×	egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	5012	2130

prune144.0ms (5.4%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	105	0	105
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	105	5	110

Merged error: 0.0b

Counts

110 → 5

Compiler

Compiled 3070 to 1846 computations (39.9% saved)

regimes138.0ms (5.1%)

Compiler: Compiled 1252 to 938 computations (25.1% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	13
1	11	13

end0.0ms (0%)

sample675.0ms (25.2%)

Algorithm

1×

intervals

Results

233.0ms	8000×	body	128	valid
0.0ms	11×	body	128	invalid

Compiler

Compiled 268 to 198 computations (26.1% saved)

Details

analyze68.0ms (2.5%)

sample19.0ms (0.7%)

simplify163.0ms (6.1%)

prune4.0ms (0.1%)

localize6.0ms (0.2%)

rewrite14.0ms (0.5%)

series89.0ms (3.3%)

simplify80.0ms (3%)

prune36.0ms (1.4%)

localize6.0ms (0.2%)

rewrite13.0ms (0.5%)

series91.0ms (3.4%)

simplify82.0ms (3.1%)

prune32.0ms (1.2%)

localize9.0ms (0.3%)

rewrite47.0ms (1.7%)

series223.0ms (8.3%)

simplify96.0ms (3.6%)

prune131.0ms (4.9%)

localize12.0ms (0.4%)

rewrite39.0ms (1.4%)

series380.0ms (14.2%)

simplify82.0ms (3.1%)

prune144.0ms (5.4%)

regimes138.0ms (5.1%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample675.0ms (25.2%)

Profiling