Details

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

sample3.1s (30.2%)

Results

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

Compiler

Compiled 210 to 97 computations (53.8% saved)

simplify136.0ms (1.3%)

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

prune11.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.3b

Counts

3 → 2

Alt Table

Status	Error	Program
	0.8b	(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.4b	(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.8b

(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.4b

(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)

localize49.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))
✓	0.1b	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
✓	0.3b	(.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)))
✓	1.0b	(sqrt.f64 (PI.f64))

series74.0ms (0.7%)

Counts

4 → 36

Calls

4 calls:

37.0ms	(.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)))
21.0ms	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
17.0ms	(.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))
0.0ms	(sqrt.f64 (PI.f64))

rewrite240.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Rules

181×	`add-exp-log_binary64`
130×	`prod-exp_binary64`
111×	`add-cbrt-cube_binary64`
95×	`pow1_binary64`
74×	`cbrt-unprod_binary64`

Counts

4 → 175

Calls

4 calls:

134.0ms	(.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)))
20.0ms	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
19.0ms	(.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))
2.0ms	(sqrt.f64 (PI.f64))

simplify245.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

516×	`unswap-sqr_binary64`
470×	`fma-def_binary64`
452×	`associate-l_binary64`
407×	`associate-r_binary64`
239×	`log-prod_binary64`

Counts

211 → 208

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	254	3585
1	462	2275
2	1669	1892
3	3906	1863
4	4769	1863
5	4992	1863
6	4937	1863

prune841.0ms (8.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	251	3	254
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	252	4	256

Error

0.0b

Counts

256 → 4

Alt Table

Status	Error	Program
	0.4b	(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 (sqrt.f64 21)) (/.f64 (pow.f64 (fabs.f64 x) 7) (sqrt.f64 21))))))
	0.8b	(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.4b	(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 (sqrt.f64 (/.f64 1 21)) (.f64 (sqrt.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	(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 (pow.f64 x 6)) (fabs.f64 x)))))

Compiler

Compiled 18743 to 6862 computations (63.4% saved)

localize45.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 (pow.f64 x 6)) (fabs.f64 x))))
	0.1b	(.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))
	0.1b	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
	1.0b	(sqrt.f64 (PI.f64))

series104.0ms (1%)

Counts

1 → 12

Calls

1 calls:

104.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 (pow.f64 x 6)) (fabs.f64 x))))

rewrite59.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`add-sqr-sqrt_binary64`
22×	`associate-l_binary64`
22×	`times-frac_binary64`
17×	`*-un-lft-identity_binary64`
15×	`add-cube-cbrt_binary64`

Counts

1 → 54

Calls

1 calls:

36.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 (pow.f64 x 6)) (fabs.f64 x))))

simplify265.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

633×	`fma-neg_binary64`
303×	`times-frac_binary64`
256×	`associate-+l+_binary64`
226×	`exp-prod_binary64`
184×	`associate-r_binary64`

Counts

66 → 89

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	127	4712
1	399	4064
2	1697	3314
3	3564	3039
4	4858	3039
5	5011	3039

prune643.0ms (6.3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	208	2	210
Fresh	1	2	3
Picked	1	0	1
Done	0	0	0
Total	210	4	214

Error

Counts

214 → 4

Alt Table

Status	Error	Program
	0.8b	(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.3b	(fabs.f64 (.f64 (/.f64 1 (sqrt.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))))) (/.f64 (.f64 (fabs.f64 x) (+.f64 (+.f64 2 (.f64 2/3 (.f64 x x))) (+.f64 (.f64 1/21 (pow.f64 x 6)) (*.f64 1/5 (pow.f64 x 4))))) (sqrt.f64 (cbrt.f64 (PI.f64))))))
	0.4b	(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 (sqrt.f64 (/.f64 1 21)) (.f64 (sqrt.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.4b	(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 (fabs.f64 x) (pow.f64 x 6))))))))

Compiler

Compiled 12728 to 6373 computations (49.9% saved)

localize45.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.0b	(*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))
✓	1.0b	(sqrt.f64 (*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))))
✓	1.0b	(/.f64 1 (sqrt.f64 (*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))))
✓	1.0b	(cbrt.f64 (PI.f64))

series0.0ms (0%)

Counts

4 → 0

Calls

4 calls:

0.0ms	(cbrt.f64 (PI.f64))
0.0ms	(/.f64 1 (sqrt.f64 (*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))))
0.0ms	(sqrt.f64 (*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))))
0.0ms	(*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))

rewrite39.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`add-sqr-sqrt_binary64`
28×	`pow1_binary64`
22×	`*-un-lft-identity_binary64`
22×	`add-cube-cbrt_binary64`
19×	`cbrt-prod_binary64`

Counts

4 → 123

Calls

4 calls:

11.0ms	(/.f64 1 (sqrt.f64 (*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))))
9.0ms	(*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))
6.0ms	(sqrt.f64 (*.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))))
1.0ms	(cbrt.f64 (PI.f64))

simplify230.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

842×	`fma-neg_binary64`
497×	`unswap-sqr_binary64`
446×	`sqr-pow_binary64`
324×	`times-frac_binary64`
313×	`*-commutative_binary64`

Counts

123 → 151

Iterations

Useful iterations: 7 (0.0ms)

