Details

analyze980.0ms (3.8%)

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.2s (58.7%)

Alt Table

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

Results

11.3s	4892×	body	8192	exit
1.8s	3285×	body	1024	invalid
1.1s	8256×	body	128	valid
573.0ms	1677×	body	512	invalid
185.0ms	856×	body	256	invalid
76.0ms	603×	body	128	invalid
7.0ms	4×	body	4096	invalid
6.0ms	2×	body	8192	invalid
4.0ms	4×	body	2048	invalid

Compiler

Compiled 52 to 37 computations (28.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))

series280.0ms (1.1%)

Counts

2 → 44

Calls

2 calls:

143.0ms	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
136.0ms	(pow.f64 l (exp.f64 w))

rewrite50.0ms (0.2%)

Algorithm

2×	batch-egg-rewrite

Rules

555×	`log1p-expm1-u_binary64`
555×	`expm1-log1p-u_binary64`
484×	`unpow-prod-down_binary64`
315×	`log-prod_binary64`
164×	`pow2_binary64`

Counts

2 → 67

Calls

2 calls:

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

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

prune77.0ms (0.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	106	5	111
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	107	5	112

Error

0.1b

Counts

112 → 5

Alt Table

Status	Error	Program
	9.1b	(.f64 (exp.f64 (neg.f64 w)) (+.f64 l (+.f64 (.f64 1/6 (.f64 (log.f64 l) (.f64 l (pow.f64 w 3)))) (+.f64 (.f64 1/2 (.f64 (pow.f64 (log.f64 l) 2) (.f64 l (pow.f64 w 3)))) (+.f64 (.f64 1/2 (.f64 (log.f64 l) (.f64 l (pow.f64 w 2)))) (+.f64 (.f64 1/2 (.f64 (pow.f64 (log.f64 l) 2) (.f64 l (pow.f64 w 2)))) (+.f64 (.f64 (log.f64 l) (.f64 l w)) (.f64 1/6 (.f64 (pow.f64 (log.f64 l) 3) (.f64 l (pow.f64 w 3)))))))))))
	27.9b	(.f64 (exp.f64 (neg.f64 w)) (.f64 (pow.f64 (.f64 (pow.f64 (.f64 l l) (exp.f64 w)) (sqrt.f64 (pow.f64 l (exp.f64 w)))) 1/3) (cbrt.f64 (sqrt.f64 (pow.f64 l (exp.f64 w))))))
	13.9b	(-.f64 (+.f64 (.f64 1/2 (.f64 l (pow.f64 w 2))) (+.f64 l (+.f64 (.f64 1/2 (.f64 (pow.f64 (log.f64 l) 2) (.f64 l (pow.f64 w 2)))) (.f64 (log.f64 l) (.f64 l w))))) (+.f64 (.f64 l w) (.f64 1/2 (.f64 (log.f64 l) (*.f64 l (pow.f64 w 2))))))
▶	1.9b	(.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)))))
	4.6b	(.f64 (exp.f64 (neg.f64 w)) (exp.f64 (.f64 (log.f64 l) (exp.f64 w))))

Compiler

Compiled 2124 to 904 computations (57.4% 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.4b	(cbrt.f64 (pow.f64 l (exp.f64 w)))
✓	0.5b	(cbrt.f64 (cbrt.f64 (pow.f64 l (exp.f64 w))))
✓	0.6b	(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))) 2) 3)

series2.7s (10.3%)

Counts

4 → 96

Calls

4 calls:

711.0ms	(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))) 2) 3)
663.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))) 2)
651.0ms	(cbrt.f64 (cbrt.f64 (pow.f64 l (exp.f64 w))))
649.0ms	(cbrt.f64 (pow.f64 l (exp.f64 w)))

rewrite50.0ms (0.2%)

Algorithm

2×	batch-egg-rewrite

Rules

792×	`log1p-expm1-u_binary64`
792×	`expm1-log1p-u_binary64`
162×	`log1p-udef_binary64`
100×	`egg-rr`
98×	`add-sqr-sqrt_binary64`

Counts

4 → 100

Calls

4 calls:

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

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

