Details

analyze158.0ms (1.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	50%	50%	4
0%	50%	50%	5
12.5%	37.5%	50%	6
18.7%	31.2%	50%	7
28.1%	21.9%	50%	8
32.8%	17.2%	50%	9
38.2%	11.7%	50%	10
41%	9%	50%	11
43.9%	6%	50%	12
45.4%	4.6%	50%	13
46.9%	3.1%	50%	14

Compiler

Compiled 31 to 22 computations (29% saved)

sample1.3s (13.2%)

Results

1.2s	8256×	body	128	valid
1.0ms	6×	body	128	invalid

Compiler

Compiled 92 to 65 computations (29.3% saved)

simplify41.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

826×	`times-frac_binary64`
592×	`fma-def_binary64`
509×	`associate-/r*_binary64`
353×	`associate-/l*_binary64`
343×	`div-sub_binary64`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	20	43
1	58	43
2	179	38
3	824	36
4	3882	36
5	5029	36

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

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.6b	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (*.f64 v v))))
	0.6b	(/.f64 (fma.f64 v (.f64 v -5) 1) (.f64 (sqrt.f64 (fma.f64 v (.f64 -6 v) 2)) (.f64 (.f64 (PI.f64) t) (-.f64 1 (.f64 v v)))))

Status

Error

Program

▶

0.6b

(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (*.f64 (*.f64 (PI.f64) t) (sqrt.f64 (*.f64 2 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (-.f64 1 (*.f64 v v))))

0.6b

(/.f64 (fma.f64 v (*.f64 v -5) 1) (*.f64 (sqrt.f64 (fma.f64 v (*.f64 -6 v) 2)) (*.f64 (*.f64 (PI.f64) t) (-.f64 1 (*.f64 v v)))))

Compiler

Compiled 166 to 115 computations (30.7% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 5 (.f64 v v))
✓	0.3b	(*.f64 (PI.f64) t)
✓	0.5b	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (*.f64 v v))))
✓	0.5b	(.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (*.f64 v v))))))

series195.0ms (2%)

Counts

4 → 60

Calls

4 calls:

158.0ms	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (*.f64 v v))))
32.0ms	(.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (*.f64 v v))))))
2.0ms	(.f64 5 (.f64 v v))
2.0ms	(*.f64 (PI.f64) t)

rewrite464.0ms (4.8%)

Algorithm

4×	egg-rewrite

Rules

162×	`egg`
49×	`egg`
43×	`egg`
39×	`egg`

Counts

4 → 293

Calls

4 calls:

162.0ms	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (*.f64 v v))))
131.0ms	(.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (*.f64 v v))))))
82.0ms	(.f64 5 (.f64 v v))
74.0ms	(*.f64 (PI.f64) t)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	22
1	289	22
2	3177	20
3	4832	20
4	4795	20
5	4913	20
0	20	43
1	449	43
2	4809	43
3	5436	43
0	4	5
1	78	5
2	896	5
3	4544	5
4	5520	5
0	5	7
1	102	7
2	1073	7
3	4794	7
4	5934	7

simplify114.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

714×	`fma-def_binary64`
489×	`cancel-sign-sub-inv_binary64`
418×	`fma-neg_binary64`
387×	`neg-mul-1_binary64`
233×	`distribute-rgt-neg-in_binary64`

Counts

353 → 342

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	158	2796
1	551	2685
2	2469	2586
3	4477	2586
4	5002	2586

