Details

analyze6.0ms (0.2%)

Algorithm

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)

sample24.0ms (0.8%)

Algorithm

1×

intervals

Results

14.0ms	255×	body	128	valid
0.0ms	1×	body	1024	valid

Compiler

Compiled 11 to 12 computations (-9.1% saved)

simplify153.0ms (4.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	10	7
1	10	7

prune4.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)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite12.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`add-log-exp_binary64_7103` `cancel-sign-sub-inv_binary64_7030`
2×	`add-sqr-sqrt_binary64_7086` `add-cube-cbrt_binary64_7099` `*-un-lft-identity_binary64_7064`
1×	`sub-neg_binary64_7057` `diff-log_binary64_7156` `pow1_binary64_7125` `flip3--_binary64_7068` `add-cbrt-cube_binary64_7100` `flip--_binary64_7039` `add-exp-log_binary64_7102`

Counts

1 → 14

Calls

2 calls:

10.0ms	(-.f64 (*.f64 x 116) 16)
0.0ms	(-.f64 (*.f64 x 116) 16)

series52.0ms (1.6%)

Counts

1 → 6

Calls

1 calls:

52.0ms

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

Compiler

Compiled 37 to 38 computations (-2.7% saved)

simplify188.0ms (5.9%)

Algorithm

1×	egg-herbie

Counts

20 → 20

Iterations

Useful iterations: 0 (167.0ms)

Iter	Nodes	Cost
0	4819	158
1	4819	158

