Details

analyze3.4s (15.5%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5144	812
0	8	8
1	8	8

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	99.6%	0.4%	8
0%	99.6%	0.4%	9
0%	99.6%	0.4%	10
0%	99.6%	0.4%	11
0%	99.6%	0.4%	12
0%	99.6%	0.4%	13
0%	99.6%	0.4%	14

Compiler

Compiled 20 to 19 computations (5% saved)

sample130.0ms (0.6%)

Algorithm

1×

intervals

Results

35.0ms	256×	body	128	valid
21.0ms	206×	body	128	invalid

Compiler

Compiled 39 to 45 computations (-15.4% saved)

simplify847.0ms (3.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (837.0ms)

Iter	Nodes	Cost
0	3126	28
1	3126	28

prune5.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Error

6.4b

Counts

2 → 1

Compiler

Compiled 38 to 36 computations (5.3% saved)

localize27.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (+.f64 a (*.f64 b c)) c) i))
0.0b	(+.f64 (.f64 x y) (.f64 z t))
0.1b	(.f64 (+.f64 a (.f64 b c)) c)
8.1b	(.f64 (.f64 (+.f64 a (*.f64 b c)) c) i)

rewrite65.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`associate-*l/_binary64_20140`
11×	`add-exp-log_binary64_20235` `add-cbrt-cube_binary64_20233` `add-log-exp_binary64_20236` `pow1_binary64_20258`
9×	`add-sqr-sqrt_binary64_20219`
7×	`*-un-lft-identity_binary64_20197` `add-cube-cbrt_binary64_20232` `flip3-+_binary64_20200` `flip-+_binary64_20171`
6×	`associate-r_binary64_20137`
4×	`frac-sub_binary64_20206` `cbrt-unprod_binary64_20230` `prod-exp_binary64_20246` `pow-prod-down_binary64_20268` `associate-l_binary64_20138`
2×	`sum-log_binary64_20288` `*-commutative_binary64_20128` `diff-log_binary64_20289`
1×	`sub-neg_binary64_20190` `flip3--_binary64_20201` `associate--l+_binary64_20134` `unswap-sqr_binary64_20165` `+-commutative_binary64_20127` `cancel-sign-sub-inv_binary64_20163` `flip--_binary64_20172`

Counts

4 → 69

Calls

4 calls:

15.0ms	(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (+.f64 a (*.f64 b c)) c) i))
13.0ms	(.f64 (.f64 (+.f64 a (*.f64 b c)) c) i)
10.0ms	(.f64 (+.f64 a (.f64 b c)) c)
7.0ms	(+.f64 (.f64 x y) (.f64 z t))

series2.3s (10.2%)

Counts

4 → 114

Calls

4 calls:

1.4s	(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (+.f64 a (*.f64 b c)) c) i))
385.0ms	(.f64 (.f64 (+.f64 a (*.f64 b c)) c) i)
252.0ms	(+.f64 (.f64 x y) (.f64 z t))
226.0ms	(.f64 (+.f64 a (.f64 b c)) c)

Compiler

Compiled 3245 to 3194 computations (1.6% saved)

simplify122.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

183 → 183

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	5008	3128

prune278.0ms (1.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	178	5	183
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	179	5	184

Error

0.3b

Counts

184 → 5

Compiler

Compiled 3971 to 775 computations (80.5% saved)

localize28.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (+.f64 a (.f64 b c)) (*.f64 c i)))
0.0b	(+.f64 (.f64 x y) (.f64 z t))
4.5b	(.f64 (+.f64 a (.f64 b c)) (*.f64 c i))

