Details

analyze5.2s (2.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	74.9%	25.1%	0
0%	74.9%	25.1%	1
0%	74.9%	25.1%	2
18.7%	56.2%	25.1%	3
37.5%	37.5%	25.1%	4
42.1%	32.8%	25.1%	5
46.8%	28.1%	25.1%	6
48%	26.9%	25.1%	7
49.2%	25.8%	25.1%	8
49.5%	25.5%	25.1%	9
49.8%	25.2%	25.1%	10
49.8%	25.2%	25.1%	11
49.8%	25.1%	25.1%	12
49.9%	25%	25.1%	13
49.9%	25%	25.1%	14

Compiler

Compiled 126 to 112 computations (11.1% saved)

sample3.2s (1.3%)

Algorithm

1×

intervals

Results

2.9s	110×	body	8192	exit
225.0ms	256×	body	128	valid
19.0ms	368×	pre	128	true
1.0ms	2×	body	128	invalid

Compiler

Compiled 249 to 223 computations (10.4% saved)

simplify594.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (216.0ms)

Iter	Nodes	Cost
0	4804	115
1	4804	115

prune60.0ms (0%)

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: 1.7b

Counts

2 → 2

Compiler

Compiled 271 to 232 computations (14.4% saved)

localize282.0ms (0.1%)

Local error

Found 4 expressions with local error:

5.0b	(-.f64 (-.f64 1 z) 1)
5.0b	(-.f64 (-.f64 1 z) 1)
5.0b	(-.f64 (-.f64 1 z) 1)
5.0b	(-.f64 (-.f64 1 z) 1)

rewrite269.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

36×	`*-un-lft-identity_binary64_1442`
28×	`add-sqr-sqrt_binary64_1464`
24×	`cancel-sign-sub-inv_binary64_1408` `add-log-exp_binary64_1481`
16×	`associate--l+_binary64_1379`
12×	`diff-log_binary64_1534` `add-cube-cbrt_binary64_1477` `distribute-lft-out--_binary64_1394`
8×	`sub-neg_binary64_1435` `difference-of-squares_binary64_1411`
4×	`associate--l-_binary64_1380` `add-cbrt-cube_binary64_1478` `flip3--_binary64_1446` `difference-of-sqr-1_binary64_1412` `add-exp-log_binary64_1480` `flip--_binary64_1417` `pow1_binary64_1503`

Counts

4 → 100

Calls

4 calls:

44.0ms	(-.f64 (-.f64 1 z) 1)
40.0ms	(-.f64 (-.f64 1 z) 1)
38.0ms	(-.f64 (-.f64 1 z) 1)
37.0ms	(-.f64 (-.f64 1 z) 1)

series168.0ms (0.1%)

Counts

4 → 12

Calls

4 calls:

53.0ms	(-.f64 (-.f64 1 z) 1)
47.0ms	(-.f64 (-.f64 1 z) 1)
34.0ms	(-.f64 (-.f64 1 z) 1)
32.0ms	(-.f64 (-.f64 1 z) 1)

simplify321.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 0 (259.0ms)

Iter	Nodes	Cost
0	5392	704

prune5.2s (2.1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	106	6	112
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	106	8	114

Merged error: 1.7b

Counts

114 → 8

Compiler

Compiled 14750 to 12497 computations (15.3% saved)

localize119.0ms (0%)

Local error

Found 4 expressions with local error:

5.0b	(-.f64 (-.f64 1 z) 1)
5.0b	(-.f64 (-.f64 1 z) 1)
5.0b	(-.f64 (-.f64 1 z) 1)
5.1b	(+.f64 -1 (sqrt.f64 (-.f64 1 z)))

rewrite133.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`*-un-lft-identity_binary64_1442`
22×	`add-sqr-sqrt_binary64_1464`
21×	`add-log-exp_binary64_1481`
18×	`cancel-sign-sub-inv_binary64_1408`
12×	`associate--l+_binary64_1379`
10×	`add-cube-cbrt_binary64_1477`
9×	`diff-log_binary64_1534` `distribute-lft-out--_binary64_1394`
6×	`sub-neg_binary64_1435` `difference-of-squares_binary64_1411`
4×	`add-cbrt-cube_binary64_1478` `add-exp-log_binary64_1480` `pow1_binary64_1503`
3×	`associate--l-_binary64_1380` `flip3--_binary64_1446` `difference-of-sqr-1_binary64_1412` `flip--_binary64_1417`
1×	`sum-log_binary64_1533` `+-commutative_binary64_1372` `distribute-lft-out_binary64_1393` `flip3-+_binary64_1445` `flip-+_binary64_1416`

Counts

4 → 87

Calls

4 calls:

34.0ms	(-.f64 (-.f64 1 z) 1)
24.0ms	(-.f64 (-.f64 1 z) 1)
15.0ms	(-.f64 (-.f64 1 z) 1)
12.0ms	(+.f64 -1 (sqrt.f64 (-.f64 1 z)))

series160.0ms (0.1%)

Counts

4 → 12

Calls

4 calls:

65.0ms	(+.f64 -1 (sqrt.f64 (-.f64 1 z)))
33.0ms	(-.f64 (-.f64 1 z) 1)
33.0ms	(-.f64 (-.f64 1 z) 1)
28.0ms	(-.f64 (-.f64 1 z) 1)

simplify366.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (193.0ms)

Iter	Nodes	Cost
0	5223	793

prune4.6s (1.9%)

Pruning

20 alts after pruning (18 fresh and 2 done)

	Pruned	Kept	Total
New	86	13	99
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	87	20	107

Merged error: 1.7b

Counts

107 → 20

Compiler

Compiled 15575 to 13286 computations (14.7% saved)

localize137.0ms (0.1%)

Local error

Found 4 expressions with local error:

5.0b	(-.f64 (-.f64 1 z) 1)
5.0b	(-.f64 (-.f64 1 z) 1)
5.0b	(-.f64 (-.f64 1 z) 1)
5.1b	(+.f64 -1 (sqrt.f64 (-.f64 1 z)))

rewrite130.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`*-un-lft-identity_binary64_1442`
22×	`add-sqr-sqrt_binary64_1464`
21×	`add-log-exp_binary64_1481`
18×	`cancel-sign-sub-inv_binary64_1408`
12×	`associate--l+_binary64_1379`
10×	`add-cube-cbrt_binary64_1477`
9×	`diff-log_binary64_1534` `distribute-lft-out--_binary64_1394`
6×	`sub-neg_binary64_1435` `difference-of-squares_binary64_1411`
4×	`add-cbrt-cube_binary64_1478` `add-exp-log_binary64_1480` `pow1_binary64_1503`
3×	`associate--l-_binary64_1380` `flip3--_binary64_1446` `difference-of-sqr-1_binary64_1412` `flip--_binary64_1417`
1×	`sum-log_binary64_1533` `+-commutative_binary64_1372` `distribute-lft-out_binary64_1393` `flip3-+_binary64_1445` `flip-+_binary64_1416`

Counts

4 → 87

Calls

4 calls:

29.0ms	(-.f64 (-.f64 1 z) 1)
19.0ms	(-.f64 (-.f64 1 z) 1)
15.0ms	(+.f64 -1 (sqrt.f64 (-.f64 1 z)))
15.0ms	(-.f64 (-.f64 1 z) 1)

series81.0ms (0%)

Counts

4 → 12

Calls

4 calls:

36.0ms	(+.f64 -1 (sqrt.f64 (-.f64 1 z)))
16.0ms	(-.f64 (-.f64 1 z) 1)
15.0ms	(-.f64 (-.f64 1 z) 1)
13.0ms	(-.f64 (-.f64 1 z) 1)

simplify138.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (109.0ms)

Iter	Nodes	Cost
0	5223	793

prune5.9s (2.4%)

Pruning

28 alts after pruning (25 fresh and 3 done)

	Pruned	Kept	Total
New	88	11	99
Fresh	3	14	17
Picked	0	1	1
Done	0	2	2
Total	91	28	119

Merged error: 1.7b

Counts

119 → 28

Compiler

Compiled 16912 to 14501 computations (14.3% saved)

localize145.0ms (0.1%)

Local error

Found 4 expressions with local error:

5.0b	(-.f64 (-.f64 1 z) 1)
5.0b	(-.f64 (-.f64 1 z) 1)
5.0b	(-.f64 (-.f64 1 z) 1)
5.0b	(-.f64 (-.f64 1 z) 1)

rewrite159.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

36×	`*-un-lft-identity_binary64_1442`
28×	`add-sqr-sqrt_binary64_1464`
24×	`cancel-sign-sub-inv_binary64_1408` `add-log-exp_binary64_1481`
16×	`associate--l+_binary64_1379`
12×	`diff-log_binary64_1534` `add-cube-cbrt_binary64_1477` `distribute-lft-out--_binary64_1394`
8×	`sub-neg_binary64_1435` `difference-of-squares_binary64_1411`
4×	`associate--l-_binary64_1380` `add-cbrt-cube_binary64_1478` `flip3--_binary64_1446` `difference-of-sqr-1_binary64_1412` `add-exp-log_binary64_1480` `flip--_binary64_1417` `pow1_binary64_1503`

Counts

4 → 100

Calls

4 calls:

36.0ms	(-.f64 (-.f64 1 z) 1)
18.0ms	(-.f64 (-.f64 1 z) 1)
17.0ms	(-.f64 (-.f64 1 z) 1)
17.0ms	(-.f64 (-.f64 1 z) 1)

series84.0ms (0%)

Counts

4 → 12

Calls

4 calls:

27.0ms	(-.f64 (-.f64 1 z) 1)
19.0ms	(-.f64 (-.f64 1 z) 1)
18.0ms	(-.f64 (-.f64 1 z) 1)
18.0ms	(-.f64 (-.f64 1 z) 1)

simplify148.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 0 (116.0ms)

Iter	Nodes	Cost
0	5392	704

prune8.1s (3.3%)

Pruning

32 alts after pruning (28 fresh and 4 done)

	Pruned	Kept	Total
New	107	5	112
Fresh	1	23	24
Picked	0	1	1
Done	0	3	3
Total	108	32	140

Merged error: 1.7b

Counts

140 → 32

Compiler

Compiled 16380 to 13888 computations (15.2% saved)

regimes13.1s (5.3%)

Compiler: Compiled 63944 to 56820 computations (11.1% saved)

bsearch0.0ms (0%)

simplify69.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	853	199
1	853	199

end0.0ms (0%)

sample3.3min (80.1%)

Algorithm

1×

intervals

Results

1.9min	3945×	body	8192	exit
6.8s	8000×	body	128	valid
576.0ms	12031×	pre	128	true
73.0ms	86×	body	128	invalid

Compiler

Compiled 32103 to 28527 computations (11.1% saved)

Pareto

Details

analyze5.2s (2.1%)

sample3.2s (1.3%)

simplify594.0ms (0.2%)

prune60.0ms (0%)

localize282.0ms (0.1%)

rewrite269.0ms (0.1%)

series168.0ms (0.1%)

simplify321.0ms (0.1%)

prune5.2s (2.1%)

localize119.0ms (0%)

rewrite133.0ms (0.1%)

series160.0ms (0.1%)

simplify366.0ms (0.1%)

prune4.6s (1.9%)

localize137.0ms (0.1%)

rewrite130.0ms (0.1%)

series81.0ms (0%)

simplify138.0ms (0.1%)

prune5.9s (2.4%)

localize145.0ms (0.1%)

rewrite159.0ms (0.1%)

series84.0ms (0%)

simplify148.0ms (0.1%)

prune8.1s (3.3%)

regimes13.1s (5.3%)

bsearch0.0ms (0%)

simplify69.0ms (0%)

end0.0ms (0%)

sample3.3min (80.1%)

Profiling