Details

analyze949.0ms (5.2%)

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)

sample358.0ms (2%)

Algorithm

1×

intervals

Results

269.0ms	137×	body	8192	exit
31.0ms	88×	body	1024	nan
17.0ms	256×	body	128	valid
10.0ms	46×	body	512	nan
4.0ms	34×	body	256	nan
0.0ms	8×	body	128	nan
0.0ms	5×	body	128	overflowed
0.0ms	5×	body	128	invalid

Compiler

Compiled 23 to 17 computations (26.1% saved)

simplify102.0ms (0.6%)

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)

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))
✓	0.3b	(pow.f64 l (exp.f64 w))

rewrite28.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`add-cube-cbrt_binary64`
10×	`add-cbrt-cube_binary64`
8×	`unpow-prod-down_binary64`
8×	`add-sqr-sqrt_binary64`
7×	`pow1_binary64`

Counts

2 → 83

Calls

2 calls:

13.0ms	(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))
11.0ms	(pow.f64 l (exp.f64 w))

series825.0ms (4.5%)

Counts

2 → 40

Calls

2 calls:

419.0ms	(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))
405.0ms	(pow.f64 l (exp.f64 w))

simplify110.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

953×	`times-frac_binary64`
917×	`fma-def_binary64`
671×	`fma-neg_binary64`
247×	`cancel-sign-sub-inv_binary64`
165×	`exp-prod_binary64`

Counts

123 → 187

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	133	1454
1	352	1339
2	1414	1317
3	4262	1313
4	4976	1313
5	5280	1313

prune73.0ms (0.4%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	181	6	187
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	183	6	189

Error

0.1b

Counts

189 → 6

Alt Table

Status	Error	Program
	4.5b	(exp.f64 (log.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))))
	4.5b	(/.f64 (exp.f64 (log.f64 (pow.f64 l (exp.f64 w)))) (exp.f64 w))
	2.3b	(/.f64 (expm1.f64 (log1p.f64 (pow.f64 l (exp.f64 w)))) (exp.f64 w))
	16.2b	(+.f64 l (.f64 l (-.f64 (.f64 (log.f64 l) w) w)))
	12.4b	(/.f64 (+.f64 (fma.f64 1/6 (.f64 (.f64 l (pow.f64 w 3)) (pow.f64 (log.f64 l) 3)) (fma.f64 1/2 (.f64 (.f64 l (pow.f64 (log.f64 l) 2)) (+.f64 (.f64 w w) (pow.f64 w 3))) (fma.f64 (log.f64 l) (.f64 1/2 (.f64 l (.f64 w w))) l))) (.f64 (log.f64 l) (.f64 l (+.f64 w (*.f64 1/6 (pow.f64 w 3)))))) (exp.f64 w))
▶	1.2b	(.f64 (/.f64 (pow.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)) (exp.f64 w)) (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (/.f64 (pow.f64 (cbrt.f64 l) (exp.f64 w)) (cbrt.f64 (exp.f64 w))))

Compiler

