Details

analyze1.7s (1.1%)

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
25%	74.9%	0.1%	3
25%	74.9%	0.1%	4
31.2%	68.7%	0.1%	5
31.2%	59.3%	9.5%	6
34.3%	54.6%	11%	7
34.3%	49.2%	16.5%	8
35.9%	46.4%	17.7%	9
35.9%	42.1%	22%	10
36.7%	40.6%	22.7%	11
36.7%	39.1%	24.2%	12
37.1%	38.3%	24.7%	13
37.1%	36.7%	26.2%	14

Compiler

Compiled 11 to 8 computations (27.3% saved)

sample866.0ms (0.6%)

Algorithm

1×

intervals

Results

692.0ms	137×	body	8192	exit
76.0ms	106×	body	1024	nan
29.0ms	256×	body	128	valid
19.0ms	47×	body	512	nan
5.0ms	21×	body	256	nan
1.0ms	6×	body	128	nan
0.0ms	3×	body	128	invalid
0.0ms	2×	body	128	overflowed

Compiler

Compiled 23 to 17 computations (26.1% saved)

simplify128.0ms (0.1%)

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

prune5.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 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
	0.3b	(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))

Compiler

Compiled 55 to 32 computations (41.8% saved)

localize12.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))

series588.0ms (0.4%)

Counts

2 → 44

Calls

2 calls:

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

rewrite21.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:

13.0ms	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
3.0ms	(pow.f64 l (exp.f64 w))

simplify119.0ms (0.1%)

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

prune129.0ms (0.1%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	80	5	85
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	82	5	87

Error

0.1b

Counts

87 → 5

Alt Table

Status	Error	Program
	8.0b	(.f64 (exp.f64 (neg.f64 w)) (+.f64 l (+.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 (log.f64 l) (*.f64 l w))))))
▶	0.3b	(.f64 (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w))))
	4.6b	(exp.f64 (-.f64 (*.f64 (log.f64 l) (exp.f64 w)) w))
	4.6b	(*.f64 (exp.f64 (neg.f64 w)) (exp.f64 (log.f64 (pow.f64 l (exp.f64 w)))))
	13.6b	(fma.f64 w (-.f64 (*.f64 l (log.f64 l)) l) l)

Compiler

Compiled 1645 to 562 computations (65.8% saved)

localize20.0ms (0%)

Local error

Found 4 expressions with local error:

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

series1.1s (0.8%)

Counts

3 → 48

Calls

3 calls:

490.0ms

(*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w))))

355.0ms

(cbrt.f64 (exp.f64 (neg.f64 w)))

292.0ms

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

rewrite66.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

68×	`cbrt-div_binary64`
34×	`associate-*l/_binary64`
34×	`exp-neg_binary64`
34×	`exp-diff_binary64`
34×	`neg-sub0_binary64`

Counts

3 → 117

Calls

3 calls:

24.0ms

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

13.0ms

(*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w))))

4.0ms

(cbrt.f64 (exp.f64 (neg.f64 w)))

simplify190.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

637×	`fma-def_binary64`
614×	`fma-neg_binary64`
283×	`unswap-sqr_binary64`
242×	`cancel-sign-sub-inv_binary64`
239×	`associate-r_binary64`

Counts

165 → 175

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	208	2707
1	423	2304
2	1508	2113
3	4375	2105
4	5089	2105

prune433.0ms (0.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	256	2	258
Fresh	1	3	4
Picked	1	0	1
Done	0	0	0
Total	258	5	263

Error

0.1b

Counts

263 → 5

Alt Table

Status	Error	Program
	8.0b	(.f64 (exp.f64 (neg.f64 w)) (+.f64 l (+.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 (log.f64 l) (*.f64 l w))))))
	4.6b	(exp.f64 (-.f64 (*.f64 (log.f64 l) (exp.f64 w)) w))
	4.6b	(.f64 (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (exp.f64 (log.f64 (pow.f64 l (exp.f64 w))))))
▶	1.3b	(.f64 (.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))) (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w))))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))) (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w)))))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w))))))
	13.6b	(fma.f64 w (-.f64 (*.f64 l (log.f64 l)) l) l)

Compiler

Compiled 6524 to 1581 computations (75.8% saved)

localize27.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))) (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w))))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))) (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w)))))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w))))))
	0.3b	(pow.f64 l (exp.f64 w))
✓	0.4b	(.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))) (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w))))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w))))))
✓	0.5b	(cbrt.f64 (.f64 (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w)))))

series4.7s (3.1%)

Counts

3 → 72

Calls

3 calls:

2.7s

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

1.9s

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

152.0ms

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

rewrite40.1s (26.8%)

Algorithm

1×	rewrite-expression-head

Rules

179360×	`cbrt-div_binary64`
100632×	`frac-times_binary64`
73200×	`associate-*l/_binary64`
60534×	`exp-neg_binary64`
60534×	`exp-diff_binary64`

Counts

3 → 20515

Calls

3 calls:

415.0ms

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

24.0ms

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

13.0ms

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

simplify1.7min (66.5%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20741	2602546

Details

analyze1.7s (1.1%)

sample866.0ms (0.6%)

simplify128.0ms (0.1%)

prune5.0ms (0%)

localize12.0ms (0%)

series588.0ms (0.4%)

rewrite21.0ms (0%)

simplify119.0ms (0.1%)

prune129.0ms (0.1%)

localize20.0ms (0%)

series1.1s (0.8%)

rewrite66.0ms (0%)

simplify190.0ms (0.1%)

prune433.0ms (0.3%)

localize27.0ms (0%)

series4.7s (3.1%)

rewrite40.1s (26.8%)

simplify1.7min (66.5%)

Profiling