Details

analyze92.0ms (4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
25%	74.9%	0.1%	3
62.4%	37.5%	0.1%	4
68.7%	31.2%	0.1%	5
68.7%	18.7%	12.6%	6
68.7%	18.7%	12.6%	7
68.7%	12.5%	18.8%	8
68.7%	12.5%	18.8%	9
68.7%	9.4%	22%	10
68.7%	9.4%	22%	11
68.7%	7.8%	23.5%	12
68.7%	7.8%	23.5%	13
68.7%	7%	24.3%	14

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample36.0ms (1.6%)

Algorithm

1×

intervals

Results

11.0ms	256×	body	128	valid
1.0ms	29×	body	128	overflowed

Compiler

Compiled 23 to 15 computations (34.8% saved)

simplify6.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	8	13
2	8	13

prune2.0ms (0.1%)

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

0.3b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.3b	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

Compiler

Compiled 30 to 18 computations (40% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

series31.0ms (1.3%)

Counts

1 → 24

Calls

1 calls:

31.0ms

(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

rewrite7.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`*-un-lft-identity_binary64`
12×	`times-frac_binary64`
10×	`add-sqr-sqrt_binary64`
10×	`add-cube-cbrt_binary64`
4×	`associate-/r*_binary64`

Counts

1 → 35

Calls

1 calls:

5.0ms

(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

simplify76.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

516×	`times-frac_binary64`
367×	`associate-/l*_binary64`
315×	`fma-def_binary64`
245×	`associate-/r*_binary64`
240×	`associate--l+_binary64`

Counts

59 → 69

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	140	1548
1	370	1457
2	1182	1441
3	4699	1438
4	4966	1438

prune48.0ms (2.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	67	2	69
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	67	3	70

Error

0.2b

Counts

70 → 3

Alt Table

Status	Error	Program
	13.4b	(/.f64 1 (+.f64 1 (exp.f64 b)))
▶	0.6b	(*.f64 (sqrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))) (sqrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))))
✓	0.3b	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

Compiler

Compiled 1717 to 655 computations (61.9% saved)

localize7.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b))))
	0.2b	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
✓	0.4b	(*.f64 (sqrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))) (sqrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))))

series87.0ms (3.8%)

Counts

2 → 48

Calls

2 calls:

48.0ms	(sqrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b))))
38.0ms	(*.f64 (sqrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))) (sqrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))))

rewrite51.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Rules

116×	`sqrt-prod_binary64`
99×	`add-sqr-sqrt_binary64`
98×	`*-un-lft-identity_binary64`
85×	`times-frac_binary64`
50×	`add-cube-cbrt_binary64`

Counts

2 → 148

Calls

2 calls:

22.0ms	(*.f64 (sqrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))) (sqrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))))
8.0ms	(sqrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b))))

simplify202.0ms (8.7%)

Algorithm

1×	egg-herbie

Rules

356×	`cancel-sign-sub-inv_binary64`
311×	`fma-neg_binary64`
225×	`associate-r_binary64`
214×	`fma-def_binary64`
189×	`associate-l_binary64`

Counts

196 → 224

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	351	5932
1	833	5625
2	3045	5391
3	4697	5370
4	4981	5370
5	4956	5370

prune278.0ms (12%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	427	0	427
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	427	3	430

Error

0.2b

Counts

430 → 3

Alt Table

Status	Error	Program
▶	13.4b	(/.f64 1 (+.f64 1 (exp.f64 b)))
✓	0.6b	(*.f64 (sqrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))) (sqrt.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))))
✓	0.3b	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

Compiler

Compiled 15249 to 4346 computations (71.5% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 1 (exp.f64 b))
✓	0.0b	(/.f64 1 (+.f64 1 (exp.f64 b)))

series10.0ms (0.4%)

Counts

2 → 8

Calls

2 calls:

8.0ms	(/.f64 1 (+.f64 1 (exp.f64 b)))
2.0ms	(+.f64 1 (exp.f64 b))

rewrite9.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`*-un-lft-identity_binary64`
12×	`times-frac_binary64`
12×	`add-sqr-sqrt_binary64`
12×	`add-cube-cbrt_binary64`
6×	`add-exp-log_binary64`

Counts

2 → 56