prune31.0ms (1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Error

Counts

21 → 3

Compiler

Compiled 174 to 146 computations (16.1% saved)

localize17.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

rewrite40.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary64_7086` `add-cube-cbrt_binary64_7099` `*-un-lft-identity_binary64_7064`
9×	`times-frac_binary64_7070` `add-cbrt-cube_binary64_7100` `add-exp-log_binary64_7102`
7×	`pow1_binary64_7125`
3×	`associate-l_binary64_7005` `cbrt-unprod_binary64_7097` `associate-/r_binary64_7008` `prod-exp_binary64_7113` `pow-prod-down_binary64_7135` `associate-/l_binary64_7009`
2×	`flip3-+_binary64_7067` `associate-/r/_binary64_7010` `associate-/l/_binary64_7011` `add-log-exp_binary64_7103` `flip-+_binary64_7038`
1×	`div-inv_binary64_7061` `cbrt-undiv_binary64_7098` `associate-r_binary64_7004` `div-exp_binary64_7115` `clear-num_binary64_7063` `*-commutative_binary64_6995` `frac-2neg_binary64_7075`

Counts

2 → 49

Calls

4 calls:

22.0ms	(/.f64 (+.f64 (.f64 x (.f64 x 13456)) -256) (+.f64 (*.f64 x 116) 16))
10.0ms	(.f64 x (.f64 x 13456))
0.0ms	(/.f64 (+.f64 (.f64 x (.f64 x 13456)) -256) (+.f64 (*.f64 x 116) 16))
0.0ms	(.f64 x (.f64 x 13456))

series170.0ms (5.4%)

Counts

2 → 9

Calls

2 calls:

125.0ms	(/.f64 (+.f64 (.f64 x (.f64 x 13456)) -256) (+.f64 (*.f64 x 116) 16))
45.0ms	(.f64 x (.f64 x 13456))

Compiler

Compiled 115 to 110 computations (4.3% saved)

simplify79.0ms (2.5%)

Algorithm

1×	egg-herbie

Counts

58 → 58

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4960	1055
1	4960	1055

prune98.0ms (3.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	58	0	58
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	58	3	61

Error

Counts

61 → 3

Compiler

Compiled 1092 to 872 computations (20.1% saved)

localize13.0ms (0.4%)

Local error

Found 8 expressions with local error:

0.1b	(sqrt.f64 (-.f64 (*.f64 x 116) 16))
0.1b	(sqrt.f64 (-.f64 (*.f64 x 116) 16))
0.0b	(-.f64 (*.f64 x 116) 16)
0.0b	(-.f64 (*.f64 x 116) 16)
0.0b	(-.f64 (*.f64 x 116) 16)
0.1b	(sqrt.f64 (-.f64 (*.f64 x 116) 16))
0.1b	(sqrt.f64 (-.f64 (*.f64 x 116) 16))
0.2b	(.f64 (sqrt.f64 (-.f64 (.f64 x 116) 16)) (sqrt.f64 (-.f64 (*.f64 x 116) 16)))

rewrite66.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`add-sqr-sqrt_binary64_7086`
24×	`sqrt-prod_binary64_7080`
21×	`pow1_binary64_7125`
16×	`sqrt-div_binary64_7081`
15×	`add-cube-cbrt_binary64_7099` `*-un-lft-identity_binary64_7064`
10×	`pow1/2_binary64_7144` `sqrt-pow1_binary64_7082`
9×	`flip3--_binary64_7068` `flip--_binary64_7039`
8×	`swap-sqr_binary64_7031`
6×	`associate-l_binary64_7005` `associate-r_binary64_7004` `add-log-exp_binary64_7103` `add-cbrt-cube_binary64_7100` `add-exp-log_binary64_7102`
5×	`pow-prod-up_binary64_7134`
4×	`unswap-sqr_binary64_7032` `rem-sqrt-square_binary64_7077` `frac-times_binary64_7074`
3×	`pow-sqr_binary64_7037` `pow-prod-down_binary64_7135` `cancel-sign-sub-inv_binary64_7030`
2×	`associate-r/_binary64_7006` `associate-l/_binary64_7007`
1×	`sqr-abs_binary64_7079` `sub-neg_binary64_7057` `rem-square-sqrt_binary64_7076` `sqrt-unprod_binary64_7084` `cbrt-unprod_binary64_7097` `prod-exp_binary64_7113` `*-commutative_binary64_6995` `diff-log_binary64_7156` `pow-plus_binary64_7127` `pow2_binary64_7145`

Counts

4 → 102

Calls

8 calls:

26.0ms	(.f64 (sqrt.f64 (-.f64 (.f64 x 116) 16)) (sqrt.f64 (-.f64 (*.f64 x 116) 16)))
8.0ms	(-.f64 (*.f64 x 116) 16)
7.0ms	(sqrt.f64 (-.f64 (*.f64 x 116) 16))
7.0ms	(sqrt.f64 (-.f64 (*.f64 x 116) 16))
0.0ms	(-.f64 (*.f64 x 116) 16)

series162.0ms (5.1%)

Counts

4 → 17

Calls

4 calls:

56.0ms	(-.f64 (*.f64 x 116) 16)
53.0ms	(.f64 (sqrt.f64 (-.f64 (.f64 x 116) 16)) (sqrt.f64 (-.f64 (*.f64 x 116) 16)))
27.0ms	(sqrt.f64 (-.f64 (*.f64 x 116) 16))
26.0ms	(sqrt.f64 (-.f64 (*.f64 x 116) 16))

Compiler

Compiled 317 to 290 computations (8.5% saved)

simplify126.0ms (4%)

Algorithm

1×	egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 0 (88.0ms)

Iter	Nodes	Cost
0	4874	1290
1	4874	1290

prune181.0ms (5.7%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	119	0	119
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	119	3	122

Error

Counts

122 → 3

Compiler

Compiled 1710 to 1461 computations (14.6% saved)

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	28	75
1	28	75

regimes68.0ms (2.2%)

Accuracy

Total 0.0b remaining (63.4%)

Threshold costs 0.0b (63.4%)

Compiler

Compiled 116 to 118 computations (-1.7% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	7
1	8	7

end0.0ms (0%)

sample1.7s (52.3%)

Algorithm

1×

intervals

Results

238.0ms	7940×	body	128	valid
3.0ms	27×	body	1024	valid
2.0ms	25×	body	512	valid
0.0ms	8×	body	256	valid
0.0ms	1×	body	128	invalid

Compiler

Compiled 168 to 172 computations (-2.4% saved)

Pareto

0.39313094051034103

Details

analyze6.0ms (0.2%)

sample24.0ms (0.8%)

simplify153.0ms (4.9%)

prune4.0ms (0.1%)

localize7.0ms (0.2%)

rewrite12.0ms (0.4%)

series52.0ms (1.6%)

simplify188.0ms (5.9%)

prune31.0ms (1%)

localize17.0ms (0.5%)

rewrite40.0ms (1.3%)

series170.0ms (5.4%)

simplify79.0ms (2.5%)

prune98.0ms (3.1%)

localize13.0ms (0.4%)

rewrite66.0ms (2.1%)

series162.0ms (5.1%)

simplify126.0ms (4%)

prune181.0ms (5.7%)

simplify6.0ms (0.2%)

regimes68.0ms (2.2%)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample1.7s (52.3%)

Profiling