prune917.0ms (9.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	333	9	342
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	335	9	344

Error

0.2b

Counts

344 → 9

Alt Table

Status	Error	Program
	1.5b	(.f64 (/.f64 1 (pow.f64 (cbrt.f64 (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 (.f64 v v) 3))))) (-.f64 1 (.f64 v v)))) 2)) (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (cbrt.f64 (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 (.f64 v v) 3))))) (-.f64 1 (*.f64 v v))))))
	40.6b	(/.f64 (-.f64 (pow.f64 (/.f64 1 (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 (.f64 v v) 3))))) (-.f64 1 (.f64 v v)))) 3) (pow.f64 (/.f64 (.f64 5 (.f64 v v)) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 (.f64 v v) 3))))) (-.f64 1 (.f64 v v)))) 3)) (+.f64 (.f64 (/.f64 1 (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 (.f64 v v) 3))))) (-.f64 1 (.f64 v v)))) (/.f64 1 (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 (.f64 v v) 3))))) (-.f64 1 (.f64 v v))))) (+.f64 (.f64 (/.f64 (.f64 5 (.f64 v v)) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 (.f64 v v) 3))))) (-.f64 1 (.f64 v v)))) (/.f64 (.f64 5 (.f64 v v)) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 (.f64 v v) 3))))) (-.f64 1 (.f64 v v))))) (.f64 (/.f64 1 (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 (.f64 v v) 3))))) (-.f64 1 (.f64 v v)))) (/.f64 (.f64 5 (.f64 v v)) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 (.f64 v v) 3))))) (-.f64 1 (*.f64 v v))))))))
	0.7b	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (.f64 (pow.f64 (PI.f64) 2/3) (.f64 (cbrt.f64 (PI.f64)) t)) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (.f64 v v))))
	29.7b	(/.f64 (-.f64 (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 (.f64 v v) 3))))) (-.f64 1 (.f64 v v))) (.f64 (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 (.f64 v v) 3))))) (-.f64 1 (.f64 v v))) (.f64 5 (.f64 v v)))) (pow.f64 (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 (.f64 v v) 3))))) (-.f64 1 (.f64 v v))) 2))
	1.2b	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (.f64 (.f64 (PI.f64) t) (cbrt.f64 (.f64 2 (fma.f64 (.f64 v v) -3 1)))) (cbrt.f64 (sqrt.f64 (.f64 2 (fma.f64 (.f64 v v) -3 1))))) (-.f64 1 (*.f64 v v))))
	1.5b	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 (PI.f64) t)) 2) (.f64 (cbrt.f64 (.f64 (PI.f64) t)) (sqrt.f64 (.f64 2 (fma.f64 (.f64 v v) -3 1))))) (-.f64 1 (.f64 v v))))
▶	0.5b	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 t (.f64 (PI.f64) (sqrt.f64 (.f64 2 (fma.f64 (.f64 v v) -3 1))))) (-.f64 1 (.f64 v v))))
	0.6b	(.f64 (/.f64 1 (.f64 (PI.f64) t)) (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (sqrt.f64 (.f64 2 (-.f64 1 (.f64 (.f64 v v) 3)))) (-.f64 1 (*.f64 v v)))))
	35.3b	(pow.f64 (sqrt.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (.f64 (PI.f64) t) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 (.f64 v v) 3))))) (-.f64 1 (*.f64 v v))))) 2)

Compiler

Compiled 28290 to 17506 computations (38.1% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 (.f64 t (.f64 (PI.f64) (sqrt.f64 (.f64 2 (fma.f64 (.f64 v v) -3 1))))) (-.f64 1 (.f64 v v)))
	0.2b	(.f64 5 (.f64 v v))
✓	0.3b	(.f64 t (.f64 (PI.f64) (sqrt.f64 (.f64 2 (fma.f64 (.f64 v v) -3 1)))))
✓	0.5b	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 t (.f64 (PI.f64) (sqrt.f64 (.f64 2 (fma.f64 (.f64 v v) -3 1))))) (-.f64 1 (.f64 v v))))

series231.0ms (2.4%)

Counts

3 → 72

Calls

3 calls:

150.0ms

(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (*.f64 t (*.f64 (PI.f64) (sqrt.f64 (*.f64 2 (fma.f64 (*.f64 v v) -3 1))))) (-.f64 1 (*.f64 v v))))

48.0ms

(*.f64 (*.f64 t (*.f64 (PI.f64) (sqrt.f64 (*.f64 2 (fma.f64 (*.f64 v v) -3 1))))) (-.f64 1 (*.f64 v v)))

33.0ms

(*.f64 t (*.f64 (PI.f64) (sqrt.f64 (*.f64 2 (fma.f64 (*.f64 v v) -3 1)))))

rewrite394.0ms (4.1%)

Algorithm

3×	egg-rewrite

Rules

187×	`egg`
89×	`egg`
42×	`egg`

Counts

3 → 318

Calls

3 calls:

170.0ms

(/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (*.f64 t (*.f64 (PI.f64) (sqrt.f64 (*.f64 2 (fma.f64 (*.f64 v v) -3 1))))) (-.f64 1 (*.f64 v v))))

144.0ms

(*.f64 (*.f64 t (*.f64 (PI.f64) (sqrt.f64 (*.f64 2 (fma.f64 (*.f64 v v) -3 1))))) (-.f64 1 (*.f64 v v)))

