Details

analyze6.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	74.9%	25.1%	0
0%	74.9%	25.1%	1
37.5%	37.5%	25.1%	2
37.5%	18.7%	43.8%	3
46.8%	9.4%	43.8%	4
51.5%	4.7%	43.8%	5
51.5%	2.3%	46.1%	6
52.7%	1.2%	46.1%	7
53.3%	0.6%	46.1%	8
53.3%	0.3%	46.4%	9
53.4%	0.1%	46.4%	10
53.5%	0.1%	46.4%	11
53.5%	0%	46.5%	12
53.5%	0%	46.5%	13
53.5%	0%	46.5%	14

Compiler

Compiled 71 to 33 computations (53.5% saved)

sample1.7s (26.7%)

Results

1.6s	8256×	body	128	valid
0.0ms	1×	body	128	invalid

Compiler

Compiled 210 to 97 computations (53.8% saved)

simplify126.0ms (2%)

Algorithm

1×	egg-herbie

Rules

1509×	`associate-/l*_binary64`
766×	`distribute-rgt-out_binary64`
744×	`distribute-lft-out_binary64`
549×	`unswap-sqr_binary64`
497×	`associate-/r*_binary64`

Counts

1 → 2

Iterations

Useful iterations: 7 (0.0ms)

Iter	Nodes	Cost
0	32	75
1	74	59
2	239	41
3	928	37
4	1549	37
5	3195	37
6	3534	37
7	3698	33
8	2289	33
9	2775	33
10	2823	33
11	4807	33
12	5324	33

prune5.0ms (0.1%)

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.0b

Counts

3 → 2

Alt Table

Status	Error	Program
	0.5b	(fabs.f64 (/.f64 (fma.f64 1/21 (pow.f64 x 7) (fma.f64 1/5 (pow.f64 x 5) (fma.f64 2 x (*.f64 2/3 (pow.f64 x 3))))) (sqrt.f64 (PI.f64))))
▶	0.1b	(fabs.f64 (.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))

Status

Error

Program

0.5b

(fabs.f64 (/.f64 (fma.f64 1/21 (pow.f64 x 7) (fma.f64 1/5 (pow.f64 x 5) (fma.f64 2 x (*.f64 2/3 (pow.f64 x 3))))) (sqrt.f64 (PI.f64))))

▶

0.1b

(fabs.f64 (*.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (*.f64 2 (fabs.f64 x)) (*.f64 (/.f64 2 3) (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 1 5) (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 1 21) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))

Compiler

Compiled 272 to 147 computations (46% saved)

localize22.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))))
✓	0.1b	(.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))
✓	0.2b	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
✓	1.0b	(sqrt.f64 (PI.f64))

series100.0ms (1.6%)

Counts

4 → 36

Calls

4 calls:

80.0ms	(.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))))
11.0ms	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
9.0ms	(.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))
0.0ms	(sqrt.f64 (PI.f64))

rewrite241.0ms (3.8%)

Algorithm

4×	egg-rewrite

Rules

59×	`egg`
40×	`egg`
33×	`egg`
23×	`egg`

Counts

4 → 155

Calls

4 calls:

85.0ms	(.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))
71.0ms	(sqrt.f64 (PI.f64))
41.0ms	(.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))))
41.0ms	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	4
1	58	4
2	627	4
3	4309	4
4	5300	4
0	10	9
1	183	7
2	1602	7
3	4888	7
0	6	10
1	119	4
2	1037	4
3	4564	4
4	5519	4
0	31	61
1	612	44
2	4919	44

simplify156.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

979×	`fma-def_binary64`
692×	`sqr-pow_binary64`
543×	`cube-prod_binary64`
432×	`*-commutative_binary64`
421×	`pow-sqr_binary64`

Counts

191 → 156

Iterations

Useful iterations: 8 (0.0ms)

Iter	Nodes	Cost
0	27	684
1	68	684
2	165	684
3	421	660
4	1023	636
5	1128	636
6	1471	636
7	1505	636
8	1644	540
9	1712	540
10	2543	540
11	2723	540
12	2974	540
13	3288	540
14	3895	540
15	4310	540
16	4622	540
17	4868	540

