Details

analyze2.5s (13.7%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	382	400
1	382	400
0	6	6
1	6	6

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
5.8%	93.9%	0.3%	11
8.4%	91.3%	0.3%	12
9.7%	90%	0.3%	13
10.7%	89%	0.3%	14

Compiler

Compiled 18 to 16 computations (11.1% saved)

sample45.0ms (0.2%)

Algorithm

1×

intervals

Results

23.0ms	256×	body	128	valid
1.0ms	9×	body	128	invalid

Compiler

Compiled 35 to 37 computations (-5.7% saved)

simplify14.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	48	25
1	48	25

prune5.0ms (0%)

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

14.7b

Counts

2 → 1

Compiler

Compiled 34 to 30 computations (11.8% saved)

localize23.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t))
4.4b	(/.f64 (*.f64 y z) t)
7.0b	(/.f64 (*.f64 y b) t)
10.7b	(/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t)))

rewrite76.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

61×	`*-un-lft-identity_binary64_18151`
26×	`times-frac_binary64_18157`
24×	`distribute-lft-out_binary64_18102`
19×	`add-sqr-sqrt_binary64_18173` `add-cube-cbrt_binary64_18186`
16×	`add-cbrt-cube_binary64_18187` `add-exp-log_binary64_18189`
11×	`associate-/r*_binary64_18095`
9×	`add-log-exp_binary64_18190`
6×	`associate-/l*_binary64_18096`
5×	`div-exp_binary64_18202` `flip-+_binary64_18125` `cbrt-undiv_binary64_18185` `flip3-+_binary64_18154`
4×	`pow1_binary64_18212` `frac-add_binary64_18159` `associate-/r/_binary64_18097`
3×	`div-inv_binary64_18148` `clear-num_binary64_18150` `sum-log_binary64_18242` `frac-2neg_binary64_18162`
2×	`associate-/l/_binary64_18098` `prod-exp_binary64_18200` `cbrt-unprod_binary64_18184`
1×	`+-commutative_binary64_18081` `associate-+l+_binary64_18084`

Counts

4 → 106

Calls

4 calls:

25.0ms	(/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t)))
14.0ms	(+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t))
8.0ms	(/.f64 (*.f64 y b) t)
7.0ms	(/.f64 (*.f64 y z) t)

series2.1s (11.1%)

Counts

4 → 81

Calls

4 calls:

1.4s	(/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t)))
296.0ms	(+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t))
179.0ms	(/.f64 (*.f64 y z) t)
165.0ms	(/.f64 (*.f64 y b) t)

Compiler

Compiled 4287 to 3327 computations (22.4% saved)

simplify183.0ms (1%)

Algorithm

1×	egg-herbie

Counts

187 → 187

Iterations

Useful iterations: 0 (111.0ms)

Iter	Nodes	Cost
0	4977	4310
1	4977	4310

prune372.0ms (2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	177	10	187
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	178	10	188

Error

1.2b

Counts

188 → 10

Compiler

Compiled 4534 to 1434 computations (68.4% saved)

localize27.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t))
4.5b	(.f64 (.f64 y z) (/.f64 1 t))
7.0b	(/.f64 (*.f64 y b) t)
10.7b	(/.f64 (+.f64 x (.f64 (.f64 y z) (/.f64 1 t))) (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t)))

rewrite83.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

48×	`*-un-lft-identity_binary64_18151`
33×	`add-exp-log_binary64_18189`
27×	`times-frac_binary64_18157`
23×	`add-cbrt-cube_binary64_18187` `add-sqr-sqrt_binary64_18173` `add-cube-cbrt_binary64_18186`
15×	`distribute-lft-out_binary64_18102`
13×	`associate-r_binary64_18091` `prod-exp_binary64_18200`
9×	`pow1_binary64_18212` `add-log-exp_binary64_18190`
8×	`associate-/r*_binary64_18095`
7×	`div-exp_binary64_18202` `cbrt-unprod_binary64_18184`
5×	`flip-+_binary64_18125` `cbrt-undiv_binary64_18185` `flip3-+_binary64_18154`
4×	`associate-/l*_binary64_18096` `frac-add_binary64_18159` `associate-/r/_binary64_18097`
3×	`div-inv_binary64_18148` `pow-prod-down_binary64_18222` `sum-log_binary64_18242`
2×	`1-exp_binary64_18195` `rec-exp_binary64_18201` `associate-/l/_binary64_18098` `clear-num_binary64_18150` `frac-2neg_binary64_18162`
1×	`associate-r/_binary64_18093` `-commutative_binary64_18082` `un-div-inv_binary64_18149` `+-commutative_binary64_18081` `associate-+l+_binary64_18084` `associate-l_binary64_18092`

