Details

analyze4.2s (18.3%)

Algorithm

1×

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)

sample152.0ms (0.7%)

Algorithm

1×

intervals

Results

46.0ms	256×	body	128	valid
38.0ms	248×	body	128	invalid

Compiler

Compiled 63 to 69 computations (-9.5% saved)

simplify883.0ms (3.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (710.0ms)

Iter	Nodes	Cost
0	3064	43
1	3064	43

prune11.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.2b

Counts

2 → 2

Compiler

Compiled 89 to 85 computations (4.5% saved)

localize41.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 x 18) y)
0.2b	(.f64 (.f64 j 27) k)
3.6b	(.f64 t (-.f64 (.f64 (.f64 (.f64 x 18) y) z) (*.f64 a 4)))
5.5b	(.f64 (.f64 (*.f64 x 18) y) z)

rewrite306.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

3.8b

Rules

25×	`pow1_binary64_19917` `add-exp-log_binary64_19894` `add-cbrt-cube_binary64_19892`
13×	`pow-prod-down_binary64_19927` `prod-exp_binary64_19905` `cbrt-unprod_binary64_19889`
12×	`associate-r_binary64_19796`
11×	`add-sqr-sqrt_binary64_19878`
9×	`add-cube-cbrt_binary64_19891` `*-un-lft-identity_binary64_19856`
6×	`associate-l_binary64_19797`
4×	`add-log-exp_binary64_19895` `*-commutative_binary64_19787`
2×	`sub-neg_binary64_19849` `distribute-rgt-in_binary64_19806` `cancel-sign-sub-inv_binary64_19822` `distribute-lft-in_binary64_19805` `associate-*r/_binary64_19798`
1×	`unswap-sqr_binary64_19824` `flip3--_binary64_19860` `flip--_binary64_19831`

Counts

4 → 81

Calls

4 calls:

17.0ms	(.f64 t (-.f64 (.f64 (.f64 (.f64 x 18) y) z) (*.f64 a 4)))
13.0ms	(.f64 (.f64 (*.f64 x 18) y) z)
9.0ms	(.f64 (.f64 x 18) y)
9.0ms	(.f64 (.f64 j 27) k)

Compiler

Compiled 2941 to 1787 computations (39.2% saved)

series1.4s (5.9%)

Error

2.8b

Counts

4 → 48

Calls

4 calls:

797.0ms	(.f64 t (-.f64 (.f64 (.f64 (.f64 x 18) y) z) (*.f64 a 4)))
225.0ms	(.f64 (.f64 (*.f64 x 18) y) z)
119.0ms	(.f64 (.f64 x 18) y)
99.0ms	(.f64 (.f64 j 27) k)

Compiler

Compiled 3764 to 3020 computations (19.8% saved)

simplify132.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (93.0ms)

Iter	Nodes	Cost
0	5160	1684

prune386.0ms (1.7%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	120	9	129
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	122	9	131

Error

2.7b

Counts

131 → 9

Compiler

Compiled 4368 to 2517 computations (42.4% saved)

localize42.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 x (.f64 18 y))
0.2b	(.f64 (.f64 j 27) k)
3.6b	(.f64 t (-.f64 (.f64 (.f64 x (.f64 18 y)) z) (*.f64 a 4)))
5.5b	(.f64 (.f64 x (*.f64 18 y)) z)

rewrite274.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

2.7b

Rules

25×	`pow1_binary64_19917` `add-exp-log_binary64_19894` `add-cbrt-cube_binary64_19892`
13×	`pow-prod-down_binary64_19927` `prod-exp_binary64_19905` `cbrt-unprod_binary64_19889`
11×	`add-sqr-sqrt_binary64_19878`
10×	`associate-r_binary64_19796`
9×	`add-cube-cbrt_binary64_19891` `*-un-lft-identity_binary64_19856`
8×	`associate-l_binary64_19797`
4×	`add-log-exp_binary64_19895` `*-commutative_binary64_19787`
2×	`sub-neg_binary64_19849` `distribute-rgt-in_binary64_19806` `cancel-sign-sub-inv_binary64_19822` `distribute-lft-in_binary64_19805` `associate-*r/_binary64_19798`
1×	`unswap-sqr_binary64_19824` `flip3--_binary64_19860` `flip--_binary64_19831`

