Details

analyze1.2s (8.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	100%	0%	3
0%	100%	0%	4
0%	100%	0%	5
0%	100%	0%	6
0%	100%	0%	7
0%	100%	0%	8
0%	100%	0%	9
0%	100%	0%	10
0%	100%	0%	11
0%	100%	0%	12
3%	46.9%	50%	13
3.1%	46.8%	50%	14

Compiler

Compiled 16 to 11 computations (31.3% saved)

sample4.3s (30.4%)

Results

2.6s	4104×	body	2048	valid
972.0ms	2067×	body	1024	valid
334.0ms	1042×	body	512	valid
117.0ms	512×	body	256	valid
85.0ms	528×	body	128	valid
2.0ms	3×	body	4096	valid
2.0ms	7×	body	128	invalid

Compiler

Compiled 47 to 32 computations (31.9% saved)

simplify69.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

686×	`div-sub_binary64`
546×	`sub-neg_binary64`
397×	`neg-mul-1_binary64`
344×	`neg-sub0_binary64`
311×	`associate-/r*_binary64`

Counts

1 → 2

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	10	19
1	31	19
2	72	17
3	203	17
4	532	17
5	1340	17
6	2710	17
7	3748	17
8	4643	17
9	4981	17

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.3b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.3b	(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))

Compiler

Compiled 53 to 36 computations (32.1% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))
✓	0.3b	(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))

series5.0ms (0%)

Counts

2 → 24

Calls

2 calls:

3.0ms	(/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))
2.0ms	(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))

rewrite61.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

891×	`log1p-expm1-u_binary64`
891×	`expm1-log1p-u_binary64`
98×	`add-sqr-sqrt_binary64`
91×	`add-cbrt-cube_binary64`
90×	`add-log-exp_binary64`

Counts

2 → 69

Calls

2 calls:

59.0ms	(/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))
59.0ms	(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	32
1	199	32
2	2277	32
3	5491	32

simplify74.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

649×	`cancel-sign-sub-inv_binary64`
494×	`fma-def_binary64`
460×	`sub-neg_binary64`
309×	`distribute-rgt-out_binary64`
286×	`unswap-sqr_binary64`

Counts

93 → 84

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	40	380
1	113	362
2	316	359
3	829	359
4	2262	359
5	4207	359
6	4609	359
7	4995	359

prune87.0ms (0.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

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

Error

0.3b

Counts

85 → 4

Alt Table

Status	Error	Program
▶	1.2b	(+.f64 (fma.f64 (sqrt.f64 (/.f64 (PI.f64) 2)) (sqrt.f64 (/.f64 (PI.f64) 2)) (neg.f64 (.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))) 1))) (fma.f64 (neg.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) 1 (.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 1)))
✓	0.3b	(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))
	1.8b	(+.f64 (fma.f64 (.f64 (cbrt.f64 (/.f64 (PI.f64) 2)) (cbrt.f64 (/.f64 (PI.f64) 2))) (cbrt.f64 (/.f64 (PI.f64) 2)) (neg.f64 (.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))) 1))) (fma.f64 (neg.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) 1 (.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))) 1)))
	2.2b	(+.f64 (fma.f64 (.f64 (cbrt.f64 (/.f64 (PI.f64) 2)) (cbrt.f64 (/.f64 (PI.f64) 2))) (cbrt.f64 (/.f64 (PI.f64) 2)) (neg.f64 (.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))))))) (fma.f64 (neg.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))))))

Compiler

Compiled 2816 to 2064 computations (26.7% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))
✓	0.3b	(asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))
✓	1.0b	(fma.f64 (sqrt.f64 (/.f64 (PI.f64) 2)) (sqrt.f64 (/.f64 (PI.f64) 2)) (neg.f64 (.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))) 1)))
✓	1.0b	(sqrt.f64 (/.f64 (PI.f64) 2))

series15.0ms (0.1%)

Counts

3 → 24

Calls

3 calls:

14.0ms

(fma.f64 (sqrt.f64 (/.f64 (PI.f64) 2)) (sqrt.f64 (/.f64 (PI.f64) 2)) (neg.f64 (*.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 1)))