62.0ms

(*.f64 t (*.f64 (PI.f64) (sqrt.f64 (*.f64 2 (fma.f64 (*.f64 v v) -3 1)))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	41
1	416	41
2	4807	41
3	5491	41
0	13	20
1	254	20
2	2674	20
3	5017	20
0	15	29
1	310	29
2	3513	29
3	4923	29
4	4988	29
5	4986	29

simplify134.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

419×	`fma-neg_binary64`
304×	`distribute-rgt-neg-in_binary64`
276×	`distribute-lft-neg-in_binary64`
268×	`sub-neg_binary64`
248×	`associate-r_binary64`

Counts

390 → 392

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	195	4044
1	703	3813
2	3187	3811
3	5035	3811

prune735.0ms (7.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	438	4	442
Fresh	5	3	8
Picked	0	1	1
Done	0	0	0
Total	443	8	451

Error

0.0b

Counts

451 → 8

Alt Table

Status	Error	Program
	0.7b	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (.f64 (pow.f64 (PI.f64) 2/3) (.f64 (cbrt.f64 (PI.f64)) t)) (sqrt.f64 (.f64 2 (-.f64 1 (.f64 3 (.f64 v v)))))) (-.f64 1 (.f64 v v))))
	1.2b	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (.f64 (.f64 (PI.f64) t) (cbrt.f64 (.f64 2 (fma.f64 (.f64 v v) -3 1)))) (cbrt.f64 (sqrt.f64 (.f64 2 (fma.f64 (.f64 v v) -3 1))))) (-.f64 1 (*.f64 v v))))
	29.7b	(/.f64 (-.f64 (.f64 (.f64 t (.f64 (PI.f64) (sqrt.f64 (.f64 2 (fma.f64 (.f64 v v) -3 1))))) (-.f64 1 (.f64 v v))) (.f64 (.f64 (.f64 t (.f64 (PI.f64) (sqrt.f64 (.f64 2 (fma.f64 (.f64 v v) -3 1))))) (-.f64 1 (.f64 v v))) (.f64 5 (.f64 v v)))) (pow.f64 (.f64 (.f64 t (.f64 (PI.f64) (sqrt.f64 (.f64 2 (fma.f64 (.f64 v v) -3 1))))) (-.f64 1 (*.f64 v v))) 2))
✓	0.5b	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 t (.f64 (PI.f64) (sqrt.f64 (.f64 2 (fma.f64 (.f64 v v) -3 1))))) (-.f64 1 (.f64 v v))))
	1.4b	(.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 (.f64 5 (.f64 v v)))) 2) (pow.f64 (cbrt.f64 (.f64 (.f64 t (.f64 (PI.f64) (sqrt.f64 (.f64 2 (fma.f64 (.f64 v v) -3 1))))) (-.f64 1 (.f64 v v)))) 2)) (cbrt.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 t (.f64 (PI.f64) (sqrt.f64 (.f64 2 (fma.f64 (.f64 v v) -3 1))))) (-.f64 1 (*.f64 v v))))))
▶	0.3b	(.f64 (/.f64 1 t) (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (PI.f64) (sqrt.f64 (.f64 2 (fma.f64 (.f64 v v) -3 1)))) (-.f64 1 (.f64 v v)))))
	0.6b	(.f64 (/.f64 1 (.f64 (PI.f64) t)) (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (sqrt.f64 (.f64 2 (-.f64 1 (.f64 (.f64 v v) 3)))) (-.f64 1 (*.f64 v v)))))
	0.3b	(/.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) t) (.f64 (.f64 (PI.f64) (sqrt.f64 (.f64 2 (fma.f64 (.f64 v v) -3 1)))) (-.f64 1 (*.f64 v v))))

Compiler

Compiled 31874 to 20485 computations (35.7% saved)

localize18.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (PI.f64) (sqrt.f64 (.f64 2 (fma.f64 (.f64 v v) -3 1)))) (-.f64 1 (*.f64 v v))))
	0.2b	(.f64 5 (.f64 v v))
✓	0.3b	(.f64 (/.f64 1 t) (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (PI.f64) (sqrt.f64 (.f64 2 (fma.f64 (.f64 v v) -3 1)))) (-.f64 1 (.f64 v v)))))

series162.0ms (1.7%)

