Details

analyze491.0ms (3.6%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5085	350
0	4	4
1	4	4

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
6.2%	93.6%	0.2%	5
6.2%	68.6%	25.1%	6
6.2%	49.9%	43.9%	7
6.2%	35.9%	57.9%	8
6.2%	25.3%	68.4%	9
6.2%	20.1%	73.7%	10
6.2%	15.7%	78.1%	11
6.2%	12%	81.7%	12
6.2%	9%	84.8%	13
6.2%	7.5%	86.3%	14

Symmetry

(sort x y z t)

Compiler

Compiled 32 to 28 computations (12.5% saved)

sample184.0ms (1.3%)

Algorithm

1×

intervals

Results

44.0ms	133×	body	512	valid
35.0ms	314×	body	128	nan
26.0ms	64×	body	1024	valid
4.0ms	22×	body	256	valid
4.0ms	37×	body	128	valid

Compiler

Compiled 63 to 59 computations (6.3% saved)

simplify46.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5168	50

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

4.5b

Counts

2 → 1

Compiler

Compiled 62 to 54 computations (12.9% saved)

localize30.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.4b	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
2.6b	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
4.8b	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
5.8b	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))

rewrite262.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

3.9b

Rules

44×	`add-sqr-sqrt_binary64_12035` `sqrt-prod_binary64_12029`
40×	`*-un-lft-identity_binary64_12013`
24×	`cancel-sign-sub-inv_binary64_11979`
16×	`difference-of-squares_binary64_11982`
12×	`add-log-exp_binary64_12052` `add-cube-cbrt_binary64_12048` `distribute-lft-out--_binary64_11965`
4×	`diff-log_binary64_12105` `pow1_binary64_12074` `add-exp-log_binary64_12051` `add-cbrt-cube_binary64_12049` `flip3--_binary64_12017` `sub-neg_binary64_12006` `flip--_binary64_11988` `distribute-lft-out_binary64_11964`

Counts

4 → 96

Calls

4 calls:

10.0ms	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
9.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
9.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
9.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))

Compiler

Compiled 3760 to 2340 computations (37.8% saved)

series163.0ms (1.2%)

Error

4.3b

Counts

4 → 12

Calls

4 calls:

39.0ms	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
36.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
36.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
35.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))

Compiler

Compiled 1300 to 1049 computations (19.3% saved)

simplify54.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	4912	1588
1	4912	1588

prune223.0ms (1.6%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	101	7	108
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	102	7	109

Error

0.5b

Counts

109 → 7

Compiler

Compiled 4135 to 2656 computations (35.8% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
2.6b	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
4.8b	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
5.8b	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))

rewrite300.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

0.5b

Rules

70×	`*-un-lft-identity_binary64_12013`
49×	`sqrt-prod_binary64_12029`
45×	`add-sqr-sqrt_binary64_12035`
21×	`add-cube-cbrt_binary64_12048`
19×	`distribute-lft-out_binary64_11964`
18×	`cancel-sign-sub-inv_binary64_11979` `times-frac_binary64_12019`
12×	`difference-of-squares_binary64_11982`
10×	`add-log-exp_binary64_12052`
9×	`distribute-lft-out--_binary64_11965`
8×	`add-exp-log_binary64_12051`
6×	`add-cbrt-cube_binary64_12049` `associate-/r*_binary64_11957`
5×	`pow1_binary64_12074`
3×	`diff-log_binary64_12105` `flip3--_binary64_12017` `sub-neg_binary64_12006` `flip--_binary64_11988` `associate-/l*_binary64_11958`
2×	`div-exp_binary64_12064` `associate-/r/_binary64_11959`
1×	`inv-pow_binary64_12098` `pow-flip_binary64_12087` `1-exp_binary64_12057` `rec-exp_binary64_12063` `cbrt-undiv_binary64_12047` `frac-2neg_binary64_12024` `clear-num_binary64_12012` `div-inv_binary64_12010` `flip3-+_binary64_12016` `flip-+_binary64_11987`

Counts

4 → 117

Calls

4 calls:

12.0ms	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
11.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
10.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
9.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))

Compiler

Compiled 4838 to 3162 computations (34.6% saved)

series147.0ms (1.1%)

Error

0.5b

Counts

4 → 12

Calls

4 calls:

37.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
36.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
35.0ms	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
24.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))

Compiler

Compiled 1294 to 1061 computations (18% saved)

simplify77.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4879	2015
1	4879	2015

prune268.0ms (2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	127	2	129
Fresh	1	5	6
Picked	1	0	1
Done	0	0	0
Total	129	7	136

Error

0.2b

Counts

136 → 7

Compiler

Compiled 5198 to 3446 computations (33.7% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
0.1b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))
2.6b	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
4.8b	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))

