Details

analyze1.4s (9.4%)

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)

sample34.0ms (0.2%)

Algorithm

1×

intervals

Results

13.0ms	256×	body	128	valid
0.0ms	9×	body	128	invalid

Compiler

Compiled 35 to 37 computations (-5.7% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	48	25
1	48	25

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

21.2b

Counts

2 → 1

Compiler

Compiled 34 to 30 computations (11.8% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t))
4.7b	(/.f64 (*.f64 y b) t)
6.2b	(/.f64 (*.f64 y z) t)
16.5b	(/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t)))

rewrite179.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

16.9b

Rules

61×	`*-un-lft-identity_binary64_17469`
26×	`times-frac_binary64_17475`
24×	`distribute-lft-out_binary64_17420`
19×	`add-cube-cbrt_binary64_17504` `add-sqr-sqrt_binary64_17491`
16×	`add-exp-log_binary64_17507` `add-cbrt-cube_binary64_17505`
11×	`associate-/r*_binary64_17413`
9×	`add-log-exp_binary64_17508`
6×	`associate-/l*_binary64_17414`
5×	`div-exp_binary64_17520` `cbrt-undiv_binary64_17503` `flip3-+_binary64_17472` `flip-+_binary64_17443`
4×	`pow1_binary64_17530` `frac-add_binary64_17477` `associate-/r/_binary64_17415`
3×	`frac-2neg_binary64_17480` `clear-num_binary64_17468` `div-inv_binary64_17466` `sum-log_binary64_17560`
2×	`associate-/l/_binary64_17416` `prod-exp_binary64_17518` `cbrt-unprod_binary64_17502`
1×	`associate-+l+_binary64_17402` `+-commutative_binary64_17399`

Counts

4 → 106

Calls

4 calls:

18.0ms	(/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t)))
8.0ms	(+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t))
4.0ms	(/.f64 (*.f64 y b) t)
4.0ms	(/.f64 (*.f64 y z) t)

Compiler

Compiled 2888 to 960 computations (66.8% saved)

series1.6s (10.3%)

Error

3.2b

Counts

4 → 85

Calls

4 calls:

1.1s	(/.f64 (+.f64 x (/.f64 (.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 (.f64 y b) t)))
175.0ms	(+.f64 (+.f64 a 1) (/.f64 (*.f64 y b) t))
99.0ms	(/.f64 (*.f64 y z) t)
97.0ms	(/.f64 (*.f64 y b) t)

Compiler

Compiled 6890 to 4529 computations (34.3% saved)

simplify97.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

191 → 191

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	4998	4992
1	4998	4992

prune204.0ms (1.4%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	180	11	191
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	181	11	192

Error

2.1b

Counts

192 → 11

Compiler

Compiled 5019 to 1589 computations (68.3% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b)))
4.3b	(/.f64 y (/.f64 t b))
6.2b	(/.f64 (*.f64 y z) t)
16.5b	(/.f64 (+.f64 x (/.f64 (*.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b))))

rewrite226.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

0.7b

Rules

101×	`*-un-lft-identity_binary64_17469`
98×	`times-frac_binary64_17475`
59×	`add-cube-cbrt_binary64_17504` `add-sqr-sqrt_binary64_17491`
24×	`distribute-lft-out_binary64_17420`
21×	`associate-/r*_binary64_17413`
16×	`add-exp-log_binary64_17507` `add-cbrt-cube_binary64_17505`
9×	`add-log-exp_binary64_17508`
8×	`associate-/l*_binary64_17414`
7×	`div-inv_binary64_17466`
6×	`div-exp_binary64_17520` `cbrt-undiv_binary64_17503`
5×	`flip3-+_binary64_17472` `flip-+_binary64_17443` `associate-/r/_binary64_17415`
4×	`pow1_binary64_17530` `frac-add_binary64_17477`
3×	`frac-2neg_binary64_17480` `clear-num_binary64_17468` `sum-log_binary64_17560`
2×	`associate-/l/_binary64_17416`
1×	`prod-exp_binary64_17518` `cbrt-unprod_binary64_17502` `associate-+l+_binary64_17402` `+-commutative_binary64_17399`