Counts

4 → 117

Calls

4 calls:

21.0ms	(/.f64 (+.f64 x (.f64 (.f64 y z) (/.f64 1 t))) (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t)))
20.0ms	(.f64 (.f64 y z) (/.f64 1 t))
14.0ms	(+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t))
7.0ms	(/.f64 (*.f64 y b) t)

series2.1s (11.2%)

Counts

4 → 81

Calls

4 calls:

1.4s	(/.f64 (+.f64 x (.f64 (.f64 y z) (/.f64 1 t))) (+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t)))
292.0ms	(+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t))
174.0ms	(/.f64 (*.f64 y b) t)
173.0ms	(.f64 (.f64 y z) (/.f64 1 t))

Compiler

Compiled 4395 to 3435 computations (21.8% saved)

simplify189.0ms (1%)

Algorithm

1×	egg-herbie

Counts

198 → 198

Iterations

Useful iterations: 0 (114.0ms)

Iter	Nodes	Cost
0	4987	4508
1	4987	4508

prune336.0ms (1.8%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	198	0	198
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	198	10	208

Error

1.2b

Counts

208 → 10

Compiler

Compiled 5079 to 1856 computations (63.5% saved)

localize27.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(/.f64 1 (/.f64 t (*.f64 y z)))
4.2b	(/.f64 t (*.f64 y z))
7.0b	(/.f64 (*.f64 y b) t)
10.7b	(/.f64 (+.f64 x (/.f64 1 (/.f64 t (.f64 y z)))) (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t)))

rewrite86.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

84×	`*-un-lft-identity_binary64_18151`
64×	`times-frac_binary64_18157`
37×	`add-exp-log_binary64_18189`
36×	`add-sqr-sqrt_binary64_18173` `add-cube-cbrt_binary64_18186`
30×	`distribute-lft-out_binary64_18102`
25×	`add-cbrt-cube_binary64_18187`
17×	`div-exp_binary64_18202`
16×	`associate-/r*_binary64_18095`
14×	`div-inv_binary64_18148`
12×	`associate-/l*_binary64_18096`
10×	`cbrt-undiv_binary64_18185`
5×	`pow1_binary64_18212` `associate-/r/_binary64_18097` `prod-exp_binary64_18200`
4×	`clear-num_binary64_18150` `frac-2neg_binary64_18162` `add-log-exp_binary64_18190`
3×	`1-exp_binary64_18195` `rec-exp_binary64_18201` `flip-+_binary64_18125` `cbrt-unprod_binary64_18184` `flip3-+_binary64_18154`
2×	`associate-/l/_binary64_18098` `frac-add_binary64_18159`
1×	`inv-pow_binary64_18236` `pow-flip_binary64_18225`

Counts

4 → 151

Calls

4 calls:

34.0ms	(/.f64 (+.f64 x (/.f64 1 (/.f64 t (.f64 y z)))) (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t)))
11.0ms	(/.f64 1 (/.f64 t (*.f64 y z)))
8.0ms	(/.f64 (*.f64 y b) t)
7.0ms	(/.f64 t (*.f64 y z))

series2.0s (10.5%)

Counts

4 → 66

Calls

4 calls:

1.4s	(/.f64 (+.f64 x (/.f64 1 (/.f64 t (.f64 y z)))) (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t)))
200.0ms	(/.f64 t (*.f64 y z))
190.0ms	(/.f64 (*.f64 y b) t)
174.0ms	(/.f64 1 (/.f64 t (*.f64 y z)))

Compiler

Compiled 4115 to 3167 computations (23% saved)

simplify172.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

217 → 217

Iterations

Useful iterations: 0 (87.0ms)

Iter	Nodes	Cost
0	4981	4980
1	4981	4980

prune363.0ms (1.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	217	0	217
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	217	10	227

Error

1.2b

Counts

227 → 10

Compiler

Compiled 5616 to 1929 computations (65.7% saved)

localize25.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (+.f64 a 1) (*.f64 y (/.f64 b t)))
4.4b	(/.f64 (*.f64 y z) t)
4.9b	(*.f64 y (/.f64 b t))
10.7b	(/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (+.f64 (+.f64 a 1) (.f64 y (/.f64 b t))))

