Details

analyze200.0ms (6.3%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	51	20
1	51	20
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%	74.9%	0.1%	5
37.5%	62.4%	0.1%	6
43.7%	43.7%	12.6%	7
53.1%	34.3%	12.6%	8
57.8%	23.4%	18.8%	9
63.2%	18%	18.8%	10
66%	12.1%	22%	11
68.9%	9.2%	22%	12
70.3%	6.1%	23.5%	13
71.9%	4.6%	23.5%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample14.0ms (0.4%)

Algorithm

1×

intervals

Results

5.0ms	256×	body	128	valid
0.0ms	8×	body	128	invalid

Compiler

Compiled 15 to 15 computations (0% saved)

simplify9.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	32	10
1	32	10

prune3.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

Error

4.6b

Counts

2 → 1

Compiler

Compiled 14 to 12 computations (14.3% saved)

localize14.0ms (0.4%)

Local error

Found 1 expressions with local error:

4.3b	(.f64 x (+.f64 1 (.f64 y y)))

rewrite35.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

4.5b

Rules

5×	`add-sqr-sqrt_binary64_12035`
3×	`pow1_binary64_12074` `add-exp-log_binary64_12051` `add-cbrt-cube_binary64_12049` `add-cube-cbrt_binary64_12048` `-un-lft-identity_binary64_12013` `associate-l_binary64_11954` `associate-r*_binary64_11953`
2×	`associate-*r/_binary64_11955`
1×	`pow-prod-down_binary64_12084` `prod-exp_binary64_12062` `add-log-exp_binary64_12052` `cbrt-unprod_binary64_12046` `unswap-sqr_binary64_11981` `distribute-rgt-in_binary64_11963` `distribute-lft-in_binary64_11962` `flip3-+_binary64_12016` `flip-+_binary64_11987` `*-commutative_binary64_11944`

Counts

1 → 22

Calls

1 calls:

10.0ms

(*.f64 x (+.f64 1 (*.f64 y y)))

Compiler

Compiled 318 to 166 computations (47.8% saved)

series108.0ms (3.4%)

Error

4.5b

Counts

1 → 9

Calls

1 calls:

97.0ms

(*.f64 x (+.f64 1 (*.f64 y y)))

Compiler

Compiled 148 to 125 computations (15.5% saved)

simplify99.0ms (3.1%)

Algorithm

1×	egg-herbie

Counts

31 → 31

Iterations

Useful iterations: 0 (85.0ms)

Iter	Nodes	Cost
0	4921	343
1	4921	343

prune30.0ms (1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	25	6	31
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	25	7	32

Error

4.4b

Counts

32 → 7

Compiler

Compiled 395 to 212 computations (46.3% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

10.3b

(*.f64 x (*.f64 y y))

rewrite20.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

6×	`pow1_binary64_12074` `add-exp-log_binary64_12051` `add-cbrt-cube_binary64_12049`
3×	`pow-prod-down_binary64_12084` `prod-exp_binary64_12062` `cbrt-unprod_binary64_12046` `add-sqr-sqrt_binary64_12035` `associate-l_binary64_11954`
2×	`add-cube-cbrt_binary64_12048` `*-un-lft-identity_binary64_12013`
1×	`add-log-exp_binary64_12052` `unswap-sqr_binary64_11981` `associate-r_binary64_11953` `*-commutative_binary64_11944`

Counts

1 → 19

Calls

1 calls:

6.0ms

(*.f64 x (*.f64 y y))

Compiler

Compiled 231 to 75 computations (67.5% saved)

series81.0ms (2.6%)

Error

4.4b

Counts

1 → 6

Calls

1 calls:

78.0ms

(*.f64 x (*.f64 y y))

Compiler

Compiled 126 to 98 computations (22.2% saved)

simplify80.0ms (2.5%)

Algorithm

1×	egg-herbie

Counts

25 → 25

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	5061	210

prune18.0ms (0.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	23	2	25
Fresh	3	2	5
Picked	1	0	1
Done	0	1	1
Total	27	5	32

Error

0.0b

Counts

32 → 5

Compiler

Compiled 285 to 93 computations (67.4% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.2b	(.f64 (.f64 x y) y)

rewrite17.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

6×	`pow1_binary64_12074` `add-exp-log_binary64_12051` `add-cbrt-cube_binary64_12049`
3×	`pow-prod-down_binary64_12084` `prod-exp_binary64_12062` `cbrt-unprod_binary64_12046` `associate-r_binary64_11953`
2×	`add-cube-cbrt_binary64_12048` `add-sqr-sqrt_binary64_12035` `*-un-lft-identity_binary64_12013`
1×	`add-log-exp_binary64_12052` `associate-l_binary64_11954` `*-commutative_binary64_11944`

Counts

1 → 18

Calls

1 calls:

5.0ms

(*.f64 (*.f64 x y) y)

Compiler

Compiled 220 to 73 computations (66.8% saved)

series69.0ms (2.2%)

Error

0.0b

Counts

1 → 6

Calls

1 calls:

64.0ms

(*.f64 (*.f64 x y) y)

Compiler

Compiled 126 to 98 computations (22.2% saved)

simplify68.0ms (2.2%)

Algorithm

1×	egg-herbie

Counts

24 → 24

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5057	198

prune17.0ms (0.5%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	23	1	24
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	23	6	29

Error

0.0b

Counts

29 → 6

Compiler

Compiled 274 to 92 computations (66.4% saved)

localize13.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
1.2b	(.f64 (+.f64 1 (.f64 y y)) (cbrt.f64 x))
3.3b	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (+.f64 1 (.f64 y y)) (cbrt.f64 x)))

rewrite101.0ms (3.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

18×	`pow1_binary64_12074` `add-exp-log_binary64_12051`
13×	`add-sqr-sqrt_binary64_12035`
11×	`add-cbrt-cube_binary64_12049`
10×	`cbrt-prod_binary64_12044`
9×	`pow-prod-down_binary64_12084` `prod-exp_binary64_12062` `add-cube-cbrt_binary64_12048` `cbrt-unprod_binary64_12046` `*-un-lft-identity_binary64_12013`
7×	`associate-r_binary64_11953`
4×	`add-log-exp_binary64_12052` `associate-l/_binary64_11956` `associate-l*_binary64_11954`
2×	`flip3-+_binary64_12016` `associate-r/_binary64_11955` `flip-+_binary64_11987` `-commutative_binary64_11944` `unswap-sqr_binary64_11981` `pow1/3_binary64_12095`

Counts

4 → 70

Calls

4 calls:

12.0ms	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (+.f64 1 (.f64 y y)) (cbrt.f64 x)))
7.0ms	(.f64 (+.f64 1 (.f64 y y)) (cbrt.f64 x))
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)

Compiler

Compiled 1494 to 540 computations (63.9% saved)

series607.0ms (19.2%)

Error

0.0b

Counts

4 → 24

Calls

4 calls:

294.0ms	(.f64 (+.f64 1 (.f64 y y)) (cbrt.f64 x))
102.0ms	(cbrt.f64 x)
98.0ms	(cbrt.f64 x)
97.0ms	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (+.f64 1 (.f64 y y)) (cbrt.f64 x)))

