Details

analyze440.0ms (5.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
0%	99.9%	0.1%	5
12.5%	68.6%	18.9%	6
18.7%	62.4%	18.9%	7
18.7%	59.3%	22%	8
28.1%	39%	32.9%	9
32.8%	34.3%	32.9%	10
32.8%	32%	35.3%	11
38.2%	20.7%	41.1%	12
41%	17.9%	41.1%	13
41%	16.6%	42.5%	14

Compiler

Compiled 38 to 24 computations (36.8% saved)

sample57.0ms (0.7%)

Algorithm

1×

intervals

Results

40.0ms	245×	body	256	valid
4.0ms	48×	body	128	nan
1.0ms	11×	body	128	valid

Compiler

Compiled 75 to 50 computations (33.3% saved)

simplify324.0ms (3.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (222.0ms)

Iter	Nodes	Cost
0	4834	48
1	4834	48

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

Merged error: 35.6b

Counts

2 → 2

Compiler

Compiled 99 to 59 computations (40.4% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

8.7b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
8.8b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
29.4b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
29.4b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite42.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`cbrt-div_binary64_1474`
8×	`add-sqr-sqrt_binary64_1464` `sqrt-prod_binary64_1458`
6×	`pow1_binary64_1503` `add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
4×	`associate-*r/_binary64_1384` `add-cbrt-cube_binary64_1478` `flip3--_binary64_1446` `sqrt-div_binary64_1459` `add-log-exp_binary64_1481` `add-exp-log_binary64_1480` `flip--_binary64_1417` `frac-times_binary64_1452`
2×	`sqrt-pow1_binary64_1460` `rem-sqrt-square_binary64_1455` `cbrt-prod_binary64_1473` `flip3-+_binary64_1445` `flip-+_binary64_1416` `pow1/3_binary64_1524` `pow1/2_binary64_1522` `difference-of-squares_binary64_1411` `associate-*l/_binary64_1385`

Counts

4 → 60

Calls

4 calls:

13.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
13.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

series844.0ms (10.1%)

Counts

4 → 30

Calls

4 calls:

395.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
387.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
33.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
29.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

simplify71.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4941	2490
1	4941	2490

prune210.0ms (2.5%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	76	14	90
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	77	15	92

Merged error: 31.0b

Counts

92 → 15

Compiler

Compiled 4674 to 2057 computations (56% saved)

localize21.0ms (0.3%)

Local error

Found 4 expressions with local error:

4.2b	(-.f64 (.f64 g g) (.f64 h h))
8.7b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
29.4b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
29.4b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite31.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-sqr-sqrt_binary64_1464` `sqrt-prod_binary64_1458`
6×	`add-log-exp_binary64_1481` `pow1_binary64_1503` `add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
5×	`cbrt-div_binary64_1474` `flip3--_binary64_1446` `flip--_binary64_1417`
4×	`add-cbrt-cube_binary64_1478` `sqrt-div_binary64_1459` `add-exp-log_binary64_1480`
3×	`difference-of-squares_binary64_1411`
2×	`sqrt-pow1_binary64_1460` `associate-*r/_binary64_1384` `rem-sqrt-square_binary64_1455` `frac-times_binary64_1452` `pow1/2_binary64_1522`
1×	`cancel-sign-sub-inv_binary64_1408` `sub-neg_binary64_1435` `cbrt-prod_binary64_1473` `diff-log_binary64_1534` `pow1/3_binary64_1524` `associate-*l/_binary64_1385`

Counts

4 → 59

Calls

4 calls:

13.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(-.f64 (.f64 g g) (.f64 h h))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

series475.0ms (5.7%)

Counts

4 → 27

Calls

4 calls:

394.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
32.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
31.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
17.0ms	(-.f64 (.f64 g g) (.f64 h h))

simplify61.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5051	1834

prune172.0ms (2.1%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	76	10	86
Fresh	7	7	14
Picked	1	0	1
Done	0	0	0
Total	84	17	101

Merged error: 30.0b

Counts

101 → 17

Compiler

Compiled 4315 to 1813 computations (58% saved)

localize23.0ms (0.3%)

Local error

Found 4 expressions with local error:

4.2b	(-.f64 (.f64 g g) (.f64 h h))
4.2b	(-.f64 (.f64 g g) (.f64 h h))
29.4b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
29.4b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite22.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-log-exp_binary64_1481` `add-sqr-sqrt_binary64_1464` `sqrt-prod_binary64_1458`
6×	`pow1_binary64_1503` `add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
4×	`add-cbrt-cube_binary64_1478` `flip3--_binary64_1446` `sqrt-div_binary64_1459` `add-exp-log_binary64_1480` `flip--_binary64_1417` `difference-of-squares_binary64_1411`
2×	`sqrt-pow1_binary64_1460` `cancel-sign-sub-inv_binary64_1408` `rem-sqrt-square_binary64_1455` `sub-neg_binary64_1435` `diff-log_binary64_1534` `pow1/2_binary64_1522`

Counts

4 → 58

Calls

4 calls:

4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(-.f64 (.f64 g g) (.f64 h h))
4.0ms	(-.f64 (.f64 g g) (.f64 h h))

series92.0ms (1.1%)

Counts

4 → 24

Calls

4 calls:

31.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
28.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
17.0ms	(-.f64 (.f64 g g) (.f64 h h))
16.0ms	(-.f64 (.f64 g g) (.f64 h h))

simplify54.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5526	1224

prune154.0ms (1.9%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	81	1	82
Fresh	1	15	16
Picked	0	1	1
Done	0	0	0
Total	82	17	99

Merged error: 30.0b

Counts

99 → 17

Compiler

Compiled 4111 to 1775 computations (56.8% saved)

localize22.0ms (0.3%)

Local error

Found 4 expressions with local error:

4.2b	(-.f64 (.f64 g g) (.f64 h h))
8.7b	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
29.4b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
29.4b	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))

rewrite33.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-sqr-sqrt_binary64_1464` `sqrt-prod_binary64_1458`
6×	`add-log-exp_binary64_1481` `pow1_binary64_1503` `add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
5×	`cbrt-div_binary64_1474` `flip3--_binary64_1446` `flip--_binary64_1417`
4×	`add-cbrt-cube_binary64_1478` `sqrt-div_binary64_1459` `add-exp-log_binary64_1480`
3×	`difference-of-squares_binary64_1411`
2×	`sqrt-pow1_binary64_1460` `associate-*r/_binary64_1384` `rem-sqrt-square_binary64_1455` `frac-times_binary64_1452` `pow1/2_binary64_1522`
1×	`cancel-sign-sub-inv_binary64_1408` `sub-neg_binary64_1435` `cbrt-prod_binary64_1473` `diff-log_binary64_1534` `pow1/3_binary64_1524` `associate-*l/_binary64_1385`

Counts

4 → 59

Calls

4 calls:

13.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
4.0ms	(-.f64 (.f64 g g) (.f64 h h))

series472.0ms (5.7%)

Counts

4 → 27

Calls

4 calls:

397.0ms	(cbrt.f64 (.f64 (/.f64 1 (.f64 2 a)) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (.f64 g g) (.f64 h h))))))
30.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
29.0ms	(sqrt.f64 (-.f64 (.f64 g g) (.f64 h h)))
16.0ms	(-.f64 (.f64 g g) (.f64 h h))

simplify61.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5051	1834

prune129.0ms (1.6%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	85	1	86
Fresh	0	15	15
Picked	1	0	1
Done	0	1	1
Total	86	17	103

Merged error: 30.0b

Counts

103 → 17

Compiler

Compiled 3525 to 1376 computations (61% saved)

regimes1.2s (14.1%)

Compiler: Compiled 19471 to 11369 computations (41.6% saved)

bsearch7.0ms (0.1%)

Compiler: Compiled 37 to 23 computations (37.8% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	120	283
1	120	283

end0.0ms (0%)

sample3.3s (39.7%)

Algorithm

1×

intervals

Results

1.3s	7579×	body	256	valid
105.0ms	1271×	body	128	nan
36.0ms	421×	body	128	valid

Compiler

Compiled 2890 to 1663 computations (42.5% saved)

Details

analyze440.0ms (5.3%)

sample57.0ms (0.7%)

simplify324.0ms (3.9%)

prune5.0ms (0.1%)

localize19.0ms (0.2%)

rewrite42.0ms (0.5%)

series844.0ms (10.1%)

simplify71.0ms (0.9%)

prune210.0ms (2.5%)

localize21.0ms (0.3%)

rewrite31.0ms (0.4%)

series475.0ms (5.7%)

simplify61.0ms (0.7%)

prune172.0ms (2.1%)

localize23.0ms (0.3%)

rewrite22.0ms (0.3%)

series92.0ms (1.1%)

simplify54.0ms (0.6%)

prune154.0ms (1.9%)

localize22.0ms (0.3%)

rewrite33.0ms (0.4%)

series472.0ms (5.7%)

simplify61.0ms (0.7%)

prune129.0ms (1.6%)

regimes1.2s (14.1%)

bsearch7.0ms (0.1%)

simplify6.0ms (0.1%)

end0.0ms (0%)

sample3.3s (39.7%)

Profiling