prune239.0ms (3.7%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	213	2	215
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	214	3	217

Error

0.0b

Counts

217 → 3

Alt Table

Status	Error	Program
▶	0.1b	(fabs.f64 (.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (pow.f64 x 4) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))
	1.4b	(fabs.f64 (.f64 (pow.f64 (cbrt.f64 (/.f64 (fma.f64 1/21 (.f64 (fabs.f64 x) (pow.f64 (fabs.f64 x) 6)) (fma.f64 1/5 (pow.f64 (fabs.f64 x) 5) (fma.f64 2 (fabs.f64 x) (.f64 2/3 (pow.f64 (fabs.f64 x) 3))))) (sqrt.f64 (PI.f64)))) 2) (cbrt.f64 (/.f64 (fma.f64 1/21 (.f64 (fabs.f64 x) (pow.f64 (fabs.f64 x) 6)) (fma.f64 1/5 (pow.f64 (fabs.f64 x) 5) (fma.f64 2 (fabs.f64 x) (*.f64 2/3 (pow.f64 (fabs.f64 x) 3))))) (sqrt.f64 (PI.f64))))))
	0.5b	(fabs.f64 (/.f64 (fma.f64 1/21 (pow.f64 x 7) (fma.f64 1/5 (pow.f64 x 5) (fma.f64 2 x (*.f64 2/3 (pow.f64 x 3))))) (sqrt.f64 (PI.f64))))

Compiler

Compiled 13566 to 5878 computations (56.7% saved)

localize25.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (pow.f64 x 4) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))))
	0.1b	(.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))
	0.2b	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
	1.0b	(sqrt.f64 (PI.f64))

series61.0ms (1%)

Counts

1 → 12

Calls

1 calls:

61.0ms

