Details

analyze579.0ms (8.9%)

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
3.1%	90.5%	6.3%	6
4.7%	85.9%	9.5%	7
21.1%	64%	14.9%	8
23.4%	58.9%	17.7%	9
27.7%	51.3%	21%	10
28.9%	48.5%	22.6%	11
31.1%	44.4%	24.5%	12
31.7%	42.9%	25.4%	13
32.7%	41%	26.3%	14

Compiler

Compiled 12 to 9 computations (25% saved)

sample59.0ms (0.9%)

Algorithm

1×

intervals

Results

23.0ms	56×	body	1024	valid
9.0ms	146×	body	128	valid
7.0ms	29×	body	512	valid
4.0ms	5×	body	2048	valid
3.0ms	20×	body	256	valid
2.0ms	6×	body	1024	invalid
1.0ms	5×	body	512	invalid
1.0ms	11×	body	128	invalid
1.0ms	4×	body	256	invalid
0.0ms	8×	body	128	nan

Compiler

Compiled 23 to 19 computations (17.4% saved)

simplify246.0ms (3.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	4943	13
1	4943	13

prune4.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 11.0b

Counts

2 → 1

Compiler

Compiled 38 to 26 computations (31.6% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (pow.f64 (/.f64 x (+.f64 x y)) x) x)
0.0b	(/.f64 x (+.f64 x y))
5.1b	(pow.f64 (/.f64 x (+.f64 x y)) x)

rewrite49.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

138×	`times-frac_binary64_12125`
118×	`*-un-lft-identity_binary64_12119`
90×	`unpow-prod-down_binary64_12198`
80×	`add-sqr-sqrt_binary64_12141` `add-cube-cbrt_binary64_12154`
25×	`associate-/l*_binary64_12064`
19×	`distribute-lft-out_binary64_12070`
16×	`add-exp-log_binary64_12157`
12×	`associate-/r/_binary64_12065`
7×	`div-exp_binary64_12170` `associate-/r*_binary64_12063` `add-cbrt-cube_binary64_12155` `div-inv_binary64_12116`
6×	`flip-+_binary64_12093` `flip3-+_binary64_12122`
5×	`sqr-pow_binary64_12091`
4×	`pow-exp_binary64_12187` `pow1_binary64_12180`
3×	`add-log-exp_binary64_12158` `pow-unpow_binary64_12196`
2×	`cbrt-undiv_binary64_12153` `pow-to-exp_binary64_12188` `clear-num_binary64_12118` `frac-2neg_binary64_12130`
1×	`pow-pow_binary64_12191`

Counts

3 → 172

Calls

3 calls:

17.0ms	(/.f64 (pow.f64 (/.f64 x (+.f64 x y)) x) x)
8.0ms	(pow.f64 (/.f64 x (+.f64 x y)) x)
6.0ms	(/.f64 x (+.f64 x y))

series681.0ms (10.5%)

Counts

3 → 9

Calls

3 calls:

366.0ms	(pow.f64 (/.f64 x (+.f64 x y)) x)
265.0ms	(/.f64 (pow.f64 (/.f64 x (+.f64 x y)) x) x)
50.0ms	(/.f64 x (+.f64 x y))

simplify114.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

181 → 181

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	4929	4031
1	4929	4031

prune332.0ms (5.1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	175	6	181
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	176	6	182

Merged error: 0.3b

Counts

182 → 6

Compiler

Compiled 7285 to 2582 computations (64.6% saved)

localize17.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
1.9b	(pow.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y)))) x)

