Details

analyze1.2s (9.7%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5242	38
0	2	2
1	2	2

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%	62.4%	12.6%	5
25%	56.2%	18.8%	6
28.1%	50%	22%	7
28.1%	46.8%	25.1%	8
29.7%	41.4%	29%	9
29.7%	39.4%	30.9%	10
31.1%	35.8%	33.1%	11
31.1%	34.4%	34.5%	12
31.5%	32.9%	35.6%	13
31.5%	32.1%	36.4%	14

Compiler

Compiled 14 to 12 computations (14.3% saved)

sample180.0ms (1.5%)

Algorithm

1×

intervals

Results

41.0ms	83×	body	1024	valid
36.0ms	60×	body	2048	valid
24.0ms	33×	body	1024	nan
14.0ms	60×	body	128	overflowed
11.0ms	29×	body	512	valid
9.0ms	11×	body	1024	invalid
9.0ms	20×	body	512	nan
6.0ms	60×	body	128	valid
5.0ms	24×	body	256	valid
3.0ms	15×	body	256	nan
2.0ms	5×	body	512	invalid
2.0ms	27×	body	128	nan
1.0ms	12×	body	128	invalid
1.0ms	5×	body	256	invalid
1.0ms	1×	body	2048	nan

Compiler

Compiled 27 to 25 computations (7.4% saved)

simplify51.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4831	19
1	4831	19

prune3.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: 31.9b

Counts

2 → 1

Compiler

Compiled 26 to 22 computations (15.4% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.1b	(pow.f64 (+.f64 x 1) (/.f64 1 n))
0.1b	(pow.f64 x (/.f64 1 n))
2.8b	(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))

rewrite27.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

33×	`add-sqr-sqrt_binary64_441`
30×	`*-un-lft-identity_binary64_419`
26×	`pow-unpow_binary64_496`
21×	`add-cube-cbrt_binary64_454`
20×	`unpow-prod-down_binary64_498`
18×	`times-frac_binary64_425`
9×	`difference-of-squares_binary64_388` `sqr-pow_binary64_391`
7×	`cancel-sign-sub-inv_binary64_385`
5×	`add-log-exp_binary64_458` `add-exp-log_binary64_457` `pow1_binary64_480`
3×	`distribute-lft-out--_binary64_371` `add-cbrt-cube_binary64_455`
2×	`div-inv_binary64_416` `pow-exp_binary64_487` `distribute-lft-out_binary64_370` `pow-to-exp_binary64_488` `pow-pow_binary64_491`
1×	`sub-neg_binary64_412` `flip3--_binary64_423` `diff-log_binary64_511` `flip--_binary64_394`

Counts

3 → 85

Calls

3 calls:

11.0ms	(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))
6.0ms	(pow.f64 (+.f64 x 1) (/.f64 1 n))
3.0ms	(pow.f64 x (/.f64 1 n))

series246.0ms (2.1%)

Counts

3 → 9

Calls

3 calls:

140.0ms	(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))
57.0ms	(pow.f64 (+.f64 x 1) (/.f64 1 n))
48.0ms	(pow.f64 x (/.f64 1 n))

simplify80.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4971	1731
1	4971	1731

prune125.0ms (1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	88	6	94
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	89	6	95

Merged error: 21.2b

Counts

95 → 6

Compiler

Compiled 2054 to 1431 computations (30.3% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(pow.f64 (+.f64 x 1) (/.f64 1 n))
0.1b	(pow.f64 x (/.f64 1 n))
2.8b	(log.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))))
2.8b	(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))

rewrite184.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Rules