Compiled 1831 to 615 computations (66.4% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(*.f64 (cbrt.f64 l) (cbrt.f64 l))
	0.5b	(cbrt.f64 l)
	0.5b	(cbrt.f64 l)
✓	0.5b	(cbrt.f64 l)

rewrite25.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`pow1/3_binary64`
14×	`add-cube-cbrt_binary64`
9×	`add-sqr-sqrt_binary64`
8×	`add-exp-log_binary64`
6×	`log1p-expm1-u_binary64`

Counts

2 → 72

Calls

2 calls:

13.0ms	(*.f64 (cbrt.f64 l) (cbrt.f64 l))
9.0ms	(cbrt.f64 l)

series444.0ms (2.4%)

Counts

2 → 24

Calls

2 calls:

230.0ms	(*.f64 (cbrt.f64 l) (cbrt.f64 l))
215.0ms	(cbrt.f64 l)

simplify102.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

928×	`fma-def_binary64`
860×	`log-prod_binary64`
504×	`exp-prod_binary64`
299×	`*-commutative_binary64`
263×	`associate-l_binary64`

Counts

96 → 155

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	57	550
1	102	494
2	246	462
3	874	455
4	1999	401
5	4161	401
6	4605	393
7	4907	393

prune108.0ms (0.6%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	346	4	350
Fresh	0	5	5
Picked	1	0	1
Done	0	0	0
Total	347	9	356

Error

0.1b

Counts

356 → 9

Alt Table

Status	Error	Program
	2.3b	(/.f64 (expm1.f64 (log1p.f64 (pow.f64 l (exp.f64 w)))) (exp.f64 w))
	4.6b	(.f64 (/.f64 (pow.f64 (.f64 (pow.f64 l 1/3) (pow.f64 l 1/3)) (exp.f64 w)) (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (/.f64 (pow.f64 (cbrt.f64 l) (exp.f64 w)) (cbrt.f64 (exp.f64 w))))
	4.5b	(exp.f64 (log.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))))
	4.5b	(/.f64 (exp.f64 (log.f64 (pow.f64 l (exp.f64 w)))) (exp.f64 w))
▶	1.9b	(.f64 (/.f64 (pow.f64 (.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 l)) (cbrt.f64 (cbrt.f64 l))) (.f64 (cbrt.f64 (cbrt.f64 l)) (cbrt.f64 (cbrt.f64 l)))) (.f64 (cbrt.f64 (cbrt.f64 l)) (cbrt.f64 (cbrt.f64 l)))) (exp.f64 w)) (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (/.f64 (pow.f64 (cbrt.f64 l) (exp.f64 w)) (cbrt.f64 (exp.f64 w))))
	3.9b	(.f64 (/.f64 (pow.f64 (.f64 (exp.f64 (log.f64 (cbrt.f64 l))) (exp.f64 (log.f64 (cbrt.f64 l)))) (exp.f64 w)) (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (/.f64 (pow.f64 (cbrt.f64 l) (exp.f64 w)) (cbrt.f64 (exp.f64 w))))
	16.2b	(+.f64 l (.f64 l (-.f64 (.f64 (log.f64 l) w) w)))
	12.4b	(/.f64 (+.f64 (fma.f64 1/6 (.f64 (.f64 l (pow.f64 w 3)) (pow.f64 (log.f64 l) 3)) (fma.f64 1/2 (.f64 (.f64 l (pow.f64 (log.f64 l) 2)) (+.f64 (.f64 w w) (pow.f64 w 3))) (fma.f64 (log.f64 l) (.f64 1/2 (.f64 l (.f64 w w))) l))) (.f64 (log.f64 l) (.f64 l (+.f64 w (*.f64 1/6 (pow.f64 w 3)))))) (exp.f64 w))
	3.9b	(.f64 (/.f64 (pow.f64 (.f64 (pow.f64 l 1/3) (cbrt.f64 l)) (exp.f64 w)) (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (/.f64 (pow.f64 (cbrt.f64 l) (exp.f64 w)) (cbrt.f64 (exp.f64 w))))

Compiler

Compiled 4290 to 1020 computations (76.2% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.6b	(cbrt.f64 (cbrt.f64 l))
	0.6b	(cbrt.f64 (cbrt.f64 l))
	0.6b	(cbrt.f64 (cbrt.f64 l))
✓	0.6b	(cbrt.f64 (cbrt.f64 l))

rewrite10.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-cube-cbrt_binary64`
4×	`add-sqr-sqrt_binary64`
4×	`pow1/3_binary64`
3×	`log1p-expm1-u_binary64`
3×	`expm1-log1p-u_binary64`

Counts

1 → 30

Calls

1 calls:

9.0ms

(cbrt.f64 (cbrt.f64 l))

series478.0ms (2.6%)

Counts

1 → 12

Calls

1 calls:

478.0ms

(cbrt.f64 (cbrt.f64 l))

simplify160.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

972×	`unswap-sqr_binary64`
658×	`sqr-pow_binary64`
312×	`pow-sqr_binary64`
296×	`distribute-lft-out_binary64`
282×	`cube-prod_binary64`

Counts

42 → 52

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	32	244
1	53	244
2	86	244
3	166	244
4	420	242
5	680	242
6	1534	242
7	2621	242
8	3252	242
9	3426	242
10	3717	242
11	3951	242
12	4326	242
13	4594	242
14	4893	242
15	4735	242

prune92.0ms (0.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	415	1	416
Fresh	0	8	8
Picked	1	0	1
Done	0	0	0
Total	416	9	425

Error

0.1b

Counts

425 → 9

Alt Table

Status	Error	Program
	2.3b	(/.f64 (expm1.f64 (log1p.f64 (pow.f64 l (exp.f64 w)))) (exp.f64 w))
	4.6b	(.f64 (/.f64 (pow.f64 (.f64 (pow.f64 l 1/3) (pow.f64 l 1/3)) (exp.f64 w)) (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (/.f64 (pow.f64 (cbrt.f64 l) (exp.f64 w)) (cbrt.f64 (exp.f64 w))))
	4.5b	(exp.f64 (log.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))))
	4.5b	(/.f64 (exp.f64 (log.f64 (pow.f64 l (exp.f64 w)))) (exp.f64 w))
	3.9b	(.f64 (/.f64 (pow.f64 (.f64 (exp.f64 (log.f64 (cbrt.f64 l))) (exp.f64 (log.f64 (cbrt.f64 l)))) (exp.f64 w)) (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (/.f64 (pow.f64 (cbrt.f64 l) (exp.f64 w)) (cbrt.f64 (exp.f64 w))))
	16.2b	(+.f64 l (.f64 l (-.f64 (.f64 (log.f64 l) w) w)))
	12.4b	(/.f64 (+.f64 (fma.f64 1/6 (.f64 (.f64 l (pow.f64 w 3)) (pow.f64 (log.f64 l) 3)) (fma.f64 1/2 (.f64 (.f64 l (pow.f64 (log.f64 l) 2)) (+.f64 (.f64 w w) (pow.f64 w 3))) (fma.f64 (log.f64 l) (.f64 1/2 (.f64 l (.f64 w w))) l))) (.f64 (log.f64 l) (.f64 l (+.f64 w (*.f64 1/6 (pow.f64 w 3)))))) (exp.f64 w))
	3.9b	(.f64 (/.f64 (pow.f64 (.f64 (pow.f64 l 1/3) (cbrt.f64 l)) (exp.f64 w)) (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (/.f64 (pow.f64 (cbrt.f64 l) (exp.f64 w)) (cbrt.f64 (exp.f64 w))))
▶	2.0b	(.f64 (/.f64 (pow.f64 (.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 l))) 3) (cbrt.f64 (cbrt.f64 l))) (.f64 (cbrt.f64 (cbrt.f64 l)) (cbrt.f64 (cbrt.f64 l)))) (.f64 (cbrt.f64 (cbrt.f64 l)) (cbrt.f64 (cbrt.f64 l)))) (exp.f64 w)) (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (/.f64 (pow.f64 (cbrt.f64 l) (exp.f64 w)) (cbrt.f64 (exp.f64 w))))

Compiler

Compiled 5398 to 1089 computations (79.8% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.6b	(cbrt.f64 (cbrt.f64 l))
	0.6b	(cbrt.f64 (cbrt.f64 l))
✓	0.6b	(cbrt.f64 (cbrt.f64 (cbrt.f64 l)))
✓	0.8b	(pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 l))) 3)

rewrite25.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-cube-cbrt_binary64`
8×	`add-sqr-sqrt_binary64`
6×	`pow1/3_binary64`
6×	`log1p-expm1-u_binary64`
6×	`expm1-log1p-u_binary64`

Counts

2 → 75

Calls

2 calls:

13.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 l))) 3)
9.0ms	(cbrt.f64 (cbrt.f64 (cbrt.f64 l)))

series911.0ms (5%)

Counts

2 → 24

Calls

2 calls:

464.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 l))) 3)
446.0ms	(cbrt.f64 (cbrt.f64 (cbrt.f64 l)))

