Details

analyze1.2s (9.7%)

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)

sample3.9s (31.8%)

Results

2.4s	4114×	body	2048	valid
914.0ms	2098×	body	1024	valid
331.0ms	1035×	body	512	valid
111.0ms	489×	body	256	valid
61.0ms	520×	body	128	valid
1.0ms	7×	body	128	invalid

Compiler

Compiled 47 to 32 computations (31.9% saved)

simplify75.0ms (0.6%)

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

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.6b	(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.6b	(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)))

rewrite57.0ms (0.5%)

Algorithm

2×	batch-egg-rewrite

Rules

67× egg-rr

Counts

2 → 67

Calls

2 calls:

55.0ms	((acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))) (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

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

simplify81.0ms (0.7%)

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

91 → 83

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

prune80.0ms (0.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	80	3	83
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	80	4	84

Error

0.6b

Counts

84 → 4

Alt Table

Status	Error	Program
✓	0.6b	(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))
▶	1.6b	(pow.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) 3)
	62.3b	(/.f64 (-.f64 (.f64 (/.f64 (PI.f64) 2) (/.f64 (PI.f64) 2)) (.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))) (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (+.f64 (/.f64 (PI.f64) 2) (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))
	2.5b	(+.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 2708 to 1978 computations (27% saved)

localize12.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.6b	(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))
✓	1.0b	(cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))
✓	1.6b	(pow.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) 3)

series896.0ms (7.4%)

Counts

2 → 24

Calls

2 calls:

464.0ms	(pow.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) 3)
431.0ms	(cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))))

rewrite93.0ms (0.8%)

Algorithm

2×	batch-egg-rewrite

Rules

66× egg-rr

Counts

2 → 66

Calls

2 calls:

91.0ms	((pow.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))) 3) (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1)))))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	36
1	246	36
2	2702	36
3	4935	36
4	4997	36
0	0	0
1	0	0

simplify105.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

856×	`fma-neg_binary64`
623×	`unsub-neg_binary64`
363×	`distribute-neg-in_binary64`
362×	`unswap-sqr_binary64`
323×	`fma-def_binary64`

Counts

90 → 69

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	432
1	25	432
2	37	432
3	55	432
4	94	432
5	176	432
6	409	432
7	847	432
8	1097	432
9	2324	432
10	3399	432
11	4338	432
12	4778	432
13	4808	432

prune125.0ms (1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	149	3	152
Fresh	1	1	2
Picked	1	0	1
Done	0	1	1
Total	151	5	156

Error

0.6b

Counts

156 → 5

Alt Table

Status	Error	Program
	62.3b	(pow.f64 (cbrt.f64 (/.f64 (-.f64 (.f64 (/.f64 (PI.f64) 2) (/.f64 (PI.f64) 2)) (.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))) (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (+.f64 (/.f64 (PI.f64) 2) (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))) 3)
✓	0.6b	(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))
	2.1b	(pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) 3)) 3)
▶	1.6b	(pow.f64 (sqrt.f64 (pow.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 2/3)) 3)
	2.5b	(+.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 5231 to 3898 computations (25.5% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(pow.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 2/3)
	0.6b	(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))
✓	1.0b	(sqrt.f64 (pow.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 2/3))
✓	1.6b	(pow.f64 (sqrt.f64 (pow.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 2/3)) 3)

series1.5s (12.7%)

Counts

3 → 36

Calls

3 calls:

590.0ms

(sqrt.f64 (pow.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 2/3))

496.0ms

(pow.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 2/3)

453.0ms

(pow.f64 (sqrt.f64 (pow.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 2/3)) 3)

rewrite67.0ms (0.6%)

Algorithm

2×	batch-egg-rewrite

Rules

99× egg-rr

Counts

3 → 99

Calls

2 calls:

64.0ms

((pow.f64 (sqrt.f64 (pow.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 2/3)) 3) (sqrt.f64 (pow.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 2/3)) (pow.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1))) 2/3))

0.0ms

()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	63
1	308	56
2	3074	56
3	5146	56
0	0	0
1	0	0

simplify143.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

856×	`fma-neg_binary64`
469×	`associate-l_binary64`
448×	`unsub-neg_binary64`
323×	`fma-def_binary64`
303×	`sqr-pow_binary64`

Counts

135 → 102

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	696
1	34	696
2	52	696
3	87	696
4	167	696
5	356	696
6	964	696
7	1178	696
8	1635	696
9	3016	696
10	4266	696
11	4706	696
12	4837	696
13	4967	696
14	4711	696

prune155.0ms (1.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	137	1	138
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	138	5	143

Error

0.6b

Counts

143 → 5

Alt Table

Status	Error	Program
	62.3b	(pow.f64 (cbrt.f64 (/.f64 (-.f64 (.f64 (/.f64 (PI.f64) 2) (/.f64 (PI.f64) 2)) (.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))) (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (+.f64 (/.f64 (PI.f64) 2) (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))) 3)
✓	0.6b	(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))
▶	1.6b	(pow.f64 (sqrt.f64 (pow.f64 (+.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/3)) 3)
	2.5b	(+.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))))))))
	2.1b	(pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) 3)) 3)