Counts

4 → 81

Calls

4 calls:

18.0ms	(.f64 t (-.f64 (.f64 (.f64 x (.f64 18 y)) z) (*.f64 a 4)))
13.0ms	(.f64 x (.f64 18 y))
12.0ms	(.f64 (.f64 x (*.f64 18 y)) z)
9.0ms	(.f64 (.f64 j 27) k)

Compiler

Compiled 2941 to 1787 computations (39.2% saved)

series1.2s (5.3%)

Error

2.7b

Counts

4 → 48

Calls

4 calls:

706.0ms	(.f64 t (-.f64 (.f64 (.f64 x (.f64 18 y)) z) (*.f64 a 4)))
206.0ms	(.f64 (.f64 x (*.f64 18 y)) z)
111.0ms	(.f64 x (.f64 18 y))
105.0ms	(.f64 (.f64 j 27) k)

Compiler

Compiled 3764 to 3020 computations (19.8% saved)

simplify142.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (101.0ms)

Iter	Nodes	Cost
0	4942	1685
1	4942	1685

prune329.0ms (1.4%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	129	9	138

Error

2.7b

Counts

138 → 9

Compiler

Compiled 4341 to 2488 computations (42.7% saved)

localize42.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 27 (.f64 k j))
0.2b	(.f64 (.f64 x 18) y)
3.6b	(.f64 t (-.f64 (.f64 (.f64 (.f64 x 18) y) z) (*.f64 a 4)))
5.5b	(.f64 (.f64 (*.f64 x 18) y) z)

rewrite274.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

2.7b

Rules

25×	`pow1_binary64_19917` `add-exp-log_binary64_19894` `add-cbrt-cube_binary64_19892`
13×	`pow-prod-down_binary64_19927` `prod-exp_binary64_19905` `cbrt-unprod_binary64_19889`
11×	`add-sqr-sqrt_binary64_19878`
10×	`associate-r_binary64_19796`
9×	`add-cube-cbrt_binary64_19891` `*-un-lft-identity_binary64_19856`
8×	`associate-l_binary64_19797`
4×	`add-log-exp_binary64_19895` `*-commutative_binary64_19787`
2×	`sub-neg_binary64_19849` `distribute-rgt-in_binary64_19806` `cancel-sign-sub-inv_binary64_19822` `distribute-lft-in_binary64_19805` `associate-*r/_binary64_19798`
1×	`unswap-sqr_binary64_19824` `flip3--_binary64_19860` `flip--_binary64_19831`

Counts

4 → 81

Calls

4 calls:

19.0ms	(.f64 t (-.f64 (.f64 (.f64 (.f64 x 18) y) z) (*.f64 a 4)))
13.0ms	(.f64 (.f64 (*.f64 x 18) y) z)
10.0ms	(.f64 (.f64 x 18) y)
9.0ms	(.f64 27 (.f64 k j))

Compiler

Compiled 2941 to 1712 computations (41.8% saved)

series1.3s (5.6%)

Error

2.7b

Counts

4 → 48

Calls

4 calls:

725.0ms	(.f64 t (-.f64 (.f64 (.f64 (.f64 x 18) y) z) (*.f64 a 4)))
221.0ms	(.f64 (.f64 (*.f64 x 18) y) z)
118.0ms	(.f64 27 (.f64 k j))
115.0ms	(.f64 (.f64 x 18) y)

Compiler

Compiled 3764 to 2978 computations (20.9% saved)

simplify128.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (87.0ms)

Iter	Nodes	Cost
0	5018	1682

