Details

analyze1.5s (8.1%)

Algorithm

2×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5196	91
0	4	4
1	4	4

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	8
6.2%	93.6%	0.2%	9
6.2%	93.6%	0.2%	9
9.4%	90.4%	0.2%	10
9.4%	90.4%	0.2%	10
12.5%	85.6%	1.9%	11
12.5%	85.6%	1.9%	11
19.8%	76.5%	3.7%	12
19.8%	76.5%	3.7%	12
26.1%	64.4%	9.6%	13
26.1%	64.4%	9.6%	13
31.7%	54.5%	13.7%	14
31.7%	54.5%	13.7%	14

Compiler

Compiled 20 to 18 computations (10% saved)

sample1.4s (7.9%)

Algorithm

2×

intervals

Results

15.0ms	512×	body	128	valid
11.0ms	278×	body	128	invalid

Compiler

Compiled 3979 to 5169 computations (-29.9% saved)

simplify122.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (117.0ms)

Iter	Nodes	Cost
0	1582	13
1	1582	13

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

0.0b

Counts

2 → 1

Compiler

Compiled 18 to 16 computations (11.1% saved)

localize7.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))
0.0b	(*.f64 (-.f64 y z) (-.f64 t x))

rewrite71.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

14×	`add-sqr-sqrt_binary64_19537`
12×	`*-un-lft-identity_binary64_19515` `cancel-sign-sub-inv_binary64_19481`
8×	`add-cube-cbrt_binary64_19550` `distribute-rgt-in_binary64_19465` `distribute-lft-in_binary64_19464` `associate-+r+_binary64_19447`
6×	`flip3--_binary64_19519` `flip--_binary64_19490`
5×	`associate-l_binary64_19456` `associate-r_binary64_19455`
4×	`pow1_binary64_19576` `add-exp-log_binary64_19553` `add-log-exp_binary64_19554` `add-cbrt-cube_binary64_19551` `frac-times_binary64_19525` `sub-neg_binary64_19508`
2×	`associate-l/_binary64_19458` `associate-r/_binary64_19457` `difference-of-squares_binary64_19484` `distribute-lft-out--_binary64_19467`
1×	`pow-prod-down_binary64_19586` `prod-exp_binary64_19564` `cbrt-unprod_binary64_19548` `unswap-sqr_binary64_19483` `*-commutative_binary64_19446` `sum-log_binary64_19606` `flip3-+_binary64_19518` `flip-+_binary64_19489` `+-commutative_binary64_19445`

Counts

2 → 57

Calls

2 calls:

12.0ms	(*.f64 (-.f64 y z) (-.f64 t x))
4.0ms	(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))

Compiler

Compiled 1056 to 258 computations (75.6% saved)

series715.0ms (4%)

Error

0.0b

Counts

2 → 48

Calls

2 calls:

418.0ms	(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))
266.0ms	(*.f64 (-.f64 y z) (-.f64 t x))

Compiler

Compiled 1588 to 833 computations (47.5% saved)

simplify69.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5123	1382

