Details

analyze1.1s (5.6%)

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.0s (79.8%)

Results

11.2s	5010×	body	8192	exit
1.8s	3360×	body	1024	invalid
1.1s	8256×	body	128	valid
581.0ms	1684×	body	512	invalid
189.0ms	869×	body	256	invalid
79.0ms	625×	body	128	invalid
8.0ms	4×	body	4096	invalid
8.0ms	2×	body	8192	invalid
5.0ms	6×	body	2048	invalid

Compiler

Compiled 32 to 23 computations (28.1% saved)

simplify47.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

656×	`unswap-sqr_binary64`
607×	`times-frac_binary64`
203×	`associate-l_binary64`
192×	`associate-/l*_binary64`
177×	`sqr-pow_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	19	13
2	38	11
3	85	11
4	260	11
5	1105	11
6	4055	11
7	4154	11
8	4278	11
9	4515	11
10	4958	11

Stop Event

1×	node limit

Counts

1 → 2

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.1b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 37 to 22 computations (40.5% 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.1b	(pow.f64 l (exp.f64 w))

series223.0ms (1.2%)

Counts

2 → 44

Calls

2 calls:

112.0ms	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
111.0ms	(pow.f64 l (exp.f64 w))

rewrite30.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

555×	`log1p-expm1-u_binary64`
555×	`expm1-log1p-u_binary64`
315×	`log-prod_binary64`
114×	`expm1-udef_binary64`
114×	`log1p-udef_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	159	17
2	2031	17

Stop Event

1×	node limit

Counts

2 → 39

Calls

2 calls:

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

simplify22.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

832×	`fma-def_binary64`
433×	`associate-+l+_binary64`
421×	`associate-l_binary64`
321×	`associate-+r+_binary64`
313×	`associate-r_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	76	694
1	255	663
2	913	588

Stop Event

1×	node limit

Counts

83 → 60

prune45.0ms (0.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	57	3	60
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	58	3	61

Error

0.0b

Counts

61 → 3

Alt Table

Status	Error	Program
	30.0b	(*.f64 (exp.f64 (neg.f64 w)) (cbrt.f64 (pow.f64 (pow.f64 l (exp.f64 w)) 3)))
	15.6b	(+.f64 (fma.f64 l (.f64 (log.f64 l) w) l) (-.f64 (.f64 (.f64 l (.f64 w w)) (+.f64 (.f64 1/2 (pow.f64 (log.f64 l) 2)) 1/2)) (.f64 l (+.f64 w (.f64 1/2 (.f64 (log.f64 l) (*.f64 w w)))))))
▶	5.9b	(.f64 (exp.f64 (neg.f64 w)) (fma.f64 1/2 (.f64 (.f64 l (.f64 w w)) (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 2))) (fma.f64 l (*.f64 (log.f64 l) w) l)))

Compiler

Compiled 1186 to 508 computations (57.2% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(pow.f64 (log.f64 l) 2)
✓	0.7b	(.f64 (.f64 l (*.f64 w w)) (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 2)))
✓	3.0b	(.f64 (exp.f64 (neg.f64 w)) (fma.f64 1/2 (.f64 (.f64 l (.f64 w w)) (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 2))) (fma.f64 l (*.f64 (log.f64 l) w) l)))
✓	8.7b	(.f64 l (.f64 w w))

series470.0ms (2.5%)

Counts

4 → 80

Calls

4 calls:

310.0ms	(.f64 (.f64 l (*.f64 w w)) (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 2)))
127.0ms	(.f64 (exp.f64 (neg.f64 w)) (fma.f64 1/2 (.f64 (.f64 l (.f64 w w)) (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 2))) (fma.f64 l (*.f64 (log.f64 l) w) l)))
25.0ms	(pow.f64 (log.f64 l) 2)
7.0ms	(.f64 l (.f64 w w))

rewrite61.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

290×	`log1p-udef_binary64`
180×	`associate-r_binary64`
176×	`add-sqr-sqrt_binary64`
168×	`log1p-expm1-u_binary64`
168×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	17	73
1	361	71
2	4744	71

Stop Event

1×	node limit

Counts

4 → 77

Calls

4 calls:

60.0ms	(pow.f64 (log.f64 l) 2)
60.0ms	(.f64 (.f64 l (*.f64 w w)) (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 2)))
60.0ms	(.f64 (exp.f64 (neg.f64 w)) (fma.f64 1/2 (.f64 (.f64 l (.f64 w w)) (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 2))) (fma.f64 l (*.f64 (log.f64 l) w) l)))
60.0ms	(.f64 l (.f64 w w))

simplify41.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

296×	`cancel-sign-sub-inv_binary64`
264×	`associate--r+_binary64`
264×	`distribute-rgt-in_binary64`
244×	`distribute-lft-in_binary64`
224×	`associate--l+_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	145	2422
1	511	2139
2	1749	1973

