Details

analyze1.0s (5.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
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
12.5%	87.4%	0.1%	5
12.5%	78%	9.5%	6
20.3%	68.7%	11%	7
21.1%	62.4%	16.5%	8
25.4%	57%	17.7%	9
26%	52.1%	22%	10
28.3%	49%	22.7%	11
28.6%	47.2%	24.2%	12
29.8%	45.6%	24.7%	13
29.9%	43.9%	26.2%	14

Compiler

Compiled 11 to 8 computations (27.3% saved)

sample15.3s (82.7%)

Results

11.3s	4936×	body	8192	exit
1.8s	3304×	body	1024	invalid
1.3s	8256×	body	128	valid
596.0ms	1684×	body	512	invalid
170.0ms	774×	body	256	invalid
72.0ms	590×	body	128	invalid
5.0ms	6×	body	2048	invalid
4.0ms	2×	body	4096	invalid

Compiler

Compiled 32 to 23 computations (28.1% saved)

simplify87.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

656×	`unswap-sqr_binary64`
607×	`times-frac_binary64`
540×	`sqr-pow_binary64`
391×	`pow-sqr_binary64`
205×	`associate-l_binary64`

Counts

1 → 2

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	19	13
2	37	11
3	79	11
4	200	11
5	635	11
6	2301	11
7	2298	11
8	2410	11
9	2637	11
10	3067	11
11	3698	11
12	4907	11
13	4890	11

prune3.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.2b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.2b	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
	0.2b	(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))

Compiler

Compiled 55 to 32 computations (41.8% saved)

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
✓	0.2b	(pow.f64 l (exp.f64 w))

series288.0ms (1.5%)

Counts

2 → 44

Calls

2 calls:

146.0ms	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
142.0ms	(pow.f64 l (exp.f64 w))

rewrite10.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-sqr-sqrt_binary64`
7×	`associate-r_binary64`
7×	`*-un-lft-identity_binary64`
7×	`unpow-prod-down_binary64`
7×	`add-cube-cbrt_binary64`

Counts

2 → 48

Calls

2 calls:

6.0ms	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
2.0ms	(pow.f64 l (exp.f64 w))

simplify68.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

888×	`fma-def_binary64`
739×	`fma-neg_binary64`
459×	`associate-+l+_binary64`
213×	`associate--l+_binary64`
162×	`cancel-sign-sub-inv_binary64`

Counts

92 → 85

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	134	1391
1	348	1242
2	1307	1192
3	4511	1192
4	5132	1192

prune54.0ms (0.3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	81	4	85
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	83	4	87

Error

0.0b

Counts

87 → 4

Alt Table

Status	Error	Program
▶	0.2b	(*.f64 (pow.f64 l (exp.f64 w)) (exp.f64 (neg.f64 w)))
	5.1b	(.f64 (exp.f64 (neg.f64 w)) (fma.f64 (.f64 l (.f64 w w)) (.f64 (log.f64 l) (+.f64 1/2 (log.f64 (sqrt.f64 l)))) (fma.f64 (log.f64 l) (*.f64 l w) l)))
	13.0b	(fma.f64 w (-.f64 (*.f64 l (log.f64 l)) l) l)
	4.7b	(exp.f64 (+.f64 (neg.f64 w) (log.f64 (pow.f64 l (exp.f64 w)))))

Compiler

Compiled 1579 to 522 computations (66.9% saved)

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (pow.f64 l (exp.f64 w)) (exp.f64 (neg.f64 w)))
	0.2b	(pow.f64 l (exp.f64 w))

series147.0ms (0.8%)

Counts

1 → 24

Calls

1 calls:

147.0ms

(*.f64 (pow.f64 l (exp.f64 w)) (exp.f64 (neg.f64 w)))

rewrite9.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-sqr-sqrt_binary64`
7×	`associate-l_binary64`
4×	`unpow-prod-down_binary64`
4×	`*-un-lft-identity_binary64`
4×	`add-cube-cbrt_binary64`

Counts

1 → 30

Calls

1 calls:

7.0ms

(*.f64 (pow.f64 l (exp.f64 w)) (exp.f64 (neg.f64 w)))

simplify75.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

602×	`associate-r_binary64`
510×	`fma-def_binary64`
287×	`associate-+l+_binary64`
224×	`times-frac_binary64`
213×	`*-commutative_binary64`

Counts

