Details

analyze1.7s (22.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	50%	50%	0
0%	50%	50%	1
0%	50%	50%	2
0%	50%	50%	3
0%	50%	50%	4
3.1%	46.8%	50%	5
4.7%	45.3%	50%	6
5.5%	44.5%	50%	7
5.9%	44.1%	50%	8
6%	43.9%	50%	9
6.1%	43.8%	50%	10
6.2%	43.8%	50%	11
6.2%	43.7%	50%	12
6.2%	43.7%	50%	13
6.2%	43.7%	50%	14

Compiler

Compiled 17 to 13 computations (23.5% saved)

sample148.0ms (2%)

Algorithm

1×

intervals

Results

89.0ms	128×	body	1024	valid
23.0ms	67×	body	512	valid
14.0ms	16×	body	2048	valid
5.0ms	32×	body	256	valid
4.0ms	256×	pre	128	true
1.0ms	13×	body	128	valid

Compiler

Compiled 28 to 22 computations (21.4% saved)

simplify12.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

8×	`sub-neg_binary64`
6×	`fma-def_binary64`
5×	`+-commutative_binary64`
4×	`associate-+l-_binary64`
3×	`associate--r+_binary64`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	14	10
2	19	10
3	25	10
4	32	10
5	42	10
6	53	10
7	66	10
8	70	10
9	53	10

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.0b	(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))

Compiler

Compiled 21 to 15 computations (28.6% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))

rewrite17.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

9×	`*-un-lft-identity_binary64`
9×	`times-frac_binary64`
9×	`add-sqr-sqrt_binary64`
9×	`add-cube-cbrt_binary64`
3×	`associate-/r*_binary64`

Counts

1 → 29

Calls

1 calls:

2.0ms

(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))

Compiler

Compiled 384 to 91 computations (76.3% saved)

series13.0ms (0.2%)

Error

0.0b

Counts

1 → 6

Calls

1 calls:

9.0ms

(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))

Compiler

Compiled 200 to 168 computations (16% saved)

simplify133.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

586×	`sub-neg_binary64`
354×	`fma-def_binary64`
278×	`unswap-sqr_binary64`
259×	`distribute-rgt-neg-in_binary64`
238×	`associate-/l/_binary64`

Counts

35 → 12

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	83	617
1	177	559
2	396	559
3	907	548
4	2253	548
5	4021	548
6	4536	546
7	4649	546
8	4890	546
9	4797	546

prune8.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	9	3	12
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	10	3	13

Error

Counts

13 → 3

Alt Table

Status	Error	Program
▶	0.0b	(cbrt.f64 (pow.f64 (/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x)) 3))
	0.1b	(-.f64 -1 (fma.f64 x (*.f64 x (fma.f64 x 5/12 1/2)) x))
	1.6b	(.f64 (.f64 (cbrt.f64 (log1p.f64 (neg.f64 x))) (cbrt.f64 (log1p.f64 (neg.f64 x)))) (/.f64 (cbrt.f64 (log1p.f64 (neg.f64 x))) (log1p.f64 x)))

Compiler

Compiled 169 to 84 computations (50.3% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))
0.0b	(cbrt.f64 (pow.f64 (/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x)) 3))
0.0b	(pow.f64 (/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x)) 3)

rewrite62.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

45×	`times-frac_binary64`
41×	`*-un-lft-identity_binary64`
41×	`add-sqr-sqrt_binary64`
41×	`add-cube-cbrt_binary64`
32×	`cbrt-prod_binary64`

Counts

3 → 121

Calls

3 calls:

3.0ms	(cbrt.f64 (pow.f64 (/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x)) 3))
3.0ms	(pow.f64 (/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x)) 3)
2.0ms	(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))

Compiler

Compiled 1618 to 586 computations (63.8% saved)

series44.0ms (0.6%)

Error

Counts

3 → 18

Calls

3 calls:

16.0ms	(pow.f64 (/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x)) 3)
9.0ms	(/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x))
8.0ms	(cbrt.f64 (pow.f64 (/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x)) 3))

Compiler

Compiled 761 to 658 computations (13.5% saved)

simplify113.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

897×	`times-frac_binary64`
640×	`fma-def_binary64`
326×	`unswap-sqr_binary64`
124×	`distribute-rgt-in_binary64`
117×	`sqr-pow_binary64`

Counts

139 → 98

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	183	2771
1	454	2496
2	1453	2432
3	4520	2424
4	4993	2424

prune33.0ms (0.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Error

Counts

101 → 3

Alt Table

Status	Error	Program
✓	0.0b	(cbrt.f64 (pow.f64 (/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x)) 3))
▶	0.1b	(-.f64 -1 (fma.f64 x (*.f64 x (fma.f64 x 5/12 1/2)) x))
	1.6b	(.f64 (.f64 (cbrt.f64 (log1p.f64 (neg.f64 x))) (cbrt.f64 (log1p.f64 (neg.f64 x)))) (/.f64 (cbrt.f64 (log1p.f64 (neg.f64 x))) (log1p.f64 x)))

Compiler

Compiled 757 to 326 computations (56.9% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(*.f64 x (fma.f64 x 5/12 1/2))

rewrite18.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

5×	`add-sqr-sqrt_binary64`
3×	`associate-r_binary64`
3×	`associate-l_binary64`
3×	`*-un-lft-identity_binary64`
3×	`add-cube-cbrt_binary64`

Counts

1 → 22

Calls

1 calls:

3.0ms

(*.f64 x (fma.f64 x 5/12 1/2))

Compiler

Compiled 342 to 233 computations (31.9% saved)

series12.0ms (0.2%)

Error

Counts

1 → 6

Calls

1 calls:

8.0ms

(*.f64 x (fma.f64 x 5/12 1/2))

Compiler

Compiled 154 to 111 computations (27.9% saved)

simplify74.0ms (1%)

Algorithm

1×	egg-herbie

Rules

1016×	`fma-def_binary64`
676×	`distribute-lft-in_binary64`
676×	`distribute-rgt-in_binary64`
462×	`associate-+l+_binary64`
459×	`associate-+r+_binary64`

Counts

28 → 16

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	44	327
1	81	278
2	234	278
3	664	278
4	2258	278
5	4995	278
6	4998	278
7	4956	278

prune9.0ms (0.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	16	0	16
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	16	3	19

Error

Counts

19 → 3

Alt Table

Status	Error	Program
✓	0.0b	(cbrt.f64 (pow.f64 (/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x)) 3))
✓	0.1b	(-.f64 -1 (fma.f64 x (*.f64 x (fma.f64 x 5/12 1/2)) x))
▶	1.6b	(.f64 (.f64 (cbrt.f64 (log1p.f64 (neg.f64 x))) (cbrt.f64 (log1p.f64 (neg.f64 x)))) (/.f64 (cbrt.f64 (log1p.f64 (neg.f64 x))) (log1p.f64 x)))

Compiler

Compiled 197 to 119 computations (39.6% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 (log1p.f64 (neg.f64 x))) (cbrt.f64 (log1p.f64 (neg.f64 x))))
0.6b	(cbrt.f64 (log1p.f64 (neg.f64 x)))
0.6b	(cbrt.f64 (log1p.f64 (neg.f64 x)))
0.6b	(cbrt.f64 (log1p.f64 (neg.f64 x)))

rewrite34.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

25×	`cbrt-prod_binary64`
23×	`add-sqr-sqrt_binary64`
15×	`*-un-lft-identity_binary64`
15×	`add-cube-cbrt_binary64`
11×	`pow1_binary64`

Counts

4 → 81

Calls

4 calls:

4.0ms	(*.f64 (cbrt.f64 (log1p.f64 (neg.f64 x))) (cbrt.f64 (log1p.f64 (neg.f64 x))))
1.0ms	(cbrt.f64 (log1p.f64 (neg.f64 x)))
1.0ms	(cbrt.f64 (log1p.f64 (neg.f64 x)))
1.0ms	(cbrt.f64 (log1p.f64 (neg.f64 x)))

Compiler

Compiled 1754 to 256 computations (85.4% saved)

series43.0ms (0.6%)

Error

Counts

4 → 15

Calls

4 calls:

14.0ms	(*.f64 (cbrt.f64 (log1p.f64 (neg.f64 x))) (cbrt.f64 (log1p.f64 (neg.f64 x))))
8.0ms	(cbrt.f64 (log1p.f64 (neg.f64 x)))
7.0ms	(cbrt.f64 (log1p.f64 (neg.f64 x)))
7.0ms	(cbrt.f64 (log1p.f64 (neg.f64 x)))

Compiler

Compiled 1117 to 775 computations (30.6% saved)

simplify134.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

576×	`fma-neg_binary64`
545×	`unswap-sqr_binary64`
416×	`fma-def_binary64`
300×	`*-commutative_binary64`
217×	`unsub-neg_binary64`

Counts

96 → 71

Iterations

Useful iterations: 7 (0.0ms)

Iter	Nodes	Cost
0	89	1341
1	196	1325
2	399	1226
3	910	1189
4	1740	967
5	3580	967
6	4529	963
7	4862	943
8	4799	943

prune17.0ms (0.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

74 → 3

Alt Table

Status	Error	Program
	0.0b	(cbrt.f64 (pow.f64 (/.f64 (log1p.f64 (neg.f64 x)) (log1p.f64 x)) 3))
	0.1b	(-.f64 -1 (fma.f64 x (*.f64 x (fma.f64 x 5/12 1/2)) x))
	1.6b	(.f64 (.f64 (cbrt.f64 (log1p.f64 (neg.f64 x))) (cbrt.f64 (log1p.f64 (neg.f64 x)))) (/.f64 (cbrt.f64 (log1p.f64 (neg.f64 x))) (log1p.f64 x)))

Compiler

Compiled 874 to 211 computations (75.9% saved)

regimes69.0ms (0.9%)

Accuracy

Total 0.0b remaining (82.1%)

Threshold costs 0.0b (82.1%)

Compiler

Compiled 1094 to 716 computations (34.6% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`+-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	8	13
1	13	13
2	15	13
3	16	13
4	15	13

end0.0ms (0%)

Compiler: Compiled 9 to 7 computations (22.2% saved)

sample4.6s (63.4%)

Algorithm

1×

intervals

Results

2.8s	3990×	body	1024	valid
685.0ms	2001×	body	512	valid
359.0ms	392×	body	2048	valid
177.0ms	998×	body	256	valid
146.0ms	8000×	pre	128	true
50.0ms	619×	body	128	valid

Compiler

Compiled 67 to 45 computations (32.8% saved)

Details

analyze1.7s (22.6%)

sample148.0ms (2%)

simplify12.0ms (0.2%)

prune3.0ms (0%)

localize4.0ms (0.1%)

rewrite17.0ms (0.2%)

series13.0ms (0.2%)

simplify133.0ms (1.8%)

prune8.0ms (0.1%)

localize8.0ms (0.1%)

rewrite62.0ms (0.9%)

series44.0ms (0.6%)

simplify113.0ms (1.5%)

prune33.0ms (0.5%)

localize6.0ms (0.1%)

rewrite18.0ms (0.2%)

series12.0ms (0.2%)

simplify74.0ms (1%)

prune9.0ms (0.1%)

localize9.0ms (0.1%)

rewrite34.0ms (0.5%)

series43.0ms (0.6%)

simplify134.0ms (1.8%)

prune17.0ms (0.2%)

regimes69.0ms (0.9%)

simplify3.0ms (0%)

end0.0ms (0%)

sample4.6s (63.4%)

Profiling