Details

analyze768.0ms (4.2%)

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)

sample215.0ms (1.2%)

Algorithm

1×

intervals

Results

55.0ms	143×	body	512	valid
35.0ms	299×	body	128	nan
24.0ms	45×	body	1024	valid
8.0ms	35×	body	256	valid
4.0ms	33×	body	128	valid

Compiler

Compiled 63 to 59 computations (6.3% saved)

simplify70.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (59.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.9b

Counts

2 → 1

Compiler

Compiled 62 to 54 computations (12.9% saved)

localize39.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.5b	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
1.9b	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
4.2b	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
4.3b	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))

rewrite305.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

4.0b

Rules

44×	`add-sqr-sqrt_binary64_12376` `sqrt-prod_binary64_12370`
40×	`*-un-lft-identity_binary64_12354`
24×	`cancel-sign-sub-inv_binary64_12320`
16×	`difference-of-squares_binary64_12323`
12×	`add-log-exp_binary64_12393` `add-cube-cbrt_binary64_12389` `distribute-lft-out--_binary64_12306`
4×	`diff-log_binary64_12446` `pow1_binary64_12415` `add-exp-log_binary64_12392` `add-cbrt-cube_binary64_12390` `flip3--_binary64_12358` `sub-neg_binary64_12347` `flip--_binary64_12329` `distribute-lft-out_binary64_12305`

Counts

4 → 96

Calls

4 calls:

12.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
11.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))

Compiler

Compiled 3760 to 2340 computations (37.8% saved)

series167.0ms (0.9%)

Error

4.7b

Counts

4 → 12

Calls

4 calls:

42.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
38.0ms	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
37.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
32.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))

Compiler

Compiled 1300 to 1049 computations (19.3% saved)

simplify57.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	4912	1588
1	4912	1588

prune290.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.3b

Counts

109 → 7

Compiler

Compiled 4126 to 2650 computations (35.8% saved)

localize27.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
1.9b	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
4.2b	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
4.3b	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))

rewrite350.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

0.3b

Rules

70×	`*-un-lft-identity_binary64_12354`
49×	`sqrt-prod_binary64_12370`
45×	`add-sqr-sqrt_binary64_12376`
21×	`add-cube-cbrt_binary64_12389`
19×	`distribute-lft-out_binary64_12305`
18×	`cancel-sign-sub-inv_binary64_12320` `times-frac_binary64_12360`
12×	`difference-of-squares_binary64_12323`
10×	`add-log-exp_binary64_12393`
9×	`distribute-lft-out--_binary64_12306`
8×	`add-exp-log_binary64_12392`
6×	`add-cbrt-cube_binary64_12390` `associate-/r*_binary64_12298`
5×	`pow1_binary64_12415`
3×	`diff-log_binary64_12446` `flip3--_binary64_12358` `sub-neg_binary64_12347` `flip--_binary64_12329` `associate-/l*_binary64_12299`
2×	`div-exp_binary64_12405` `associate-/r/_binary64_12300`
1×	`inv-pow_binary64_12439` `pow-flip_binary64_12428` `1-exp_binary64_12398` `rec-exp_binary64_12404` `cbrt-undiv_binary64_12388` `frac-2neg_binary64_12365` `clear-num_binary64_12353` `div-inv_binary64_12351` `flip3-+_binary64_12357` `flip-+_binary64_12328`

Counts

4 → 117

Calls

4 calls:

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

Compiler

Compiled 4838 to 3162 computations (34.6% saved)

series159.0ms (0.9%)

Error

0.3b

Counts

4 → 12

Calls

4 calls:

44.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
39.0ms	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
36.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
23.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))

Compiler

Compiled 1294 to 1061 computations (18% saved)

simplify111.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	4879	2015
1	4879	2015

prune320.0ms (1.7%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	125	4	129
Fresh	1	5	6
Picked	1	0	1
Done	0	0	0
Total	127	9	136

Error

0.1b

Counts

136 → 9

Compiler

Compiled 5271 to 3511 computations (33.4% saved)

localize26.0ms (0.1%)

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)))
1.9b	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
4.2b	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))

rewrite429.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

100×	`*-un-lft-identity_binary64_12354`
54×	`sqrt-prod_binary64_12370`
46×	`add-sqr-sqrt_binary64_12376`
36×	`times-frac_binary64_12360`
34×	`distribute-lft-out_binary64_12305`
30×	`add-cube-cbrt_binary64_12389`
12×	`add-exp-log_binary64_12392` `cancel-sign-sub-inv_binary64_12320` `associate-/r*_binary64_12298`
8×	`add-log-exp_binary64_12393` `add-cbrt-cube_binary64_12390` `difference-of-squares_binary64_12323`
6×	`pow1_binary64_12415` `distribute-lft-out--_binary64_12306` `associate-/l*_binary64_12299`
4×	`div-exp_binary64_12405` `associate-/r/_binary64_12300`
2×	`diff-log_binary64_12446` `flip3--_binary64_12358` `sub-neg_binary64_12347` `flip--_binary64_12329` `inv-pow_binary64_12439` `pow-flip_binary64_12428` `1-exp_binary64_12398` `rec-exp_binary64_12404` `cbrt-undiv_binary64_12388` `frac-2neg_binary64_12365` `clear-num_binary64_12353` `div-inv_binary64_12351` `flip3-+_binary64_12357` `flip-+_binary64_12328`