54 → 55

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	109	942
1	282	826
2	1004	797
3	3861	797
4	4925	797
5	5107	797

prune48.0ms (0.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	84	0	84
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	84	4	88

Error

0.0b

Counts

88 → 4

Alt Table

Status	Error	Program
✓	0.2b	(*.f64 (pow.f64 l (exp.f64 w)) (exp.f64 (neg.f64 w)))
	5.1b	(.f64 (exp.f64 (neg.f64 w)) (fma.f64 (.f64 l (.f64 w w)) (.f64 (log.f64 l) (+.f64 1/2 (log.f64 (sqrt.f64 l)))) (fma.f64 (log.f64 l) (*.f64 l w) l)))
	13.0b	(fma.f64 w (-.f64 (*.f64 l (log.f64 l)) l) l)
▶	4.7b	(exp.f64 (+.f64 (neg.f64 w) (log.f64 (pow.f64 l (exp.f64 w)))))

Compiler

Compiled 1530 to 517 computations (66.2% saved)

localize9.0ms (0%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (neg.f64 w) (log.f64 (pow.f64 l (exp.f64 w))))
	0.2b	(pow.f64 l (exp.f64 w))
✓	4.7b	(exp.f64 (+.f64 (neg.f64 w) (log.f64 (pow.f64 l (exp.f64 w)))))

series749.0ms (4%)

Counts

2 → 48

Calls

2 calls:

402.0ms	(+.f64 (neg.f64 w) (log.f64 (pow.f64 l (exp.f64 w))))
347.0ms	(exp.f64 (+.f64 (neg.f64 w) (log.f64 (pow.f64 l (exp.f64 w)))))

rewrite13.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`*-un-lft-identity_binary64`
10×	`fma-def_binary64`
8×	`add-sqr-sqrt_binary64`
8×	`add-cube-cbrt_binary64`
7×	`associate-+r+_binary64`

Counts

2 → 53

Calls

2 calls:

6.0ms	(+.f64 (neg.f64 w) (log.f64 (pow.f64 l (exp.f64 w))))
5.0ms	(exp.f64 (+.f64 (neg.f64 w) (log.f64 (pow.f64 l (exp.f64 w)))))

simplify91.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

433×	`associate-+l+_binary64`
285×	`distribute-rgt-in_binary64`
262×	`associate--l+_binary64`
251×	`cancel-sign-sub-inv_binary64`
243×	`distribute-lft-in_binary64`

Counts

101 → 102

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	150	1403
1	391	1292
2	1407	1263
3	4667	1263
4	4981	1263
5	4942	1263

prune53.0ms (0.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	131	0	131
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	131	4	135

Error

0.0b

Counts

135 → 4

Alt Table

Status	Error	Program
✓	0.2b	(*.f64 (pow.f64 l (exp.f64 w)) (exp.f64 (neg.f64 w)))
▶	5.1b	(.f64 (exp.f64 (neg.f64 w)) (fma.f64 (.f64 l (.f64 w w)) (.f64 (log.f64 l) (+.f64 1/2 (log.f64 (sqrt.f64 l)))) (fma.f64 (log.f64 l) (*.f64 l w) l)))
	13.0b	(fma.f64 w (-.f64 (*.f64 l (log.f64 l)) l) l)
✓	4.7b	(exp.f64 (+.f64 (neg.f64 w) (log.f64 (pow.f64 l (exp.f64 w)))))

Compiler

Compiled 2247 to 799 computations (64.4% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f64 (.f64 l (.f64 w w)) (.f64 (log.f64 l) (+.f64 1/2 (log.f64 (sqrt.f64 l)))) (fma.f64 (log.f64 l) (.f64 l w) l))
✓	0.6b	(*.f64 (log.f64 l) (+.f64 1/2 (log.f64 (sqrt.f64 l))))
✓	2.2b	(.f64 (exp.f64 (neg.f64 w)) (fma.f64 (.f64 l (.f64 w w)) (.f64 (log.f64 l) (+.f64 1/2 (log.f64 (sqrt.f64 l)))) (fma.f64 (log.f64 l) (*.f64 l w) l)))
✓	6.4b	(.f64 l (.f64 w w))

series147.0ms (0.8%)

Counts

4 → 48

Calls

4 calls:

69.0ms	(.f64 (exp.f64 (neg.f64 w)) (fma.f64 (.f64 l (.f64 w w)) (.f64 (log.f64 l) (+.f64 1/2 (log.f64 (sqrt.f64 l)))) (fma.f64 (log.f64 l) (*.f64 l w) l)))
57.0ms	(fma.f64 (.f64 l (.f64 w w)) (.f64 (log.f64 l) (+.f64 1/2 (log.f64 (sqrt.f64 l)))) (fma.f64 (log.f64 l) (.f64 l w) l))
13.0ms	(*.f64 (log.f64 l) (+.f64 1/2 (log.f64 (sqrt.f64 l))))
8.0ms	(.f64 l (.f64 w w))

rewrite20.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`pow1_binary64`
14×	`add-sqr-sqrt_binary64`
13×	`add-cbrt-cube_binary64`
12×	`*-un-lft-identity_binary64`
12×	`add-exp-log_binary64`

Counts

4 → 82

Calls

4 calls:

6.0ms	(.f64 (exp.f64 (neg.f64 w)) (fma.f64 (.f64 l (.f64 w w)) (.f64 (log.f64 l) (+.f64 1/2 (log.f64 (sqrt.f64 l)))) (fma.f64 (log.f64 l) (*.f64 l w) l)))
5.0ms	(*.f64 (log.f64 l) (+.f64 1/2 (log.f64 (sqrt.f64 l))))
4.0ms	(.f64 l (.f64 w w))
0.0ms	(fma.f64 (.f64 l (.f64 w w)) (.f64 (log.f64 l) (+.f64 1/2 (log.f64 (sqrt.f64 l)))) (fma.f64 (log.f64 l) (.f64 l w) l))

simplify71.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

682×	`distribute-rgt-in_binary64`
667×	`distribute-lft-in_binary64`
276×	`associate-l_binary64`
266×	`associate-r_binary64`
143×	`*-commutative_binary64`

Counts

130 → 133

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	194	3608
1	485	2858
2	1718	2635
3	5213	2635

prune96.0ms (0.5%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	132	1	133
Fresh	1	0	1
Picked	0	1	1
Done	0	2	2
Total	133	4	137

Error

0.0b

Counts

137 → 4

Alt Table

Status	Error	Program
✓	0.2b	(*.f64 (pow.f64 l (exp.f64 w)) (exp.f64 (neg.f64 w)))
✓	5.1b	(.f64 (exp.f64 (neg.f64 w)) (fma.f64 (.f64 l (.f64 w w)) (.f64 (log.f64 l) (+.f64 1/2 (log.f64 (sqrt.f64 l)))) (fma.f64 (log.f64 l) (*.f64 l w) l)))
	5.1b	(/.f64 (+.f64 l (.f64 (.f64 l (log.f64 l)) (+.f64 w (.f64 (.f64 w w) (+.f64 1/2 (log.f64 (sqrt.f64 l))))))) (exp.f64 w))
✓	4.7b	(exp.f64 (+.f64 (neg.f64 w) (log.f64 (pow.f64 l (exp.f64 w)))))

Compiler

Compiled 4485 to 1368 computations (69.5% saved)

regimes88.0ms (0.5%)

Accuracy

Total 0.2b remaining (63.6%)

Threshold costs 0.2b (63.6%)

Counts

35 → 1

Compiler

Compiled 1415 to 949 computations (32.9% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`
1×	`+-commutative_binary64`
1×	`sub-neg_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	13
1	16	13
2	18	13
3	19	13
4	18	13

end64.0ms (0.3%)

Compiler: Compiled 91 to 60 computations (34.1% saved)

Details

analyze1.0s (5.4%)

sample15.3s (82.7%)

simplify87.0ms (0.5%)

prune3.0ms (0%)

localize5.0ms (0%)

series288.0ms (1.5%)

rewrite10.0ms (0.1%)

simplify68.0ms (0.4%)

prune54.0ms (0.3%)

localize6.0ms (0%)

series147.0ms (0.8%)

rewrite9.0ms (0%)

simplify75.0ms (0.4%)

prune48.0ms (0.3%)

localize9.0ms (0%)

series749.0ms (4%)

rewrite13.0ms (0.1%)

simplify91.0ms (0.5%)

prune53.0ms (0.3%)

localize15.0ms (0.1%)

series147.0ms (0.8%)

rewrite20.0ms (0.1%)

simplify71.0ms (0.4%)

prune96.0ms (0.5%)

regimes88.0ms (0.5%)

simplify2.0ms (0%)

end64.0ms (0.3%)

Profiling