rewrite406.0ms (3%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

100×	`*-un-lft-identity_binary64_12013`
54×	`sqrt-prod_binary64_12029`
46×	`add-sqr-sqrt_binary64_12035`
36×	`times-frac_binary64_12019`
34×	`distribute-lft-out_binary64_11964`
30×	`add-cube-cbrt_binary64_12048`
12×	`add-exp-log_binary64_12051` `cancel-sign-sub-inv_binary64_11979` `associate-/r*_binary64_11957`
8×	`add-log-exp_binary64_12052` `add-cbrt-cube_binary64_12049` `difference-of-squares_binary64_11982`
6×	`pow1_binary64_12074` `distribute-lft-out--_binary64_11965` `associate-/l*_binary64_11958`
4×	`div-exp_binary64_12064` `associate-/r/_binary64_11959`
2×	`diff-log_binary64_12105` `flip3--_binary64_12017` `sub-neg_binary64_12006` `flip--_binary64_11988` `inv-pow_binary64_12098` `pow-flip_binary64_12087` `1-exp_binary64_12057` `rec-exp_binary64_12063` `cbrt-undiv_binary64_12047` `frac-2neg_binary64_12024` `clear-num_binary64_12012` `div-inv_binary64_12010` `flip3-+_binary64_12016` `flip-+_binary64_11987`

Counts

4 → 138

Calls

4 calls:

14.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))
11.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
10.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
9.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))

Compiler

Compiled 6000 to 4068 computations (32.2% saved)

series126.0ms (0.9%)

Error

0.2b

Counts

4 → 12

Calls

4 calls:

34.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
33.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
22.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))
21.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))

Compiler

Compiled 1288 to 1073 computations (16.7% saved)

simplify80.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

150 → 150

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4879	2442
1	4879	2442

prune361.0ms (2.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	148	2	150
Fresh	0	6	6
Picked	1	0	1
Done	0	0	0
Total	149	8	157

Error

0.1b

Counts

157 → 8

Compiler

Compiled 6364 to 4342 computations (31.8% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
0.1b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))
0.2b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)))
2.6b	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))

rewrite512.0ms (3.8%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

130×	`*-un-lft-identity_binary64_12013`
59×	`sqrt-prod_binary64_12029`
54×	`times-frac_binary64_12019`
49×	`distribute-lft-out_binary64_11964`
47×	`add-sqr-sqrt_binary64_12035`
39×	`add-cube-cbrt_binary64_12048`
18×	`associate-/r*_binary64_11957`
16×	`add-exp-log_binary64_12051`
10×	`add-cbrt-cube_binary64_12049`
9×	`associate-/l*_binary64_11958`
7×	`pow1_binary64_12074`
6×	`add-log-exp_binary64_12052` `cancel-sign-sub-inv_binary64_11979` `div-exp_binary64_12064` `associate-/r/_binary64_11959`
4×	`difference-of-squares_binary64_11982`
3×	`distribute-lft-out--_binary64_11965` `inv-pow_binary64_12098` `pow-flip_binary64_12087` `1-exp_binary64_12057` `rec-exp_binary64_12063` `cbrt-undiv_binary64_12047` `frac-2neg_binary64_12024` `clear-num_binary64_12012` `div-inv_binary64_12010` `flip3-+_binary64_12016` `flip-+_binary64_11987`
1×	`diff-log_binary64_12105` `flip3--_binary64_12017` `sub-neg_binary64_12006` `flip--_binary64_11988`

Counts

4 → 159

Calls

4 calls:

14.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)))
11.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))
11.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
9.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))

Compiler

Compiled 7246 to 5058 computations (30.2% saved)

series123.0ms (0.9%)

Error

0.1b

Counts

4 → 12

Calls

4 calls:

35.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
23.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))
23.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
23.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)))

Compiler

Compiled 1282 to 1085 computations (15.4% saved)

simplify66.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5016	2869

prune437.0ms (3.2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	170	1	171
Fresh	1	6	7
Picked	1	0	1
Done	0	0	0
Total	172	7	179

Error

Counts

179 → 7

Compiler

Compiled 7211 to 4987 computations (30.8% saved)

regimes2.7s (19.7%)

Accuracy

Total 0.1b remaining (58%)

Threshold costs 0.1b (58%)

Compiler

Compiled 47262 to 39374 computations (16.7% saved)

bsearch0.0ms (0%)

simplify24.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	41	62
1	41	62

Remove

(sort x y z t)

Compiler

Compiled 78 to 70 computations (10.3% saved)

end0.0ms (0%)

sample6.5s (47.6%)

Algorithm

1×

intervals

Results

1.3s	4347×	body	512	valid
946.0ms	9510×	body	128	nan
702.0ms	1693×	body	1024	valid
197.0ms	1016×	body	256	valid
97.0ms	944×	body	128	valid

Compiler

Compiled 3398 to 2837 computations (16.5% saved)

Details

analyze491.0ms (3.6%)

sample184.0ms (1.3%)

simplify46.0ms (0.3%)

prune4.0ms (0%)

localize30.0ms (0.2%)

rewrite262.0ms (1.9%)

series163.0ms (1.2%)

simplify54.0ms (0.4%)

prune223.0ms (1.6%)

localize23.0ms (0.2%)

rewrite300.0ms (2.2%)

series147.0ms (1.1%)

simplify77.0ms (0.6%)

prune268.0ms (2%)

localize24.0ms (0.2%)

rewrite406.0ms (3%)

series126.0ms (0.9%)

simplify80.0ms (0.6%)

prune361.0ms (2.6%)

localize25.0ms (0.2%)

rewrite512.0ms (3.8%)

series123.0ms (0.9%)

simplify66.0ms (0.5%)

prune437.0ms (3.2%)

regimes2.7s (19.7%)

bsearch0.0ms (0%)

simplify24.0ms (0.2%)

end0.0ms (0%)

sample6.5s (47.6%)

Profiling