Details

analyze290.0ms (8.6%)

Algorithm

1×

Search

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

Compiler

Compiled 28 to 20 computations (28.6% saved)

sample50.0ms (1.5%)

Algorithm

1×

intervals

Results

10.0ms	256×	pre	128	true
7.0ms	256×	body	128	valid
0.0ms	3×	pre	128	false

Compiler

Compiled 43 to 31 computations (27.9% saved)

simplify9.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

10×	`distribute-lft-in_binary64`
10×	`distribute-rgt-in_binary64`
7×	`*-commutative_binary64`
6×	`associate-+r+_binary64`
6×	`associate-+l+_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	19	10
2	37	10
3	50	10
4	46	10
5	43	10

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	0.0b	(*.f64 a (+.f64 (+.f64 b c) d))

Compiler

Compiled 22 to 14 computations (36.4% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(*.f64 a (+.f64 (+.f64 b c) d))

rewrite20.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

8×	`*-un-lft-identity_binary64`
5×	`associate-r_binary64`
5×	`add-sqr-sqrt_binary64`
3×	`distribute-lft-out_binary64`
3×	`associate-l_binary64`

Counts

1 → 24

Calls

1 calls:

6.0ms

(*.f64 a (+.f64 (+.f64 b c) d))

Compiler

Compiled 304 to 75 computations (75.3% saved)

series29.0ms (0.8%)

Error

0.0b

Counts

1 → 21

Calls

1 calls:

21.0ms

(*.f64 a (+.f64 (+.f64 b c) d))

Compiler

Compiled 451 to 269 computations (40.4% saved)

simplify100.0ms (3%)

Algorithm

1×	egg-herbie

Rules

558×	`distribute-rgt-in_binary64`
556×	`distribute-lft-in_binary64`
324×	`associate-l_binary64`
318×	`unswap-sqr_binary64`
291×	`rem-sqrt-square_binary64`

Counts

45 → 32

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	60	498
1	165	456
2	555	456
3	2042	456
4	2498	456
5	3054	456
6	4607	456
7	4751	456
8	4962	456

prune11.0ms (0.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	30	2	32
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	30	3	33

Error

Counts

33 → 3

Alt Table

Status	Error	Program
✓	0.0b	(*.f64 a (+.f64 (+.f64 b c) d))
	7.2b	(/.f64 (.f64 a (-.f64 (.f64 (+.f64 c b) (+.f64 c b)) (*.f64 d d))) (-.f64 (+.f64 b c) d))
▶	0.0b	(+.f64 (.f64 a (+.f64 c b)) (.f64 a d))

Compiler

Compiled 331 to 113 computations (65.9% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 a (+.f64 c b))
0.0b	(+.f64 (.f64 a (+.f64 c b)) (.f64 a d))

rewrite31.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

6×	`*-un-lft-identity_binary64`
6×	`add-sqr-sqrt_binary64`
4×	`associate-r_binary64`
4×	`add-cube-cbrt_binary64`
4×	`add-cbrt-cube_binary64`

Counts

2 → 37

Calls

2 calls:

6.0ms	(*.f64 a (+.f64 c b))
5.0ms	(+.f64 (.f64 a (+.f64 c b)) (.f64 a d))

Compiler

Compiled 561 to 135 computations (75.9% saved)

series55.0ms (1.6%)

Error

Counts

2 → 36

Calls

2 calls:

32.0ms	(+.f64 (.f64 a (+.f64 c b)) (.f64 a d))
14.0ms	(*.f64 a (+.f64 c b))

Compiler

Compiled 814 to 472 computations (42% saved)

simplify72.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

572×	`sub-neg_binary64`
554×	`distribute-rgt-in_binary64`
527×	`distribute-lft-in_binary64`
230×	`unswap-sqr_binary64`
220×	`*-commutative_binary64`

Counts

73 → 43

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	76	714
1	235	687
2	821	684
3	2720	681
4	3931	681
5	5136	681

prune15.0ms (0.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	43	0	43
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	43	3	46

Error

Counts

46 → 3

Alt Table

Status	Error	Program
✓	0.0b	(*.f64 a (+.f64 (+.f64 b c) d))
▶	7.2b	(/.f64 (.f64 a (-.f64 (.f64 (+.f64 c b) (+.f64 c b)) (*.f64 d d))) (-.f64 (+.f64 b c) d))
✓	0.0b	(+.f64 (.f64 a (+.f64 c b)) (.f64 a d))

Compiler

Compiled 334 to 111 computations (66.8% saved)

localize10.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (.f64 (+.f64 c b) (+.f64 c b)) (.f64 d d))
0.0b	(*.f64 (+.f64 c b) (+.f64 c b))
0.4b	(.f64 a (-.f64 (.f64 (+.f64 c b) (+.f64 c b)) (*.f64 d d)))
7.0b	(/.f64 (.f64 a (-.f64 (.f64 (+.f64 c b) (+.f64 c b)) (*.f64 d d))) (-.f64 (+.f64 b c) d))

rewrite97.0ms (2.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

36×	`*-un-lft-identity_binary64`
20×	`add-sqr-sqrt_binary64`
13×	`add-cbrt-cube_binary64`
13×	`add-exp-log_binary64`
13×	`pow1_binary64`

Counts

4 → 115

Calls

4 calls:

14.0ms	(/.f64 (.f64 a (-.f64 (.f64 (+.f64 c b) (+.f64 c b)) (*.f64 d d))) (-.f64 (+.f64 b c) d))
12.0ms	(.f64 a (-.f64 (.f64 (+.f64 c b) (+.f64 c b)) (*.f64 d d)))
7.0ms	(-.f64 (.f64 (+.f64 c b) (+.f64 c b)) (.f64 d d))
7.0ms	(*.f64 (+.f64 c b) (+.f64 c b))

Compiler

Compiled 3018 to 485 computations (83.9% saved)

series183.0ms (5.4%)

Error

Counts

4 → 64

Calls

4 calls:

79.0ms	(/.f64 (.f64 a (-.f64 (.f64 (+.f64 c b) (+.f64 c b)) (*.f64 d d))) (-.f64 (+.f64 b c) d))
44.0ms	(.f64 a (-.f64 (.f64 (+.f64 c b) (+.f64 c b)) (*.f64 d d)))
25.0ms	(-.f64 (.f64 (+.f64 c b) (+.f64 c b)) (.f64 d d))
15.0ms	(*.f64 (+.f64 c b) (+.f64 c b))

Compiler

Compiled 3422 to 2101 computations (38.6% saved)

simplify109.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

534×	`associate-/r/_binary64`
256×	`associate-l_binary64`
236×	`associate-r_binary64`
192×	`associate-/l*_binary64`
176×	`unswap-sqr_binary64`

Counts

179 → 159

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	266	3720
1	730	3254
2	3139	3023
3	5134	3023

prune57.0ms (1.7%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	159	0	159
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	159	3	162

Error

Counts

162 → 3

Alt Table

Status	Error	Program
	0.0b	(*.f64 a (+.f64 (+.f64 b c) d))
	7.2b	(/.f64 (.f64 a (-.f64 (.f64 (+.f64 c b) (+.f64 c b)) (*.f64 d d))) (-.f64 (+.f64 b c) d))
	0.0b	(+.f64 (.f64 a (+.f64 c b)) (.f64 a d))

Compiler

Compiled 2151 to 693 computations (67.8% saved)

regimes590.0ms (17.4%)

Accuracy

Total 0.0b remaining (78.5%)

Threshold costs 0.0b (78.5%)

Compiler

Compiled 5288 to 3148 computations (40.5% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary64`
1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	11	10
2	11	10

end16.0ms (0.5%)

Compiler: Compiled 33 to 21 computations (36.4% saved)

sample1.6s (48%)

Algorithm

1×

intervals

Results

393.0ms	8000×	pre	128	true
314.0ms	8000×	body	128	valid
3.0ms	70×	pre	128	false

Compiler

Compiled 90 to 58 computations (35.6% saved)

Details

analyze290.0ms (8.6%)

sample50.0ms (1.5%)

simplify9.0ms (0.3%)

prune1.0ms (0%)

localize5.0ms (0.1%)

rewrite20.0ms (0.6%)

series29.0ms (0.8%)

simplify100.0ms (3%)

prune11.0ms (0.3%)

localize6.0ms (0.2%)

rewrite31.0ms (0.9%)

series55.0ms (1.6%)

simplify72.0ms (2.1%)

prune15.0ms (0.5%)

localize10.0ms (0.3%)

rewrite97.0ms (2.9%)

series183.0ms (5.4%)

simplify109.0ms (3.2%)

prune57.0ms (1.7%)

regimes590.0ms (17.4%)

simplify3.0ms (0.1%)

end16.0ms (0.5%)

sample1.6s (48%)

Profiling