Counts

2 → 36

Calls

2 calls:

143.0ms

(*.f64 (/.f64 1 t) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (*.f64 (PI.f64) (sqrt.f64 (*.f64 2 (fma.f64 (*.f64 v v) -3 1)))) (-.f64 1 (*.f64 v v)))))

19.0ms

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

rewrite282.0ms (2.9%)

Algorithm

2×	egg-rewrite

Rules

190×	`egg`
70×	`egg`

Counts

2 → 260

Calls

2 calls:

170.0ms

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

95.0ms

(*.f64 (/.f64 1 t) (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) (*.f64 (*.f64 (PI.f64) (sqrt.f64 (*.f64 2 (fma.f64 (*.f64 v v) -3 1)))) (-.f64 1 (*.f64 v v)))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	41
1	445	41
2	4904	41
3	5410	41
0	17	38
1	375	38
2	4740	38
3	6361	38

simplify121.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

709×	`fma-def_binary64`
478×	`cancel-sign-sub-inv_binary64`
403×	`fma-neg_binary64`
346×	`neg-mul-1_binary64`
261×	`sub-neg_binary64`

Counts

296 → 308

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	174	2794
1	595	2739
2	2587	2486
3	4573	2478
4	5071	2478

prune613.0ms (6.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	355	3	358
Fresh	6	0	6
Picked	1	0	1
Done	1	0	1
Total	363	3	366

Error

Counts

366 → 3

Alt Table

Status	Error	Program
	0.3b	(.f64 (/.f64 1 t) (.f64 (/.f64 1 (pow.f64 (cbrt.f64 (.f64 (.f64 (PI.f64) (sqrt.f64 (.f64 2 (fma.f64 (.f64 v v) -3 1)))) (-.f64 1 (.f64 v v)))) 2)) (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (cbrt.f64 (.f64 (.f64 (PI.f64) (sqrt.f64 (.f64 2 (fma.f64 (.f64 v v) -3 1)))) (-.f64 1 (.f64 v v)))))))
▶	0.1b	(.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) 1) (/.f64 (/.f64 1 (.f64 (.f64 (PI.f64) (sqrt.f64 (.f64 2 (fma.f64 (.f64 v v) -3 1)))) (-.f64 1 (.f64 v v)))) t))
	0.7b	(.f64 (/.f64 1 t) (pow.f64 (pow.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (PI.f64) (sqrt.f64 (.f64 2 (fma.f64 (.f64 v v) -3 1)))) (-.f64 1 (.f64 v v)))) 3) 1/3))

Compiler

Compiled 27190 to 18010 computations (33.8% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 1 (.f64 (.f64 (PI.f64) (sqrt.f64 (.f64 2 (fma.f64 (.f64 v v) -3 1)))) (-.f64 1 (*.f64 v v))))
✓	0.0b	(.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) 1) (/.f64 (/.f64 1 (.f64 (.f64 (PI.f64) (sqrt.f64 (.f64 2 (fma.f64 (.f64 v v) -3 1)))) (-.f64 1 (.f64 v v)))) t))
✓	0.1b	(/.f64 (/.f64 1 (.f64 (.f64 (PI.f64) (sqrt.f64 (.f64 2 (fma.f64 (.f64 v v) -3 1)))) (-.f64 1 (*.f64 v v)))) t)
	0.2b	(.f64 5 (.f64 v v))

series291.0ms (3%)

Counts

3 → 60

Calls

3 calls:

151.0ms

(*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) 1) (/.f64 (/.f64 1 (*.f64 (*.f64 (PI.f64) (sqrt.f64 (*.f64 2 (fma.f64 (*.f64 v v) -3 1)))) (-.f64 1 (*.f64 v v)))) t))

122.0ms

(/.f64 (/.f64 1 (*.f64 (*.f64 (PI.f64) (sqrt.f64 (*.f64 2 (fma.f64 (*.f64 v v) -3 1)))) (-.f64 1 (*.f64 v v)))) t)

18.0ms

(/.f64 1 (*.f64 (*.f64 (PI.f64) (sqrt.f64 (*.f64 2 (fma.f64 (*.f64 v v) -3 1)))) (-.f64 1 (*.f64 v v))))

rewrite303.0ms (3.1%)

Algorithm

3×	egg-rewrite

Rules

66×	`egg`
50×	`egg`
40×	`egg`