prune172.0ms (0.7%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	247	5	252
Fresh	1	3	4
Picked	1	0	1
Done	0	0	0
Total	249	8	257

Error

0.0b

Counts

257 → 8

Alt Table

Status	Error	Program
	9.1b	(.f64 (exp.f64 (neg.f64 w)) (+.f64 l (+.f64 (.f64 1/6 (.f64 (log.f64 l) (.f64 l (pow.f64 w 3)))) (+.f64 (.f64 1/2 (.f64 (pow.f64 (log.f64 l) 2) (.f64 l (pow.f64 w 3)))) (+.f64 (.f64 1/2 (.f64 (log.f64 l) (.f64 l (pow.f64 w 2)))) (+.f64 (.f64 1/2 (.f64 (pow.f64 (log.f64 l) 2) (.f64 l (pow.f64 w 2)))) (+.f64 (.f64 (log.f64 l) (.f64 l w)) (.f64 1/6 (.f64 (pow.f64 (log.f64 l) 3) (.f64 l (pow.f64 w 3)))))))))))
	27.9b	(.f64 (exp.f64 (neg.f64 w)) (.f64 (pow.f64 (.f64 (pow.f64 (.f64 l l) (exp.f64 w)) (sqrt.f64 (pow.f64 l (exp.f64 w)))) 1/3) (cbrt.f64 (sqrt.f64 (pow.f64 l (exp.f64 w))))))
	4.0b	(.f64 (exp.f64 (neg.f64 w)) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))) 2) 3) (exp.f64 (*.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 l (exp.f64 w))) 2/3)) 3/2))))
	4.4b	(.f64 (exp.f64 (neg.f64 w)) (.f64 (pow.f64 (pow.f64 (exp.f64 (log.f64 (pow.f64 (pow.f64 l (exp.f64 w)) 1/9))) 2) 3) (cbrt.f64 (pow.f64 l (exp.f64 w)))))
	3.5b	(.f64 (exp.f64 (neg.f64 w)) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))) 2) 3) (exp.f64 (log.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))))))
	5.5b	(.f64 (exp.f64 (neg.f64 w)) (.f64 (pow.f64 (pow.f64 (*.f64 (pow.f64 (pow.f64 (pow.f64 l (exp.f64 w)) 1/6) 1/3) (pow.f64 (pow.f64 (pow.f64 l (exp.f64 w)) 1/6) 1/3)) 2) 3) (cbrt.f64 (pow.f64 l (exp.f64 w)))))
	13.9b	(-.f64 (+.f64 (.f64 1/2 (.f64 l (pow.f64 w 2))) (+.f64 l (+.f64 (.f64 1/2 (.f64 (pow.f64 (log.f64 l) 2) (.f64 l (pow.f64 w 2)))) (.f64 (log.f64 l) (.f64 l w))))) (+.f64 (.f64 l w) (.f64 1/2 (.f64 (log.f64 l) (*.f64 l (pow.f64 w 2))))))
▶	3.3b	(.f64 (exp.f64 (neg.f64 w)) (.f64 (*.f64 (sqrt.f64 (pow.f64 l (exp.f64 w))) (pow.f64 (pow.f64 l (exp.f64 w)) 1/6)) (cbrt.f64 (pow.f64 l (exp.f64 w)))))

Compiler

Compiled 7240 to 3460 computations (52.2% saved)

localize12.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(pow.f64 l (exp.f64 w))
✓	0.3b	(*.f64 (sqrt.f64 (pow.f64 l (exp.f64 w))) (pow.f64 (pow.f64 l (exp.f64 w)) 1/6))
✓	0.4b	(cbrt.f64 (pow.f64 l (exp.f64 w)))
✓	3.2b	(pow.f64 (pow.f64 l (exp.f64 w)) 1/6)

series2.3s (8.7%)

Counts

4 → 88

Calls

4 calls:

821.0ms	(*.f64 (sqrt.f64 (pow.f64 l (exp.f64 w))) (pow.f64 (pow.f64 l (exp.f64 w)) 1/6))
662.0ms	(cbrt.f64 (pow.f64 l (exp.f64 w)))
649.0ms	(pow.f64 (pow.f64 l (exp.f64 w)) 1/6)
127.0ms	(pow.f64 l (exp.f64 w))

rewrite54.0ms (0.2%)

Algorithm

2×	batch-egg-rewrite

Rules

773×	`log1p-expm1-u_binary64`
773×	`expm1-log1p-u_binary64`
152×	`log1p-udef_binary64`
94×	`add-sqr-sqrt_binary64`
92×	`egg-rr`

Counts

4 → 92

Calls

4 calls:

47.0ms	(pow.f64 l (exp.f64 w))
47.0ms	(*.f64 (sqrt.f64 (pow.f64 l (exp.f64 w))) (pow.f64 (pow.f64 l (exp.f64 w)) 1/6))
47.0ms	(cbrt.f64 (pow.f64 l (exp.f64 w)))
47.0ms	(pow.f64 (pow.f64 l (exp.f64 w)) 1/6)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	42
1	202	32
2	2030	32
3	4854	32
0	0	0
1	0	0

