Details

analyze834.0ms (3.9%)

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
50%	50%	0.1%	3
50%	50%	0.1%	4
50%	50%	0.1%	5
50%	50%	0.1%	6
50%	50%	0.1%	7
50%	50%	0.1%	8
50%	50%	0.1%	9
50%	48.6%	1.5%	10
50%	48.5%	1.6%	11
50%	48.5%	1.6%	12
50%	48.4%	1.6%	13
50%	47.7%	2.4%	14

Compiler

Compiled 11 to 8 computations (27.3% saved)

sample11.3s (52.2%)

Infinites

28.6% of outputs are infinite.

Results

8.6s	5700×	body	8192	exit
1.2s	2360×	body	1024	invalid
892.0ms	8256×	body	128	valid
398.0ms	1139×	body	512	invalid
108.0ms	596×	body	256	invalid
30.0ms	273×	body	128	invalid
4.0ms	7×	body	2048	invalid
3.0ms	1×	body	8192	invalid

Compiler

Compiled 32 to 23 computations (28.1% saved)

simplify87.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.5b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.5b	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
	0.5b	(/.f64 (pow.f64 l (exp.f64 w)) (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.2b	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
✓	0.3b	(pow.f64 l (exp.f64 w))

series287.0ms (1.3%)

Counts

2 → 44

Calls

2 calls:

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

rewrite10.0ms (0%)

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:

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

simplify68.0ms (0.3%)

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

prune79.0ms (0.4%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	79	6	85
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	81	6	87

Error

0.1b

Counts

87 → 6

Alt Table

Status	Error	Program
	23.1b	(.f64 (exp.f64 (neg.f64 w)) (cbrt.f64 (.f64 (*.f64 (pow.f64 l (exp.f64 w)) (pow.f64 l (exp.f64 w))) (pow.f64 l (exp.f64 w)))))
	26.0b	(.f64 (exp.f64 (neg.f64 w)) (+.f64 l (fma.f64 (.f64 l (pow.f64 w 3)) (.f64 (log.f64 l) (+.f64 1/6 (log.f64 (sqrt.f64 l)))) (fma.f64 (.f64 l (.f64 w w)) (.f64 (log.f64 l) (+.f64 1/2 (log.f64 (sqrt.f64 l)))) (.f64 l (+.f64 (.f64 (log.f64 l) w) (.f64 (.f64 1/6 (pow.f64 (log.f64 l) 3)) (pow.f64 w 3))))))))
▶	0.5b	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))))
	24.3b	(+.f64 (fma.f64 (log.f64 l) (.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 (log.f64 (sqrt.f64 l)) (.f64 w w))))))
	3.3b	(exp.f64 (-.f64 (*.f64 (log.f64 l) (exp.f64 w)) w))
	3.6b	(.f64 (exp.f64 (neg.f64 w)) (exp.f64 (.f64 (log.f64 l) (exp.f64 w))))

Compiler

Compiled 1755 to 624 computations (64.4% saved)

localize8.0ms (0%)

Local error

Found 3 expressions with local error:

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

series1.7s (7.8%)

Counts

3 → 64

Calls

3 calls:

781.0ms	(pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))
768.0ms	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))))
141.0ms	(pow.f64 l (sqrt.f64 (exp.f64 w)))

rewrite16.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`unpow-prod-down_binary64`
22×	`add-sqr-sqrt_binary64`
14×	`*-un-lft-identity_binary64`
14×	`add-cube-cbrt_binary64`
12×	`pow-unpow_binary64`

Counts

3 → 87

Calls

3 calls:

7.0ms	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))))
3.0ms	(pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))
2.0ms	(pow.f64 l (sqrt.f64 (exp.f64 w)))

simplify72.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

625×	`associate-+l+_binary64`
215×	`associate-r_binary64`
213×	`associate--l+_binary64`
204×	`unswap-sqr_binary64`
181×	`times-frac_binary64`

Counts

151 → 143

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	199	2748
1	504	2260
2	1834	2201
3	4949	2201

prune126.0ms (0.6%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	141	2	143
Fresh	1	4	5
Picked	1	0	1
Done	0	0	0
Total	143	6	149

Error

0.0b

Counts

149 → 6

Alt Table

Status	Error	Program
	26.0b	(.f64 (exp.f64 (neg.f64 w)) (+.f64 l (fma.f64 (.f64 l (pow.f64 w 3)) (.f64 (log.f64 l) (+.f64 1/6 (log.f64 (sqrt.f64 l)))) (fma.f64 (.f64 l (.f64 w w)) (.f64 (log.f64 l) (+.f64 1/2 (log.f64 (sqrt.f64 l)))) (.f64 l (+.f64 (.f64 (log.f64 l) w) (.f64 (.f64 1/6 (pow.f64 (log.f64 l) 3)) (pow.f64 w 3))))))))
	3.3b	(exp.f64 (-.f64 (*.f64 (log.f64 l) (exp.f64 w)) w))
	3.5b	(.f64 (exp.f64 (neg.f64 w)) (pow.f64 (exp.f64 (.f64 (log.f64 l) (sqrt.f64 (exp.f64 w)))) (sqrt.f64 (exp.f64 w))))
	24.3b	(+.f64 (fma.f64 (log.f64 l) (.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 (log.f64 (sqrt.f64 l)) (.f64 w w))))))