(*.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (*.f64 2 (fabs.f64 x)) (*.f64 (/.f64 2 3) (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 1 5) (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 1 21) (*.f64 (*.f64 (*.f64 (pow.f64 x 4) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))))

rewrite43.0ms (0.7%)

Algorithm

1×	egg-rewrite

Rules

23× egg

Counts

1 → 23

Calls

1 calls:

42.0ms

(*.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (*.f64 2 (fabs.f64 x)) (*.f64 (/.f64 2 3) (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 1 5) (*.f64 (*.f64 (*.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (*.f64 (/.f64 1 21) (*.f64 (*.f64 (*.f64 (pow.f64 x 4) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	34	58
1	678	44
2	5000	44

simplify173.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

1573×	`fma-def_binary64`
679×	`unswap-sqr_binary64`
613×	`sqr-pow_binary64`
541×	`*-commutative_binary64`
469×	`pow-sqr_binary64`

Counts

35 → 29

Iterations

Useful iterations: 9 (0.0ms)

Iter	Nodes	Cost
0	37	756
1	99	756
2	275	558
3	863	389
4	1574	383
5	1813	383
6	2200	383
7	2291	383
8	2323	383
9	2476	365
10	3362	365
11	3590	365
12	3783	365
13	3977	365
14	4494	365
15	4733	365
16	4841	365

prune225.0ms (3.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	160	1	161
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	161	3	164

Error

0.0b

Counts

164 → 3

Alt Table

Status	Error	Program
✓	0.1b	(fabs.f64 (.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (pow.f64 x 4) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))
▶	0.1b	(fabs.f64 (+.f64 (.f64 1/5 (.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (pow.f64 (fabs.f64 x) 5))) (+.f64 (.f64 2 (.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (fabs.f64 x))) (+.f64 (.f64 2/3 (.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (pow.f64 (fabs.f64 x) 3))) (.f64 1/21 (.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (*.f64 (pow.f64 (fabs.f64 x) 3) (pow.f64 x 4))))))))
	0.5b	(fabs.f64 (/.f64 (fma.f64 1/21 (pow.f64 x 7) (fma.f64 1/5 (pow.f64 x 5) (fma.f64 2 x (*.f64 2/3 (pow.f64 x 3))))) (sqrt.f64 (PI.f64))))

Compiler

Compiled 8821 to 4863 computations (44.9% saved)

localize22.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (pow.f64 (fabs.f64 x) 3))
✓	0.1b	(.f64 1/5 (.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (pow.f64 (fabs.f64 x) 5)))
✓	0.1b	(*.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (fabs.f64 x))
✓	0.2b	(.f64 2/3 (.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (pow.f64 (fabs.f64 x) 3)))

series82.0ms (1.3%)

Counts

4 → 0

Calls

4 calls:

28.0ms	(.f64 1/5 (.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (pow.f64 (fabs.f64 x) 5)))
23.0ms	(.f64 2/3 (.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (pow.f64 (fabs.f64 x) 3)))
20.0ms	(*.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (pow.f64 (fabs.f64 x) 3))
11.0ms	(*.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (fabs.f64 x))

rewrite229.0ms (3.6%)

Algorithm

4×	egg-rewrite

Rules

38×	`egg`
36×	`egg`
34×	`egg`
33×	`egg`

Counts

4 → 141

Calls

4 calls:

78.0ms	(*.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (fabs.f64 x))
51.0ms	(.f64 2/3 (.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (pow.f64 (fabs.f64 x) 3)))
50.0ms	(.f64 1/5 (.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (pow.f64 (fabs.f64 x) 5)))
47.0ms	(*.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (pow.f64 (fabs.f64 x) 3))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	18
1	246	13
2	2401	13
3	5347	13
0	8	12
1	158	7
2	1536	7
3	4925	7
4	5298	7
0	12	18
1	248	13
2	2453	13
3	4897	13
0	10	15
1	203	10
2	1936	10
3	4887	10

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

141 → 137

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

prune225.0ms (3.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	136	1	137
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	137	3	140

Error

Counts

140 → 3

Alt Table

Status	Error	Program
	27.7b	(fabs.f64 (+.f64 (.f64 1/5 (.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (pow.f64 (fabs.f64 x) 5))) (+.f64 (.f64 2 (.f64 (cbrt.f64 (.f64 x x)) (.f64 (cbrt.f64 x) (pow.f64 (PI.f64) -1/2)))) (+.f64 (.f64 2/3 (.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (pow.f64 (fabs.f64 x) 3))) (.f64 1/21 (.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (*.f64 (pow.f64 (fabs.f64 x) 3) (pow.f64 x 4))))))))
✓	0.1b	(fabs.f64 (.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (pow.f64 x 4) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))
▶	0.5b	(fabs.f64 (/.f64 (fma.f64 1/21 (pow.f64 x 7) (fma.f64 1/5 (pow.f64 x 5) (fma.f64 2 x (*.f64 2/3 (pow.f64 x 3))))) (sqrt.f64 (PI.f64))))

Compiler

Compiled 7245 to 5297 computations (26.9% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 1/21 (pow.f64 x 7) (fma.f64 1/5 (pow.f64 x 5) (fma.f64 2 x (*.f64 2/3 (pow.f64 x 3)))))
✓	0.2b	(*.f64 2/3 (pow.f64 x 3))
✓	0.3b	(/.f64 (fma.f64 1/21 (pow.f64 x 7) (fma.f64 1/5 (pow.f64 x 5) (fma.f64 2 x (*.f64 2/3 (pow.f64 x 3))))) (sqrt.f64 (PI.f64)))
	1.0b	(sqrt.f64 (PI.f64))

series15.0ms (0.2%)

Counts

3 → 24

Calls

3 calls:

8.0ms

(/.f64 (fma.f64 1/21 (pow.f64 x 7) (fma.f64 1/5 (pow.f64 x 5) (fma.f64 2 x (*.f64 2/3 (pow.f64 x 3))))) (sqrt.f64 (PI.f64)))

4.0ms

(fma.f64 1/21 (pow.f64 x 7) (fma.f64 1/5 (pow.f64 x 5) (fma.f64 2 x (*.f64 2/3 (pow.f64 x 3)))))

3.0ms

(*.f64 2/3 (pow.f64 x 3))

rewrite217.0ms (3.4%)

Algorithm

3×	egg-rewrite

Rules

47×	`egg`
43×	`egg`
41×	`egg`

Counts

3 → 131

Calls

3 calls:

81.0ms

(*.f64 2/3 (pow.f64 x 3))

75.0ms

(/.f64 (fma.f64 1/21 (pow.f64 x 7) (fma.f64 1/5 (pow.f64 x 5) (fma.f64 2 x (*.f64 2/3 (pow.f64 x 3))))) (sqrt.f64 (PI.f64)))

59.0ms

(fma.f64 1/21 (pow.f64 x 7) (fma.f64 1/5 (pow.f64 x 5) (fma.f64 2 x (*.f64 2/3 (pow.f64 x 3)))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	31
1	406	31
2	4252	31
3	5015	31
0	6	7
1	125	7
2	1262	7
3	4849	7
4	6205	7
0	16	25
1	342	25
2	3394	25
3	4698	25

simplify157.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

1073×	`fma-def_binary64`
750×	`cube-prod_binary64`
711×	`sqr-pow_binary64`
690×	`unswap-sqr_binary64`
582×	`fabs-mul_binary64`

Counts

155 → 155

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	46	654
1	123	654
2	291	552
3	687	492
4	1265	492
5	1715	492
6	1875	492
7	2122	492
8	2560	492
9	2583	492
10	2750	492
11	3013	492
12	3231	492
13	3606	492
14	4129	492
15	4413	492
16	4959	492

prune217.0ms (3.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	194	1	195
Fresh	1	0	1
Picked	0	1	1
Done	0	1	1
Total	195	3	198

Error

Counts

198 → 3

Alt Table

Status	Error	Program
✓	0.1b	(fabs.f64 (.f64 (/.f64 1 (sqrt.f64 (PI.f64))) (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (pow.f64 x 4) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))))
	0.3b	(fabs.f64 (/.f64 (fma.f64 1/21 (pow.f64 x 7) (fma.f64 1/5 (pow.f64 x 5) (fma.f64 2 x (*.f64 2/3 (pow.f64 x 3))))) (pow.f64 (exp.f64 1/2) (log.f64 (PI.f64)))))
✓	0.5b	(fabs.f64 (/.f64 (fma.f64 1/21 (pow.f64 x 7) (fma.f64 1/5 (pow.f64 x 5) (fma.f64 2 x (*.f64 2/3 (pow.f64 x 3))))) (sqrt.f64 (PI.f64))))

Compiler

Compiled 5428 to 4105 computations (24.4% saved)

regimes2.0s (30.8%)

Accuracy

Total 0.1b remaining (90.9%)

Threshold costs 0.1b (90.9%)

Counts

236 → 1

Compiler

Compiled 53800 to 40662 computations (24.4% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

10×	`*-commutative_binary64`
4×	`+-commutative_binary64`
2×	`fabs-mul_binary64`
1×	`sub-neg_binary64`
1×	`sqr-abs_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	76
1	59	76
2	64	76
3	58	76

end116.0ms (1.8%)

Compiler: Compiled 205 to 141 computations (31.2% saved)

Details

analyze6.0ms (0.1%)

sample1.7s (26.7%)

simplify126.0ms (2%)

prune5.0ms (0.1%)

localize22.0ms (0.3%)

series100.0ms (1.6%)

rewrite241.0ms (3.8%)

simplify156.0ms (2.4%)

prune239.0ms (3.7%)

localize25.0ms (0.4%)

series61.0ms (1%)

rewrite43.0ms (0.7%)

simplify173.0ms (2.7%)

prune225.0ms (3.5%)

localize22.0ms (0.3%)

series82.0ms (1.3%)

rewrite229.0ms (3.6%)

simplify7.0ms (0.1%)

prune225.0ms (3.5%)

localize13.0ms (0.2%)

series15.0ms (0.2%)

rewrite217.0ms (3.4%)

simplify157.0ms (2.4%)

prune217.0ms (3.4%)

regimes2.0s (30.8%)

simplify3.0ms (0%)

end116.0ms (1.8%)

Profiling