Stop Event

1×	node limit

Counts

157 → 109

prune85.0ms (0.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	108	1	109
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	109	3	112

Error

0.0b

Counts

112 → 3

Alt Table

Status	Error	Program
✓	5.9b	(.f64 (exp.f64 (neg.f64 w)) (fma.f64 1/2 (.f64 (.f64 l (.f64 w w)) (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 2))) (fma.f64 l (*.f64 (log.f64 l) w) l)))
▶	6.2b	(/.f64 (fma.f64 1/2 (.f64 l (.f64 w (.f64 w (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 2))))) (fma.f64 l (.f64 w (log.f64 l)) l)) (exp.f64 w))
	30.0b	(*.f64 (exp.f64 (neg.f64 w)) (cbrt.f64 (pow.f64 (pow.f64 l (exp.f64 w)) 3)))

Compiler

Compiled 3595 to 1515 computations (57.9% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 w (log.f64 l))
	0.5b	(pow.f64 (log.f64 l) 2)
✓	3.0b	(/.f64 (fma.f64 1/2 (.f64 l (.f64 w (.f64 w (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 2))))) (fma.f64 l (.f64 w (log.f64 l)) l)) (exp.f64 w))
✓	8.8b	(.f64 l (.f64 w (*.f64 w (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 2)))))

series617.0ms (3.3%)

Counts

3 → 72

Calls

3 calls:

325.0ms

(*.f64 l (*.f64 w (*.f64 w (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 2)))))

163.0ms

(*.f64 w (log.f64 l))

129.0ms

(/.f64 (fma.f64 1/2 (*.f64 l (*.f64 w (*.f64 w (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 2))))) (fma.f64 l (*.f64 w (log.f64 l)) l)) (exp.f64 w))

rewrite57.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

296×	`log1p-udef_binary64`
167×	`add-sqr-sqrt_binary64`
163×	`associate-r_binary64`
159×	`log1p-expm1-u_binary64`
159×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	16	64
1	342	62
2	4531	62

Stop Event

1×	node limit

Counts

3 → 65

Calls

3 calls:

56.0ms

(*.f64 w (log.f64 l))

56.0ms

(/.f64 (fma.f64 1/2 (*.f64 l (*.f64 w (*.f64 w (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 2))))) (fma.f64 l (*.f64 w (log.f64 l)) l)) (exp.f64 w))

56.0ms

(*.f64 l (*.f64 w (*.f64 w (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 2)))))

simplify40.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

839×	`fma-def_binary64`
502×	`associate-l_binary64`
276×	`cancel-sign-sub-inv_binary64`
206×	`distribute-rgt-in_binary64`
178×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	121	2154
1	400	2059
2	1411	1884

Stop Event

1×	node limit

Counts

137 → 92

prune74.0ms (0.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	113	0	113
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	113	3	116

Error

0.0b

Counts

116 → 3

Alt Table

Status	Error	Program
✓	5.9b	(.f64 (exp.f64 (neg.f64 w)) (fma.f64 1/2 (.f64 (.f64 l (.f64 w w)) (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 2))) (fma.f64 l (*.f64 (log.f64 l) w) l)))
✓	6.2b	(/.f64 (fma.f64 1/2 (.f64 l (.f64 w (.f64 w (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 2))))) (fma.f64 l (.f64 w (log.f64 l)) l)) (exp.f64 w))
▶	30.0b	(*.f64 (exp.f64 (neg.f64 w)) (cbrt.f64 (pow.f64 (pow.f64 l (exp.f64 w)) 3)))

