Details

analyze964.0ms (10.1%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4872	91
1	4872	91
0	4	4
1	4	4

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
12.5%	87.3%	0.2%	8
18.7%	81.1%	0.2%	9
22.6%	77.2%	0.2%	10
25%	74.9%	0.2%	11
39.4%	60.4%	0.2%	12
46.5%	53.2%	0.3%	13
48%	51.4%	0.6%	14

Compiler

Compiled 12 to 11 computations (8.3% saved)

sample26.0ms (0.3%)

Algorithm

1×

intervals

Results

10.0ms	256×	body	128	valid
1.0ms	20×	body	128	invalid

Compiler

Compiled 23 to 25 computations (-8.7% saved)

simplify92.0ms (1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (87.0ms)

Iter	Nodes	Cost
0	1196	13
1	1196	13

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

5.5b

Counts

2 → 2

Compiler

Compiled 29 to 28 computations (3.4% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.2b	(/.f64 (/.f64 2 (-.f64 y t)) z)
5.8b	(*.f64 x (/.f64 (/.f64 2 (-.f64 y t)) z))

rewrite305.0ms (3.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

234×	`times-frac_binary64_13383`
161×	`add-sqr-sqrt_binary64_13399`
152×	`*-un-lft-identity_binary64_13377`
110×	`add-cube-cbrt_binary64_13412`
67×	`associate-r_binary64_13317`
21×	`difference-of-squares_binary64_13346` `distribute-lft-out--_binary64_13329` `associate-/l*_binary64_13322`
16×	`add-exp-log_binary64_13415` `add-cbrt-cube_binary64_13413`
14×	`associate-/r/_binary64_13323`
9×	`div-inv_binary64_13374`
7×	`flip3--_binary64_13381` `flip--_binary64_13352`
6×	`div-exp_binary64_13428` `cbrt-undiv_binary64_13411`
4×	`pow1_binary64_13438`
3×	`prod-exp_binary64_13426` `cbrt-unprod_binary64_13410` `unswap-sqr_binary64_13345` `associate-l_binary64_13318` `associate-/r*_binary64_13321`
2×	`add-log-exp_binary64_13416`
1×	`pow-prod-down_binary64_13448` `associate-r/_binary64_13319` `-commutative_binary64_13308` `frac-2neg_binary64_13388` `clear-num_binary64_13376` `associate-/l/_binary64_13324`

Counts

2 → 191

Calls

2 calls:

24.0ms	(*.f64 x (/.f64 (/.f64 2 (-.f64 y t)) z))
15.0ms	(/.f64 (/.f64 2 (-.f64 y t)) z)

Compiler

Compiled 4035 to 1911 computations (52.6% saved)

series395.0ms (4.2%)

Error

5.5b

Counts

2 → 36

Calls

2 calls:

235.0ms	(*.f64 x (/.f64 (/.f64 2 (-.f64 y t)) z))
128.0ms	(/.f64 (/.f64 2 (-.f64 y t)) z)

Compiler

Compiled 1554 to 1173 computations (24.5% saved)

simplify96.0ms (1%)

Algorithm

1×	egg-herbie

Counts

227 → 227

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5421	4555

prune271.0ms (2.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	220	7	227
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	221	8	229

Error

Counts

229 → 8

Compiler

Compiled 4325 to 1916 computations (55.7% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 (-.f64 y t))
0.5b	(cbrt.f64 (-.f64 y t))
0.5b	(*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t)))
4.9b	(.f64 (/.f64 x (.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t)))) (/.f64 (/.f64 2 (cbrt.f64 (-.f64 y t))) z))

rewrite419.0ms (4.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

179×	`times-frac_binary64_13383`
156×	`add-sqr-sqrt_binary64_13399`
128×	`*-un-lft-identity_binary64_13377`
102×	`associate-r_binary64_13317`
92×	`add-cube-cbrt_binary64_13412`
85×	`cbrt-prod_binary64_13408`
42×	`add-exp-log_binary64_13415`
34×	`cbrt-div_binary64_13409`
31×	`add-cbrt-cube_binary64_13413`
23×	`associate-l_binary64_13318`
17×	`flip3--_binary64_13381` `flip--_binary64_13352` `distribute-lft-out--_binary64_13329`
15×	`div-exp_binary64_13428` `cbrt-undiv_binary64_13411` `difference-of-squares_binary64_13346`
14×	`associate-/r/_binary64_13323`
13×	`pow1_binary64_13438` `prod-exp_binary64_13426` `cbrt-unprod_binary64_13410`
12×	`unswap-sqr_binary64_13345`
10×	`swap-sqr_binary64_13344`
9×	`frac-times_binary64_13387`
8×	`pow1/3_binary64_13459`
5×	`associate-l/_binary64_13320` `associate-r/_binary64_13319` `div-inv_binary64_13374`
4×	`add-log-exp_binary64_13416`
3×	`pow-prod-down_binary64_13448`
2×	`*-commutative_binary64_13308` `pow-prod-up_binary64_13447` `pow-sqr_binary64_13350`
1×	`pow2_binary64_13458` `pow-plus_binary64_13440`

Counts

4 → 233

Calls

4 calls:

66.0ms	(.f64 (/.f64 x (.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t)))) (/.f64 (/.f64 2 (cbrt.f64 (-.f64 y t))) z))
12.0ms	(*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t)))
3.0ms	(cbrt.f64 (-.f64 y t))
3.0ms	(cbrt.f64 (-.f64 y t))