Counts

3 → 156

Calls

3 calls:

119.0ms

(/.f64 (/.f64 1 (*.f64 (*.f64 (PI.f64) (sqrt.f64 (*.f64 2 (fma.f64 (*.f64 v v) -3 1)))) (-.f64 1 (*.f64 v v)))) t)

99.0ms

(/.f64 1 (*.f64 (*.f64 (PI.f64) (sqrt.f64 (*.f64 2 (fma.f64 (*.f64 v v) -3 1)))) (-.f64 1 (*.f64 v v))))

81.0ms

(*.f64 (/.f64 (-.f64 1 (*.f64 5 (*.f64 v v))) 1) (/.f64 (/.f64 1 (*.f64 (*.f64 (PI.f64) (sqrt.f64 (*.f64 2 (fma.f64 (*.f64 v v) -3 1)))) (-.f64 1 (*.f64 v v)))) t))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	32
1	344	32
2	4089	32
3	4992	32
4	5217	32
0	21	44
1	454	41
2	4865	41
3	4967	41
0	14	29
1	297	29
2	3387	29
3	4942	29
4	4855	29

simplify113.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

707×	`fma-def_binary64`
338×	`sub-neg_binary64`
326×	`cancel-sign-sub-inv_binary64`
305×	`associate-/r*_binary64`
218×	`distribute-neg-frac_binary64`

Counts

216 → 230

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	225	4434
1	767	4303
2	3260	4224
3	5047	4224

prune386.0ms (4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Error

Counts

283 → 3

Alt Table

Status	Error	Program
	0.3b	(.f64 (/.f64 1 t) (.f64 (/.f64 1 (pow.f64 (cbrt.f64 (.f64 (.f64 (PI.f64) (sqrt.f64 (.f64 2 (fma.f64 (.f64 v v) -3 1)))) (-.f64 1 (.f64 v v)))) 2)) (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (cbrt.f64 (.f64 (.f64 (PI.f64) (sqrt.f64 (.f64 2 (fma.f64 (.f64 v v) -3 1)))) (-.f64 1 (.f64 v v)))))))
✓	0.1b	(.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) 1) (/.f64 (/.f64 1 (.f64 (.f64 (PI.f64) (sqrt.f64 (.f64 2 (fma.f64 (.f64 v v) -3 1)))) (-.f64 1 (.f64 v v)))) t))
	0.7b	(.f64 (/.f64 1 t) (pow.f64 (pow.f64 (/.f64 (-.f64 1 (.f64 5 (.f64 v v))) (.f64 (.f64 (PI.f64) (sqrt.f64 (.f64 2 (fma.f64 (.f64 v v) -3 1)))) (-.f64 1 (.f64 v v)))) 3) 1/3))

Compiler

Compiled 12540 to 8980 computations (28.4% saved)

regimes2.6s (26.4%)

Accuracy

Total 0.1b remaining (90.5%)

Threshold costs 0.1b (90.5%)

Counts

363 → 1

Compiler

Compiled 72185 to 51773 computations (28.3% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

8×	`*-commutative_binary64`
5×	`+-commutative_binary64`
5×	`sub-neg_binary64`
3×	`distribute-rgt-neg-in_binary64`
3×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	44
1	38	44
2	49	44
3	55	44
4	58	44
5	56	44

end102.0ms (1.1%)

Compiler: Compiled 185 to 133 computations (28.1% saved)

Details

analyze158.0ms (1.6%)

sample1.3s (13.2%)

simplify41.0ms (0.4%)

prune9.0ms (0.1%)

localize14.0ms (0.1%)

series195.0ms (2%)

rewrite464.0ms (4.8%)

simplify114.0ms (1.2%)

prune917.0ms (9.5%)

localize15.0ms (0.2%)

series231.0ms (2.4%)

rewrite394.0ms (4.1%)

simplify134.0ms (1.4%)

prune735.0ms (7.6%)

localize18.0ms (0.2%)

series162.0ms (1.7%)

rewrite282.0ms (2.9%)

simplify121.0ms (1.2%)

prune613.0ms (6.3%)

localize16.0ms (0.2%)

series291.0ms (3%)

rewrite303.0ms (3.1%)

simplify113.0ms (1.2%)

prune386.0ms (4%)

regimes2.6s (26.4%)

simplify3.0ms (0%)

end102.0ms (1.1%)

Profiling