Compiler

Compiled 3634 to 1509 computations (58.5% saved)

localize8.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (exp.f64 (neg.f64 w)) (cbrt.f64 (pow.f64 (pow.f64 l (exp.f64 w)) 3)))
✓	0.0b	(pow.f64 (pow.f64 l (exp.f64 w)) 3)
	0.1b	(pow.f64 l (exp.f64 w))
✓	29.1b	(cbrt.f64 (pow.f64 (pow.f64 l (exp.f64 w)) 3))

series353.0ms (1.9%)

Counts

3 → 68

Calls

3 calls:

129.0ms	(pow.f64 (pow.f64 l (exp.f64 w)) 3)
118.0ms	(*.f64 (exp.f64 (neg.f64 w)) (cbrt.f64 (pow.f64 (pow.f64 l (exp.f64 w)) 3)))
106.0ms	(cbrt.f64 (pow.f64 (pow.f64 l (exp.f64 w)) 3))

rewrite40.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

737×	`log1p-expm1-u_binary64`
737×	`expm1-log1p-u_binary64`
100×	`add-sqr-sqrt_binary64`
94×	`add-log-exp_binary64`
93×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	28
1	221	26
2	2569	26

Stop Event

1×	node limit

Counts

3 → 73

Calls

3 calls:

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

simplify45.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

729×	`fma-neg_binary64`
601×	`associate-+l+_binary64`
477×	`associate-+r+_binary64`
337×	`*-commutative_binary64`
237×	`+-commutative_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	106	1061
1	368	1006
2	1419	924
3	4952	924

Stop Event

1×	node limit

Counts

141 → 104

prune83.0ms (0.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	134	1	135
Fresh	0	0	0
Picked	1	0	1
Done	0	2	2
Total	135	3	138

Error

0.0b

Counts

138 → 3

Alt Table

Status	Error	Program
✓	5.9b	(.f64 (exp.f64 (neg.f64 w)) (fma.f64 1/2 (.f64 (.f64 l (.f64 w w)) (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 2))) (fma.f64 l (*.f64 (log.f64 l) w) l)))
	29.9b	(.f64 (exp.f64 (neg.f64 w)) (cbrt.f64 (.f64 (pow.f64 (sqrt.f64 l) (.f64 (exp.f64 w) 3)) (pow.f64 (sqrt.f64 l) (.f64 (exp.f64 w) 3)))))
✓	6.2b	(/.f64 (fma.f64 1/2 (.f64 l (.f64 w (.f64 w (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 2))))) (fma.f64 l (.f64 w (log.f64 l)) l)) (exp.f64 w))

Compiler

Compiled 2580 to 1184 computations (54.1% saved)

regimes318.0ms (1.7%)

Accuracy

Total -0.2b remaining (-66.3%)

Threshold costs -0.2b (-66.3%)

Counts

122 → 1

Compiler

Compiled 5852 to 4033 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	10	13
1	17	13
2	19	13
3	20	13

Stop Event

1×

saturated

end64.0ms (0.3%)

Compiler: Compiled 97 to 60 computations (38.1% saved)

Details

analyze1.1s (5.6%)

sample15.0s (79.8%)

simplify47.0ms (0.2%)

prune2.0ms (0%)

localize5.0ms (0%)

series223.0ms (1.2%)

rewrite30.0ms (0.2%)

simplify22.0ms (0.1%)

prune45.0ms (0.2%)

localize14.0ms (0.1%)

series470.0ms (2.5%)

rewrite61.0ms (0.3%)

simplify41.0ms (0.2%)

prune85.0ms (0.4%)

localize14.0ms (0.1%)

series617.0ms (3.3%)

rewrite57.0ms (0.3%)

simplify40.0ms (0.2%)

prune74.0ms (0.4%)

localize8.0ms (0%)

series353.0ms (1.9%)

rewrite40.0ms (0.2%)

simplify45.0ms (0.2%)

prune83.0ms (0.4%)

regimes318.0ms (1.7%)

simplify2.0ms (0%)

end64.0ms (0.3%)

Profiling