prune180.0ms (0.7%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	263	1	264
Fresh	0	7	7
Picked	1	0	1
Done	0	0	0
Total	264	8	272

Error

0.0b

Counts

272 → 8

Alt Table

Status	Error	Program
▶	3.2b	(.f64 (exp.f64 (neg.f64 w)) (.f64 (*.f64 (sqrt.f64 (pow.f64 l (exp.f64 w))) (pow.f64 (pow.f64 l (exp.f64 w)) 1/6)) (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))) 3)))
	5.5b	(.f64 (exp.f64 (neg.f64 w)) (.f64 (pow.f64 (pow.f64 (*.f64 (pow.f64 (pow.f64 (pow.f64 l (exp.f64 w)) 1/6) 1/3) (pow.f64 (pow.f64 (pow.f64 l (exp.f64 w)) 1/6) 1/3)) 2) 3) (cbrt.f64 (pow.f64 l (exp.f64 w)))))
	9.1b	(.f64 (exp.f64 (neg.f64 w)) (+.f64 l (+.f64 (.f64 1/6 (.f64 (log.f64 l) (.f64 l (pow.f64 w 3)))) (+.f64 (.f64 1/2 (.f64 (pow.f64 (log.f64 l) 2) (.f64 l (pow.f64 w 3)))) (+.f64 (.f64 1/2 (.f64 (log.f64 l) (.f64 l (pow.f64 w 2)))) (+.f64 (.f64 1/2 (.f64 (pow.f64 (log.f64 l) 2) (.f64 l (pow.f64 w 2)))) (+.f64 (.f64 (log.f64 l) (.f64 l w)) (.f64 1/6 (.f64 (pow.f64 (log.f64 l) 3) (.f64 l (pow.f64 w 3)))))))))))
	27.9b	(.f64 (exp.f64 (neg.f64 w)) (.f64 (pow.f64 (.f64 (pow.f64 (.f64 l l) (exp.f64 w)) (sqrt.f64 (pow.f64 l (exp.f64 w)))) 1/3) (cbrt.f64 (sqrt.f64 (pow.f64 l (exp.f64 w))))))
	4.0b	(.f64 (exp.f64 (neg.f64 w)) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))) 2) 3) (exp.f64 (*.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 l (exp.f64 w))) 2/3)) 3/2))))
	4.4b	(.f64 (exp.f64 (neg.f64 w)) (.f64 (pow.f64 (pow.f64 (exp.f64 (log.f64 (pow.f64 (pow.f64 l (exp.f64 w)) 1/9))) 2) 3) (cbrt.f64 (pow.f64 l (exp.f64 w)))))
	3.5b	(.f64 (exp.f64 (neg.f64 w)) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))) 2) 3) (exp.f64 (log.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))))))
	13.9b	(-.f64 (+.f64 (.f64 1/2 (.f64 l (pow.f64 w 2))) (+.f64 l (+.f64 (.f64 1/2 (.f64 (pow.f64 (log.f64 l) 2) (.f64 l (pow.f64 w 2)))) (.f64 (log.f64 l) (.f64 l w))))) (+.f64 (.f64 l w) (.f64 1/2 (.f64 (log.f64 l) (*.f64 l (pow.f64 w 2))))))

Compiler

Compiled 8018 to 3054 computations (61.9% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(cbrt.f64 (pow.f64 l (exp.f64 w)))
✓	0.5b	(cbrt.f64 (cbrt.f64 (pow.f64 l (exp.f64 w))))
✓	0.6b	(pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))) 3)
✓	3.2b	(pow.f64 (pow.f64 l (exp.f64 w)) 1/6)

series2.7s (10.5%)

Counts

4 → 92

Calls

4 calls:

690.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))) 3)
675.0ms	(cbrt.f64 (pow.f64 l (exp.f64 w)))
674.0ms	(cbrt.f64 (cbrt.f64 (pow.f64 l (exp.f64 w))))
671.0ms	(pow.f64 (pow.f64 l (exp.f64 w)) 1/6)

rewrite54.0ms (0.2%)

Algorithm

2×	batch-egg-rewrite

Rules

792×	`log1p-expm1-u_binary64`
792×	`expm1-log1p-u_binary64`
157×	`log1p-udef_binary64`
108×	`egg-rr`
96×	`add-sqr-sqrt_binary64`

Counts

4 → 108

Calls

4 calls:

51.0ms	(cbrt.f64 (pow.f64 l (exp.f64 w)))
51.0ms	(cbrt.f64 (cbrt.f64 (pow.f64 l (exp.f64 w))))
51.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))) 3)
51.0ms	(pow.f64 (pow.f64 l (exp.f64 w)) 1/6)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	35
1	210	34
2	2076	34
3	4923	34
0	0	0
1	0	0

