Details

analyze1.0s (4.3%)

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)

sample16.2s (67.4%)

Results

11.9s	4885×	body	8192	exit
1.9s	3379×	body	1024	invalid
1.2s	8256×	body	128	valid
618.0ms	1696×	body	512	invalid
380.0ms	854×	body	256	invalid
84.0ms	629×	body	128	invalid
6.0ms	2×	body	8192	invalid
4.0ms	2×	body	4096	invalid
3.0ms	4×	body	2048	invalid

Compiler

Compiled 32 to 23 computations (28.1% saved)

simplify91.0ms (0.4%)

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

Counts

3 → 2

Alt Table

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

Compiler

Compiled 55 to 32 computations (41.8% saved)

localize6.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.3b	(pow.f64 l (exp.f64 w))

series299.0ms (1.2%)

Counts

2 → 44

Calls

2 calls:

150.0ms	(pow.f64 l (exp.f64 w))
148.0ms	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))

rewrite48.0ms (0.2%)

Algorithm

2×	batch-egg-rewrite

Rules

67× egg-rr

Counts

2 → 67

Calls

2 calls:

46.0ms	((pow.f64 l (exp.f64 w)) (*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w))))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	159	17
2	1494	17
3	5494	17
0	0	0
1	0	0

simplify72.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

832×	`fma-def_binary64`
447×	`associate-+l+_binary64`
421×	`associate-l_binary64`
321×	`associate-+r+_binary64`
315×	`associate-r_binary64`

Counts

111 → 88

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	76	694
1	240	663
2	862	588
3	4205	588
4	4871	588
5	5089	588

prune65.0ms (0.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	86	2	88
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	88	2	90

Error

0.1b

Counts

90 → 2

Alt Table

Status	Error	Program
	1.8b	(.f64 (exp.f64 (neg.f64 w)) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))) 2) 3) (cbrt.f64 (pow.f64 l (exp.f64 w)))))
▶	1.1b	(.f64 (exp.f64 (neg.f64 w)) (fma.f64 (log.f64 l) (.f64 l w) l))

Status

Error

Program

1.8b

(*.f64 (exp.f64 (neg.f64 w)) (*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))) 2) 3) (cbrt.f64 (pow.f64 l (exp.f64 w)))))

▶

1.1b

(*.f64 (exp.f64 (neg.f64 w)) (fma.f64 (log.f64 l) (*.f64 l w) l))

Compiler

Compiled 1687 to 684 computations (59.5% saved)

localize8.0ms (0%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 (exp.f64 (neg.f64 w)) (fma.f64 (log.f64 l) (.f64 l w) l))
✓	0.1b	(fma.f64 (log.f64 l) (*.f64 l w) l)

series131.0ms (0.5%)

Counts

2 → 48

Calls

2 calls:

70.0ms	(fma.f64 (log.f64 l) (*.f64 l w) l)
61.0ms	(.f64 (exp.f64 (neg.f64 w)) (fma.f64 (log.f64 l) (.f64 l w) l))

rewrite73.0ms (0.3%)

Algorithm

2×	batch-egg-rewrite

Rules

43× egg-rr

Counts

2 → 43

Calls

2 calls:

72.0ms	((fma.f64 (log.f64 l) (.f64 l w) l) (.f64 (exp.f64 (neg.f64 w)) (fma.f64 (log.f64 l) (*.f64 l w) l)))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	27
1	175	25
2	1860	25
3	4935	25
4	4987	25
0	0	0
1	0	0

simplify46.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

761×	`fma-neg_binary64`
345×	`distribute-rgt-in_binary64`
278×	`fma-def_binary64`
197×	`distribute-rgt-out_binary64`
195×	`associate-l_binary64`

Counts

91 → 67

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	68	909
1	191	842
2	582	728
3	2133	701
4	4967	701

prune35.0ms (0.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

0.1b

Counts

69 → 2

Alt Table

Status	Error	Program
▶	1.8b	(.f64 (exp.f64 (neg.f64 w)) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))) 2) 3) (cbrt.f64 (pow.f64 l (exp.f64 w)))))
✓	1.1b	(.f64 (exp.f64 (neg.f64 w)) (fma.f64 (log.f64 l) (.f64 l w) l))

Status

Error

Program

▶

1.8b

(*.f64 (exp.f64 (neg.f64 w)) (*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))) 2) 3) (cbrt.f64 (pow.f64 l (exp.f64 w)))))

✓

1.1b

(*.f64 (exp.f64 (neg.f64 w)) (fma.f64 (log.f64 l) (*.f64 l w) l))

Compiler

Compiled 1093 to 368 computations (66.3% saved)

localize11.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))) 2)
✓	0.5b	(cbrt.f64 (cbrt.f64 (pow.f64 l (exp.f64 w))))
✓	0.5b	(cbrt.f64 (pow.f64 l (exp.f64 w)))
✓	0.5b	(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))) 2) 3)

series3.0s (12.3%)

Counts

4 → 96

Calls

4 calls:

765.0ms	(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))) 2) 3)
748.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))) 2)
731.0ms	(cbrt.f64 (cbrt.f64 (pow.f64 l (exp.f64 w))))
724.0ms	(cbrt.f64 (pow.f64 l (exp.f64 w)))

rewrite50.0ms (0.2%)

Algorithm

2×	batch-egg-rewrite

Rules

100× egg-rr

Counts

4 → 100

Calls

2 calls:

49.0ms

((pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))) 2) 3) (cbrt.f64 (pow.f64 l (exp.f64 w))) (cbrt.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))) (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))) 2))