prune79.0ms (0.4%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	101	4	105
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	102	4	106

Error

0.0b

Counts

106 → 4

Compiler

Compiled 1402 to 282 computations (79.9% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 t (-.f64 y z))
0.0b	(*.f64 x (-.f64 z y))
0.0b	(+.f64 x (+.f64 (.f64 t (-.f64 y z)) (.f64 x (-.f64 z y))))
0.0b	(+.f64 (.f64 t (-.f64 y z)) (.f64 x (-.f64 z y)))

rewrite143.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

24×	`add-sqr-sqrt_binary64_19537` `cancel-sign-sub-inv_binary64_19481`
22×	`*-un-lft-identity_binary64_19515`
16×	`add-cube-cbrt_binary64_19550` `distribute-rgt-in_binary64_19465` `distribute-lft-in_binary64_19464`
12×	`associate-*r/_binary64_19457`
11×	`add-log-exp_binary64_19554`
10×	`associate-r_binary64_19455`
9×	`associate-+r+_binary64_19447`
8×	`pow1_binary64_19576` `add-exp-log_binary64_19553` `add-cbrt-cube_binary64_19551` `sub-neg_binary64_19508` `associate-+l+_binary64_19448`
6×	`flip3--_binary64_19519` `flip--_binary64_19490` `associate-l_binary64_19456`
4×	`sum-log_binary64_19606` `frac-add_binary64_19523`
2×	`flip3-+_binary64_19518` `flip-+_binary64_19489` `+-commutative_binary64_19445` `pow-prod-down_binary64_19586` `prod-exp_binary64_19564` `cbrt-unprod_binary64_19548` `unswap-sqr_binary64_19483` `difference-of-squares_binary64_19484` `distribute-lft-out--_binary64_19467` `*-commutative_binary64_19446`
1×	`distribute-lft-out_binary64_19466`

Counts

4 → 105

Calls

4 calls:

10.0ms	(+.f64 (.f64 t (-.f64 y z)) (.f64 x (-.f64 z y)))
8.0ms	(+.f64 x (+.f64 (.f64 t (-.f64 y z)) (.f64 x (-.f64 z y))))
7.0ms	(*.f64 t (-.f64 y z))
7.0ms	(*.f64 x (-.f64 z y))

Compiler

Compiled 2309 to 524 computations (77.3% saved)

series1.2s (6.5%)

Error

0.0b

Counts

4 → 78

Calls

4 calls:

418.0ms	(+.f64 (.f64 t (-.f64 y z)) (.f64 x (-.f64 z y)))
417.0ms	(+.f64 x (+.f64 (.f64 t (-.f64 y z)) (.f64 x (-.f64 z y))))
141.0ms	(*.f64 t (-.f64 y z))
135.0ms	(*.f64 x (-.f64 z y))

Compiler

Compiled 2658 to 1375 computations (48.3% saved)

simplify74.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

183 → 183

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5147	2477

prune140.0ms (0.8%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	181	2	183
Fresh	1	2	3
Picked	1	0	1
Done	0	0	0
Total	183	4	187

Error

Counts

187 → 4

Compiler

Compiled 2986 to 459 computations (84.6% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 x (-.f64 z y))
0.0b	(-.f64 (.f64 x (-.f64 z y)) (.f64 z t))
0.0b	(+.f64 x (+.f64 (.f64 y t) (-.f64 (.f64 x (-.f64 z y)) (*.f64 z t))))
0.0b	(+.f64 (.f64 y t) (-.f64 (.f64 x (-.f64 z y)) (*.f64 z t)))

rewrite128.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

20×	`add-log-exp_binary64_19554` `cancel-sign-sub-inv_binary64_19481`
16×	`add-sqr-sqrt_binary64_19537` `*-un-lft-identity_binary64_19515` `associate--l+_binary64_19452`
12×	`add-cube-cbrt_binary64_19550` `distribute-rgt-in_binary64_19465` `distribute-lft-in_binary64_19464`
11×	`associate-+r+_binary64_19447`
8×	`sub-neg_binary64_19508`
7×	`sum-log_binary64_19606`
6×	`pow1_binary64_19576` `add-exp-log_binary64_19553` `add-cbrt-cube_binary64_19551`
5×	`associate-r_binary64_19455`
3×	`diff-log_binary64_19607` `associate-+r-_binary64_19449` `associate-l_binary64_19456`
2×	`flip3-+_binary64_19518` `flip-+_binary64_19489` `+-commutative_binary64_19445` `flip3--_binary64_19519` `flip--_binary64_19490` `associate-*r/_binary64_19457`
1×	`distribute-lft-out_binary64_19466` `pow-prod-down_binary64_19586` `prod-exp_binary64_19564` `cbrt-unprod_binary64_19548` `unswap-sqr_binary64_19483` `difference-of-squares_binary64_19484` `distribute-lft-out--_binary64_19467` `*-commutative_binary64_19446`

Counts

4 → 89

Calls

4 calls:

10.0ms	(+.f64 (.f64 y t) (-.f64 (.f64 x (-.f64 z y)) (*.f64 z t)))
10.0ms	(+.f64 x (+.f64 (.f64 y t) (-.f64 (.f64 x (-.f64 z y)) (*.f64 z t))))
7.0ms	(*.f64 x (-.f64 z y))
7.0ms	(-.f64 (.f64 x (-.f64 z y)) (.f64 z t))

Compiler

Compiled 2105 to 432 computations (79.5% saved)

series1.3s (7.4%)

Error

Counts

4 → 87

Calls

4 calls:

438.0ms	(+.f64 x (+.f64 (.f64 y t) (-.f64 (.f64 x (-.f64 z y)) (*.f64 z t))))
399.0ms	(+.f64 (.f64 y t) (-.f64 (.f64 x (-.f64 z y)) (*.f64 z t)))
293.0ms	(-.f64 (.f64 x (-.f64 z y)) (.f64 z t))
142.0ms	(*.f64 x (-.f64 z y))

Compiler

Compiled 3097 to 1590 computations (48.7% saved)

simplify81.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

176 → 176

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4921	2386
1	4921	2386

prune133.0ms (0.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	176	0	176
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	176	4	180

Error

Counts

180 → 4

Compiler

Compiled 2902 to 403 computations (86.1% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (.f64 (-.f64 t x) (-.f64 y z))) (cbrt.f64 (*.f64 (-.f64 t x) (-.f64 y z))))
2.2b	(cbrt.f64 (*.f64 (-.f64 t x) (-.f64 y z)))
2.2b	(cbrt.f64 (*.f64 (-.f64 t x) (-.f64 y z)))
2.2b	(cbrt.f64 (*.f64 (-.f64 t x) (-.f64 y z)))

rewrite339.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

168×	`cbrt-div_binary64_19547`
148×	`frac-times_binary64_19525`
126×	`flip3--_binary64_19519` `flip--_binary64_19490`
50×	`associate-l/_binary64_19458` `associate-r/_binary64_19457`
11×	`pow1_binary64_19576`
10×	`add-sqr-sqrt_binary64_19537`
9×	`pow1/3_binary64_19597`
8×	`add-cube-cbrt_binary64_19550` `*-un-lft-identity_binary64_19515`
7×	`cbrt-prod_binary64_19546`
6×	`add-exp-log_binary64_19553`
4×	`add-log-exp_binary64_19554` `add-cbrt-cube_binary64_19551` `swap-sqr_binary64_19482` `associate-l_binary64_19456` `associate-r_binary64_19455`
2×	`pow-prod-down_binary64_19586` `pow-prod-up_binary64_19585` `pow-sqr_binary64_19488`
1×	`pow2_binary64_19596` `pow-plus_binary64_19578` `prod-exp_binary64_19564` `cbrt-unprod_binary64_19548` `unswap-sqr_binary64_19483` `*-commutative_binary64_19446`

Counts

4 → 162

Calls

4 calls:

11.0ms	(.f64 (cbrt.f64 (.f64 (-.f64 t x) (-.f64 y z))) (cbrt.f64 (*.f64 (-.f64 t x) (-.f64 y z))))
8.0ms	(cbrt.f64 (*.f64 (-.f64 t x) (-.f64 y z)))
7.0ms	(cbrt.f64 (*.f64 (-.f64 t x) (-.f64 y z)))
7.0ms	(cbrt.f64 (*.f64 (-.f64 t x) (-.f64 y z)))

Compiler

Compiled 8147 to 1583 computations (80.6% saved)

series8.1s (45%)

Error

Counts

4 → 104

Calls

4 calls:

3.9s	(.f64 (cbrt.f64 (.f64 (-.f64 t x) (-.f64 y z))) (cbrt.f64 (*.f64 (-.f64 t x) (-.f64 y z))))
1.4s	(cbrt.f64 (*.f64 (-.f64 t x) (-.f64 y z)))
1.2s	(cbrt.f64 (*.f64 (-.f64 t x) (-.f64 y z)))
1.2s	(cbrt.f64 (*.f64 (-.f64 t x) (-.f64 y z)))

Compiler

Compiled 26203 to 16352 computations (37.6% saved)

simplify149.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

266 → 266

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5035	16225

prune620.0ms (3.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	266	0	266
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	266	4	270

Error

Counts

270 → 4

Compiler

Compiled 15212 to 4445 computations (70.8% saved)

regimes371.0ms (2.1%)

Accuracy

Total 0.0b remaining (83.3%)

Threshold costs 0.0b (83.3%)

Compiler

Compiled 3013 to 2298 computations (23.7% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	51	22
1	51	22

end0.0ms (0%)

sample1.2s (6.9%)

Algorithm

1×

intervals

Results

232.0ms	8000×	body	128	valid
128.0ms	4180×	body	128	invalid

Compiler

Compiled 512 to 392 computations (23.4% saved)

Details

analyze1.5s (8.1%)

sample1.4s (7.9%)

simplify122.0ms (0.7%)

prune2.0ms (0%)

localize7.0ms (0%)

rewrite71.0ms (0.4%)

series715.0ms (4%)

simplify69.0ms (0.4%)

prune79.0ms (0.4%)

localize9.0ms (0.1%)

rewrite143.0ms (0.8%)

series1.2s (6.5%)

simplify74.0ms (0.4%)

prune140.0ms (0.8%)

localize10.0ms (0.1%)

rewrite128.0ms (0.7%)

series1.3s (7.4%)

simplify81.0ms (0.5%)

prune133.0ms (0.7%)

localize11.0ms (0.1%)

rewrite339.0ms (1.9%)

series8.1s (45%)

simplify149.0ms (0.8%)

prune620.0ms (3.4%)

regimes371.0ms (2.1%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.2s (6.9%)

Profiling