Details

analyze2.5s (16.8%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5056	1978
0	10	10
1	10	10

Search

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

Compiler

Compiled 32 to 30 computations (6.3% saved)

sample110.0ms (0.7%)

Algorithm

1×

intervals

Results

20.0ms	256×	body	128	valid
18.0ms	218×	body	128	invalid

Compiler

Compiled 63 to 69 computations (-9.5% saved)

simplify436.0ms (2.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (430.0ms)

Iter	Nodes	Cost
0	3064	43
1	3064	43

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

5.9b

Counts

2 → 2

Compiler

Compiled 89 to 85 computations (4.5% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 x 18) y)
0.5b	(.f64 (.f64 j 27) k)
4.4b	(.f64 (.f64 (.f64 (.f64 x 18) y) z) t)
4.9b	(.f64 (.f64 (*.f64 x 18) y) z)

rewrite185.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.8b

Rules

37×	`pow1_binary64_20258` `add-exp-log_binary64_20235` `add-cbrt-cube_binary64_20233`
22×	`pow-prod-down_binary64_20268` `prod-exp_binary64_20246` `cbrt-unprod_binary64_20230`
12×	`associate-r_binary64_20137`
8×	`add-cube-cbrt_binary64_20232` `add-sqr-sqrt_binary64_20219` `*-un-lft-identity_binary64_20197`
4×	`add-log-exp_binary64_20236` `associate-l_binary64_20138` `*-commutative_binary64_20128`

Counts

4 → 81

Calls

4 calls:

12.0ms	(.f64 (.f64 (*.f64 x 18) y) z)
10.0ms	(.f64 (.f64 (.f64 (.f64 x 18) y) z) t)
6.0ms	(.f64 (.f64 x 18) y)
5.0ms	(.f64 (.f64 j 27) k)

Compiler

Compiled 3022 to 1787 computations (40.9% saved)

series516.0ms (3.4%)

Error

3.3b

Counts

4 → 33

Calls

4 calls:

205.0ms	(.f64 (.f64 (.f64 (.f64 x 18) y) z) t)
128.0ms	(.f64 (.f64 (*.f64 x 18) y) z)
78.0ms	(.f64 (.f64 j 27) k)
60.0ms	(.f64 (.f64 x 18) y)

Compiler

Compiled 3069 to 2458 computations (19.9% saved)

simplify76.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5354	1238

prune186.0ms (1.2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	107	7	114
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	109	7	116

Error

0.8b

Counts

116 → 7

Compiler

Compiled 4053 to 2303 computations (43.2% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 18 (.f64 (.f64 x (.f64 z y)) t))
0.5b	(.f64 (.f64 j 27) k)
3.1b	(.f64 x (.f64 z y))
4.4b	(.f64 (.f64 x (*.f64 z y)) t)

rewrite156.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0.3b

Rules

37×	`pow1_binary64_20258` `add-exp-log_binary64_20235` `add-cbrt-cube_binary64_20233`
22×	`pow-prod-down_binary64_20268` `prod-exp_binary64_20246` `cbrt-unprod_binary64_20230`
8×	`add-cube-cbrt_binary64_20232` `add-sqr-sqrt_binary64_20219` `-un-lft-identity_binary64_20197` `associate-l_binary64_20138` `associate-r*_binary64_20137`
4×	`add-log-exp_binary64_20236` `*-commutative_binary64_20128`

Counts

4 → 81

Calls

4 calls:

12.0ms	(.f64 18 (.f64 (.f64 x (.f64 z y)) t))
7.0ms	(.f64 (.f64 x (*.f64 z y)) t)
5.0ms	(.f64 x (.f64 z y))
5.0ms	(.f64 (.f64 j 27) k)

Compiler

Compiled 3022 to 1497 computations (50.5% saved)

series576.0ms (3.8%)

Error

0.8b

Counts

4 → 39

Calls

4 calls:

193.0ms	(.f64 18 (.f64 (.f64 x (.f64 z y)) t))
176.0ms	(.f64 (.f64 x (*.f64 z y)) t)
97.0ms	(.f64 x (.f64 z y))
65.0ms	(.f64 (.f64 j 27) k)

Compiler

Compiled 3627 to 2857 computations (21.2% saved)

simplify68.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4989	1294
1	4989	1294

prune175.0ms (1.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	118	2	120
Fresh	2	4	6
Picked	0	1	1
Done	0	0	0
Total	120	7	127

Error

0.3b

Counts

127 → 7

Compiler

Compiled 4208 to 2182 computations (48.1% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 18 (.f64 x (.f64 t (.f64 z y))))
0.5b	(.f64 (.f64 j 27) k)
4.1b	(.f64 t (.f64 z y))
5.5b	(.f64 x (.f64 t (*.f64 z y)))

rewrite151.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

37×	`pow1_binary64_20258` `add-exp-log_binary64_20235` `add-cbrt-cube_binary64_20233`
22×	`pow-prod-down_binary64_20268` `prod-exp_binary64_20246` `cbrt-unprod_binary64_20230`
10×	`associate-l_binary64_20138`
8×	`add-cube-cbrt_binary64_20232` `add-sqr-sqrt_binary64_20219` `*-un-lft-identity_binary64_20197`
6×	`associate-r_binary64_20137`
4×	`add-log-exp_binary64_20236` `*-commutative_binary64_20128`

Counts

4 → 81

Calls

4 calls:

10.0ms	(.f64 18 (.f64 x (.f64 t (.f64 z y))))
7.0ms	(.f64 x (.f64 t (*.f64 z y)))
5.0ms	(.f64 t (.f64 z y))
5.0ms	(.f64 (.f64 j 27) k)

Compiler

Compiled 3022 to 1496 computations (50.5% saved)

series608.0ms (4%)

Error

0.3b

Counts

4 → 39

Calls

4 calls:

222.0ms	(.f64 18 (.f64 x (.f64 t (.f64 z y))))
184.0ms	(.f64 x (.f64 t (*.f64 z y)))
94.0ms	(.f64 t (.f64 z y))
63.0ms	(.f64 (.f64 j 27) k)

Compiler

Compiled 3627 to 2858 computations (21.2% saved)

simplify69.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5065	1283

prune168.0ms (1.1%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	119	1	120
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	119	8	127

Error

0.0b

Counts

127 → 8

Compiler

Compiled 4210 to 2186 computations (48.1% saved)

localize30.0ms (0.2%)

Local error

Found 4 expressions with local error:

4.4b	(.f64 t (.f64 x (*.f64 z y)))
15.8b	(cbrt.f64 (.f64 t (.f64 x (*.f64 z y))))
15.8b	(cbrt.f64 (.f64 t (.f64 x (*.f64 z y))))
15.8b	(cbrt.f64 (.f64 t (.f64 x (*.f64 z y))))

rewrite108.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

13×	`pow1_binary64_20258` `add-exp-log_binary64_20235` `add-cbrt-cube_binary64_20233`
6×	`pow-prod-down_binary64_20268` `prod-exp_binary64_20246` `cbrt-unprod_binary64_20230`
5×	`add-cube-cbrt_binary64_20232` `add-sqr-sqrt_binary64_20219` `*-un-lft-identity_binary64_20197`
4×	`add-log-exp_binary64_20236`
3×	`pow1/3_binary64_20279` `cbrt-prod_binary64_20228` `associate-l_binary64_20138`
1×	`associate-r_binary64_20137` `*-commutative_binary64_20128`

Counts

4 → 48

Calls

4 calls:

7.0ms	(.f64 t (.f64 x (*.f64 z y)))
6.0ms	(cbrt.f64 (.f64 t (.f64 x (*.f64 z y))))
5.0ms	(cbrt.f64 (.f64 t (.f64 x (*.f64 z y))))
5.0ms	(cbrt.f64 (.f64 t (.f64 x (*.f64 z y))))

Compiler

Compiled 2719 to 919 computations (66.2% saved)

series1.8s (12.2%)

Error

0.0b

Counts

4 → 48

Calls

4 calls:

538.0ms	(cbrt.f64 (.f64 t (.f64 x (*.f64 z y))))
526.0ms	(cbrt.f64 (.f64 t (.f64 x (*.f64 z y))))
519.0ms	(cbrt.f64 (.f64 t (.f64 x (*.f64 z y))))
178.0ms	(.f64 t (.f64 x (*.f64 z y)))

Compiler

Compiled 7884 to 4816 computations (38.9% saved)

simplify91.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	5026	1243

prune149.0ms (1%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	96	0	96
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	96	8	104

Error

0.0b

Counts

104 → 8

Compiler

Compiled 5052 to 1716 computations (66% saved)

regimes1.9s (12.5%)

Accuracy

Total 1.6b remaining (93.6%)

Threshold costs 0b (0%)

Compiler

Compiled 23276 to 20426 computations (12.2% saved)

bsearch151.0ms (1%)

Steps

Iters	Range		Point
8	1.858697630048309e-34	7.907272271889202e-32	7.178863108911273e-33
8	-3.264896527537262e+36	-2.3537718554492825e+33	-2.7720361935255977e+35

Compiler

Compiled 1 to 10 computations (-900% saved)

simplify76.0ms (0.5%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	226	150
1	226	150

Compiler

Compiled 606 to 426 computations (29.7% saved)

end0.0ms (0%)

sample4.7s (31%)

Algorithm

1×

intervals

Results

727.0ms	8186×	body	128	invalid
706.0ms	8000×	body	128	valid

Compiler

Compiled 1647 to 1394 computations (15.4% saved)

Details

analyze2.5s (16.8%)

sample110.0ms (0.7%)

simplify436.0ms (2.9%)

prune6.0ms (0%)

localize23.0ms (0.2%)

rewrite185.0ms (1.2%)

series516.0ms (3.4%)

simplify76.0ms (0.5%)

prune186.0ms (1.2%)

localize23.0ms (0.2%)

rewrite156.0ms (1%)

series576.0ms (3.8%)

simplify68.0ms (0.4%)

prune175.0ms (1.2%)

localize23.0ms (0.2%)

rewrite151.0ms (1%)

series608.0ms (4%)

simplify69.0ms (0.5%)

prune168.0ms (1.1%)

localize30.0ms (0.2%)

rewrite108.0ms (0.7%)

series1.8s (12.2%)

simplify91.0ms (0.6%)

prune149.0ms (1%)

regimes1.9s (12.5%)

bsearch151.0ms (1%)

simplify76.0ms (0.5%)

end0.0ms (0%)

sample4.7s (31%)

Profiling