Details

analyze111.0ms (3.5%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	7
1	10	7
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
75%	25%	0%	4
87.5%	12.5%	0%	5
93.7%	6.2%	0%	6
96.8%	3.1%	0%	7
98.4%	1.6%	0%	8
99.2%	0.8%	0%	9
99.6%	0.4%	0%	10
99.6%	0.2%	0.2%	11
99.6%	0.1%	0.3%	12
99.6%	0%	0.3%	13
99.6%	0%	0.4%	14

Compiler

Compiled 6 to 6 computations (0% saved)

sample12.0ms (0.4%)

Algorithm

1×

intervals

Results

4.0ms	253×	body	128	valid
0.0ms	2×	body	512	valid
0.0ms	1×	body	1024	valid

Compiler

Compiled 11 to 12 computations (-9.1% saved)

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	10	7
1	10	7

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

0.0b

Counts

2 → 1

Compiler

Compiled 10 to 10 computations (0% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(-.f64 (*.f64 x 116) 16)

rewrite20.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

3×	`add-log-exp_binary64_7619` `cancel-sign-sub-inv_binary64_7546`
2×	`add-cube-cbrt_binary64_7615` `add-sqr-sqrt_binary64_7602` `*-un-lft-identity_binary64_7580`
1×	`diff-log_binary64_7672` `pow1_binary64_7641` `add-exp-log_binary64_7618` `add-cbrt-cube_binary64_7616` `flip3--_binary64_7584` `sub-neg_binary64_7573` `flip--_binary64_7555`

Counts

1 → 14

Calls

1 calls:

5.0ms

(-.f64 (*.f64 x 116) 16)

Compiler

Compiled 168 to 145 computations (13.7% saved)

series45.0ms (1.4%)

Error

0.0b

Counts

1 → 6

Calls

1 calls:

40.0ms

(-.f64 (*.f64 x 116) 16)

Compiler

Compiled 59 to 56 computations (5.1% saved)

simplify115.0ms (3.7%)

Algorithm

1×	egg-herbie

Counts

20 → 20

Iterations

Useful iterations: 0 (108.0ms)

Iter	Nodes	Cost
0	4819	158
1	4819	158

prune14.0ms (0.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	19	1	20
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	19	2	21

Error

0.0b

Counts

21 → 2

Compiler

Compiled 161 to 134 computations (16.8% saved)

localize8.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 x (.f64 x 13456)) -256)
0.0b	(+.f64 (*.f64 116 x) 16)
0.1b	(.f64 x (.f64 x 13456))
17.5b	(/.f64 (+.f64 (.f64 x (.f64 x 13456)) -256) (+.f64 (*.f64 116 x) 16))

rewrite142.0ms (4.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

13×	`add-cube-cbrt_binary64_7615` `add-sqr-sqrt_binary64_7602` `*-un-lft-identity_binary64_7580`
11×	`add-exp-log_binary64_7618` `add-cbrt-cube_binary64_7616`
9×	`pow1_binary64_7641` `times-frac_binary64_7586`
8×	`add-log-exp_binary64_7619`
4×	`flip3-+_binary64_7583` `flip-+_binary64_7554`
3×	`associate-/l_binary64_7525` `associate-/r_binary64_7524` `pow-prod-down_binary64_7651` `prod-exp_binary64_7629` `cbrt-unprod_binary64_7613` `associate-l_binary64_7521`
2×	`associate-/l/_binary64_7527` `associate-/r/_binary64_7526` `sum-log_binary64_7671` `+-commutative_binary64_7510`
1×	`div-exp_binary64_7631` `cbrt-undiv_binary64_7614` `frac-2neg_binary64_7591` `clear-num_binary64_7579` `div-inv_binary64_7577` `associate-r_binary64_7520` `*-commutative_binary64_7511`

Counts

4 → 71

Calls

4 calls:

23.0ms	(/.f64 (+.f64 (.f64 x (.f64 x 13456)) -256) (+.f64 (*.f64 116 x) 16))
7.0ms	(.f64 x (.f64 x 13456))
5.0ms	(+.f64 (.f64 x (.f64 x 13456)) -256)
4.0ms	(+.f64 (*.f64 116 x) 16)

Compiler

Compiled 1623 to 1278 computations (21.3% saved)

series200.0ms (6.4%)

Error

0.0b

Counts

4 → 21

Calls

4 calls:

78.0ms	(/.f64 (+.f64 (.f64 x (.f64 x 13456)) -256) (+.f64 (*.f64 116 x) 16))
41.0ms	(+.f64 (.f64 x (.f64 x 13456)) -256)
36.0ms	(+.f64 (*.f64 116 x) 16)
24.0ms	(.f64 x (.f64 x 13456))

Compiler

Compiled 530 to 462 computations (12.8% saved)

simplify96.0ms (3.1%)

Algorithm

1×	egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 0 (78.0ms)

Iter	Nodes	Cost
0	4862	1414
1	4862	1414

prune128.0ms (4.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	91	1	92
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	91	3	94

Error

0.0b

Counts

94 → 3

Compiler

Compiled 1644 to 1239 computations (24.6% saved)

localize28.0ms (0.9%)

Local error

Found 4 expressions with local error:

0.2b	(pow.f64 (*.f64 116 x) 4)
0.2b	(.f64 13456 (.f64 x x))
17.5b	(/.f64 (/.f64 (+.f64 (pow.f64 (.f64 116 x) 4) -65536) (+.f64 (.f64 13456 (.f64 x x)) 256)) (+.f64 (.f64 116 x) 16))
23.1b	(/.f64 (+.f64 (pow.f64 (.f64 116 x) 4) -65536) (+.f64 (.f64 13456 (*.f64 x x)) 256))

rewrite486.0ms (15.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

114×	`times-frac_binary64_7586`
98×	`*-un-lft-identity_binary64_7580`
67×	`add-sqr-sqrt_binary64_7602`
66×	`add-cube-cbrt_binary64_7615`
22×	`associate-/l*_binary64_7525`
19×	`add-exp-log_binary64_7618`
16×	`add-cbrt-cube_binary64_7616` `distribute-lft-out_binary64_7531`
12×	`pow1_binary64_7641` `associate-/r/_binary64_7526`
7×	`flip3-+_binary64_7583` `flip-+_binary64_7554`
6×	`div-inv_binary64_7577` `associate-/r*_binary64_7524`
4×	`div-exp_binary64_7631` `add-log-exp_binary64_7619` `cbrt-undiv_binary64_7614` `pow-prod-down_binary64_7651` `prod-exp_binary64_7629`
3×	`associate-/l/_binary64_7527` `cbrt-unprod_binary64_7613` `associate-l_binary64_7521` `pow-unpow_binary64_7657`
2×	`frac-2neg_binary64_7591` `clear-num_binary64_7579` `pow-pow_binary64_7652` `pow-exp_binary64_7648`
1×	`unswap-sqr_binary64_7548` `associate-r_binary64_7520` `*-commutative_binary64_7511` `unpow-prod-down_binary64_7659` `pow-to-exp_binary64_7649` `sqr-pow_binary64_7552`

Counts

4 → 163

Calls

4 calls:

24.0ms	(/.f64 (/.f64 (+.f64 (pow.f64 (.f64 116 x) 4) -65536) (+.f64 (.f64 13456 (.f64 x x)) 256)) (+.f64 (.f64 116 x) 16))
13.0ms	(/.f64 (+.f64 (pow.f64 (.f64 116 x) 4) -65536) (+.f64 (.f64 13456 (*.f64 x x)) 256))
10.0ms	(.f64 13456 (.f64 x x))
7.0ms	(pow.f64 (*.f64 116 x) 4)

Compiler

Compiled 6144 to 4799 computations (21.9% saved)

series309.0ms (9.8%)

Error

0.0b

Counts

4 → 18

Calls

4 calls:

115.0ms	(/.f64 (/.f64 (+.f64 (pow.f64 (.f64 116 x) 4) -65536) (+.f64 (.f64 13456 (.f64 x x)) 256)) (+.f64 (.f64 116 x) 16))
105.0ms	(/.f64 (+.f64 (pow.f64 (.f64 116 x) 4) -65536) (+.f64 (.f64 13456 (*.f64 x x)) 256))
45.0ms	(pow.f64 (*.f64 116 x) 4)
24.0ms	(.f64 13456 (.f64 x x))

Compiler

Compiled 612 to 537 computations (12.3% saved)

simplify103.0ms (3.3%)

Algorithm

1×	egg-herbie

Counts

181 → 181

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5471	6303

prune434.0ms (13.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	181	0	181
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	181	3	184

Error

0.0b

Counts

184 → 3

Compiler

Compiled 5862 to 4589 computations (21.7% saved)

regimes112.0ms (3.6%)

Accuracy

Total 0.0b remaining (46.5%)

Threshold costs 0.0b (46.5%)

Compiler

Compiled 708 to 615 computations (13.1% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	17	7
1	17	7

end0.0ms (0%)

sample757.0ms (24.1%)

Algorithm

1×

intervals

Results

170.0ms	7937×	body	128	valid
3.0ms	39×	body	1024	valid
1.0ms	15×	body	512	valid
0.0ms	9×	body	256	valid
0.0ms	1×	body	128	invalid

Compiler

Compiled 241 to 211 computations (12.4% saved)

Details

analyze111.0ms (3.5%)

sample12.0ms (0.4%)

simplify7.0ms (0.2%)

prune2.0ms (0.1%)

localize3.0ms (0.1%)

rewrite20.0ms (0.6%)

series45.0ms (1.4%)

simplify115.0ms (3.7%)

prune14.0ms (0.5%)

localize8.0ms (0.3%)

rewrite142.0ms (4.5%)

series200.0ms (6.4%)

simplify96.0ms (3.1%)

prune128.0ms (4.1%)

localize28.0ms (0.9%)

rewrite486.0ms (15.5%)

series309.0ms (9.8%)

simplify103.0ms (3.3%)

prune434.0ms (13.8%)

regimes112.0ms (3.6%)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample757.0ms (24.1%)

Profiling