rewrite42.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-log-exp_binary64_20236`
8×	`add-exp-log_binary64_20235` `add-cbrt-cube_binary64_20233` `pow1_binary64_20258`
6×	`associate-*l/_binary64_20140` `flip3-+_binary64_20200` `flip-+_binary64_20171`
4×	`add-sqr-sqrt_binary64_20219` `frac-sub_binary64_20206` `*-un-lft-identity_binary64_20197` `add-cube-cbrt_binary64_20232`
3×	`cbrt-unprod_binary64_20230` `prod-exp_binary64_20246` `pow-prod-down_binary64_20268` `associate-l_binary64_20138`
2×	`sum-log_binary64_20288` `diff-log_binary64_20289`
1×	`sub-neg_binary64_20190` `flip3--_binary64_20201` `associate--l+_binary64_20134` `+-commutative_binary64_20127` `-commutative_binary64_20128` `associate-r*_binary64_20137` `cancel-sign-sub-inv_binary64_20163` `flip--_binary64_20172`

Counts

3 → 49

Calls

3 calls:

15.0ms	(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (+.f64 a (.f64 b c)) (*.f64 c i)))
12.0ms	(.f64 (+.f64 a (.f64 b c)) (*.f64 c i))
7.0ms	(+.f64 (.f64 x y) (.f64 z t))

series2.1s (9.3%)

Counts

3 → 96

Calls

3 calls:

1.4s	(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (+.f64 a (.f64 b c)) (*.f64 c i)))
383.0ms	(.f64 (+.f64 a (.f64 b c)) (*.f64 c i))
258.0ms	(+.f64 (.f64 x y) (.f64 z t))

Compiler

Compiled 2722 to 2680 computations (1.5% saved)

simplify114.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	5037	2724

prune213.0ms (1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	143	2	145
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	143	7	150

Error

0.3b

Counts

150 → 7

Compiler

Compiled 3214 to 630 computations (80.4% saved)

localize36.0ms (0.2%)

Local error

Found 4 expressions with local error:

4.5b	(.f64 (+.f64 a (.f64 b c)) (*.f64 c i))
10.7b	(cbrt.f64 (.f64 (+.f64 a (.f64 b c)) (*.f64 c i)))
10.7b	(cbrt.f64 (.f64 (+.f64 a (.f64 b c)) (*.f64 c i)))
10.7b	(cbrt.f64 (.f64 (+.f64 a (.f64 b c)) (*.f64 c i)))

rewrite60.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-exp-log_binary64_20235` `add-cbrt-cube_binary64_20233` `pow1_binary64_20258`
8×	`associate-*l/_binary64_20140`
6×	`cbrt-div_binary64_20229`
5×	`add-sqr-sqrt_binary64_20219` `*-un-lft-identity_binary64_20197` `add-cube-cbrt_binary64_20232`
4×	`add-log-exp_binary64_20236` `flip3-+_binary64_20200` `flip-+_binary64_20171`
3×	`cbrt-prod_binary64_20228` `pow1/3_binary64_20279` `cbrt-unprod_binary64_20230` `prod-exp_binary64_20246` `pow-prod-down_binary64_20268` `associate-l_binary64_20138`
1×	`-commutative_binary64_20128` `associate-r*_binary64_20137`

Counts

4 → 53

Calls

4 calls:

14.0ms	(.f64 (+.f64 a (.f64 b c)) (*.f64 c i))
11.0ms	(cbrt.f64 (.f64 (+.f64 a (.f64 b c)) (*.f64 c i)))
11.0ms	(cbrt.f64 (.f64 (+.f64 a (.f64 b c)) (*.f64 c i)))
11.0ms	(cbrt.f64 (.f64 (+.f64 a (.f64 b c)) (*.f64 c i)))

series2.8s (12.5%)

Counts

4 → 78

Calls

4 calls:

988.0ms	(cbrt.f64 (.f64 (+.f64 a (.f64 b c)) (*.f64 c i)))
705.0ms	(cbrt.f64 (.f64 (+.f64 a (.f64 b c)) (*.f64 c i)))
677.0ms	(cbrt.f64 (.f64 (+.f64 a (.f64 b c)) (*.f64 c i)))
409.0ms	(.f64 (+.f64 a (.f64 b c)) (*.f64 c i))

Compiler

Compiled 7259 to 4860 computations (33% saved)

simplify142.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

131 → 131

Iterations

Useful iterations: 0 (94.0ms)

Iter	Nodes	Cost
0	4974	2504
1	4974	2504