simplify106.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

977×	`fma-def_binary64`
612×	`prod-exp_binary64`
578×	`exp-prod_binary64`
522×	`*-commutative_binary64`
403×	`log-prod_binary64`

Counts

99 → 142

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	66	693
1	115	625
2	294	623
3	1312	623
4	2260	575
5	4152	575
6	5413	575

prune124.0ms (0.7%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	1389	1	1390
Fresh	0	8	8
Picked	1	0	1
Done	0	0	0
Total	1390	9	1399

Error

0.1b

Counts

1399 → 9

Alt Table

Status	Error	Program
	2.1b	(.f64 (/.f64 (pow.f64 (.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 l))) 3) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 l)) (cbrt.f64 (cbrt.f64 l))) (cbrt.f64 (cbrt.f64 l))))) (.f64 (cbrt.f64 (cbrt.f64 l)) (cbrt.f64 (cbrt.f64 l)))) (.f64 (cbrt.f64 (cbrt.f64 l)) (cbrt.f64 (cbrt.f64 l)))) (exp.f64 w)) (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (/.f64 (pow.f64 (cbrt.f64 l) (exp.f64 w)) (cbrt.f64 (exp.f64 w))))
	3.9b	(.f64 (/.f64 (pow.f64 (.f64 (exp.f64 (log.f64 (cbrt.f64 l))) (exp.f64 (log.f64 (cbrt.f64 l)))) (exp.f64 w)) (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (/.f64 (pow.f64 (cbrt.f64 l) (exp.f64 w)) (cbrt.f64 (exp.f64 w))))
	2.3b	(/.f64 (expm1.f64 (log1p.f64 (pow.f64 l (exp.f64 w)))) (exp.f64 w))
	4.6b	(.f64 (/.f64 (pow.f64 (.f64 (pow.f64 l 1/3) (pow.f64 l 1/3)) (exp.f64 w)) (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (/.f64 (pow.f64 (cbrt.f64 l) (exp.f64 w)) (cbrt.f64 (exp.f64 w))))
	4.5b	(exp.f64 (log.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))))
	4.5b	(/.f64 (exp.f64 (log.f64 (pow.f64 l (exp.f64 w)))) (exp.f64 w))
	16.2b	(+.f64 l (.f64 l (-.f64 (.f64 (log.f64 l) w) w)))
	12.4b	(/.f64 (+.f64 (fma.f64 1/6 (.f64 (.f64 l (pow.f64 w 3)) (pow.f64 (log.f64 l) 3)) (fma.f64 1/2 (.f64 (.f64 l (pow.f64 (log.f64 l) 2)) (+.f64 (.f64 w w) (pow.f64 w 3))) (fma.f64 (log.f64 l) (.f64 1/2 (.f64 l (.f64 w w))) l))) (.f64 (log.f64 l) (.f64 l (+.f64 w (*.f64 1/6 (pow.f64 w 3)))))) (exp.f64 w))
	3.9b	(.f64 (/.f64 (pow.f64 (.f64 (pow.f64 l 1/3) (cbrt.f64 l)) (exp.f64 w)) (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (/.f64 (pow.f64 (cbrt.f64 l) (exp.f64 w)) (cbrt.f64 (exp.f64 w))))

Compiler

Compiled 6306 to 1406 computations (77.7% saved)

regimes137.0ms (0.8%)

Accuracy

Total 0.2b remaining (68.8%)

Threshold costs 0.2b (68.8%)

Compiler

Compiled 3470 to 1678 computations (51.6% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
3×	`*-commutative_binary64`
3×	`sub-neg_binary64`
3×	`neg-sub0_binary64`
3×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	15
1	16	15
2	22	15
3	26	15
4	27	15
5	27	15

end0.0ms (0%)

Compiler: Compiled 11 to 7 computations (36.4% saved)

sample13.0s (71.3%)

Algorithm

1×

intervals

Results

9.7s	4746×	body	8192	exit
1.3s	3124×	body	1024	nan
632.0ms	8000×	body	128	valid
322.0ms	1569×	body	512	nan
115.0ms	845×	body	256	nan
21.0ms	322×	body	128	nan
12.0ms	149×	body	128	overflowed
7.0ms	108×	body	128	invalid
5.0ms	3×	body	4096	nan
3.0ms	1×	body	8192	nan
1.0ms	2×	body	2048	nan

Compiler

Compiled 275 to 145 computations (47.3% saved)

Details

analyze949.0ms (5.2%)

sample358.0ms (2%)

simplify102.0ms (0.6%)

prune3.0ms (0%)

localize5.0ms (0%)

rewrite28.0ms (0.2%)

series825.0ms (4.5%)

simplify110.0ms (0.6%)

prune73.0ms (0.4%)

localize22.0ms (0.1%)

rewrite25.0ms (0.1%)

series444.0ms (2.4%)

simplify102.0ms (0.6%)

prune108.0ms (0.6%)

localize19.0ms (0.1%)

rewrite10.0ms (0.1%)

series478.0ms (2.6%)

simplify160.0ms (0.9%)

prune92.0ms (0.5%)

localize22.0ms (0.1%)

rewrite25.0ms (0.1%)

series911.0ms (5%)

simplify106.0ms (0.6%)

prune124.0ms (0.7%)

regimes137.0ms (0.8%)

simplify4.0ms (0%)

end0.0ms (0%)

sample13.0s (71.3%)

Profiling