Details

analyze5.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 (39%)

Results

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

Compiler

Compiled 210 to 97 computations (53.8% saved)

simplify102.0ms (2.4%)

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

prune6.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.6b	(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.6b

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

localize25.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))
✓	0.1b	(.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (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))

series30.0ms (0.7%)

Counts

4 → 36

Calls

4 calls:

12.0ms	(.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))
9.0ms	(.f64 (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))
9.0ms	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
0.0ms	(sqrt.f64 (PI.f64))

rewrite64.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

670×	`log-prod_binary64`
248×	`expm1-udef_binary64`
248×	`log1p-udef_binary64`
215×	`log-pow_binary64`
155×	`add-sqr-sqrt_binary64`

Counts

4 → 77

Calls

4 calls:

63.0ms	(.f64 (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))
63.0ms	(.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))
63.0ms	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
63.0ms	(sqrt.f64 (PI.f64))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	20	44
1	358	22
2	3250	22
3	5169	22

simplify133.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

1142×	`sqr-pow_binary64`
701×	`cube-prod_binary64`
690×	`fabs-mul_binary64`
647×	`pow-sqr_binary64`
408×	`unswap-sqr_binary64`

Counts

113 → 82

Iterations

Useful iterations: 8 (0.0ms)

Iter	Nodes	Cost
0	13	288
1	29	288
2	72	288
3	170	288
4	402	264
5	552	264
6	905	264
7	932	264
8	1088	216
9	1100	216
10	1350	216
11	1607	216
12	1953	216
13	2325	216
14	2872	216
15	3154	216
16	3457	216
17	3717	216
18	3881	216
19	3994	216
20	4994	216

prune107.0ms (2.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	81	1	82
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	81	3	84

Error

0.0b

Counts

84 → 3

Alt Table

Status	Error	Program
▶	0.6b	(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))))))
	1.1b	(fabs.f64 (.f64 (/.f64 1 (expm1.f64 (log1p.f64 (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 5430 to 2210 computations (59.3% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f64 1/5 (pow.f64 x 5) (fma.f64 2 x (*.f64 2/3 (pow.f64 x 3))))
✓	0.1b	(*.f64 2/3 (pow.f64 x 3))
✓	0.2b	(/.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))

series14.0ms (0.3%)

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

3.0ms

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

rewrite66.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

326×	`log1p-udef_binary64`
239×	`prod-diff_binary64`
190×	`add-sqr-sqrt_binary64`
184×	`log1p-expm1-u_binary64`
184×	`expm1-log1p-u_binary64`

Counts

3 → 70

Calls

3 calls:

65.0ms

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

65.0ms

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

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	56
1	406	56
2	4252	56
3	5015	56

simplify134.0ms (3.1%)

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

94 → 90

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	38	627
1	102	627
2	243	535
3	580	475
4	1167	465
5	1645	465
6	1841	465
7	2088	465
8	2526	465
9	2549	465
10	2716	465
11	2979	465
12	3197	465
13	3572	465
14	4095	465
15	4379	465
16	4925	465

prune128.0ms (3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	115	1	116
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	115	4	119

Error

Counts

119 → 4

Alt Table

Status	Error	Program
✓	0.6b	(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))))))
	1.1b	(fabs.f64 (.f64 (/.f64 1 (expm1.f64 (log1p.f64 (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.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))))) (exp.f64 (.f64 (log.f64 (PI.f64)) 1/2))))

Compiler

Compiled 3421 to 2543 computations (25.7% saved)

localize18.0ms (0.4%)

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.1b	(fma.f64 1/5 (pow.f64 x 5) (fma.f64 2 x (*.f64 2/3 (pow.f64 x 3))))
	0.1b	(*.f64 2/3 (pow.f64 x 3))
✓	0.2b	(/.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))))) (exp.f64 (.f64 (log.f64 (PI.f64)) 1/2)))

series10.0ms (0.2%)

Counts

2 → 24

Calls

2 calls:

7.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))))) (exp.f64 (*.f64 (log.f64 (PI.f64)) 1/2)))

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

rewrite65.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

240×	`prod-diff_binary64`
214×	`add-sqr-sqrt_binary64`
208×	`log1p-expm1-u_binary64`
208×	`expm1-log1p-u_binary64`
205×	`add-log-exp_binary64`

Counts

2 → 53

Calls

2 calls:

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

64.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))))) (exp.f64 (*.f64 (log.f64 (PI.f64)) 1/2)))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	22	57
1	461	56
2	4775	56
3	5010	56

simplify139.0ms (3.2%)

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

77 → 78

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

prune130.0ms (3%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	123	0	123
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	123	4	127

Error

Counts

127 → 4

Alt Table

Status	Error	Program
✓	0.6b	(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))))))
▶	1.1b	(fabs.f64 (.f64 (/.f64 1 (expm1.f64 (log1p.f64 (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.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))))) (exp.f64 (.f64 (log.f64 (PI.f64)) 1/2))))

Compiler

Compiled 3812 to 2913 computations (23.6% saved)

localize27.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (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))
✓	1.0b	(expm1.f64 (log1p.f64 (sqrt.f64 (PI.f64))))

series0.0ms (0%)

Counts

1 → 0

Calls

1 calls:

0.0ms

(expm1.f64 (log1p.f64 (sqrt.f64 (PI.f64))))

rewrite65.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

525×	`log1p-udef_binary64`
308×	`expm1-log1p-u_binary64`
307×	`log1p-expm1-u_binary64`
269×	`add-log-exp_binary64`
268×	`add-exp-log_binary64`

Counts

1 → 45

Calls

1 calls:

64.0ms

(expm1.f64 (log1p.f64 (sqrt.f64 (PI.f64))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	4
1	77	4
2	820	4
3	4392	4
4	5425	4

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

45 → 45

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

prune117.0ms (2.7%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	107	0	107
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	107	4	111

Error

Counts

111 → 4

Alt Table

Status	Error	Program
✓	0.6b	(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))))))
✓	1.1b	(fabs.f64 (.f64 (/.f64 1 (expm1.f64 (log1p.f64 (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.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))))) (exp.f64 (.f64 (log.f64 (PI.f64)) 1/2))))

Compiler

Compiled 7615 to 2840 computations (62.7% saved)

regimes1.1s (25.4%)

Accuracy

Total 0.1b remaining (77.9%)

Threshold costs 0.1b (77.9%)

Counts

139 → 1

Compiler

Compiled 31424 to 20333 computations (35.3% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`
2×	`fabs-mul_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	34
1	26	34
2	27	34
3	27	34

end117.0ms (2.7%)

Compiler: Compiled 235 to 145 computations (38.3% saved)

Details

analyze5.0ms (0.1%)

sample1.7s (39%)

simplify102.0ms (2.4%)

prune6.0ms (0.1%)

localize25.0ms (0.6%)

series30.0ms (0.7%)

rewrite64.0ms (1.5%)

simplify133.0ms (3.1%)

prune107.0ms (2.5%)

localize14.0ms (0.3%)

series14.0ms (0.3%)

rewrite66.0ms (1.6%)

simplify134.0ms (3.1%)

prune128.0ms (3%)

localize18.0ms (0.4%)

series10.0ms (0.2%)

rewrite65.0ms (1.5%)

simplify139.0ms (3.2%)

prune130.0ms (3%)

localize27.0ms (0.6%)

series0.0ms (0%)

rewrite65.0ms (1.5%)

simplify7.0ms (0.2%)

prune117.0ms (2.7%)

regimes1.1s (25.4%)

simplify2.0ms (0.1%)

end117.0ms (2.7%)

Profiling