Counts

4 → 155

Calls

4 calls:

25.0ms	(/.f64 (+.f64 x (/.f64 (*.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b))))
18.0ms	(+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b)))
9.0ms	(/.f64 y (/.f64 t b))
4.0ms	(/.f64 (*.f64 y z) t)

Compiler

Compiled 4281 to 1371 computations (68% saved)

series1.3s (8.8%)

Error

1.7b

Counts

4 → 85

Calls

4 calls:

873.0ms	(/.f64 (+.f64 x (/.f64 (*.f64 y z) t)) (+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b))))
176.0ms	(+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b)))
104.0ms	(/.f64 y (/.f64 t b))
92.0ms	(/.f64 (*.f64 y z) t)

Compiler

Compiled 6890 to 4531 computations (34.2% saved)

simplify90.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

240 → 240

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5359	5981

prune222.0ms (1.5%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	235	5	240
Fresh	3	7	10
Picked	1	0	1
Done	0	0	0
Total	239	12	251

Error

0.7b

Counts

251 → 12

Compiler

Compiled 6367 to 1958 computations (69.2% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b)))
4.3b	(/.f64 y (/.f64 t z))
4.3b	(/.f64 y (/.f64 t b))
16.5b	(/.f64 (+.f64 x (/.f64 y (/.f64 t z))) (+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b))))

rewrite275.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

0.7b

Rules

170×	`times-frac_binary64_17475`
141×	`*-un-lft-identity_binary64_17469`
99×	`add-cube-cbrt_binary64_17504` `add-sqr-sqrt_binary64_17491`
31×	`associate-/r*_binary64_17413`
24×	`distribute-lft-out_binary64_17420`
16×	`add-exp-log_binary64_17507` `add-cbrt-cube_binary64_17505`
11×	`div-inv_binary64_17466`
10×	`associate-/l*_binary64_17414`
9×	`add-log-exp_binary64_17508`
7×	`div-exp_binary64_17520` `cbrt-undiv_binary64_17503`
6×	`associate-/r/_binary64_17415`
5×	`flip3-+_binary64_17472` `flip-+_binary64_17443`
4×	`pow1_binary64_17530` `frac-add_binary64_17477`
3×	`frac-2neg_binary64_17480` `clear-num_binary64_17468` `sum-log_binary64_17560`
2×	`associate-/l/_binary64_17416`
1×	`associate-+l+_binary64_17402` `+-commutative_binary64_17399`

Counts

4 → 204

Calls

4 calls:

34.0ms	(/.f64 (+.f64 x (/.f64 y (/.f64 t z))) (+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b))))
18.0ms	(+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b)))
9.0ms	(/.f64 y (/.f64 t b))
6.0ms	(/.f64 y (/.f64 t z))

Compiler

Compiled 5666 to 1821 computations (67.9% saved)

series1.3s (8.8%)

Error

0.5b

Counts

4 → 85

Calls

4 calls:

871.0ms	(/.f64 (+.f64 x (/.f64 y (/.f64 t z))) (+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b))))
168.0ms	(+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b)))
103.0ms	(/.f64 y (/.f64 t b))
96.0ms	(/.f64 y (/.f64 t z))

Compiler

Compiled 6890 to 4531 computations (34.2% saved)

simplify119.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

289 → 289

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4999	6964
1	4999	6964

prune252.0ms (1.7%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	288	1	289
Fresh	2	9	11
Picked	0	1	1
Done	0	0	0
Total	290	11	301

Error

0.7b

Counts

301 → 11

Compiler

Compiled 7644 to 2297 computations (70% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b)))
4.3b	(/.f64 y (/.f64 t b))
5.1b	(/.f64 (/.f64 y t) (/.f64 1 z))
16.5b	(/.f64 (+.f64 x (/.f64 (/.f64 y t) (/.f64 1 z))) (+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b))))

rewrite642.0ms (4.3%)