prune149.0ms (0.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	200	0	200
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	200	8	208

Error

0.0b

Counts

208 → 8

Alt Table

Status	Error	Program
✓	3.2b	(.f64 (exp.f64 (neg.f64 w)) (.f64 (*.f64 (sqrt.f64 (pow.f64 l (exp.f64 w))) (pow.f64 (pow.f64 l (exp.f64 w)) 1/6)) (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))) 3)))
	5.5b	(.f64 (exp.f64 (neg.f64 w)) (.f64 (pow.f64 (pow.f64 (*.f64 (pow.f64 (pow.f64 (pow.f64 l (exp.f64 w)) 1/6) 1/3) (pow.f64 (pow.f64 (pow.f64 l (exp.f64 w)) 1/6) 1/3)) 2) 3) (cbrt.f64 (pow.f64 l (exp.f64 w)))))
	9.1b	(.f64 (exp.f64 (neg.f64 w)) (+.f64 l (+.f64 (.f64 1/6 (.f64 (log.f64 l) (.f64 l (pow.f64 w 3)))) (+.f64 (.f64 1/2 (.f64 (pow.f64 (log.f64 l) 2) (.f64 l (pow.f64 w 3)))) (+.f64 (.f64 1/2 (.f64 (log.f64 l) (.f64 l (pow.f64 w 2)))) (+.f64 (.f64 1/2 (.f64 (pow.f64 (log.f64 l) 2) (.f64 l (pow.f64 w 2)))) (+.f64 (.f64 (log.f64 l) (.f64 l w)) (.f64 1/6 (.f64 (pow.f64 (log.f64 l) 3) (.f64 l (pow.f64 w 3)))))))))))
	27.9b	(.f64 (exp.f64 (neg.f64 w)) (.f64 (pow.f64 (.f64 (pow.f64 (.f64 l l) (exp.f64 w)) (sqrt.f64 (pow.f64 l (exp.f64 w)))) 1/3) (cbrt.f64 (sqrt.f64 (pow.f64 l (exp.f64 w))))))
	4.0b	(.f64 (exp.f64 (neg.f64 w)) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))) 2) 3) (exp.f64 (*.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 l (exp.f64 w))) 2/3)) 3/2))))
	4.4b	(.f64 (exp.f64 (neg.f64 w)) (.f64 (pow.f64 (pow.f64 (exp.f64 (log.f64 (pow.f64 (pow.f64 l (exp.f64 w)) 1/9))) 2) 3) (cbrt.f64 (pow.f64 l (exp.f64 w)))))
	3.5b	(.f64 (exp.f64 (neg.f64 w)) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))) 2) 3) (exp.f64 (log.f64 (cbrt.f64 (pow.f64 l (exp.f64 w)))))))
	13.9b	(-.f64 (+.f64 (.f64 1/2 (.f64 l (pow.f64 w 2))) (+.f64 l (+.f64 (.f64 1/2 (.f64 (pow.f64 (log.f64 l) 2) (.f64 l (pow.f64 w 2)))) (.f64 (log.f64 l) (.f64 l w))))) (+.f64 (.f64 l w) (.f64 1/2 (.f64 (log.f64 l) (*.f64 l (pow.f64 w 2))))))

Compiler

Compiled 6611 to 2809 computations (57.5% saved)

regimes765.0ms (3%)

Accuracy

Total 0.2b remaining (66.8%)

Threshold costs 0.2b (66.8%)

Counts

216 → 1

Compiler

Compiled 17174 to 10507 computations (38.8% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`*-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	14	27
1	21	27
2	23	27
3	24	27
4	23	27

end166.0ms (0.6%)

Compiler: Compiled 322 to 213 computations (33.9% saved)

Details

analyze980.0ms (3.8%)

sample15.2s (58.7%)

localize5.0ms (0%)

series280.0ms (1.1%)

rewrite50.0ms (0.2%)

prune77.0ms (0.3%)

localize11.0ms (0%)

series2.7s (10.3%)

rewrite50.0ms (0.2%)

prune172.0ms (0.7%)

localize12.0ms (0%)

series2.3s (8.7%)

rewrite54.0ms (0.2%)

prune180.0ms (0.7%)

localize13.0ms (0.1%)

series2.7s (10.5%)

rewrite54.0ms (0.2%)

prune149.0ms (0.6%)

regimes765.0ms (3%)

simplify3.0ms (0%)

end166.0ms (0.6%)

Profiling