rewrite74.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`*-un-lft-identity_binary64_18151`
28×	`add-sqr-sqrt_binary64_18173`
25×	`times-frac_binary64_18157`
23×	`add-cube-cbrt_binary64_18186`
16×	`add-cbrt-cube_binary64_18187` `add-exp-log_binary64_18189`
13×	`associate-r_binary64_18091`
9×	`add-log-exp_binary64_18190`
6×	`pow1_binary64_18212` `associate-/r*_binary64_18095`
5×	`associate-r/_binary64_18093` `associate-/l_binary64_18096` `flip-+_binary64_18125` `flip3-+_binary64_18154`
4×	`div-exp_binary64_18202` `distribute-lft-out_binary64_18102` `frac-add_binary64_18159` `associate-/r/_binary64_18097` `cbrt-undiv_binary64_18185`
3×	`div-inv_binary64_18148` `sum-log_binary64_18242` `associate-l_binary64_18092` `prod-exp_binary64_18200` `cbrt-unprod_binary64_18184`
2×	`associate-/l/_binary64_18098` `unswap-sqr_binary64_18119` `clear-num_binary64_18150` `frac-2neg_binary64_18162`
1×	`pow-prod-down_binary64_18222` `*-commutative_binary64_18082` `+-commutative_binary64_18081` `associate-+l+_binary64_18084`

Counts

4 → 105

Calls

4 calls:

21.0ms	(/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (+.f64 (+.f64 a 1) (.f64 y (/.f64 b t))))
12.0ms	(*.f64 y (/.f64 b t))
11.0ms	(+.f64 (+.f64 a 1) (*.f64 y (/.f64 b t)))
8.0ms	(/.f64 (*.f64 y z) t)

series2.0s (11%)

Counts

4 → 81

Calls

4 calls:

1.4s	(/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (+.f64 (+.f64 a 1) (.f64 y (/.f64 b t))))
298.0ms	(+.f64 (+.f64 a 1) (*.f64 y (/.f64 b t)))
189.0ms	(*.f64 y (/.f64 b t))
168.0ms	(/.f64 (*.f64 y z) t)

Compiler

Compiled 4287 to 3327 computations (22.4% saved)

simplify162.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

186 → 186

Iterations

Useful iterations: 0 (89.0ms)

Iter	Nodes	Cost
0	4982	4351
1	4982	4351

prune286.0ms (1.5%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	184	2	186
Fresh	1	6	7
Picked	0	1	1
Done	0	2	2
Total	185	11	196

Error

1.2b

Counts

196 → 11

Compiler

Compiled 4511 to 1292 computations (71.4% saved)

regimes2.1s (11.1%)

Accuracy

Total 7.4b remaining (83.1%)

Threshold costs 0b (0%)

Compiler

Compiled 10830 to 7849 computations (27.5% saved)

bsearch6.0ms (0%)

Compiler: Compiled 17 to 15 computations (11.8% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	33	111
1	33	111

end0.0ms (0%)

sample3.3s (17.8%)

Algorithm

1×

intervals

Results

813.0ms	8000×	body	128	valid
30.0ms	270×	body	128	invalid

Compiler

Compiled 1468 to 1038 computations (29.3% saved)

Details

analyze2.5s (13.7%)

sample45.0ms (0.2%)

simplify14.0ms (0.1%)

prune5.0ms (0%)

localize23.0ms (0.1%)

rewrite76.0ms (0.4%)

series2.1s (11.1%)

simplify183.0ms (1%)

prune372.0ms (2%)

localize27.0ms (0.1%)

rewrite83.0ms (0.4%)

series2.1s (11.2%)

simplify189.0ms (1%)

prune336.0ms (1.8%)

localize27.0ms (0.1%)

rewrite86.0ms (0.5%)

series2.0s (10.5%)

simplify172.0ms (0.9%)

prune363.0ms (1.9%)

localize25.0ms (0.1%)

rewrite74.0ms (0.4%)

series2.0s (11%)

simplify162.0ms (0.9%)

prune286.0ms (1.5%)

regimes2.1s (11.1%)

bsearch6.0ms (0%)

simplify5.0ms (0%)

end0.0ms (0%)

sample3.3s (17.8%)

Profiling