Details

analyze1.2s (6.9%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5273	209
0	5	5
1	5	5

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
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
1.8%	98%	0.2%	10
7.7%	92.1%	0.2%	11
10.4%	89.4%	0.2%	12
14.9%	84.9%	0.2%	13
16.2%	83.5%	0.3%	14

Compiler

Compiled 14 to 12 computations (14.3% saved)

sample29.0ms (0.2%)

Algorithm

1×

intervals

Results

9.0ms	225×	body	128	valid
2.0ms	42×	body	128	invalid
1.0ms	12×	body	512	valid
1.0ms	8×	body	1024	valid
1.0ms	10×	body	256	valid
0.0ms	1×	body	2048	valid

Compiler

Compiled 27 to 28 computations (-3.7% saved)

simplify91.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (85.0ms)

Iter	Nodes	Cost
0	4915	19
1	4915	19

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

Counts

2 → 1

Compiler

Compiled 26 to 22 computations (15.4% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 (-.f64 y x) (-.f64 z t))
1.6b	(+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))
15.3b	(/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t))

rewrite132.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

8.3b

Rules

19×	`add-sqr-sqrt_binary64_15104` `*-un-lft-identity_binary64_15082`
13×	`flip3--_binary64_15086` `flip--_binary64_15057`
10×	`add-exp-log_binary64_15120` `add-cbrt-cube_binary64_15118`
9×	`add-cube-cbrt_binary64_15117`
8×	`frac-times_binary64_15092` `associate-/l/_binary64_15029`
6×	`cancel-sign-sub-inv_binary64_15048`
5×	`pow1_binary64_15143` `add-log-exp_binary64_15121` `times-frac_binary64_15088` `associate-/r_binary64_15026` `associate-l_binary64_15023` `associate-r*_binary64_15022`
4×	`difference-of-squares_binary64_15051` `distribute-lft-out--_binary64_15034` `associate-l/_binary64_15025` `associate-r/_binary64_15024` `distribute-rgt-in_binary64_15032` `distribute-lft-in_binary64_15031`
2×	`prod-exp_binary64_15131` `div-exp_binary64_15133` `cbrt-undiv_binary64_15116` `cbrt-unprod_binary64_15115` `associate-/r/_binary64_15028` `sub-neg_binary64_15075`
1×	`frac-2neg_binary64_15093` `clear-num_binary64_15081` `div-inv_binary64_15079` `associate-/l_binary64_15027` `sum-log_binary64_15173` `flip3-+_binary64_15085` `flip-+_binary64_15056` `distribute-lft-out_binary64_15033` `+-commutative_binary64_15012` `pow-prod-down_binary64_15153` `unswap-sqr_binary64_15050` `-commutative_binary64_15013`

Counts

3 → 85

Calls

3 calls:

13.0ms	(+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))
13.0ms	(/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t))
10.0ms	(*.f64 (-.f64 y x) (-.f64 z t))

Compiler

Compiled 1987 to 456 computations (77.1% saved)

series1.8s (10.3%)

Error

1.1b

Counts

3 → 108

Calls

3 calls:

885.0ms	(+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))
556.0ms	(/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t))
187.0ms	(*.f64 (-.f64 y x) (-.f64 z t))

Compiler

Compiled 9386 to 4742 computations (49.5% saved)

simplify77.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

193 → 193

Iterations

Useful iterations: 0 (19.0ms)

Iter	Nodes	Cost
0	5238	7450

prune205.0ms (1.2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	183	10	193
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	184	10	194

Error

0.8b

Counts

194 → 10

Compiler

Compiled 6106 to 1241 computations (79.7% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (-.f64 z t) (-.f64 a t))
1.6b	(+.f64 x (*.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t))))
2.5b	(*.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t)))

rewrite137.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.7b

Rules

78×	`add-sqr-sqrt_binary64_15104`
73×	`*-un-lft-identity_binary64_15082`
51×	`times-frac_binary64_15088`
31×	`associate-r_binary64_15022`
27×	`add-cube-cbrt_binary64_15117`
23×	`difference-of-squares_binary64_15051` `distribute-lft-out--_binary64_15034`
10×	`add-exp-log_binary64_15120` `add-cbrt-cube_binary64_15118`
5×	`pow1_binary64_15143` `add-log-exp_binary64_15121` `flip3--_binary64_15086` `flip--_binary64_15057` `associate-l_binary64_15023` `associate-/l_binary64_15027` `associate-/r_binary64_15026`
4×	`associate-/r/_binary64_15028`
2×	`div-exp_binary64_15133` `prod-exp_binary64_15131` `cbrt-unprod_binary64_15115` `cbrt-undiv_binary64_15116` `frac-times_binary64_15092` `unswap-sqr_binary64_15050` `associate-*l/_binary64_15025` `div-inv_binary64_15079` `associate-/l/_binary64_15029`
1×	`pow-prod-down_binary64_15153` `associate-r/_binary64_15024` `-commutative_binary64_15013` `sum-log_binary64_15173` `flip3-+_binary64_15085` `flip-+_binary64_15056` `+-commutative_binary64_15012` `frac-2neg_binary64_15093` `div-sub_binary64_15087` `clear-num_binary64_15081`