prune331.0ms (1.4%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	129	9	138

Error

2.7b

Counts

138 → 9

Compiler

Compiled 4312 to 2358 computations (45.3% saved)

localize46.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 x 18) y)
0.5b	(.f64 j (.f64 27 k))
3.6b	(.f64 t (-.f64 (.f64 (.f64 (.f64 x 18) y) z) (*.f64 a 4)))
5.5b	(.f64 (.f64 (*.f64 x 18) y) z)

rewrite274.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

2.7b

Rules

25×	`pow1_binary64_19917` `add-exp-log_binary64_19894` `add-cbrt-cube_binary64_19892`
13×	`pow-prod-down_binary64_19927` `prod-exp_binary64_19905` `cbrt-unprod_binary64_19889`
11×	`add-sqr-sqrt_binary64_19878`
10×	`associate-r_binary64_19796`
9×	`add-cube-cbrt_binary64_19891` `*-un-lft-identity_binary64_19856`
8×	`associate-l_binary64_19797`
4×	`add-log-exp_binary64_19895` `*-commutative_binary64_19787`
2×	`sub-neg_binary64_19849` `distribute-rgt-in_binary64_19806` `cancel-sign-sub-inv_binary64_19822` `distribute-lft-in_binary64_19805` `associate-*r/_binary64_19798`
1×	`unswap-sqr_binary64_19824` `flip3--_binary64_19860` `flip--_binary64_19831`

Counts

4 → 81

Calls

4 calls:

18.0ms	(.f64 t (-.f64 (.f64 (.f64 (.f64 x 18) y) z) (*.f64 a 4)))
12.0ms	(.f64 (.f64 (*.f64 x 18) y) z)
10.0ms	(.f64 (.f64 x 18) y)
9.0ms	(.f64 j (.f64 27 k))

Compiler

Compiled 2941 to 1787 computations (39.2% saved)

series1.2s (5.1%)

Error

2.7b

Counts

4 → 48

Calls

4 calls:

651.0ms	(.f64 t (-.f64 (.f64 (.f64 (.f64 x 18) y) z) (*.f64 a 4)))
213.0ms	(.f64 (.f64 (*.f64 x 18) y) z)
106.0ms	(.f64 j (.f64 27 k))
98.0ms	(.f64 (.f64 x 18) y)

Compiler

Compiled 3764 to 3020 computations (19.8% saved)

simplify119.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	5051	1682

prune292.0ms (1.3%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	129	9	138

Error

2.7b

Counts

138 → 9

Compiler

Compiled 4070 to 2247 computations (44.8% saved)

regimes3.0s (13.1%)

Accuracy

Total 1.0b remaining (32.1%)

Threshold costs 0b (0%)

Compiler

Compiled 21942 to 20637 computations (5.9% saved)

bsearch6.0ms (0%)

Compiler: Compiled 25 to 25 computations (0% saved)

simplify11.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	238	160
1	238	160

end0.0ms (0%)

sample6.5s (28.4%)

Algorithm

1×

intervals

Results

1.2s	8107×	body	128	invalid
1.2s	8000×	body	128	valid

Compiler

Compiled 1534 to 1377 computations (10.2% saved)

Details

analyze4.2s (18.3%)

sample152.0ms (0.7%)

simplify883.0ms (3.8%)

prune11.0ms (0%)

localize41.0ms (0.2%)

rewrite306.0ms (1.3%)

series1.4s (5.9%)

simplify132.0ms (0.6%)

prune386.0ms (1.7%)

localize42.0ms (0.2%)

rewrite274.0ms (1.2%)

series1.2s (5.3%)

simplify142.0ms (0.6%)

prune329.0ms (1.4%)

localize42.0ms (0.2%)

rewrite274.0ms (1.2%)

series1.3s (5.6%)

simplify128.0ms (0.6%)

prune331.0ms (1.4%)

localize46.0ms (0.2%)

rewrite274.0ms (1.2%)

series1.2s (5.1%)

simplify119.0ms (0.5%)

prune292.0ms (1.3%)

regimes3.0s (13.1%)

bsearch6.0ms (0%)

simplify11.0ms (0%)

end0.0ms (0%)

sample6.5s (28.4%)

Profiling