▶	0.8b	(*.f64 (/.f64 (sqrt.f64 (pow.f64 l (exp.f64 w))) (exp.f64 w)) (sqrt.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))))
	3.6b	(.f64 (exp.f64 (neg.f64 w)) (exp.f64 (.f64 (log.f64 l) (exp.f64 w))))

Compiler

Compiled 3455 to 980 computations (71.6% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(pow.f64 l (sqrt.f64 (exp.f64 w)))
	0.2b	(pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))
	0.3b	(pow.f64 l (exp.f64 w))
✓	0.3b	(*.f64 (/.f64 (sqrt.f64 (pow.f64 l (exp.f64 w))) (exp.f64 w)) (sqrt.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))))

series892.0ms (4.1%)

Counts

1 → 24

Calls

1 calls:

892.0ms

(*.f64 (/.f64 (sqrt.f64 (pow.f64 l (exp.f64 w))) (exp.f64 w)) (sqrt.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))))

rewrite29.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

93×	`add-sqr-sqrt_binary64`
75×	`sqrt-prod_binary64`
54×	`times-frac_binary64`
45×	`unpow-prod-down_binary64`
34×	`associate-l_binary64`

Counts

1 → 94

Calls

1 calls:

13.0ms

(*.f64 (/.f64 (sqrt.f64 (pow.f64 l (exp.f64 w))) (exp.f64 w)) (sqrt.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))))

simplify158.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

819×	`fma-neg_binary64`
472×	`fma-def_binary64`
342×	`*-commutative_binary64`
277×	`associate-+l+_binary64`
265×	`associate-/l*_binary64`

Counts

118 → 142

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	221	5012
1	562	4842
2	1488	4745
3	4010	4703
4	4898	4703
5	4956	4703

prune220.0ms (1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	246	1	247
Fresh	0	5	5
Picked	1	0	1
Done	0	0	0
Total	247	6	253

Error

0.0b

Counts

253 → 6

Alt Table

Status	Error	Program
	26.0b	(.f64 (exp.f64 (neg.f64 w)) (+.f64 l (fma.f64 (.f64 l (pow.f64 w 3)) (.f64 (log.f64 l) (+.f64 1/6 (log.f64 (sqrt.f64 l)))) (fma.f64 (.f64 l (.f64 w w)) (.f64 (log.f64 l) (+.f64 1/2 (log.f64 (sqrt.f64 l)))) (.f64 l (+.f64 (.f64 (log.f64 l) w) (.f64 (.f64 1/6 (pow.f64 (log.f64 l) 3)) (pow.f64 w 3))))))))
▶	1.2b	(.f64 (.f64 (cbrt.f64 (.f64 (/.f64 (sqrt.f64 (pow.f64 l (exp.f64 w))) (exp.f64 w)) (sqrt.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))))) (cbrt.f64 (.f64 (/.f64 (sqrt.f64 (pow.f64 l (exp.f64 w))) (exp.f64 w)) (sqrt.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))))))) (cbrt.f64 (*.f64 (/.f64 (sqrt.f64 (pow.f64 l (exp.f64 w))) (exp.f64 w)) (sqrt.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))))))
	3.3b	(exp.f64 (-.f64 (*.f64 (log.f64 l) (exp.f64 w)) w))
	3.5b	(.f64 (exp.f64 (neg.f64 w)) (pow.f64 (exp.f64 (.f64 (log.f64 l) (sqrt.f64 (exp.f64 w)))) (sqrt.f64 (exp.f64 w))))
	24.3b	(+.f64 (fma.f64 (log.f64 l) (.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 (log.f64 (sqrt.f64 l)) (.f64 w w))))))
	3.6b	(.f64 (exp.f64 (neg.f64 w)) (exp.f64 (.f64 (log.f64 l) (exp.f64 w))))

Compiler

Compiled 8075 to 1792 computations (77.8% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series4.2s (19.5%)

Counts

2 → 48

Calls

2 calls:

2.2s

(*.f64 (cbrt.f64 (*.f64 (/.f64 (sqrt.f64 (pow.f64 l (exp.f64 w))) (exp.f64 w)) (sqrt.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))))) (cbrt.f64 (*.f64 (/.f64 (sqrt.f64 (pow.f64 l (exp.f64 w))) (exp.f64 w)) (sqrt.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))))))

2.1s

(cbrt.f64 (*.f64 (/.f64 (sqrt.f64 (pow.f64 l (exp.f64 w))) (exp.f64 w)) (sqrt.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))))))

rewrite16.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`pow1_binary64`
8×	`add-sqr-sqrt_binary64`
7×	`pow1/3_binary64`
6×	`*-un-lft-identity_binary64`
6×	`associate-*l/_binary64`