50×	`add-sqr-sqrt_binary64_441`
42×	`*-un-lft-identity_binary64_419`
33×	`unpow-prod-down_binary64_498`
26×	`add-cube-cbrt_binary64_454` `pow-unpow_binary64_496`
18×	`times-frac_binary64_425` `difference-of-squares_binary64_388`
16×	`sqr-pow_binary64_391` `log-pow_binary64_508`
15×	`exp-prod_binary64_471`
14×	`cancel-sign-sub-inv_binary64_385`
11×	`log-prod_binary64_505`
8×	`exp-sum_binary64_465`
7×	`pow1_binary64_480`
6×	`add-log-exp_binary64_458` `distribute-lft-out--_binary64_371` `add-exp-log_binary64_457`
4×	`add-cbrt-cube_binary64_455`
3×	`distribute-lft-out_binary64_370`
2×	`sub-neg_binary64_412` `div-inv_binary64_416` `pow-exp_binary64_487` `pow-to-exp_binary64_488` `pow-pow_binary64_491`
1×	`exp-diff_binary64_467` `rem-log-exp_binary64_460` `flip3--_binary64_423` `diff-log_binary64_511` `flip--_binary64_394` `log-div_binary64_506`

Counts

4 → 121

Calls

4 calls:

13.0ms	(log.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))))
11.0ms	(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))
6.0ms	(pow.f64 (+.f64 x 1) (/.f64 1 n))
4.0ms	(pow.f64 x (/.f64 1 n))

series485.0ms (4.1%)

Counts

4 → 12

Calls

4 calls:

245.0ms	(log.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))))
137.0ms	(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))
55.0ms	(pow.f64 (+.f64 x 1) (/.f64 1 n))
46.0ms	(pow.f64 x (/.f64 1 n))

simplify90.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

133 → 133

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	5084	2592

prune163.0ms (1.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	131	2	133
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	131	8	139

Merged error: 21.2b

Counts

139 → 8

Compiler

Compiled 3158 to 2264 computations (28.3% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

2.8b	(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))
2.8b	(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))
2.8b	(log.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n))))))
2.8b	(log.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n))))))

rewrite64.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

40×	`add-sqr-sqrt_binary64_441`
32×	`unpow-prod-down_binary64_498`
30×	`*-un-lft-identity_binary64_419`
28×	`log-prod_binary64_505` `cancel-sign-sub-inv_binary64_385`
22×	`cbrt-prod_binary64_450`
18×	`difference-of-squares_binary64_388`
16×	`add-cube-cbrt_binary64_454` `sqr-pow_binary64_391` `exp-sum_binary64_465`
8×	`add-log-exp_binary64_458`
6×	`distribute-lft-out--_binary64_371` `add-exp-log_binary64_457` `pow1_binary64_480`
4×	`sub-neg_binary64_412` `log-pow_binary64_508` `add-cbrt-cube_binary64_455`
2×	`pow1/3_binary64_501` `exp-diff_binary64_467` `cbrt-div_binary64_451` `rem-log-exp_binary64_460` `distribute-lft-out_binary64_370` `flip3--_binary64_423` `diff-log_binary64_511` `flip--_binary64_394` `log-div_binary64_506`

Counts

4 → 110

Calls

4 calls:

14.0ms	(log.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n))))))
12.0ms	(log.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n))))))
11.0ms	(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))
11.0ms	(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))

series1.0s (8.5%)

Counts

4 → 12

Calls

4 calls:

387.0ms	(log.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n))))))
384.0ms	(log.f64 (cbrt.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n))))))
127.0ms	(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))
121.0ms	(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))

simplify73.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5155	3674

prune321.0ms (2.7%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	120	2	122
Fresh	0	6	6
Picked	1	0	1
Done	0	1	1
Total	121	9	130

Merged error: 21.1b

Counts

130 → 9

Compiler

Compiled 5553 to 4216 computations (24.1% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(pow.f64 (+.f64 x 1) (/.f64 1 n))
0.1b	(pow.f64 (+.f64 x 1) (/.f64 1 n))
0.1b	(pow.f64 (+.f64 x 1) (/.f64 1 n))
4.7b	(-.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n))) (cbrt.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)))) (cbrt.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)))) (pow.f64 x (/.f64 1 n)))

rewrite52.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

