Details

analyze3.0s (6.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	98.1%	1.9%	7
0%	98.1%	1.9%	8
0%	97.8%	2.2%	9
0%	96.8%	3.2%	10
0%	96.3%	3.7%	11
0%	94.3%	5.7%	12
0.4%	92.1%	7.5%	13
0.6%	90.8%	8.6%	14

Compiler

Compiled 35 to 24 computations (31.4% saved)

sample172.0ms (0.4%)

Algorithm

1×

intervals

Results

55.0ms	450×	body	128	nan
34.0ms	256×	body	128	valid
5.0ms	39×	body	128	invalid

Compiler

Compiled 75 to 53 computations (29.3% saved)

simplify48.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

515×	`fma-neg_binary64`
481×	`neg-mul-1_binary64`
395×	`fma-def_binary64`
358×	`cancel-sign-sub-inv_binary64`
348×	`unsub-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	22	42
1	58	40
2	182	40
3	757	38
4	2815	37
5	4555	37
6	4944	37

prune5.0ms (0%)

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

31.3b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	31.6b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))
	34.8b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (-.f64 (-.f64 t (.f64 2 (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) 2)) (-.f64 U U)))))

Status

Error

Program

▶

31.6b

(sqrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (fma.f64 l -2 (*.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om))))))))

34.8b

(sqrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (-.f64 (-.f64 t (*.f64 2 (/.f64 (*.f64 l l) Om))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) 2)) (-.f64 U U*)))))

Compiler

Compiled 189 to 119 computations (37% saved)

localize15.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	5.9b	(.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))
✓	6.0b	(*.f64 n (/.f64 l Om))
✓	10.0b	(.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))))))
✓	19.9b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))

series2.0s (4.3%)

Counts

4 → 216

Calls

4 calls:

1.5s	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))
452.0ms	(.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))))))
38.0ms	(.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))
23.0ms	(*.f64 n (/.f64 l Om))

rewrite35.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`pow1_binary64`
27×	`add-cbrt-cube_binary64`
27×	`add-exp-log_binary64`
21×	`add-sqr-sqrt_binary64`
17×	`associate-r_binary64`

Counts

4 → 107

Calls

4 calls:

7.0ms	(.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))
7.0ms	(.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))))))
6.0ms	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))
5.0ms	(*.f64 n (/.f64 l Om))

simplify268.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

787×	`fma-def_binary64`
459×	`*-commutative_binary64`
231×	`associate-r_binary64`
165×	`+-commutative_binary64`
153×	`cancel-sign-sub-inv_binary64`

Counts

323 → 286

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1061	19930
1	3567	19396
2	5115	19396

prune634.0ms (1.4%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	267	19	286
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	268	20	288

Error

13.2b

Counts

288 → 20

Alt Table

Status	Error	Program
	44.8b	(.f64 (sqrt.f64 (.f64 2 (.f64 n U))) (sqrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (/.f64 (.f64 n l) Om) (-.f64 U U))) t)))
	38.0b	(sqrt.f64 (fma.f64 2 (.f64 n (.f64 U t)) (.f64 -4 (/.f64 (.f64 n (.f64 (.f64 l l) U)) Om))))
	54.9b	(.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (*.f64 (sqrt.f64 2) l))
	31.7b	(.f64 (sqrt.f64 (sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (.f64 n (/.f64 l Om))))))))) (sqrt.f64 (sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om))))))))))
	36.8b	(sqrt.f64 (.f64 n (fma.f64 2 (.f64 U t) (.f64 -4 (/.f64 (.f64 (*.f64 l l) U) Om)))))
	48.0b	(sqrt.f64 (.f64 (.f64 (.f64 (.f64 2 n) U) (sqrt.f64 (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (.f64 n (/.f64 l Om)))))))) (sqrt.f64 (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))))))))
	35.4b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (neg.f64 (/.f64 (.f64 n (.f64 l U)) Om)))))))
	60.6b	(.f64 (sqrt.f64 (.f64 n (.f64 U (.f64 n (-.f64 (.f64 (.f64 l l) U) (.f64 (*.f64 l l) U)))))) (/.f64 (sqrt.f64 2) Om))
	57.7b	(neg.f64 (.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (*.f64 (sqrt.f64 2) l)))
	60.1b	(neg.f64 (.f64 n (sqrt.f64 (.f64 -2 (.f64 U (-.f64 (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om)) (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om))))))))
▶	31.6b	(sqrt.f64 (.f64 (.f64 2 n) (.f64 U (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))))))))
	55.9b	(fma.f64 1/2 (.f64 (sqrt.f64 (/.f64 (.f64 n U) (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om)))))) (/.f64 (.f64 (sqrt.f64 2) t) l)) (.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (*.f64 (sqrt.f64 2) l)))
	60.9b	(.f64 (.f64 n (sqrt.f64 2)) (sqrt.f64 (.f64 (-.f64 (/.f64 (.f64 (pow.f64 l 2) U) (pow.f64 Om 2)) (/.f64 (.f64 (pow.f64 l 2) U) (pow.f64 Om 2))) U)))
	43.8b	(.f64 (sqrt.f64 (.f64 (.f64 2 n) U)) (sqrt.f64 (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))
	40.3b	(.f64 (sqrt.f64 (.f64 n (*.f64 t U))) (sqrt.f64 2))
	34.1b	(exp.f64 (log.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (/.f64 (.f64 n l) Om) (-.f64 U U))) t)))))
	34.8b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (-.f64 (-.f64 t (.f64 2 (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) 2)) (-.f64 U U)))))
	32.3b	(sqrt.f64 (.f64 (.f64 (.f64 2 (.f64 n U)) (.f64 (cbrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (/.f64 (.f64 n l) Om) (-.f64 U U))) t)) (cbrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (/.f64 (.f64 n l) Om) (-.f64 U* U))) t)))) (cbrt.f64 (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om)))))))))
	59.9b	(sqrt.f64 (.f64 2 (/.f64 (.f64 (pow.f64 n 2) (.f64 (pow.f64 l 2) (.f64 U U*))) (pow.f64 Om 2))))
	42.8b	(sqrt.f64 (.f64 U (fma.f64 2 (fma.f64 n t (/.f64 (.f64 (.f64 (.f64 l l) U) (.f64 n n)) (.f64 Om Om))) (.f64 -4 (/.f64 (.f64 n (.f64 l l)) Om)))))

Compiler

Compiled 23131 to 11957 computations (48.3% saved)

localize21.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
	5.9b	(.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))
	6.0b	(*.f64 n (/.f64 l Om))
✓	6.0b	(.f64 (.f64 2 n) (.f64 U (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))
✓	19.9b	(sqrt.f64 (.f64 (.f64 2 n) (.f64 U (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))))))))

series2.1s (4.6%)

Counts

2 → 120

Calls

2 calls:

1.7s

(sqrt.f64 (*.f64 (*.f64 2 n) (*.f64 U (+.f64 t (*.f64 (/.f64 l Om) (fma.f64 l -2 (*.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om)))))))))

423.0ms

(*.f64 (*.f64 2 n) (*.f64 U (+.f64 t (*.f64 (/.f64 l Om) (fma.f64 l -2 (*.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om))))))))

rewrite33.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`pow1_binary64`
16×	`pow-prod-down_binary64`
14×	`add-cbrt-cube_binary64`
14×	`add-exp-log_binary64`
8×	`cbrt-unprod_binary64`

Counts

2 → 48

Calls

2 calls:

6.0ms

(sqrt.f64 (*.f64 (*.f64 2 n) (*.f64 U (+.f64 t (*.f64 (/.f64 l Om) (fma.f64 l -2 (*.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om)))))))))

6.0ms

(*.f64 (*.f64 2 n) (*.f64 U (+.f64 t (*.f64 (/.f64 l Om) (fma.f64 l -2 (*.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om))))))))

simplify297.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

764×	`fma-def_binary64`
419×	`*-commutative_binary64`
218×	`associate-r_binary64`
168×	`neg-mul-1_binary64`
157×	`+-commutative_binary64`

Counts

168 → 178

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	940	18125
1	3260	16803
2	4884	16803
3	5048	16803

prune542.0ms (1.2%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	278	5	283
Fresh	4	15	19
Picked	1	0	1
Done	0	0	0
Total	283	20	303

Error

10.9b

Counts

303 → 20

Alt Table

Status	Error	Program
	44.8b	(.f64 (sqrt.f64 (.f64 2 (.f64 n U))) (sqrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (/.f64 (.f64 n l) Om) (-.f64 U U))) t)))
	38.0b	(sqrt.f64 (fma.f64 2 (.f64 n (.f64 U t)) (.f64 -4 (/.f64 (.f64 n (.f64 (.f64 l l) U)) Om))))
	62.7b	(fma.f64 n (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 U (-.f64 (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om)) (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om)))))) (.f64 (sqrt.f64 (/.f64 U (-.f64 (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om)) (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om))))) (-.f64 (.f64 1/2 (.f64 (sqrt.f64 2) t)) (/.f64 (.f64 (sqrt.f64 2) (*.f64 l l)) Om))))
	43.8b	(.f64 (sqrt.f64 (.f64 (.f64 2 n) U)) (sqrt.f64 (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))
▶	31.7b	(.f64 (sqrt.f64 (sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (.f64 n (/.f64 l Om))))))))) (sqrt.f64 (sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om))))))))))
	36.8b	(sqrt.f64 (.f64 n (fma.f64 2 (.f64 U t) (.f64 -4 (/.f64 (.f64 (*.f64 l l) U) Om)))))
	43.3b	(.f64 (sqrt.f64 (.f64 n 2)) (sqrt.f64 (.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om)))) t))))
	34.8b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (-.f64 (-.f64 t (.f64 2 (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) 2)) (-.f64 U U)))))
	48.0b	(sqrt.f64 (.f64 (.f64 (.f64 (.f64 2 n) U) (sqrt.f64 (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (.f64 n (/.f64 l Om)))))))) (sqrt.f64 (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))))))))
	35.4b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (neg.f64 (/.f64 (.f64 n (.f64 l U)) Om)))))))
	53.7b	(/.f64 (sqrt.f64 (.f64 (.f64 n 2) (.f64 U (+.f64 (pow.f64 t 3) (pow.f64 (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (.f64 n (/.f64 l Om))))) 3))))) (sqrt.f64 (fma.f64 t t (.f64 (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (.f64 n (/.f64 l Om))))) (-.f64 (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))) t)))))
	32.3b	(sqrt.f64 (.f64 (.f64 (.f64 2 (.f64 n U)) (.f64 (cbrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (/.f64 (.f64 n l) Om) (-.f64 U U))) t)) (cbrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (/.f64 (.f64 n l) Om) (-.f64 U* U))) t)))) (cbrt.f64 (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om)))))))))
	57.7b	(neg.f64 (.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (*.f64 (sqrt.f64 2) l)))
	60.1b	(neg.f64 (.f64 n (sqrt.f64 (.f64 -2 (.f64 U (-.f64 (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om)) (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om))))))))
	60.6b	(.f64 (sqrt.f64 (.f64 n (.f64 U (.f64 n (.f64 (.f64 l l) (-.f64 U* U)))))) (/.f64 (sqrt.f64 2) Om))
	42.8b	(sqrt.f64 (.f64 U (fma.f64 2 (fma.f64 n t (/.f64 (.f64 (.f64 (.f64 l l) U) (.f64 n n)) (.f64 Om Om))) (.f64 -4 (/.f64 (.f64 n (.f64 l l)) Om)))))
	40.3b	(.f64 (sqrt.f64 (.f64 n (*.f64 t U))) (sqrt.f64 2))
	33.0b	(sqrt.f64 (.f64 (.f64 2 n) (.f64 U (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (/.f64 (.f64 n (.f64 l U*)) Om)))))))
	59.9b	(sqrt.f64 (.f64 2 (/.f64 (.f64 (pow.f64 n 2) (.f64 (pow.f64 l 2) (.f64 U U*))) (pow.f64 Om 2))))
	55.9b	(fma.f64 1/2 (.f64 (sqrt.f64 (/.f64 (.f64 n U) (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om)))))) (/.f64 (.f64 (sqrt.f64 2) t) l)) (.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (*.f64 (sqrt.f64 2) l)))

Compiler

Compiled 22585 to 11813 computations (47.7% saved)

localize22.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
	5.9b	(.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))
	6.0b	(*.f64 n (/.f64 l Om))
	10.0b	(.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))))))
	19.9b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))

prune1.2s (2.5%)

Pruning

20 alts after pruning (19 fresh and 1 done)

	Pruned	Kept	Total
New	572	0	572
Fresh	0	19	19
Picked	0	1	1
Done	0	0	0
Total	572	20	592

Error

10.9b

Counts

592 → 20

Alt Table

Status	Error	Program
	44.8b	(.f64 (sqrt.f64 (.f64 2 (.f64 n U))) (sqrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (/.f64 (.f64 n l) Om) (-.f64 U U))) t)))
	38.0b	(sqrt.f64 (fma.f64 2 (.f64 n (.f64 U t)) (.f64 -4 (/.f64 (.f64 n (.f64 (.f64 l l) U)) Om))))
	62.7b	(fma.f64 n (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 U (-.f64 (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om)) (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om)))))) (.f64 (sqrt.f64 (/.f64 U (-.f64 (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om)) (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om))))) (-.f64 (.f64 1/2 (.f64 (sqrt.f64 2) t)) (/.f64 (.f64 (sqrt.f64 2) (*.f64 l l)) Om))))
	43.8b	(.f64 (sqrt.f64 (.f64 (.f64 2 n) U)) (sqrt.f64 (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))
✓	31.7b	(.f64 (sqrt.f64 (sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (.f64 n (/.f64 l Om))))))))) (sqrt.f64 (sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om))))))))))
	36.8b	(sqrt.f64 (.f64 n (fma.f64 2 (.f64 U t) (.f64 -4 (/.f64 (.f64 (*.f64 l l) U) Om)))))
	43.3b	(.f64 (sqrt.f64 (.f64 n 2)) (sqrt.f64 (.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om)))) t))))
	34.8b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (-.f64 (-.f64 t (.f64 2 (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) 2)) (-.f64 U U)))))
	48.0b	(sqrt.f64 (.f64 (.f64 (.f64 (.f64 2 n) U) (sqrt.f64 (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (.f64 n (/.f64 l Om)))))))) (sqrt.f64 (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))))))))
	35.4b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (neg.f64 (/.f64 (.f64 n (.f64 l U)) Om)))))))
	53.7b	(/.f64 (sqrt.f64 (.f64 (.f64 n 2) (.f64 U (+.f64 (pow.f64 t 3) (pow.f64 (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (.f64 n (/.f64 l Om))))) 3))))) (sqrt.f64 (fma.f64 t t (.f64 (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (.f64 n (/.f64 l Om))))) (-.f64 (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))) t)))))
▶	32.3b	(sqrt.f64 (.f64 (.f64 (.f64 2 (.f64 n U)) (.f64 (cbrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (/.f64 (.f64 n l) Om) (-.f64 U U))) t)) (cbrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (/.f64 (.f64 n l) Om) (-.f64 U* U))) t)))) (cbrt.f64 (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om)))))))))
	57.7b	(neg.f64 (.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (*.f64 (sqrt.f64 2) l)))
	60.1b	(neg.f64 (.f64 n (sqrt.f64 (.f64 -2 (.f64 U (-.f64 (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om)) (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om))))))))
	60.6b	(.f64 (sqrt.f64 (.f64 n (.f64 U (.f64 n (.f64 (.f64 l l) (-.f64 U* U)))))) (/.f64 (sqrt.f64 2) Om))
	42.8b	(sqrt.f64 (.f64 U (fma.f64 2 (fma.f64 n t (/.f64 (.f64 (.f64 (.f64 l l) U) (.f64 n n)) (.f64 Om Om))) (.f64 -4 (/.f64 (.f64 n (.f64 l l)) Om)))))
	40.3b	(.f64 (sqrt.f64 (.f64 n (*.f64 t U))) (sqrt.f64 2))
	33.0b	(sqrt.f64 (.f64 (.f64 2 n) (.f64 U (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (/.f64 (.f64 n (.f64 l U*)) Om)))))))
	59.9b	(sqrt.f64 (.f64 2 (/.f64 (.f64 (pow.f64 n 2) (.f64 (pow.f64 l 2) (.f64 U U*))) (pow.f64 Om 2))))
	55.9b	(fma.f64 1/2 (.f64 (sqrt.f64 (/.f64 (.f64 n U) (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om)))))) (/.f64 (.f64 (sqrt.f64 2) t) l)) (.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (*.f64 (sqrt.f64 2) l)))

Compiler

Compiled 60899 to 29539 computations (51.5% saved)

localize28.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	8.1b	(.f64 (.f64 2 (.f64 n U)) (.f64 (cbrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (/.f64 (.f64 n l) Om) (-.f64 U* U))) t)) (cbrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (/.f64 (.f64 n l) Om) (-.f64 U* U))) t))))
✓	13.8b	(cbrt.f64 (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om)))))))
✓	13.8b	(cbrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (/.f64 (.f64 n l) Om) (-.f64 U* U))) t))
✓	19.9b	(sqrt.f64 (.f64 (.f64 (.f64 2 (.f64 n U)) (.f64 (cbrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (/.f64 (.f64 n l) Om) (-.f64 U U))) t)) (cbrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (/.f64 (.f64 n l) Om) (-.f64 U* U))) t)))) (cbrt.f64 (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om)))))))))

series21.5s (46.2%)

Counts

4 → 264

Calls

4 calls:

11.4s	(sqrt.f64 (.f64 (.f64 (.f64 2 (.f64 n U)) (.f64 (cbrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (/.f64 (.f64 n l) Om) (-.f64 U U))) t)) (cbrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (/.f64 (.f64 n l) Om) (-.f64 U* U))) t)))) (cbrt.f64 (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om)))))))))
8.4s	(.f64 (.f64 2 (.f64 n U)) (.f64 (cbrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (/.f64 (.f64 n l) Om) (-.f64 U* U))) t)) (cbrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (/.f64 (.f64 n l) Om) (-.f64 U* U))) t))))
828.0ms	(cbrt.f64 (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om)))))))
822.0ms	(cbrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (/.f64 (.f64 n l) Om) (-.f64 U* U))) t))

rewrite42.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

55×	`pow1_binary64`
37×	`pow-prod-down_binary64`
25×	`add-exp-log_binary64`
19×	`add-cbrt-cube_binary64`
15×	`cbrt-unprod_binary64`

Counts

4 → 79

Calls

4 calls:

14.0ms	(sqrt.f64 (.f64 (.f64 (.f64 2 (.f64 n U)) (.f64 (cbrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (/.f64 (.f64 n l) Om) (-.f64 U U))) t)) (cbrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (/.f64 (.f64 n l) Om) (-.f64 U* U))) t)))) (cbrt.f64 (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om)))))))))
8.0ms	(.f64 (.f64 2 (.f64 n U)) (.f64 (cbrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (/.f64 (.f64 n l) Om) (-.f64 U* U))) t)) (cbrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (/.f64 (.f64 n l) Om) (-.f64 U* U))) t))))
2.0ms	(cbrt.f64 (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om)))))))
1.0ms	(cbrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (/.f64 (.f64 n l) Om) (-.f64 U* U))) t))

simplify1.2s (2.6%)

Algorithm

1×	egg-herbie

Rules

983×	`fma-def_binary64`
6×	`fma-neg_binary64`
3×	`fma-udef_binary64`

Counts

343 → 375

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4947	118570
1	5943	118570

prune3.5s (7.5%)

Pruning

22 alts after pruning (20 fresh and 2 done)

	Pruned	Kept	Total
New	500	3	503
Fresh	1	17	18
Picked	0	1	1
Done	0	1	1
Total	501	22	523

Error

10.7b

Counts

523 → 22

Alt Table

Status	Error	Program
	60.8b	(sqrt.f64 (.f64 (.f64 2 (.f64 (.f64 n U) (pow.f64 (pow.f64 (-.f64 (/.f64 (.f64 n (.f64 (pow.f64 l 2) U)) (pow.f64 Om 2)) (fma.f64 2 (/.f64 (pow.f64 l 2) Om) (/.f64 (.f64 n (.f64 (pow.f64 l 2) U)) (pow.f64 Om 2)))) 2) 1/3))) (cbrt.f64 (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))))))))
	44.8b	(.f64 (sqrt.f64 (.f64 2 (.f64 n U))) (sqrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (/.f64 (.f64 n l) Om) (-.f64 U U))) t)))
	38.0b	(sqrt.f64 (fma.f64 2 (.f64 n (.f64 U t)) (.f64 -4 (/.f64 (.f64 n (.f64 (.f64 l l) U)) Om))))
	62.7b	(fma.f64 n (.f64 (sqrt.f64 2) (sqrt.f64 (.f64 U (-.f64 (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om)) (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om)))))) (.f64 (sqrt.f64 (/.f64 U (-.f64 (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om)) (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om))))) (-.f64 (.f64 1/2 (.f64 (sqrt.f64 2) t)) (/.f64 (.f64 (sqrt.f64 2) (*.f64 l l)) Om))))
	43.8b	(.f64 (sqrt.f64 (.f64 (.f64 2 n) U)) (sqrt.f64 (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))
✓	31.7b	(.f64 (sqrt.f64 (sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (.f64 n (/.f64 l Om))))))))) (sqrt.f64 (sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om))))))))))
	36.8b	(sqrt.f64 (.f64 n (fma.f64 2 (.f64 U t) (.f64 -4 (/.f64 (.f64 (*.f64 l l) U) Om)))))
	43.3b	(.f64 (sqrt.f64 (.f64 n 2)) (sqrt.f64 (.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om)))) t))))
	34.8b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (-.f64 (-.f64 t (.f64 2 (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) 2)) (-.f64 U U)))))
	53.7b	(/.f64 (sqrt.f64 (.f64 (.f64 n 2) (.f64 U (+.f64 (pow.f64 t 3) (pow.f64 (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (.f64 n (/.f64 l Om))))) 3))))) (sqrt.f64 (fma.f64 t t (.f64 (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (.f64 n (/.f64 l Om))))) (-.f64 (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))) t)))))
✓	32.3b	(sqrt.f64 (.f64 (.f64 (.f64 2 (.f64 n U)) (.f64 (cbrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (/.f64 (.f64 n l) Om) (-.f64 U U))) t)) (cbrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (/.f64 (.f64 n l) Om) (-.f64 U* U))) t)))) (cbrt.f64 (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om)))))))))
	57.7b	(neg.f64 (.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (*.f64 (sqrt.f64 2) l)))
	60.1b	(neg.f64 (.f64 n (sqrt.f64 (.f64 -2 (.f64 U (-.f64 (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om)) (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om))))))))
	48.6b	(sqrt.f64 (.f64 (.f64 (.f64 2 (.f64 n U)) (.f64 (cbrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (/.f64 (.f64 n l) Om) (-.f64 U U))) t)) (.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (/.f64 (.f64 n l) Om) (-.f64 U U))) t))) (cbrt.f64 (sqrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (/.f64 (.f64 n l) Om) (-.f64 U* U))) t)))))) (cbrt.f64 (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om)))))))))
	60.6b	(.f64 (sqrt.f64 (.f64 n (.f64 U (.f64 n (.f64 (.f64 l l) (-.f64 U* U)))))) (/.f64 (sqrt.f64 2) Om))
	42.8b	(sqrt.f64 (.f64 U (fma.f64 2 (fma.f64 n t (/.f64 (.f64 (.f64 (.f64 l l) U) (.f64 n n)) (.f64 Om Om))) (.f64 -4 (/.f64 (.f64 n (.f64 l l)) Om)))))
	40.3b	(.f64 (sqrt.f64 (.f64 n (*.f64 t U))) (sqrt.f64 2))
	61.9b	(.f64 (sqrt.f64 (.f64 n U)) (.f64 (sqrt.f64 2) (.f64 (exp.f64 (.f64 1/3 (-.f64 (log.f64 (neg.f64 (/.f64 (.f64 n (pow.f64 l 2)) (pow.f64 Om 2)))) (log.f64 (/.f64 -1 U))))) (exp.f64 (.f64 1/6 (-.f64 (log.f64 (neg.f64 (/.f64 (.f64 n (pow.f64 l 2)) (pow.f64 Om 2)))) (log.f64 (/.f64 -1 U))))))))
	33.0b	(sqrt.f64 (.f64 (.f64 2 n) (.f64 U (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (/.f64 (.f64 n (.f64 l U*)) Om)))))))
	35.4b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (neg.f64 (/.f64 (.f64 n (.f64 l U)) Om)))))))
	59.9b	(sqrt.f64 (.f64 2 (/.f64 (.f64 (pow.f64 n 2) (.f64 (pow.f64 l 2) (.f64 U U*))) (pow.f64 Om 2))))
	55.9b	(fma.f64 1/2 (.f64 (sqrt.f64 (/.f64 (.f64 n U) (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om)))))) (/.f64 (.f64 (sqrt.f64 2) t) l)) (.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (*.f64 (sqrt.f64 2) l)))

Compiler

Compiled 166673 to 115193 computations (30.9% saved)

regimes5.4s (11.6%)

Accuracy

Total 13.9b remaining (54%)

Threshold costs 0b (0%)

Counts

250 → 4

Compiler

Compiled 89058 to 53666 computations (39.7% saved)

bsearch19.0ms (0%)

Compiler: Compiled 33 to 22 computations (33.3% saved)

simplify52.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

183×	`distribute-rgt-neg-in_binary64`
126×	`cancel-sign-sub-inv_binary64`
121×	`distribute-lft-neg-in_binary64`
111×	`distribute-lft-neg-out_binary64`
103×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	63	334
1	98	334
2	133	334
3	167	334
4	204	334
5	229	334
6	243	334
7	271	334
8	298	334
9	342	334
10	406	334
11	486	334
12	556	334
13	624	334
14	692	334
15	762	334
16	806	334
17	835	334
18	850	334
19	857	334
20	862	334
21	864	334
22	858	334

end2.0ms (0%)

Compiler: Compiled 229 to 115 computations (49.8% saved)

sample4.3s (9.4%)

Algorithm

1×

intervals

Results

1.6s	13428×	body	128	nan
1.0s	8000×	body	128	valid
146.0ms	1196×	body	128	invalid

Compiler

Compiled 1228 to 703 computations (42.8% saved)

Iter	Nodes	Cost
0	63	334
1	98	334
2	133	334
3	167	334
4	204	334
5	229	334
6	243	334
7	271	334
8	298	334
9	342	334
10	406	334
11	486	334
12	556	334
13	624	334
14	692	334
15	762	334
16	806	334
17	835	334
18	850	334
19	857	334
20	862	334
21	864	334
22	858	334

Iter	Nodes	Cost
0	63	334
1	98	334
2	133	334
3	167	334
4	204	334
5	229	334
6	243	334
7	271	334
8	298	334
9	342	334
10	406	334
11	486	334
12	556	334
13	624	334
14	692	334
15	762	334
16	806	334
17	835	334
18	850	334
19	857	334
20	862	334
21	864	334
22	858	334

Details

analyze3.0s (6.5%)

sample172.0ms (0.4%)

simplify48.0ms (0.1%)

prune5.0ms (0%)

localize15.0ms (0%)

series2.0s (4.3%)

rewrite35.0ms (0.1%)

simplify268.0ms (0.6%)

prune634.0ms (1.4%)

localize21.0ms (0%)

series2.1s (4.6%)

rewrite33.0ms (0.1%)

simplify297.0ms (0.6%)

prune542.0ms (1.2%)

localize22.0ms (0%)

prune1.2s (2.5%)

localize28.0ms (0.1%)

series21.5s (46.2%)

rewrite42.0ms (0.1%)

simplify1.2s (2.6%)

prune3.5s (7.5%)

regimes5.4s (11.6%)

bsearch19.0ms (0%)

simplify52.0ms (0.1%)

end2.0ms (0%)

sample4.3s (9.4%)

Profiling

Iter	Nodes	Cost
0	63	334
1	98	334
2	133	334
3	167	334
4	204	334
5	229	334
6	243	334
7	271	334
8	298	334
9	342	334
10	406	334
11	486	334
12	556	334
13	624	334
14	692	334
15	762	334
16	806	334
17	835	334
18	850	334
19	857	334
20	862	334
21	864	334
22	858	334