Compiler

Compiled 7624 to 2197 computations (71.2% saved)

series1.0s (10.8%)

Error

Counts

4 → 62

Calls

4 calls:

396.0ms	(.f64 (/.f64 x (.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t)))) (/.f64 (/.f64 2 (cbrt.f64 (-.f64 y t))) z))
221.0ms	(*.f64 (cbrt.f64 (-.f64 y t)) (cbrt.f64 (-.f64 y t)))
170.0ms	(cbrt.f64 (-.f64 y t))
149.0ms	(cbrt.f64 (-.f64 y t))

Compiler

Compiled 4314 to 3248 computations (24.7% saved)

simplify120.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

295 → 295

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	4975	7779
1	4975	7779

prune396.0ms (4.2%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	294	1	295
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	295	8	303

Error

Counts

303 → 8

Compiler

Compiled 8378 to 2739 computations (67.3% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 z (-.f64 y t))
0.0b	(.f64 2 (/.f64 x (.f64 z (-.f64 y t))))
5.8b	(/.f64 x (*.f64 z (-.f64 y t)))

rewrite124.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

19×	`add-exp-log_binary64_13415` `add-cbrt-cube_binary64_13413`
18×	`add-sqr-sqrt_binary64_13399`
14×	`-un-lft-identity_binary64_13377` `associate-r*_binary64_13317`
12×	`add-cube-cbrt_binary64_13412`
7×	`pow1_binary64_13438` `associate-*r/_binary64_13319`
6×	`prod-exp_binary64_13426` `cbrt-unprod_binary64_13410` `times-frac_binary64_13383` `associate-l_binary64_13318` `cancel-sign-sub-inv_binary64_13343`
4×	`div-exp_binary64_13428` `cbrt-undiv_binary64_13411` `associate-/r/_binary64_13323` `distribute-rgt-in_binary64_13327` `distribute-lft-in_binary64_13326`
3×	`add-log-exp_binary64_13416` `flip3--_binary64_13381` `flip--_binary64_13352` `associate-/l*_binary64_13322`
2×	`div-inv_binary64_13374` `pow-prod-down_binary64_13448` `unswap-sqr_binary64_13345` `*-commutative_binary64_13308` `sub-neg_binary64_13370`
1×	`frac-2neg_binary64_13388` `clear-num_binary64_13376` `associate-/r*_binary64_13321` `difference-of-squares_binary64_13346` `distribute-lft-out--_binary64_13329`

Counts

3 → 82

Calls

3 calls:

21.0ms	(*.f64 z (-.f64 y t))
18.0ms	(.f64 2 (/.f64 x (.f64 z (-.f64 y t))))
6.0ms	(/.f64 x (*.f64 z (-.f64 y t)))

Compiler

Compiled 1315 to 466 computations (64.6% saved)

series594.0ms (6.2%)

Error

Counts

3 → 51

Calls

3 calls:

233.0ms	(.f64 2 (/.f64 x (.f64 z (-.f64 y t))))
229.0ms	(/.f64 x (*.f64 z (-.f64 y t)))
100.0ms	(*.f64 z (-.f64 y t))

Compiler

Compiled 1869 to 1339 computations (28.4% saved)

simplify57.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

133 → 133

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5232	1698

prune95.0ms (1%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	132	1	133
Fresh	3	2	5
Picked	0	1	1
Done	0	2	2
Total	135	6	141

Error

Counts

141 → 6

Compiler

Compiled 1733 to 579 computations (66.6% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
5.2b	(/.f64 (/.f64 x z) (-.f64 y t))

rewrite234.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

232×	`times-frac_binary64_13383`
171×	`add-sqr-sqrt_binary64_13399`
162×	`*-un-lft-identity_binary64_13377`
108×	`add-cube-cbrt_binary64_13412`
71×	`associate-r_binary64_13317`
27×	`difference-of-squares_binary64_13346` `distribute-lft-out--_binary64_13329`
16×	`add-exp-log_binary64_13415` `add-cbrt-cube_binary64_13413`
13×	`div-inv_binary64_13374` `associate-/l*_binary64_13322`
6×	`div-exp_binary64_13428` `cbrt-undiv_binary64_13411`
5×	`associate-/r*_binary64_13321`
4×	`pow1_binary64_13438` `associate-/r/_binary64_13323`
3×	`prod-exp_binary64_13426` `cbrt-unprod_binary64_13410` `unswap-sqr_binary64_13345` `associate-l_binary64_13318`
2×	`add-log-exp_binary64_13416` `flip3--_binary64_13381` `flip--_binary64_13352`
1×	`frac-2neg_binary64_13388` `clear-num_binary64_13376` `associate-/l/_binary64_13324` `pow-prod-down_binary64_13448` `associate-r/_binary64_13319` `-commutative_binary64_13308`

Counts

2 → 193

Calls

2 calls:

33.0ms	(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
9.0ms	(/.f64 (/.f64 x z) (-.f64 y t))

Compiler

Compiled 3993 to 1112 computations (72.2% saved)

series499.0ms (5.2%)

Error

Counts

2 → 36

Calls

2 calls:

256.0ms	(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
215.0ms	(/.f64 (/.f64 x z) (-.f64 y t))

Compiler

Compiled 1494 to 1072 computations (28.2% saved)

simplify102.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

229 → 229

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5183	4443

prune166.0ms (1.7%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	229	0	229
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	229	6	235

Error

Counts

235 → 6

Compiler

Compiled 4099 to 982 computations (76% saved)

regimes1.6s (16.6%)

Accuracy

Total 0.5b remaining (99.7%)

Threshold costs 0.5b (99.7%)

Compiler

Compiled 7575 to 6168 computations (18.6% saved)

bsearch3.0ms (0%)

Compiler: Compiled 7 to 7 computations (0% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	70	117
1	70	117

end0.0ms (0%)

sample1.9s (20.2%)

Algorithm

1×

intervals

Results

358.0ms	8000×	body	128	valid
33.0ms	699×	body	128	invalid

Compiler

Compiled 1221 to 950 computations (22.2% saved)

Details

analyze964.0ms (10.1%)

sample26.0ms (0.3%)

simplify92.0ms (1%)

prune5.0ms (0.1%)

localize7.0ms (0.1%)

rewrite305.0ms (3.2%)

series395.0ms (4.2%)

simplify96.0ms (1%)

prune271.0ms (2.8%)

localize10.0ms (0.1%)

rewrite419.0ms (4.4%)

series1.0s (10.8%)

simplify120.0ms (1.3%)

prune396.0ms (4.2%)

localize7.0ms (0.1%)

rewrite124.0ms (1.3%)

series594.0ms (6.2%)

simplify57.0ms (0.6%)

prune95.0ms (1%)

localize7.0ms (0.1%)

rewrite234.0ms (2.5%)

series499.0ms (5.2%)

simplify102.0ms (1.1%)

prune166.0ms (1.7%)

regimes1.6s (16.6%)

bsearch3.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample1.9s (20.2%)

Profiling