Counts

3 → 119

Calls

3 calls:

22.0ms	(*.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t)))
8.0ms	(/.f64 (-.f64 z t) (-.f64 a t))
4.0ms	(+.f64 x (*.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t))))

Compiler

Compiled 2779 to 576 computations (79.3% saved)

series1.9s (10.7%)

Error

0.8b

Counts

3 → 114

Calls

3 calls:

905.0ms	(+.f64 x (*.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t))))
594.0ms	(*.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t)))
197.0ms	(/.f64 (-.f64 z t) (-.f64 a t))

Compiler

Compiled 10105 to 5330 computations (47.3% saved)

simplify94.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

233 → 233

Iterations

Useful iterations: 0 (21.0ms)

Iter	Nodes	Cost
0	4998	8791
1	4998	8791

prune262.0ms (1.5%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	230	3	233
Fresh	1	8	9
Picked	0	1	1
Done	0	0	0
Total	231	12	243

Error

0.7b

Counts

243 → 12

Compiler

Compiled 7349 to 1578 computations (78.5% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (-.f64 a t) (-.f64 z t))
1.6b	(+.f64 x (/.f64 (-.f64 y x) (/.f64 (-.f64 a t) (-.f64 z t))))
3.3b	(/.f64 (-.f64 y x) (/.f64 (-.f64 a t) (-.f64 z t)))

rewrite564.0ms (3.2%)

Algorithm

1×	rewrite-expression-head

Error

0.7b

Rules

330×	`times-frac_binary64_15088`
323×	`*-un-lft-identity_binary64_15082`
321×	`add-sqr-sqrt_binary64_15104`
113×	`add-cube-cbrt_binary64_15117`
104×	`difference-of-squares_binary64_15051` `distribute-lft-out--_binary64_15034`
36×	`associate-/r*_binary64_15026`
15×	`associate-/r/_binary64_15028`
10×	`add-exp-log_binary64_15120` `add-cbrt-cube_binary64_15118` `associate-/l*_binary64_15027`
9×	`flip3--_binary64_15086` `flip--_binary64_15057`
8×	`div-inv_binary64_15079`
5×	`add-log-exp_binary64_15121`
4×	`div-exp_binary64_15133` `cbrt-undiv_binary64_15116` `associate-/l/_binary64_15029`
3×	`pow1_binary64_15143` `div-sub_binary64_15087`
2×	`frac-2neg_binary64_15093` `clear-num_binary64_15081`
1×	`sum-log_binary64_15173` `flip3-+_binary64_15085` `flip-+_binary64_15056` `distribute-lft-out_binary64_15033` `associate-+r-_binary64_15016` `+-commutative_binary64_15012`

Counts

3 → 274

Calls

3 calls:

48.0ms	(+.f64 x (/.f64 (-.f64 y x) (/.f64 (-.f64 a t) (-.f64 z t))))
17.0ms	(/.f64 (-.f64 y x) (/.f64 (-.f64 a t) (-.f64 z t)))
9.0ms	(/.f64 (-.f64 a t) (-.f64 z t))

Compiler

Compiled 7392 to 1404 computations (81% saved)

series1.7s (10.1%)

Error

0.7b

Counts

3 → 105

Calls

3 calls:

887.0ms	(+.f64 x (/.f64 (-.f64 y x) (/.f64 (-.f64 a t) (-.f64 z t))))
554.0ms	(/.f64 (-.f64 y x) (/.f64 (-.f64 a t) (-.f64 z t)))
163.0ms	(/.f64 (-.f64 a t) (-.f64 z t))

Compiler

Compiled 9437 to 4918 computations (47.9% saved)

simplify164.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

379 → 379

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5654	14396

prune315.0ms (1.8%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	376	3	379
Fresh	4	6	10
Picked	0	1	1
Done	1	0	1
Total	381	10	391

Error

0.7b

Counts

391 → 10

Compiler

Compiled 11298 to 1857 computations (83.6% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 1 (-.f64 z t))
0.0b	(/.f64 (-.f64 y x) (-.f64 a t))
3.8b	(+.f64 x (/.f64 (/.f64 (-.f64 y x) (-.f64 a t)) (/.f64 1 (-.f64 z t))))
5.7b	(/.f64 (/.f64 (-.f64 y x) (-.f64 a t)) (/.f64 1 (-.f64 z t)))

rewrite1.5s (8.8%)

Algorithm

1×	rewrite-expression-head

Error

0.7b

Rules

1721×	`times-frac_binary64_15088`
1222×	`*-un-lft-identity_binary64_15082`
1220×	`add-sqr-sqrt_binary64_15104`
556×	`add-cube-cbrt_binary64_15117`
332×	`difference-of-squares_binary64_15051` `distribute-lft-out--_binary64_15034`
113×	`associate-/r/_binary64_15028`
57×	`div-inv_binary64_15079` `flip3--_binary64_15086` `flip--_binary64_15057`
39×	`associate-/l*_binary64_15027`
32×	`add-exp-log_binary64_15120`
31×	`associate-/r*_binary64_15026`
20×	`add-cbrt-cube_binary64_15118`
19×	`div-exp_binary64_15133`
10×	`cbrt-undiv_binary64_15116`
6×	`add-log-exp_binary64_15121`
5×	`pow1_binary64_15143` `div-sub_binary64_15087`
3×	`1-exp_binary64_15126` `rec-exp_binary64_15132` `frac-2neg_binary64_15093` `clear-num_binary64_15081` `associate-/l/_binary64_15029`
1×	`sum-log_binary64_15173` `flip3-+_binary64_15085` `flip-+_binary64_15056` `distribute-lft-out_binary64_15033` `associate-+r-_binary64_15016` `+-commutative_binary64_15012` `inv-pow_binary64_15167` `pow-flip_binary64_15156`

Counts

4 → 834

Calls

4 calls:

168.0ms	(+.f64 x (/.f64 (/.f64 (-.f64 y x) (-.f64 a t)) (/.f64 1 (-.f64 z t))))
32.0ms	(/.f64 (/.f64 (-.f64 y x) (-.f64 a t)) (/.f64 1 (-.f64 z t)))
8.0ms	(/.f64 (-.f64 y x) (-.f64 a t))
6.0ms	(/.f64 1 (-.f64 z t))

Compiler

Compiled 27845 to 9062 computations (67.5% saved)

series2.0s (11.8%)

Error

0.7b

Counts

4 → 135

Calls

4 calls:

940.0ms	(+.f64 x (/.f64 (/.f64 (-.f64 y x) (-.f64 a t)) (/.f64 1 (-.f64 z t))))
577.0ms	(/.f64 (/.f64 (-.f64 y x) (-.f64 a t)) (/.f64 1 (-.f64 z t)))
282.0ms	(/.f64 (-.f64 y x) (-.f64 a t))
66.0ms	(/.f64 1 (-.f64 z t))

Compiler

Compiled 11603 to 6301 computations (45.7% saved)

simplify357.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

969 → 969

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5052	40194

prune1.1s (6.5%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	969	0	969
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	969	10	979

Error

0.7b

Counts

979 → 10

Compiler

Compiled 30401 to 7468 computations (75.4% saved)

regimes1.3s (7.5%)

Accuracy

Total 5.9b remaining (87.6%)

Threshold costs 0b (0%)

Compiler

Compiled 11297 to 7733 computations (31.5% saved)

bsearch5.0ms (0%)

Compiler: Compiled 13 to 11 computations (15.4% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	138	142
1	138	142

end0.0ms (0%)

sample2.3s (13.2%)

Algorithm

1×

intervals

Results

289.0ms	6694×	body	128	valid
61.0ms	391×	body	1024	valid
58.0ms	485×	body	512	valid
53.0ms	1254×	body	128	invalid
27.0ms	360×	body	256	valid
13.0ms	70×	body	2048	valid

Compiler

Compiled 2017 to 1351 computations (33% saved)

Details

analyze1.2s (6.9%)

sample29.0ms (0.2%)

simplify91.0ms (0.5%)

prune2.0ms (0%)

localize9.0ms (0.1%)

rewrite132.0ms (0.8%)

series1.8s (10.3%)

simplify77.0ms (0.4%)

prune205.0ms (1.2%)

localize9.0ms (0.1%)

rewrite137.0ms (0.8%)

series1.9s (10.7%)

simplify94.0ms (0.5%)

prune262.0ms (1.5%)

localize9.0ms (0.1%)

rewrite564.0ms (3.2%)

series1.7s (10.1%)

simplify164.0ms (0.9%)

prune315.0ms (1.8%)

localize11.0ms (0.1%)

rewrite1.5s (8.8%)

series2.0s (11.8%)

simplify357.0ms (2.1%)

prune1.1s (6.5%)

regimes1.3s (7.5%)

bsearch5.0ms (0%)

simplify5.0ms (0%)

end0.0ms (0%)

sample2.3s (13.2%)

Profiling