0.0ms

()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	44
1	221	37
2	2104	37
3	4969	37
0	0	0
1	0	0

simplify77.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

679×	`associate-+l+_binary64`
601×	`associate-+r+_binary64`
257×	`associate-r_binary64`
257×	`unswap-sqr_binary64`
213×	`distribute-rgt-out_binary64`

Counts

196 → 149

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	158	1996
1	512	1915
2	1909	1445
3	4895	1445
4	4966	1445

prune128.0ms (0.5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	191	2	193
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	191	4	195

Error

0.1b

Counts

195 → 4

Alt Table

Status	Error	Program
	4.4b	(.f64 (exp.f64 (neg.f64 w)) (.f64 (pow.f64 (exp.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 l (exp.f64 w))) 2/3))) 3) (cbrt.f64 (pow.f64 l (exp.f64 w)))))
✓	1.8b	(.f64 (exp.f64 (neg.f64 w)) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))) 2) 3) (cbrt.f64 (pow.f64 l (exp.f64 w)))))
▶	3.0b	(.f64 (exp.f64 (neg.f64 w)) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (expm1.f64 (log1p.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))))) 2) 3) (cbrt.f64 (pow.f64 l (exp.f64 w)))))
✓	1.1b	(.f64 (exp.f64 (neg.f64 w)) (fma.f64 (log.f64 l) (.f64 l w) l))

Compiler

Compiled 5794 to 2716 computations (53.1% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(cbrt.f64 (expm1.f64 (log1p.f64 (cbrt.f64 (pow.f64 l (exp.f64 w))))))
	0.5b	(cbrt.f64 (pow.f64 l (exp.f64 w)))
✓	0.5b	(pow.f64 (pow.f64 (cbrt.f64 (expm1.f64 (log1p.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))))) 2) 3)
✓	1.7b	(expm1.f64 (log1p.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))))

series2.1s (8.9%)

Counts

3 → 72

Calls

3 calls:

735.0ms

(pow.f64 (pow.f64 (cbrt.f64 (expm1.f64 (log1p.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))))) 2) 3)

709.0ms

(expm1.f64 (log1p.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))))

685.0ms

(cbrt.f64 (expm1.f64 (log1p.f64 (cbrt.f64 (pow.f64 l (exp.f64 w))))))

rewrite49.0ms (0.2%)

Algorithm

2×	batch-egg-rewrite

Rules

85× egg-rr

Counts

3 → 85

Calls

2 calls:

48.0ms

((expm1.f64 (log1p.f64 (cbrt.f64 (pow.f64 l (exp.f64 w))))) (pow.f64 (pow.f64 (cbrt.f64 (expm1.f64 (log1p.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))))) 2) 3) (cbrt.f64 (expm1.f64 (log1p.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))))))

0.0ms

()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	31
1	241	26
2	2295	26
3	5521	26
0	0	0
1	0	0

simplify67.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

566×	`*-commutative_binary64`
563×	`distribute-rgt-out_binary64`
511×	`associate-+l+_binary64`
446×	`associate-+r+_binary64`
219×	`+-commutative_binary64`

Counts

157 → 121

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	128	1445
1	407	1397
2	1489	1074
3	3772	1058
4	5005	1058

prune144.0ms (0.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	208	1	209
Fresh	0	1	1
Picked	1	0	1
Done	0	2	2
Total	209	4	213

Error

0.1b

Counts

213 → 4

Alt Table

Status	Error	Program
	4.4b	(.f64 (exp.f64 (neg.f64 w)) (.f64 (pow.f64 (exp.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 l (exp.f64 w))) 2/3))) 3) (cbrt.f64 (pow.f64 l (exp.f64 w)))))
✓	1.8b	(.f64 (exp.f64 (neg.f64 w)) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))) 2) 3) (cbrt.f64 (pow.f64 l (exp.f64 w)))))
	3.1b	(.f64 (exp.f64 (neg.f64 w)) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (expm1.f64 (log1p.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))))) 2) 3) (expm1.f64 (log1p.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))))))
✓	1.1b	(.f64 (exp.f64 (neg.f64 w)) (fma.f64 (log.f64 l) (.f64 l w) l))

Compiler

Compiled 6386 to 2986 computations (53.2% saved)

regimes231.0ms (1%)

Accuracy

Total 0.1b remaining (50.2%)

Threshold costs 0.1b (50.2%)

Counts

86 → 1

Compiler

Compiled 4187 to 2884 computations (31.1% 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	8	13
1	13	13
2	15	13
3	16	13
4	16	13

end75.0ms (0.3%)

Compiler: Compiled 104 to 67 computations (35.6% saved)

Details

analyze1.0s (4.3%)

sample16.2s (67.4%)

simplify91.0ms (0.4%)

prune3.0ms (0%)

localize6.0ms (0%)

series299.0ms (1.2%)

rewrite48.0ms (0.2%)

simplify72.0ms (0.3%)

prune65.0ms (0.3%)

localize8.0ms (0%)

series131.0ms (0.5%)

rewrite73.0ms (0.3%)

simplify46.0ms (0.2%)

prune35.0ms (0.1%)

localize11.0ms (0%)

series3.0s (12.3%)

rewrite50.0ms (0.2%)

simplify77.0ms (0.3%)

prune128.0ms (0.5%)

localize14.0ms (0.1%)

series2.1s (8.9%)

rewrite49.0ms (0.2%)

simplify67.0ms (0.3%)

prune144.0ms (0.6%)

regimes231.0ms (1%)

simplify2.0ms (0%)

end75.0ms (0.3%)

Profiling