39×	`pow-unpow_binary64_496`
36×	`*-un-lft-identity_binary64_419`
30×	`add-cube-cbrt_binary64_454` `add-sqr-sqrt_binary64_441`
27×	`times-frac_binary64_425`
15×	`unpow-prod-down_binary64_498`
7×	`add-exp-log_binary64_457` `cancel-sign-sub-inv_binary64_385` `pow1_binary64_480`
6×	`add-log-exp_binary64_458`
4×	`sqr-pow_binary64_391` `add-cbrt-cube_binary64_455`
3×	`div-inv_binary64_416` `pow-exp_binary64_487` `distribute-lft-out_binary64_370` `pow-to-exp_binary64_488` `pow-pow_binary64_491`
1×	`sub-neg_binary64_412` `flip3--_binary64_423` `diff-log_binary64_511` `flip--_binary64_394`

Counts

4 → 102

Calls

4 calls:

22.0ms	(-.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n))) (cbrt.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)))) (cbrt.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)))) (pow.f64 x (/.f64 1 n)))
6.0ms	(pow.f64 (+.f64 x 1) (/.f64 1 n))
6.0ms	(pow.f64 (+.f64 x 1) (/.f64 1 n))
6.0ms	(pow.f64 (+.f64 x 1) (/.f64 1 n))

series281.0ms (2.4%)

Counts

4 → 12

Calls

4 calls:

130.0ms	(-.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n))) (cbrt.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)))) (cbrt.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)))) (pow.f64 x (/.f64 1 n)))
54.0ms	(pow.f64 (+.f64 x 1) (/.f64 1 n))
49.0ms	(pow.f64 (+.f64 x 1) (/.f64 1 n))
49.0ms	(pow.f64 (+.f64 x 1) (/.f64 1 n))

simplify58.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5407	1712

prune228.0ms (1.9%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	113	1	114
Fresh	2	5	7
Picked	0	1	1
Done	0	1	1
Total	115	8	123

Merged error: 21.0b

Counts

123 → 8

Compiler

Compiled 4060 to 2998 computations (26.2% saved)

regimes300.0ms (2.5%)

Compiler: Compiled 2589 to 2105 computations (18.7% saved)

bsearch3.0ms (0%)

Compiler: Compiled 3 to 4 computations (-33.3% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	65	109
1	65	109

end0.0ms (0%)

sample6.7s (56.1%)

Algorithm

1×

intervals

Results

1.5s	2707×	body	1024	valid
1.1s	1533×	body	1024	nan
983.0ms	1718×	body	2048	valid
492.0ms	2684×	body	128	overflowed
439.0ms	1203×	body	512	valid
330.0ms	746×	body	512	nan
180.0ms	203×	body	1024	invalid
171.0ms	1749×	body	128	valid
141.0ms	623×	body	256	valid
118.0ms	236×	body	512	invalid
81.0ms	365×	body	256	nan
52.0ms	825×	body	128	nan
43.0ms	157×	body	256	invalid
32.0ms	260×	body	128	invalid
10.0ms	6×	body	2048	nan

Compiler

Compiled 612 to 488 computations (20.3% saved)

Details

analyze1.2s (9.7%)

sample180.0ms (1.5%)

simplify51.0ms (0.4%)

prune3.0ms (0%)

localize7.0ms (0.1%)

rewrite27.0ms (0.2%)

series246.0ms (2.1%)

simplify80.0ms (0.7%)

prune125.0ms (1%)

localize10.0ms (0.1%)

rewrite184.0ms (1.5%)

series485.0ms (4.1%)

simplify90.0ms (0.8%)

prune163.0ms (1.4%)

localize13.0ms (0.1%)

rewrite64.0ms (0.5%)

series1.0s (8.5%)

simplify73.0ms (0.6%)

prune321.0ms (2.7%)

localize11.0ms (0.1%)

rewrite52.0ms (0.4%)

series281.0ms (2.4%)

simplify58.0ms (0.5%)

prune228.0ms (1.9%)

regimes300.0ms (2.5%)

bsearch3.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample6.7s (56.1%)

Profiling