2.0ms

(asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))

0.0ms

(sqrt.f64 (/.f64 (PI.f64) 2))

rewrite138.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

503×	`prod-diff_binary64`
323×	`egg-rr`
253×	`expm1-udef_binary64`
253×	`log1p-udef_binary64`
155×	`add-sqr-sqrt_binary64`

Counts

3 → 323

Calls

3 calls:

122.0ms

(asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))

122.0ms

(fma.f64 (sqrt.f64 (/.f64 (PI.f64) 2)) (sqrt.f64 (/.f64 (PI.f64) 2)) (neg.f64 (*.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 1)))

122.0ms

(sqrt.f64 (/.f64 (PI.f64) 2))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	17	50
1	330	41
2	3443	41
3	4962	41

simplify137.0ms (1%)

Algorithm

1×	egg-herbie

Rules

954×	`fma-neg_binary64`
653×	`fma-def_binary64`
556×	`distribute-rgt-neg-in_binary64`
462×	`associate-l_binary64`
431×	`distribute-lft-neg-in_binary64`

Counts

347 → 326

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	17	552
1	32	492
2	50	492
3	82	492
4	168	492
5	417	492
6	1415	492
7	2910	492
8	3948	492
9	4234	492
10	4822	492
11	4789	492

prune1.3s (9.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	695	3	698
Fresh	2	0	2
Picked	0	1	1
Done	0	1	1
Total	697	5	702

Error

0.3b

Counts

702 → 5

Alt Table

Status	Error	Program
	1.8b	(+.f64 (fma.f64 (sqrt.f64 (/.f64 (PI.f64) 2)) (sqrt.f64 (/.f64 (PI.f64) 2)) (neg.f64 (.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))) 1))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) 3)) 1 (.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 1)))
✓	1.2b	(+.f64 (fma.f64 (sqrt.f64 (/.f64 (PI.f64) 2)) (sqrt.f64 (/.f64 (PI.f64) 2)) (neg.f64 (.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))) 1))) (fma.f64 (neg.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) 1 (.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 1)))
✓	0.3b	(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))
▶	0.3b	(+.f64 (fma.f64 (sqrt.f64 (/.f64 (PI.f64) 2)) (sqrt.f64 (/.f64 (PI.f64) 2)) (neg.f64 (.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))) 1))) (fma.f64 (neg.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) 1 (.f64 (+.f64 (fma.f64 (cbrt.f64 (/.f64 (PI.f64) 2)) (pow.f64 (cbrt.f64 (/.f64 (PI.f64) 2)) 2) (neg.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) 2)) (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) 1)))
	2.2b	(+.f64 (fma.f64 (sqrt.f64 (/.f64 (PI.f64) 2)) (sqrt.f64 (/.f64 (PI.f64) 2)) (neg.f64 (.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))) 1))) (fma.f64 (neg.f64 (+.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) 2)) (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))))) 1 (.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))) 1)))

Compiler

Compiled 56578 to 41808 computations (26.1% saved)

localize33.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.0b	(pow.f64 (cbrt.f64 (/.f64 (PI.f64) 2)) 2)
✓	1.0b	(cbrt.f64 (/.f64 (PI.f64) 2))
✓	61.3b	(fma.f64 (neg.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) 1 (.f64 (+.f64 (fma.f64 (cbrt.f64 (/.f64 (PI.f64) 2)) (pow.f64 (cbrt.f64 (/.f64 (PI.f64) 2)) 2) (neg.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) 2)) (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) 1))
✓	62.8b	(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) 2)) (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))

series4.0s (28.3%)

Counts

4 → 24

Calls

4 calls:

2.8s	(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) 2)) (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))
1.1s	(fma.f64 (neg.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) 1 (.f64 (+.f64 (fma.f64 (cbrt.f64 (/.f64 (PI.f64) 2)) (pow.f64 (cbrt.f64 (/.f64 (PI.f64) 2)) 2) (neg.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) 2)) (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) 1))
0.0ms	(cbrt.f64 (/.f64 (PI.f64) 2))
0.0ms	(pow.f64 (cbrt.f64 (/.f64 (PI.f64) 2)) 2)