prune255.0ms (1.1%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	131	0	131
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	131	7	138

Error

0.3b

Counts

138 → 7

Compiler

Compiled 6265 to 942 computations (85% saved)

localize39.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.5b	(cbrt.f64 (+.f64 (.f64 x y) (.f64 z t)))
1.5b	(cbrt.f64 (+.f64 (.f64 x y) (.f64 z t)))
1.5b	(cbrt.f64 (+.f64 (.f64 x y) (.f64 z t)))
8.1b	(.f64 (.f64 (+.f64 a (*.f64 b c)) c) i)

rewrite46.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-exp-log_binary64_20235` `cbrt-prod_binary64_20228` `add-cbrt-cube_binary64_20233` `pow1_binary64_20258`
8×	`add-sqr-sqrt_binary64_20219` `*-un-lft-identity_binary64_20197` `add-cube-cbrt_binary64_20232`
6×	`cbrt-div_binary64_20229`
4×	`add-log-exp_binary64_20236` `associate-*l/_binary64_20140` `flip3-+_binary64_20200` `flip-+_binary64_20171`
3×	`pow1/3_binary64_20279` `cbrt-unprod_binary64_20230` `prod-exp_binary64_20246` `pow-prod-down_binary64_20268` `associate-r_binary64_20137`
1×	`-commutative_binary64_20128` `associate-l*_binary64_20138`

Counts

4 → 59

Calls

4 calls:

13.0ms	(.f64 (.f64 (+.f64 a (*.f64 b c)) c) i)
7.0ms	(cbrt.f64 (+.f64 (.f64 x y) (.f64 z t)))
7.0ms	(cbrt.f64 (+.f64 (.f64 x y) (.f64 z t)))
6.0ms	(cbrt.f64 (+.f64 (.f64 x y) (.f64 z t)))

series2.2s (10%)

Counts

4 → 99

Calls

4 calls:

613.0ms	(cbrt.f64 (+.f64 (.f64 x y) (.f64 z t)))
610.0ms	(cbrt.f64 (+.f64 (.f64 x y) (.f64 z t)))
607.0ms	(cbrt.f64 (+.f64 (.f64 x y) (.f64 z t)))
392.0ms	(.f64 (.f64 (+.f64 a (*.f64 b c)) c) i)

Compiler

Compiled 8630 to 5933 computations (31.3% saved)

simplify109.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

158 → 158

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5429	3772

prune314.0ms (1.4%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	158	0	158
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	158	7	165

Error

0.3b

Counts

165 → 7

Compiler

Compiled 7292 to 1216 computations (83.3% saved)

regimes1.5s (7%)

Accuracy

Total 1.0b remaining (56.4%)

Threshold costs 0b (0%)

Compiler

Compiled 10935 to 8733 computations (20.1% saved)

bsearch0.0ms (0%)

simplify47.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	95	28
1	95	28

Compiler

Compiled 76 to 72 computations (5.3% saved)

end0.0ms (0%)

sample5.0s (22.4%)

Algorithm

1×

intervals

Results

865.0ms	8000×	body	128	valid
763.0ms	7166×	body	128	invalid

Compiler

Compiled 761 to 608 computations (20.1% saved)

Details

analyze3.4s (15.5%)

sample130.0ms (0.6%)

simplify847.0ms (3.8%)

prune5.0ms (0%)

localize27.0ms (0.1%)

rewrite65.0ms (0.3%)

series2.3s (10.2%)

simplify122.0ms (0.6%)

prune278.0ms (1.3%)

localize28.0ms (0.1%)

rewrite42.0ms (0.2%)

series2.1s (9.3%)

simplify114.0ms (0.5%)

prune213.0ms (1%)

localize36.0ms (0.2%)

rewrite60.0ms (0.3%)

series2.8s (12.5%)

simplify142.0ms (0.6%)

prune255.0ms (1.1%)

localize39.0ms (0.2%)

rewrite46.0ms (0.2%)

series2.2s (10%)

simplify109.0ms (0.5%)

prune314.0ms (1.4%)

regimes1.5s (7%)

bsearch0.0ms (0%)

simplify47.0ms (0.2%)

end0.0ms (0%)

sample5.0s (22.4%)

Profiling