Compiler

Compiled 5368 to 4008 computations (25.3% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.0b	(sqrt.f64 (pow.f64 (+.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/3))
✓	1.0b	(*.f64 (cbrt.f64 (/.f64 (PI.f64) 2)) (cbrt.f64 (/.f64 (PI.f64) 2)))
✓	1.0b	(cbrt.f64 (/.f64 (PI.f64) 2))
✓	1.6b	(pow.f64 (sqrt.f64 (pow.f64 (+.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/3)) 3)

series2.4s (19.6%)

Counts

4 → 24

Calls

4 calls:

1.2s	(pow.f64 (sqrt.f64 (pow.f64 (+.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/3)) 3)
1.1s	(sqrt.f64 (pow.f64 (+.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/3))
0.0ms	(cbrt.f64 (/.f64 (PI.f64) 2))
0.0ms	(*.f64 (cbrt.f64 (/.f64 (PI.f64) 2)) (cbrt.f64 (/.f64 (PI.f64) 2)))

rewrite77.0ms (0.6%)

Algorithm

2×	batch-egg-rewrite

Rules

109× egg-rr

Counts

4 → 109

Calls

2 calls:

74.0ms

((pow.f64 (sqrt.f64 (pow.f64 (+.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/3)) 3) (cbrt.f64 (/.f64 (PI.f64) 2)) (*.f64 (cbrt.f64 (/.f64 (PI.f64) 2)) (cbrt.f64 (/.f64 (PI.f64) 2))) (sqrt.f64 (pow.f64 (+.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/3)))

0.0ms

()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	158
1	508	137
2	4488	51
3	5095	51
0	0	0
1	0	0

simplify143.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

631×	`unsub-neg_binary64`
427×	`distribute-neg-in_binary64`
381×	`fma-def_binary64`
362×	`unswap-sqr_binary64`
329×	`sub-neg_binary64`

Counts

133 → 113

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	600
1	33	600
2	49	600
3	74	600
4	129	600
5	230	600
6	506	600
7	972	600
8	1240	600
9	2480	600
10	2949	600
11	3903	600
12	4558	600
13	4972	600
14	4986	600
15	4698	600

prune219.0ms (1.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	166	1	167
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	167	5	172

Error

0.6b

Counts

172 → 5

Alt Table

Status	Error	Program
	62.3b	(pow.f64 (cbrt.f64 (/.f64 (-.f64 (.f64 (/.f64 (PI.f64) 2) (/.f64 (PI.f64) 2)) (.f64 (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))) (asin.f64 (/.f64 (fma.f64 v (.f64 v -5) 1) (fma.f64 v v -1))))) (+.f64 (/.f64 (PI.f64) 2) (asin.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))))) 3)
✓	0.6b	(acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))
	1.6b	(pow.f64 (sqrt.f64 (pow.f64 (+.f64 (fma.f64 (.f64 (cbrt.f64 (/.f64 (PI.f64) 2)) (cbrt.f64 (/.f64 (PI.f64) 2))) (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (PI.f64) 2))) 3) (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/3)) 3)
	2.1b	(pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (acos.f64 (/.f64 (fma.f64 v (*.f64 v -5) 1) (fma.f64 v v -1)))) 3)) 3)
	2.5b	(+.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 9544 to 7231 computations (24.2% saved)

regimes575.0ms (4.7%)

Accuracy

Total 0.0b remaining (2.5%)

Threshold costs 0.0b (2.5%)

Counts

99 → 1

Compiler

Compiled 18070 to 14051 computations (22.2% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`
1×	`*-rgt-identity_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	21
1	17	21
2	16	21

end225.0ms (1.9%)

Compiler: Compiled 325 to 243 computations (25.2% saved)

Details

analyze1.2s (9.7%)

sample3.9s (31.8%)

simplify75.0ms (0.6%)

prune3.0ms (0%)

localize7.0ms (0.1%)

series5.0ms (0%)

rewrite57.0ms (0.5%)

simplify81.0ms (0.7%)

prune80.0ms (0.7%)

localize12.0ms (0.1%)

series896.0ms (7.4%)

rewrite93.0ms (0.8%)

simplify105.0ms (0.9%)

prune125.0ms (1%)

localize12.0ms (0.1%)

series1.5s (12.7%)

rewrite67.0ms (0.6%)

simplify143.0ms (1.2%)

prune155.0ms (1.3%)

localize22.0ms (0.2%)

series2.4s (19.6%)

rewrite77.0ms (0.6%)

simplify143.0ms (1.2%)

prune219.0ms (1.8%)

regimes575.0ms (4.7%)

simplify2.0ms (0%)

end225.0ms (1.9%)

Profiling