Calls

2 calls:

4.0ms	(/.f64 1 (+.f64 1 (exp.f64 b)))
2.0ms	(+.f64 1 (exp.f64 b))

simplify77.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

561×	`fma-neg_binary64`
525×	`fma-def_binary64`
498×	`unswap-sqr_binary64`
428×	`associate-+l+_binary64`
349×	`cancel-sign-sub-inv_binary64`

Counts

64 → 75

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	81	733
1	185	669
2	382	663
3	887	653
4	2169	653
5	3922	653
6	5318	653

prune47.0ms (2.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	74	1	75
Fresh	0	0	0
Picked	1	0	1
Done	1	1	2
Total	76	2	78

Error

0.2b

Counts

78 → 2

Alt Table

Status	Error	Program
▶	13.7b	(*.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b)))) (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b)))))
✓	0.3b	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

Compiler

Compiled 914 to 669 computations (26.8% saved)

localize5.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.0b	(+.f64 1 (exp.f64 b))
	0.0b	(/.f64 1 (+.f64 1 (exp.f64 b)))
✓	0.6b	(*.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b)))) (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b)))))

series9.0ms (0.4%)

Counts

1 → 12

Calls

1 calls:

8.0ms

(*.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b)))) (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b)))))

rewrite40.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Rules

117×	`add-sqr-sqrt_binary64`
114×	`sqrt-prod_binary64`
101×	`*-un-lft-identity_binary64`
92×	`times-frac_binary64`
41×	`add-cube-cbrt_binary64`

Counts

1 → 139

Calls

1 calls:

20.0ms

(*.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b)))) (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b)))))

simplify136.0ms (5.9%)

Algorithm

1×	egg-herbie

Rules

569×	`unswap-sqr_binary64`
533×	`fma-neg_binary64`
522×	`fma-def_binary64`
459×	`associate-/l*_binary64`
446×	`sqr-pow_binary64`

Counts

151 → 153

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	119	2279
1	218	2116
2	558	2047
3	1448	1872
4	2593	1872
5	3995	1872
6	4311	1840
7	5012	1840

prune243.0ms (10.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	302	1	303
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	302	3	305

Error

0.2b

Counts

305 → 3

Alt Table

Status	Error	Program
✓	13.7b	(*.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b)))) (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b)))))
	14.1b	(.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b))))) (cbrt.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b)))))) (.f64 (cbrt.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b))))) (cbrt.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b))))))) (*.f64 (cbrt.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b))))) (cbrt.f64 (sqrt.f64 (/.f64 1 (+.f64 1 (exp.f64 b)))))))
✓	0.3b	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

Compiler

Compiled 6485 to 4901 computations (24.4% saved)

regimes168.0ms (7.3%)

Accuracy

Total 0.3b remaining (55.4%)

Threshold costs 0.3b (55.4%)

Counts

42 → 1

Compiler

Compiled 2983 to 2337 computations (21.7% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	8	13
2	8	13

end0.0ms (0%)

Compiler: Compiled 10 to 6 computations (40% saved)

sample628.0ms (27.2%)

Algorithm

1×

intervals

Results

301.0ms	8000×	body	128	valid
20.0ms	660×	body	128	overflowed

Compiler

Compiled 105 to 79 computations (24.8% saved)

Details

analyze92.0ms (4%)

sample36.0ms (1.6%)

simplify6.0ms (0.3%)

prune2.0ms (0.1%)

localize5.0ms (0.2%)

series31.0ms (1.3%)

rewrite7.0ms (0.3%)

simplify76.0ms (3.3%)

prune48.0ms (2.1%)

localize7.0ms (0.3%)

series87.0ms (3.8%)

rewrite51.0ms (2.2%)

simplify202.0ms (8.7%)

prune278.0ms (12%)

localize4.0ms (0.2%)

series10.0ms (0.4%)

rewrite9.0ms (0.4%)

simplify77.0ms (3.4%)

prune47.0ms (2.1%)

localize5.0ms (0.2%)

series9.0ms (0.4%)

rewrite40.0ms (1.8%)

simplify136.0ms (5.9%)

prune243.0ms (10.6%)

regimes168.0ms (7.3%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample628.0ms (27.2%)

Profiling