rewrite77.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

427×	`log1p-udef_binary64`
247×	`add-sqr-sqrt_binary64`
233×	`log1p-expm1-u_binary64`
233×	`expm1-log1p-u_binary64`
230×	`add-cbrt-cube_binary64`

Counts

4 → 75

Calls

4 calls:

74.0ms	(pow.f64 (cbrt.f64 (/.f64 (PI.f64) 2)) 2)
74.0ms	(cbrt.f64 (/.f64 (PI.f64) 2))
74.0ms	(fma.f64 (neg.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) 1 (.f64 (+.f64 (fma.f64 (cbrt.f64 (/.f64 (PI.f64) 2)) (pow.f64 (cbrt.f64 (/.f64 (PI.f64) 2)) 2) (neg.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) 2)) (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) 1))
74.0ms	(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) 2)) (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	26	203
1	520	191
2	4740	191
3	5424	191

simplify104.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

689×	`unsub-neg_binary64`
469×	`sub-neg_binary64`
438×	`distribute-neg-in_binary64`
432×	`associate-/l/_binary64`
411×	`fma-def_binary64`

Counts

99 → 78

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	528
1	30	528
2	51	528
3	87	528
4	164	528
5	243	528
6	378	528
7	609	528
8	919	528
9	2042	528
10	2520	528
11	3729	528
12	4856	528
13	4928	528

prune287.0ms (2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	103	1	104
Fresh	0	2	2
Picked	1	0	1
Done	0	2	2
Total	104	5	109

Error

0.3b

Counts

109 → 5

Alt Table

Status	Error	Program
▶	1.8b	(+.f64 (fma.f64 (sqrt.f64 (/.f64 (PI.f64) 2)) (sqrt.f64 (/.f64 (PI.f64) 2)) (neg.f64 (.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))) 1))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) 3)) 1 (.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 1)))
✓	1.2b	(+.f64 (fma.f64 (sqrt.f64 (/.f64 (PI.f64) 2)) (sqrt.f64 (/.f64 (PI.f64) 2)) (neg.f64 (.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))) 1))) (fma.f64 (neg.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) 1 (.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 1)))
✓	0.3b	(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))
	2.2b	(+.f64 (fma.f64 (sqrt.f64 (/.f64 (PI.f64) 2)) (sqrt.f64 (/.f64 (PI.f64) 2)) (neg.f64 (.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))) 1))) (fma.f64 (neg.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) 1 (.f64 (+.f64 (fma.f64 (cbrt.f64 (/.f64 (PI.f64) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (PI.f64) 2))) 3) 2) (neg.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) 2)) (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) 1)))
	2.2b	(+.f64 (fma.f64 (sqrt.f64 (/.f64 (PI.f64) 2)) (sqrt.f64 (/.f64 (PI.f64) 2)) (neg.f64 (.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))) 1))) (fma.f64 (neg.f64 (+.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) 2)) (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))))) 1 (.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))) 1)))

Compiler

Compiled 12179 to 9094 computations (25.3% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.0b	(fma.f64 (sqrt.f64 (/.f64 (PI.f64) 2)) (sqrt.f64 (/.f64 (PI.f64) 2)) (neg.f64 (.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))) 1)))
✓	1.0b	(pow.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) 3)
	1.0b	(sqrt.f64 (/.f64 (PI.f64) 2))
✓	61.1b	(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) 3)) 1 (.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 1))

series327.0ms (2.3%)

Counts

2 → 24

Calls

2 calls:

320.0ms

(pow.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) 3)

7.0ms

(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) 3)) 1 (*.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 1))

rewrite146.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

796×	`prod-diff_binary64`
362×	`fma-udef_binary64`
260×	`fma-def_binary64`
222×	`expm1-udef_binary64`
222×	`log1p-udef_binary64`

Counts

2 → 142

Calls

2 calls:

141.0ms

(pow.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) 3)

141.0ms

