Details

analyze769.0ms (21.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
49.1%	50.7%	0.2%	9
49.5%	50.3%	0.2%	10
49.7%	50.1%	0.2%	11
50.2%	49.6%	0.2%	12
60.5%	39.3%	0.2%	13
60.6%	37.9%	1.4%	14

Compiler

Compiled 14 to 10 computations (28.6% saved)

sample38.0ms (1%)

Algorithm

1×

intervals

Results

9.0ms	256×	body	128	valid
3.0ms	89×	body	128	invalid

Compiler

Compiled 31 to 23 computations (25.8% saved)

simplify137.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

465×	`distribute-rgt-in_binary64`
442×	`div-sub_binary64`
329×	`associate-/l*_binary64`
329×	`cancel-sign-sub-inv_binary64`
321×	`distribute-lft-in_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	13
1	21	13
2	45	13
3	69	13
4	131	13
5	242	13
6	464	13
7	832	13
8	1340	13
9	1858	13
10	1821	13
11	1817	13
12	1813	13
13	1814	13
14	1814	13
15	2206	13
16	1870	13
17	1870	13
18	1870	13
19	1744	13

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

Counts

1 → 1

Alt Table

Status	Error	Program
▶	0.2b	(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))

Compiler

Compiled 26 to 18 computations (30.8% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.2b	(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))

rewrite23.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

13×	`*-un-lft-identity_binary64`
7×	`add-sqr-sqrt_binary64`
6×	`associate-/l*_binary64`
6×	`times-frac_binary64`
6×	`add-cbrt-cube_binary64`

Counts

1 → 30

Calls

1 calls:

8.0ms

(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))

Compiler

Compiled 454 to 176 computations (61.2% saved)

series53.0ms (1.4%)

Error

0.0b

Counts

1 → 21

Calls

1 calls:

40.0ms

(/.f64 (-.f64 (+.f64 x y) z) (*.f64 t 2))

Compiler

Compiled 674 to 475 computations (29.5% saved)

simplify70.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

429×	`div-sub_binary64`
352×	`distribute-rgt-in_binary64`
333×	`distribute-lft-in_binary64`
264×	`neg-mul-1_binary64`
262×	`neg-sub0_binary64`

Counts

51 → 42

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	106	918
1	266	797
2	845	756
3	2984	720
4	4725	720
5	5174	720

prune17.0ms (0.5%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	39	3	42
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	40	3	43

Error

Counts

43 → 3

Alt Table

Status	Error	Program
	46.8b	(*.f64 (/.f64 (+.f64 (sqrt.f64 (+.f64 y x)) (sqrt.f64 z)) t) (/.f64 (-.f64 (sqrt.f64 (+.f64 y x)) (sqrt.f64 z)) 2))
	0.3b	(/.f64 1 (/.f64 t (/.f64 (+.f64 y (-.f64 x z)) 2)))
▶	0.2b	(-.f64 (/.f64 (+.f64 y x) (.f64 t 2)) (/.f64 z (.f64 t 2)))

Compiler

Compiled 444 to 204 computations (54.1% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

rewrite70.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

20×	`*-un-lft-identity_binary64`
14×	`times-frac_binary64`
13×	`add-cbrt-cube_binary64`
13×	`add-exp-log_binary64`
11×	`add-sqr-sqrt_binary64`

Counts

3 → 71

Calls

3 calls:

14.0ms	(-.f64 (/.f64 (+.f64 y x) (.f64 t 2)) (/.f64 z (.f64 t 2)))
6.0ms	(/.f64 (+.f64 y x) (*.f64 t 2))
5.0ms	(/.f64 z (*.f64 t 2))

Compiler

Compiled 1346 to 758 computations (43.7% saved)

series102.0ms (2.8%)

Error

Counts

3 → 42

Calls

3 calls:

54.0ms	(-.f64 (/.f64 (+.f64 y x) (.f64 t 2)) (/.f64 z (.f64 t 2)))
26.0ms	(/.f64 (+.f64 y x) (*.f64 t 2))
11.0ms	(/.f64 z (*.f64 t 2))

Compiler

Compiled 1450 to 1015 computations (30% saved)

simplify106.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

522×	`times-frac_binary64`
469×	`associate-/l*_binary64`
400×	`associate-l_binary64`
323×	`associate-*l/_binary64`
309×	`associate-/r*_binary64`

Counts

113 → 86

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	154	1592
1	422	1491
2	1241	1428
3	4475	1426
4	4719	1426
5	4935	1426

prune31.0ms (0.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	84	2	86
Fresh	2	0	2
Picked	0	1	1
Done	0	0	0
Total	86	3	89

Error

Counts

89 → 3

Alt Table

Status	Error	Program
✓	0.2b	(-.f64 (/.f64 (+.f64 y x) (.f64 t 2)) (/.f64 z (.f64 t 2)))
▶	0.2b	(-.f64 (/.f64 (+.f64 y x) (.f64 t 2)) (.f64 z (/.f64 1/2 t)))
	0.3b	(/.f64 1/2 (/.f64 t (-.f64 (+.f64 x y) z)))

Compiler

Compiled 889 to 447 computations (49.7% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (/.f64 (+.f64 y x) (.f64 t 2)) (.f64 z (/.f64 1/2 t)))
0.2b	(*.f64 z (/.f64 1/2 t))
0.2b	(/.f64 (+.f64 y x) (*.f64 t 2))

rewrite62.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

18×	`add-sqr-sqrt_binary64`
17×	`*-un-lft-identity_binary64`
14×	`times-frac_binary64`
13×	`associate-r_binary64`
13×	`add-cube-cbrt_binary64`

Counts

3 → 70

Calls

3 calls:

6.0ms	(-.f64 (/.f64 (+.f64 y x) (.f64 t 2)) (.f64 z (/.f64 1/2 t)))
6.0ms	(/.f64 (+.f64 y x) (*.f64 t 2))
5.0ms	(*.f64 z (/.f64 1/2 t))

Compiler

Compiled 1388 to 794 computations (42.8% saved)

series105.0ms (2.9%)

Error

Counts

3 → 42

Calls

3 calls:

55.0ms	(-.f64 (/.f64 (+.f64 y x) (.f64 t 2)) (.f64 z (/.f64 1/2 t)))
28.0ms	(/.f64 (+.f64 y x) (*.f64 t 2))
12.0ms	(*.f64 z (/.f64 1/2 t))

Compiler

Compiled 1450 to 1015 computations (30% saved)

simplify118.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

426×	`associate-*l/_binary64`
422×	`associate-/l*_binary64`
408×	`associate-*r/_binary64`
343×	`times-frac_binary64`
217×	`cancel-sign-sub-inv_binary64`

Counts

112 → 80

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	175	1575
1	446	1478
2	1442	1417
3	4390	1417
4	4821	1417
5	4999	1417
6	4932	1417

prune28.0ms (0.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	80	0	80
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	80	3	83

Error

Counts

83 → 3

Alt Table

Status	Error	Program
✓	0.2b	(-.f64 (/.f64 (+.f64 y x) (.f64 t 2)) (/.f64 z (.f64 t 2)))
✓	0.2b	(-.f64 (/.f64 (+.f64 y x) (.f64 t 2)) (.f64 z (/.f64 1/2 t)))
▶	0.3b	(/.f64 1/2 (/.f64 t (-.f64 (+.f64 x y) z)))

Compiler

Compiled 902 to 457 computations (49.3% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 t (-.f64 (+.f64 x y) z))
0.3b	(/.f64 1/2 (/.f64 t (-.f64 (+.f64 x y) z)))

rewrite79.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

162×	`times-frac_binary64`
158×	`*-un-lft-identity_binary64`
110×	`add-sqr-sqrt_binary64`
78×	`add-cube-cbrt_binary64`
32×	`distribute-lft-out--_binary64`

Counts

2 → 155

Calls

2 calls:

10.0ms	(/.f64 1/2 (/.f64 t (-.f64 (+.f64 x y) z)))
6.0ms	(/.f64 t (-.f64 (+.f64 x y) z))

Compiler

Compiled 2670 to 818 computations (69.4% saved)

series130.0ms (3.6%)

Error

Counts

2 → 59

Calls

2 calls:

69.0ms	(/.f64 t (-.f64 (+.f64 x y) z))
39.0ms	(/.f64 1/2 (/.f64 t (-.f64 (+.f64 x y) z)))

Compiler

Compiled 3063 to 1987 computations (35.1% saved)

simplify217.0ms (6%)

Algorithm

1×	egg-herbie

Rules

274×	`cancel-sign-sub-inv_binary64`
235×	`associate-/r/_binary64`
228×	`times-frac_binary64`
216×	`associate-/l*_binary64`
167×	`*-commutative_binary64`

Counts

214 → 189

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	402	6070
1	1022	5896
2	4161	5881
3	4845	5880
4	4982	5880
5	4977	5880

prune61.0ms (1.7%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	189	0	189
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	189	3	192

Error

Counts

192 → 3

Alt Table

Status	Error	Program
	0.2b	(-.f64 (/.f64 (+.f64 y x) (.f64 t 2)) (/.f64 z (.f64 t 2)))
	0.2b	(-.f64 (/.f64 (+.f64 y x) (.f64 t 2)) (.f64 z (/.f64 1/2 t)))
	0.3b	(/.f64 1/2 (/.f64 t (-.f64 (+.f64 x y) z)))

Compiler

Compiled 3079 to 1051 computations (65.9% saved)

regimes542.0ms (15%)

Accuracy

Total 0.0b remaining (78.9%)

Threshold costs 0.0b (78.9%)

Compiler

Compiled 8730 to 6177 computations (29.2% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
3×	`*-commutative_binary64`
2×	`sub-neg_binary64`
1×	`*-lft-identity_binary64`
1×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	13
1	19	13
2	23	13
3	25	13
4	26	13
5	25	13

end8.0ms (0.2%)

Remove: (sort x y)
Compiler: Compiled 39 to 27 computations (30.8% saved)

sample829.0ms (22.8%)

Algorithm

1×

intervals

Results

312.0ms	8000×	body	128	valid
111.0ms	2814×	body	128	invalid

Compiler

Compiled 78 to 56 computations (28.2% saved)

Details

analyze769.0ms (21.2%)

sample38.0ms (1%)

simplify137.0ms (3.8%)

prune1.0ms (0%)

localize7.0ms (0.2%)

rewrite23.0ms (0.6%)

series53.0ms (1.4%)

simplify70.0ms (1.9%)

prune17.0ms (0.5%)

localize7.0ms (0.2%)

rewrite70.0ms (1.9%)

series102.0ms (2.8%)

simplify106.0ms (2.9%)

prune31.0ms (0.9%)

localize8.0ms (0.2%)

rewrite62.0ms (1.7%)

series105.0ms (2.9%)

simplify118.0ms (3.2%)

prune28.0ms (0.8%)

localize6.0ms (0.2%)

rewrite79.0ms (2.2%)

series130.0ms (3.6%)

simplify217.0ms (6%)

prune61.0ms (1.7%)

regimes542.0ms (15%)

simplify3.0ms (0.1%)

end8.0ms (0.2%)

sample829.0ms (22.8%)

Profiling