Counts

4 → 138

Calls

4 calls:

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

Compiler

Compiled 6000 to 4068 computations (32.2% saved)

series156.0ms (0.8%)

Error

0.1b

Counts

4 → 12

Calls

4 calls:

38.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
35.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
34.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
31.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))

Compiler

Compiled 1288 to 1073 computations (16.7% saved)

simplify89.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

150 → 150

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4879	2442
1	4879	2442

prune389.0ms (2.1%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	149	1	150
Fresh	0	8	8
Picked	1	0	1
Done	0	0	0
Total	150	9	159

Error

0.0b

Counts

159 → 9

Compiler

Compiled 6390 to 4367 computations (31.7% saved)

localize26.0ms (0.1%)

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)))
1.9b	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))

rewrite520.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

130×	`*-un-lft-identity_binary64_12354`
59×	`sqrt-prod_binary64_12370`
54×	`times-frac_binary64_12360`
49×	`distribute-lft-out_binary64_12305`
47×	`add-sqr-sqrt_binary64_12376`
39×	`add-cube-cbrt_binary64_12389`
18×	`associate-/r*_binary64_12298`
16×	`add-exp-log_binary64_12392`
10×	`add-cbrt-cube_binary64_12390`
9×	`associate-/l*_binary64_12299`
7×	`pow1_binary64_12415`
6×	`add-log-exp_binary64_12393` `cancel-sign-sub-inv_binary64_12320` `div-exp_binary64_12405` `associate-/r/_binary64_12300`
4×	`difference-of-squares_binary64_12323`
3×	`distribute-lft-out--_binary64_12306` `inv-pow_binary64_12439` `pow-flip_binary64_12428` `1-exp_binary64_12398` `rec-exp_binary64_12404` `cbrt-undiv_binary64_12388` `frac-2neg_binary64_12365` `clear-num_binary64_12353` `div-inv_binary64_12351` `flip3-+_binary64_12357` `flip-+_binary64_12328`
1×	`diff-log_binary64_12446` `flip3--_binary64_12358` `sub-neg_binary64_12347` `flip--_binary64_12329`

Counts

4 → 159

Calls

4 calls:

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

Compiler

Compiled 7246 to 5058 computations (30.2% saved)

series172.0ms (0.9%)

Error

0.0b

Counts

4 → 12

Calls

4 calls:

56.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
38.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
25.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))
24.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)))

Compiler

Compiled 1282 to 1085 computations (15.4% saved)

simplify73.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5016	2869

prune530.0ms (2.9%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	171	0	171
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	171	9	180

Error

0.0b

Counts

180 → 9

Compiler

Compiled 7211 to 4987 computations (30.8% saved)

regimes3.1s (16.8%)

Accuracy

Total 0.4b remaining (90.5%)

Threshold costs 0.4b (90.5%)

Compiler

Compiled 45308 to 37341 computations (17.6% saved)

bsearch0.0ms (0%)

simplify32.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	48	59
1	48	59

Compiler

Compiled 74 to 66 computations (10.8% saved)

end0.0ms (0%)

sample10.0s (54.2%)

Algorithm

1×

intervals

Results

1.7s	4442×	body	512	valid
1.2s	9416×	body	128	nan
886.0ms	1653×	body	1024	valid
258.0ms	1033×	body	256	valid
109.0ms	872×	body	128	valid

Compiler

Compiled 3443 to 2843 computations (17.4% saved)

Details

analyze768.0ms (4.2%)

sample215.0ms (1.2%)

simplify70.0ms (0.4%)

prune4.0ms (0%)

localize39.0ms (0.2%)

rewrite305.0ms (1.7%)

series167.0ms (0.9%)

simplify57.0ms (0.3%)

prune290.0ms (1.6%)

localize27.0ms (0.1%)

rewrite350.0ms (1.9%)

series159.0ms (0.9%)

simplify111.0ms (0.6%)

prune320.0ms (1.7%)

localize26.0ms (0.1%)

rewrite429.0ms (2.3%)

series156.0ms (0.8%)

simplify89.0ms (0.5%)

prune389.0ms (2.1%)

localize26.0ms (0.1%)

rewrite520.0ms (2.8%)

series172.0ms (0.9%)

simplify73.0ms (0.4%)

prune530.0ms (2.9%)

regimes3.1s (16.8%)

bsearch0.0ms (0%)

simplify32.0ms (0.2%)

end0.0ms (0%)

sample10.0s (54.2%)

Profiling