Iter	Nodes	Cost
0	94	1166
1	128	1030
2	226	1006
3	558	990
4	1611	817
5	2435	817
6	3276	817
7	4645	809
8	4869	809
9	4785	809

prune490.0ms (4.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	181	0	181
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	181	4	185

Error

Counts

185 → 4

Alt Table

Status	Error	Program
	0.8b	(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.3b	(fabs.f64 (.f64 (/.f64 1 (sqrt.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))))) (/.f64 (.f64 (fabs.f64 x) (+.f64 (+.f64 2 (.f64 2/3 (.f64 x x))) (+.f64 (.f64 1/21 (pow.f64 x 6)) (*.f64 1/5 (pow.f64 x 4))))) (sqrt.f64 (cbrt.f64 (PI.f64))))))
	0.4b	(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 (sqrt.f64 (/.f64 1 21)) (.f64 (sqrt.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.4b	(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 (fabs.f64 x) (pow.f64 x 6))))))))

Compiler

Compiled 7572 to 4410 computations (41.8% saved)

localize44.0ms (0.4%)

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 2/3 (.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.3b	(.f64 1/21 (.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (*.f64 (fabs.f64 x) (pow.f64 x 6))))

series185.0ms (1.8%)

Counts

4 → 0

Calls

4 calls:

59.0ms	(.f64 1/5 (.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (pow.f64 (fabs.f64 x) 5)))
47.0ms	(.f64 2/3 (.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (pow.f64 (fabs.f64 x) 3)))
44.0ms	(*.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (pow.f64 (fabs.f64 x) 3))
34.0ms	(.f64 1/21 (.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (*.f64 (fabs.f64 x) (pow.f64 x 6))))

rewrite105.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

90×	`add-sqr-sqrt_binary64`
45×	`add-exp-log_binary64`
37×	`sqrt-prod_binary64`
32×	`unswap-sqr_binary64`
29×	`prod-exp_binary64`

Counts

4 → 152

Calls

4 calls:

29.0ms	(*.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (pow.f64 (fabs.f64 x) 3))
18.0ms	(.f64 1/21 (.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (*.f64 (fabs.f64 x) (pow.f64 x 6))))
16.0ms	(.f64 1/5 (.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (pow.f64 (fabs.f64 x) 5)))
16.0ms	(.f64 2/3 (.f64 (sqrt.f64 (/.f64 1 (PI.f64))) (pow.f64 (fabs.f64 x) 3)))

simplify261.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

742×	`associate-/l*_binary64`
459×	`associate-r_binary64`
381×	`fma-def_binary64`
371×	`associate-l_binary64`
231×	`log-prod_binary64`

Counts

152 → 189

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	214	3632
1	453	3376
2	1758	2928
3	2575	2928
4	4782	2928
5	4875	2928

prune724.0ms (7.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	188	1	189
Fresh	1	1	2
Picked	0	1	1
Done	0	1	1
Total	189	4	193

Error

Counts

193 → 4

Alt Table

Status	Error	Program
	0.8b	(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.3b	(fabs.f64 (.f64 (/.f64 1 (sqrt.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))))) (/.f64 (.f64 (fabs.f64 x) (+.f64 (+.f64 2 (.f64 2/3 (.f64 x x))) (+.f64 (.f64 1/21 (pow.f64 x 6)) (*.f64 1/5 (pow.f64 x 4))))) (sqrt.f64 (cbrt.f64 (PI.f64))))))
✓	0.4b	(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 (fabs.f64 x) (pow.f64 x 6))))))))
	0.4b	(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 (.f64 1/21 (sqrt.f64 (/.f64 1 (PI.f64)))) (*.f64 (fabs.f64 x) (pow.f64 x 6)))))))

Compiler

Compiled 10618 to 7818 computations (26.4% saved)

regimes2.0s (19.3%)

Accuracy

Total 0.1b remaining (83.9%)

Threshold costs 0.1b (83.9%)

Counts

128 → 1

Compiler

Compiled 30866 to 21094 computations (31.7% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

9×	`*-commutative_binary64`
3×	`+-commutative_binary64`
2×	`fabs-mul_binary64`
1×	`sqr-abs_binary64`
1×	`fabs-div_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	69
1	49	69
2	53	69
3	50	69

end294.0ms (2.9%)

Compiler: Compiled 246 to 183 computations (25.6% saved)

Details

analyze11.0ms (0.1%)

sample3.1s (30.2%)

simplify136.0ms (1.3%)

prune11.0ms (0.1%)

localize49.0ms (0.5%)

series74.0ms (0.7%)

rewrite240.0ms (2.4%)

simplify245.0ms (2.4%)

prune841.0ms (8.2%)

localize45.0ms (0.4%)

series104.0ms (1%)

rewrite59.0ms (0.6%)

simplify265.0ms (2.6%)

prune643.0ms (6.3%)

localize45.0ms (0.4%)

series0.0ms (0%)

rewrite39.0ms (0.4%)

simplify230.0ms (2.3%)

prune490.0ms (4.8%)

localize44.0ms (0.4%)

series185.0ms (1.8%)

rewrite105.0ms (1%)

simplify261.0ms (2.6%)

prune724.0ms (7.1%)

regimes2.0s (19.3%)

simplify6.0ms (0.1%)

end294.0ms (2.9%)

Profiling