Algorithm

1×	rewrite-expression-head

Error

0.7b

Rules

516×	`times-frac_binary64_17475`
295×	`*-un-lft-identity_binary64_17469`
253×	`add-cube-cbrt_binary64_17504` `add-sqr-sqrt_binary64_17491`
35×	`div-inv_binary64_17466`
33×	`add-exp-log_binary64_17507`
31×	`associate-/r*_binary64_17413`
24×	`distribute-lft-out_binary64_17420`
23×	`add-cbrt-cube_binary64_17505`
20×	`div-exp_binary64_17520` `associate-/l*_binary64_17414`
12×	`cbrt-undiv_binary64_17503`
9×	`add-log-exp_binary64_17508`
6×	`associate-/r/_binary64_17415`
5×	`flip3-+_binary64_17472` `flip-+_binary64_17443`
4×	`pow1_binary64_17530` `frac-add_binary64_17477`
3×	`frac-2neg_binary64_17480` `clear-num_binary64_17468` `associate-/l/_binary64_17416` `sum-log_binary64_17560`
2×	`1-exp_binary64_17513` `rec-exp_binary64_17519`
1×	`associate-+l+_binary64_17402` `+-commutative_binary64_17399`

Counts

4 → 353

Calls

4 calls:

67.0ms	(/.f64 (+.f64 x (/.f64 (/.f64 y t) (/.f64 1 z))) (+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b))))
25.0ms	(+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b)))
12.0ms	(/.f64 (/.f64 y t) (/.f64 1 z))
6.0ms	(/.f64 y (/.f64 t b))

Compiler

Compiled 11232 to 5081 computations (54.8% saved)

series1.4s (9%)

Error

0.5b

Counts

4 → 85

Calls

4 calls:

891.0ms	(/.f64 (+.f64 x (/.f64 (/.f64 y t) (/.f64 1 z))) (+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b))))
181.0ms	(+.f64 (+.f64 a 1) (/.f64 y (/.f64 t b)))
98.0ms	(/.f64 y (/.f64 t b))
98.0ms	(/.f64 (/.f64 y t) (/.f64 1 z))

Compiler

Compiled 7064 to 4774 computations (32.4% saved)

simplify125.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

438 → 438

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	5267	10841

prune482.0ms (3.2%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	438	0	438
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	438	11	449

Error

0.7b

Counts

449 → 11

Compiler

Compiled 12148 to 4218 computations (65.3% saved)

regimes2.3s (15.4%)

Accuracy

Total 6.9b remaining (90.1%)

Threshold costs 0b (0%)

Compiler

Compiled 21690 to 16063 computations (25.9% saved)

bsearch6.0ms (0%)

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

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	53	181
1	53	181

end0.0ms (0%)

sample2.7s (18.1%)

Algorithm

1×

intervals

Results

454.0ms	8000×	body	128	valid
14.0ms	273×	body	128	invalid

Compiler

Compiled 2872 to 2087 computations (27.3% saved)

Details

analyze1.4s (9.4%)

sample34.0ms (0.2%)

simplify7.0ms (0%)

prune3.0ms (0%)

localize12.0ms (0.1%)

rewrite179.0ms (1.2%)

series1.6s (10.3%)

simplify97.0ms (0.6%)

prune204.0ms (1.4%)

localize12.0ms (0.1%)

rewrite226.0ms (1.5%)

series1.3s (8.8%)

simplify90.0ms (0.6%)

prune222.0ms (1.5%)

localize13.0ms (0.1%)

rewrite275.0ms (1.8%)

series1.3s (8.8%)

simplify119.0ms (0.8%)

prune252.0ms (1.7%)

localize14.0ms (0.1%)

rewrite642.0ms (4.3%)

series1.4s (9%)

simplify125.0ms (0.8%)

prune482.0ms (3.2%)

regimes2.3s (15.4%)

bsearch6.0ms (0%)

simplify6.0ms (0%)

end0.0ms (0%)

sample2.7s (18.1%)

Profiling