Compiler

Compiled 842 to 608 computations (27.8% saved)

simplify97.0ms (3.1%)

Algorithm

1×	egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	4922	985
1	4922	985

prune81.0ms (2.6%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	93	1	94
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	93	7	100

Error

0.0b

Counts

100 → 7

Compiler

Compiled 1425 to 560 computations (60.7% saved)

regimes316.0ms (10%)

Accuracy

Total 0.1b remaining (81.2%)

Threshold costs 0.1b (81.2%)

Compiler

Compiled 2881 to 1973 computations (31.5% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	10
1	9	10

end0.0ms (0%)

sample1.0s (33.2%)

Algorithm

1×

intervals

Results

223.0ms	8000×	body	128	valid
4.0ms	160×	body	128	invalid

Compiler

Compiled 468 to 321 computations (31.4% saved)

Details

analyze200.0ms (6.3%)

sample14.0ms (0.4%)

simplify9.0ms (0.3%)

prune3.0ms (0.1%)

localize14.0ms (0.4%)

rewrite35.0ms (1.1%)

series108.0ms (3.4%)

simplify99.0ms (3.1%)

prune30.0ms (1%)

localize4.0ms (0.1%)

rewrite20.0ms (0.6%)

series81.0ms (2.6%)

simplify80.0ms (2.5%)

prune18.0ms (0.6%)

localize4.0ms (0.1%)

rewrite17.0ms (0.5%)

series69.0ms (2.2%)

simplify68.0ms (2.2%)

prune17.0ms (0.5%)

localize13.0ms (0.4%)

rewrite101.0ms (3.2%)

series607.0ms (19.2%)

simplify97.0ms (3.1%)

prune81.0ms (2.6%)

regimes316.0ms (10%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample1.0s (33.2%)

Profiling