rewrite33.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-exp-log_binary64_12157`
13×	`unpow-prod-down_binary64_12198`
12×	`cbrt-div_binary64_12151`
9×	`add-sqr-sqrt_binary64_12141` `cbrt-prod_binary64_12150` `*-un-lft-identity_binary64_12119` `add-cube-cbrt_binary64_12154`
8×	`associate-/r/_binary64_12065`
6×	`flip-+_binary64_12093` `flip3-+_binary64_12122`
5×	`pow-exp_binary64_12187` `pow1_binary64_12180`
4×	`div-exp_binary64_12170` `prod-exp_binary64_12168` `add-log-exp_binary64_12158` `frac-times_binary64_12129` `add-cbrt-cube_binary64_12155`
3×	`pow-unpow_binary64_12196` `pow1/3_binary64_12201`
2×	`associate-l/_binary64_12062` `associate-r/_binary64_12061`
1×	`sqr-pow_binary64_12091` `pow-to-exp_binary64_12188` `times-frac_binary64_12125` `pow-pow_binary64_12191` `div-inv_binary64_12116`

Counts

4 → 64

Calls

4 calls:

21.0ms	(pow.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y)))) x)
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)

series985.0ms (15.1%)

Counts

4 → 12

Calls

4 calls:

509.0ms	(pow.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (+.f64 x y)))) x)
174.0ms	(cbrt.f64 x)
163.0ms	(cbrt.f64 x)
139.0ms	(cbrt.f64 x)

simplify48.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5551	1340

prune112.0ms (1.7%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	75	1	76
Fresh	2	3	5
Picked	1	0	1
Done	0	0	0
Total	78	4	82

Merged error: 0.0b

Counts

82 → 4

Compiler

Compiled 3024 to 796 computations (73.7% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (+.f64 x y))
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)

rewrite12.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`cbrt-prod_binary64_12150`
10×	`*-un-lft-identity_binary64_12119`
8×	`add-sqr-sqrt_binary64_12141` `add-cube-cbrt_binary64_12154`
4×	`add-log-exp_binary64_12158` `pow1_binary64_12180` `add-exp-log_binary64_12157` `add-cbrt-cube_binary64_12155` `pow1/3_binary64_12201`
2×	`cbrt-div_binary64_12151`
1×	`flip-+_binary64_12093` `distribute-lft-out_binary64_12070` `flip3-+_binary64_12122`

Counts

4 → 47

Calls

4 calls:

3.0ms	(cbrt.f64 (+.f64 x y))
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)

series680.0ms (10.5%)

Counts

4 → 12

Calls

4 calls:

212.0ms	(cbrt.f64 (+.f64 x y))
171.0ms	(cbrt.f64 x)
150.0ms	(cbrt.f64 x)
147.0ms	(cbrt.f64 x)

simplify106.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

59 → 59

Iterations

Useful iterations: 0 (95.0ms)

Iter	Nodes	Cost
0	4809	474
1	4809	474

prune70.0ms (1.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	59	0	59
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	59	4	63

Merged error: 0.0b

Counts

63 → 4

Compiler

Compiled 2235 to 419 computations (81.3% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(/.f64 (exp.f64 (neg.f64 y)) x)

rewrite8.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-sqr-sqrt_binary64_12141` `*-un-lft-identity_binary64_12119` `times-frac_binary64_12125` `add-cube-cbrt_binary64_12154`
3×	`associate-/r_binary64_12063` `add-cbrt-cube_binary64_12155` `associate-/l_binary64_12064`
2×	`add-exp-log_binary64_12157` `associate-/l/_binary64_12066`
1×	`cbrt-undiv_binary64_12153` `exp-diff_binary64_12167` `div-exp_binary64_12170` `add-log-exp_binary64_12158` `exp-neg_binary64_12166` `clear-num_binary64_12118` `pow1_binary64_12180` `frac-2neg_binary64_12130` `div-inv_binary64_12116` `neg-sub0_binary64_12114`

Counts

1 → 29

Calls

1 calls:

6.0ms

(/.f64 (exp.f64 (neg.f64 y)) x)

series46.0ms (0.7%)

Counts

1 → 3

Calls

1 calls:

45.0ms

(/.f64 (exp.f64 (neg.f64 y)) x)

simplify138.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

32 → 32

Iterations

Useful iterations: 0 (125.0ms)

Iter	Nodes	Cost
0	5287	435

prune78.0ms (1.2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	30	2	32
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	30	6	36

Merged error: 0b

Counts

36 → 6

Compiler

Compiled 1421 to 599 computations (57.8% saved)

regimes62.0ms (0.9%)

Compiler: Compiled 266 to 126 computations (52.6% saved)

bsearch50.0ms (0.8%)

Steps

Iters	Range		Point
8	0.45125801054367204	238.0976628422663	23.71454422349957
6	-0.23072697439675996	-0.016720685647940003	-0.22703977526228153

Compiler

Compiled 1 to 2 computations (-100% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	35	75
1	35	75

end0.0ms (0%)

sample2.0s (30.3%)

Algorithm

1×

intervals

Results

699.0ms	1762×	body	1024	valid
278.0ms	4545×	body	128	valid
229.0ms	991×	body	512	valid
125.0ms	173×	body	2048	valid
76.0ms	529×	body	256	valid
70.0ms	196×	body	1024	invalid
53.0ms	228×	body	512	invalid
22.0ms	151×	body	256	invalid
15.0ms	229×	body	128	invalid
8.0ms	172×	body	128	nan

Compiler

Compiled 234 to 117 computations (50% saved)

Details

analyze579.0ms (8.9%)

sample59.0ms (0.9%)

simplify246.0ms (3.8%)

prune4.0ms (0.1%)

localize6.0ms (0.1%)

rewrite49.0ms (0.8%)

series681.0ms (10.5%)

simplify114.0ms (1.7%)

prune332.0ms (5.1%)

localize17.0ms (0.3%)

rewrite33.0ms (0.5%)

series985.0ms (15.1%)

simplify48.0ms (0.7%)

prune112.0ms (1.7%)

localize15.0ms (0.2%)

rewrite12.0ms (0.2%)

series680.0ms (10.5%)

simplify106.0ms (1.6%)

prune70.0ms (1.1%)

localize4.0ms (0.1%)

rewrite8.0ms (0.1%)

series46.0ms (0.7%)

simplify138.0ms (2.1%)

prune78.0ms (1.2%)

regimes62.0ms (0.9%)

bsearch50.0ms (0.8%)

simplify3.0ms (0%)

end0.0ms (0%)

sample2.0s (30.3%)

Profiling