(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) 3)) 1 (*.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 1))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	16	56
1	291	53
2	2979	53
3	4615	53
4	4772	53
5	4873	53

simplify119.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

862×	`fma-neg_binary64`
850×	`unsub-neg_binary64`
557×	`sub-neg_binary64`
476×	`distribute-neg-in_binary64`
388×	`neg-sub0_binary64`

Counts

166 → 144

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	216
1	17	216
2	24	216
3	33	216
4	51	216
5	78	216
6	133	216
7	269	216
8	526	216
9	1632	216
10	2719	216
11	3904	216
12	4473	216
13	4641	216
14	4924	216
15	4844	216

prune733.0ms (5.2%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	403	1	404
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	403	6	409

Error

0.3b

Counts

409 → 6

Alt Table

Status	Error	Program
✓	1.8b	(+.f64 (fma.f64 (sqrt.f64 (/.f64 (PI.f64) 2)) (sqrt.f64 (/.f64 (PI.f64) 2)) (neg.f64 (.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))) 1))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) 3)) 1 (.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 1)))
✓	1.2b	(+.f64 (fma.f64 (sqrt.f64 (/.f64 (PI.f64) 2)) (sqrt.f64 (/.f64 (PI.f64) 2)) (neg.f64 (.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))) 1))) (fma.f64 (neg.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) 1 (.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 1)))
✓	0.3b	(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))
	3.0b	(+.f64 (fma.f64 (sqrt.f64 (/.f64 (PI.f64) 2)) (sqrt.f64 (/.f64 (PI.f64) 2)) (neg.f64 (.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))) 1))) (fma.f64 (neg.f64 (fma.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) 2) 3) (cbrt.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (fma.f64 (neg.f64 (sqrt.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (sqrt.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))))) 1 (.f64 (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 1)))
	2.2b	(+.f64 (fma.f64 (sqrt.f64 (/.f64 (PI.f64) 2)) (sqrt.f64 (/.f64 (PI.f64) 2)) (neg.f64 (.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))) 1))) (fma.f64 (neg.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) 1 (.f64 (+.f64 (fma.f64 (cbrt.f64 (/.f64 (PI.f64) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (PI.f64) 2))) 3) 2) (neg.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) 2)) (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) 1)))
	2.2b	(+.f64 (fma.f64 (sqrt.f64 (/.f64 (PI.f64) 2)) (sqrt.f64 (/.f64 (PI.f64) 2)) (neg.f64 (.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))) 1))) (fma.f64 (neg.f64 (+.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) 2)) (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))))) 1 (.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))) 1)))

Compiler

Compiled 35406 to 26226 computations (25.9% saved)

regimes522.0ms (3.7%)

Accuracy

Total 0.0b remaining (2.5%)

Threshold costs 0.0b (2.5%)

Counts

81 → 1

Compiler

Compiled 19242 to 14459 computations (24.9% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
2×	`*-commutative_binary64`
2×	`distribute-rgt-neg-in_binary64`
2×	`sub-neg_binary64`
1×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	65
1	27	65
2	32	65
3	33	65
4	31	65

end280.0ms (2%)

Compiler: Compiled 542 to 407 computations (24.9% saved)

Details

analyze1.2s (8.3%)

sample4.3s (30.4%)

simplify69.0ms (0.5%)

prune3.0ms (0%)

localize7.0ms (0.1%)

series5.0ms (0%)

rewrite61.0ms (0.4%)

simplify74.0ms (0.5%)

prune87.0ms (0.6%)

localize19.0ms (0.1%)

series15.0ms (0.1%)

rewrite138.0ms (1%)

simplify137.0ms (1%)

prune1.3s (9.6%)

localize33.0ms (0.2%)

series4.0s (28.3%)

rewrite77.0ms (0.5%)

simplify104.0ms (0.7%)

prune287.0ms (2%)

localize22.0ms (0.2%)

series327.0ms (2.3%)

rewrite146.0ms (1%)

simplify119.0ms (0.8%)

prune733.0ms (5.2%)

regimes522.0ms (3.7%)

simplify3.0ms (0%)

end280.0ms (2%)

Profiling