Counts

2 → 48

Calls

2 calls:

7.0ms

(cbrt.f64 (*.f64 (/.f64 (sqrt.f64 (pow.f64 l (exp.f64 w))) (exp.f64 w)) (sqrt.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))))))

5.0ms

(*.f64 (cbrt.f64 (*.f64 (/.f64 (sqrt.f64 (pow.f64 l (exp.f64 w))) (exp.f64 w)) (sqrt.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))))) (cbrt.f64 (*.f64 (/.f64 (sqrt.f64 (pow.f64 l (exp.f64 w))) (exp.f64 w)) (sqrt.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))))))

simplify87.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

672×	`associate-+l+_binary64`
320×	`associate--l+_binary64`
290×	`cancel-sign-sub-inv_binary64`
229×	`associate-r_binary64`
207×	`unswap-sqr_binary64`

Counts

96 → 88

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	190	3973
1	535	3633
2	1887	3129
3	5124	3129

prune569.0ms (2.6%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	653	2	655
Fresh	1	4	5
Picked	1	0	1
Done	0	0	0
Total	655	6	661

Error

0.0b

Counts

661 → 6

Alt Table

Status	Error	Program
	26.0b	(.f64 (exp.f64 (neg.f64 w)) (+.f64 l (fma.f64 (.f64 l (pow.f64 w 3)) (.f64 (log.f64 l) (+.f64 1/6 (log.f64 (sqrt.f64 l)))) (fma.f64 (.f64 l (.f64 w w)) (.f64 (log.f64 l) (+.f64 1/2 (log.f64 (sqrt.f64 l)))) (.f64 l (+.f64 (.f64 (log.f64 l) w) (.f64 (.f64 1/6 (pow.f64 (log.f64 l) 3)) (pow.f64 w 3))))))))
	1.2b	(.f64 (.f64 (cbrt.f64 (.f64 (/.f64 (sqrt.f64 (pow.f64 l (exp.f64 w))) (exp.f64 w)) (sqrt.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))))) (cbrt.f64 (.f64 (/.f64 (sqrt.f64 (pow.f64 l (exp.f64 w))) (exp.f64 w)) (sqrt.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))))))) (cbrt.f64 (*.f64 (sqrt.f64 (pow.f64 l (exp.f64 w))) (/.f64 (sqrt.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))) (exp.f64 w)))))
	3.3b	(exp.f64 (-.f64 (*.f64 (log.f64 l) (exp.f64 w)) w))
	24.3b	(+.f64 (fma.f64 (log.f64 l) (.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 (log.f64 (sqrt.f64 l)) (.f64 w w))))))
	2.3b	(.f64 (.f64 (cbrt.f64 (.f64 (/.f64 (sqrt.f64 (pow.f64 l (exp.f64 w))) (exp.f64 w)) (sqrt.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))))) (cbrt.f64 (.f64 (/.f64 (sqrt.f64 (pow.f64 l (exp.f64 w))) (exp.f64 w)) (sqrt.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))))))) (cbrt.f64 (.f64 (/.f64 (sqrt.f64 (exp.f64 (.f64 (log.f64 l) (exp.f64 w)))) (exp.f64 w)) (sqrt.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))))))
	3.6b	(.f64 (exp.f64 (neg.f64 w)) (exp.f64 (.f64 (log.f64 l) (exp.f64 w))))

Compiler

Compiled 49073 to 5302 computations (89.2% saved)

regimes721.0ms (3.3%)

Accuracy

Total 0.3b remaining (85%)

Threshold costs 0.3b (85%)

Counts

244 → 1

Compiler

Compiled 18995 to 9706 computations (48.9% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
1×	`+-commutative_binary64`
1×	`*-lft-identity_binary64`
1×	`sub-neg_binary64`
1×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	22
1	19	22
2	21	22
3	22	22
4	21	22

end122.0ms (0.6%)

Compiler: Compiled 271 to 125 computations (53.9% saved)

Details

analyze834.0ms (3.9%)

sample11.3s (52.2%)

simplify87.0ms (0.4%)

prune3.0ms (0%)

localize6.0ms (0%)

series287.0ms (1.3%)

rewrite10.0ms (0%)

simplify68.0ms (0.3%)

prune79.0ms (0.4%)

localize8.0ms (0%)

series1.7s (7.8%)

rewrite16.0ms (0.1%)

simplify72.0ms (0.3%)

prune126.0ms (0.6%)

localize11.0ms (0.1%)

series892.0ms (4.1%)

rewrite29.0ms (0.1%)

simplify158.0ms (0.7%)

prune220.0ms (1%)

localize12.0ms (0.1%)

series4.2s (19.5%)

rewrite16.0ms (0.1%)

simplify87.0ms (0.4%)

prune569.0ms (2.6%)

regimes721.0ms (3.3%)

simplify2.0ms (0%)

end122.0ms (0.6%)

Profiling