Details

analyze3.1s (9.4%)

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)

sample4.9s (14.6%)

Results

3.0s	14127×	body	128	invalid
1.8s	8256×	body	128	valid

Compiler

Compiled 104 to 71 computations (31.7% saved)

simplify50.0ms (0.2%)

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

33.0b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	33.0b	(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))))))))
	35.3b	(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

▶

33.0b

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

35.3b

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

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	5.0b	(*.f64 n (/.f64 l Om))
✓	7.4b	(.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))
✓	11.2b	(.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)))))))
✓	20.0b	(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 (6%)

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))))))))
415.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)))))))
36.0ms	(.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))
13.0ms	(*.f64 n (/.f64 l Om))

rewrite37.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:

8.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)))))))
5.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))

simplify255.0ms (0.8%)

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

prune565.0ms (1.7%)

Pruning

19 alts after pruning (19 fresh and 0 done)

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

Error

16.2b

Counts

288 → 19

Alt Table

Status	Error	Program
	59.4b	(neg.f64 (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))))
	33.6b	(sqrt.f64 (.f64 (.f64 2 n) (.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (*.f64 n l) Om))) t))))
▶	33.1b	(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.0b	(sqrt.f64 (exp.f64 (+.f64 (+.f64 (log.f64 (.f64 2 n)) (log.f64 U)) (log.f64 (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))))
	33.6b	(sqrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (.f64 n l) Om))) t))) (cbrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (/.f64 (.f64 n l) Om))) t)))) (cbrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (/.f64 (*.f64 n l) Om))) t)))))
	34.5b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (/.f64 (.f64 n (-.f64 U U)) (/.f64 Om l)))))))
	33.8b	(.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (.f64 n l) Om))) t)))) (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (/.f64 (.f64 n l) Om))) t))))) (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (/.f64 (*.f64 n l) Om))) t)))))
	45.5b	(.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))))))))
	61.8b	(sqrt.f64 (.f64 2 (/.f64 (.f64 (pow.f64 n 2) (.f64 (pow.f64 l 2) (.f64 U U*))) (pow.f64 Om 2))))
	39.2b	(sqrt.f64 (.f64 n (fma.f64 2 (.f64 U t) (.f64 -4 (/.f64 (.f64 (*.f64 l l) U) Om)))))
	60.7b	(.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)))
	62.9b	(neg.f64 (.f64 U (sqrt.f64 (.f64 -2 (/.f64 (.f64 (.f64 l l) (.f64 n n)) (.f64 Om Om))))))
	42.4b	(.f64 (sqrt.f64 (.f64 n (*.f64 t U))) (sqrt.f64 2))
	33.4b	(.f64 (sqrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (/.f64 (.f64 n l) Om))) t)))) (sqrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (/.f64 (*.f64 n l) Om))) t)))))
	61.2b	(.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))
	63.2b	(-.f64 (.f64 2 (/.f64 (.f64 (.f64 l l) U) (.f64 Om (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))))))))) (fma.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)))))) (/.f64 (.f64 U t) (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)))))))))
	62.1b	(sqrt.f64 (log.f64 (exp.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (*.f64 n l) Om))) t)))))
	56.5b	(.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))
	38.8b	(sqrt.f64 (fma.f64 2 (.f64 n (.f64 U t)) (.f64 -4 (/.f64 (.f64 n (.f64 (.f64 l l) U)) Om))))

Compiler

Compiled 23241 to 11950 computations (48.6% saved)

localize16.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
	5.0b	(*.f64 n (/.f64 l Om))
	7.4b	(.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))
✓	7.4b	(.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))))))))
✓	20.0b	(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)))))))))

series1.9s (5.7%)

Counts

2 → 120

Calls

2 calls:

1.5s

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

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

rewrite18.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

(*.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

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

simplify279.0ms (0.8%)

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

prune499.0ms (1.5%)

Pruning

23 alts after pruning (23 fresh and 0 done)

	Pruned	Kept	Total
New	275	8	283
Fresh	3	15	18
Picked	1	0	1
Done	0	0	0
Total	279	23	302

Error

13.1b

Counts

302 → 23

Alt Table

Status	Error	Program
	59.4b	(neg.f64 (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))))
	33.6b	(sqrt.f64 (.f64 (.f64 2 n) (.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (*.f64 n l) Om))) t))))
	34.5b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (/.f64 (.f64 n (-.f64 U U)) (/.f64 Om l)))))))
	33.8b	(.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (.f64 n l) Om))) t)))) (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (/.f64 (.f64 n l) Om))) t))))) (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (/.f64 (*.f64 n l) Om))) t)))))
	45.5b	(.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))))))))
	61.8b	(sqrt.f64 (.f64 2 (/.f64 (.f64 (pow.f64 n 2) (.f64 (pow.f64 l 2) (.f64 U U*))) (pow.f64 Om 2))))
	39.2b	(sqrt.f64 (.f64 n (fma.f64 2 (.f64 U t) (.f64 -4 (/.f64 (.f64 (*.f64 l l) U) Om)))))
	60.7b	(.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)))
	62.9b	(neg.f64 (.f64 U (sqrt.f64 (.f64 -2 (/.f64 (.f64 (.f64 l l) (.f64 n n)) (.f64 Om Om))))))
	55.0b	(sqrt.f64 (exp.f64 (+.f64 (log.f64 (.f64 2 n)) (+.f64 (log.f64 U) (log.f64 (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))))))))))
	42.4b	(.f64 (sqrt.f64 (.f64 n (*.f64 t U))) (sqrt.f64 2))
▶	33.4b	(.f64 (sqrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (/.f64 (.f64 n l) Om))) t)))) (sqrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (/.f64 (*.f64 n l) Om))) t)))))
	44.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))))
	61.2b	(.f64 (sqrt.f64 (.f64 n (.f64 U (.f64 n (.f64 (.f64 l l) (-.f64 U* U)))))) (/.f64 (sqrt.f64 2) Om))
	36.3b	(sqrt.f64 (.f64 (.f64 2 n) (.f64 U (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (neg.f64 (/.f64 (.f64 n (.f64 l U)) Om))))))))
	55.0b	(/.f64 (sqrt.f64 (.f64 (.f64 n 2) (.f64 U (.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (.f64 n (/.f64 l Om)))) t) (-.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))))))))
	38.8b	(sqrt.f64 (fma.f64 2 (.f64 n (.f64 U t)) (.f64 -4 (/.f64 (.f64 n (.f64 (.f64 l l) U)) Om))))
	52.6b	(/.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)))))
	63.2b	(-.f64 (.f64 2 (/.f64 (.f64 (.f64 l l) U) (.f64 Om (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))))))))) (fma.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)))))) (/.f64 (.f64 U t) (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)))))))))
	62.1b	(sqrt.f64 (log.f64 (exp.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (*.f64 n l) Om))) t)))))
	33.6b	(.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 (.f64 n 2) (.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (.f64 n (/.f64 l Om)))) t))))) (cbrt.f64 (sqrt.f64 (.f64 (.f64 n 2) (.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (.f64 n (/.f64 l Om)))) t)))))) (cbrt.f64 (sqrt.f64 (.f64 (.f64 n 2) (.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))) t))))))
	56.5b	(.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))
	42.1b	(cbrt.f64 (.f64 (.f64 (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))))))))) (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)))))))))) (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)))))))))))

Compiler

Compiled 23065 to 12024 computations (47.9% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	6.9b	(/.f64 (*.f64 n l) Om)
✓	7.4b	(.f64 (-.f64 U U) (/.f64 (*.f64 n l) Om))
✓	11.2b	(.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (*.f64 n l) Om))) t))
✓	20.0b	(sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (*.f64 n l) Om))) t)))

series1.9s (5.6%)

Counts

4 → 180

Calls

4 calls:

1.5s	(sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (*.f64 n l) Om))) t)))
363.0ms	(.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (*.f64 n l) Om))) t))
34.0ms	(.f64 (-.f64 U U) (/.f64 (*.f64 n l) Om))
12.0ms	(/.f64 (*.f64 n l) Om)

rewrite38.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`add-cbrt-cube_binary64`
27×	`add-exp-log_binary64`
25×	`pow1_binary64`
14×	`add-sqr-sqrt_binary64`
13×	`pow-prod-down_binary64`

Counts

4 → 98

Calls

4 calls:

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

simplify301.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

862×	`fma-def_binary64`
442×	`*-commutative_binary64`
222×	`associate-r_binary64`
161×	`+-commutative_binary64`
152×	`associate-/l*_binary64`

Counts

278 → 243

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	1030	19262
1	3450	18833
2	4990	18825
3	5083	18825

prune1.0s (3%)

Pruning

23 alts after pruning (23 fresh and 0 done)

	Pruned	Kept	Total
New	485	1	486
Fresh	0	22	22
Picked	1	0	1
Done	0	0	0
Total	486	23	509

Error

13.1b

Counts

509 → 23

Alt Table

Status	Error	Program
	59.4b	(neg.f64 (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))))
	33.6b	(sqrt.f64 (.f64 (.f64 2 n) (.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (*.f64 n l) Om))) t))))
	56.5b	(.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))
▶	33.4b	(.f64 (sqrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (/.f64 (.f64 n l) Om))) t)))) (sqrt.f64 (sqrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (/.f64 (.f64 n l) Om))) t))) (cbrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (/.f64 (.f64 n l) Om))) t)))) (cbrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (/.f64 (*.f64 n l) Om))) t)))))))
	34.5b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (/.f64 (.f64 n (-.f64 U U)) (/.f64 Om l)))))))
	33.8b	(.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (.f64 n l) Om))) t)))) (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (/.f64 (.f64 n l) Om))) t))))) (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (/.f64 (*.f64 n l) Om))) t)))))
	45.5b	(.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))))))))
	61.8b	(sqrt.f64 (.f64 2 (/.f64 (.f64 (pow.f64 n 2) (.f64 (pow.f64 l 2) (.f64 U U*))) (pow.f64 Om 2))))
	39.2b	(sqrt.f64 (.f64 n (fma.f64 2 (.f64 U t) (.f64 -4 (/.f64 (.f64 (*.f64 l l) U) Om)))))
	60.7b	(.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)))
	62.9b	(neg.f64 (.f64 U (sqrt.f64 (.f64 -2 (/.f64 (.f64 (.f64 l l) (.f64 n n)) (.f64 Om Om))))))
	55.0b	(sqrt.f64 (exp.f64 (+.f64 (log.f64 (.f64 2 n)) (+.f64 (log.f64 U) (log.f64 (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))))))))))
	44.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))))
	61.2b	(.f64 (sqrt.f64 (.f64 n (.f64 U (.f64 n (.f64 (.f64 l l) (-.f64 U* U)))))) (/.f64 (sqrt.f64 2) Om))
	36.3b	(sqrt.f64 (.f64 (.f64 2 n) (.f64 U (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (neg.f64 (/.f64 (.f64 n (.f64 l U)) Om))))))))
	55.0b	(/.f64 (sqrt.f64 (.f64 (.f64 n 2) (.f64 U (.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (.f64 n (/.f64 l Om)))) t) (-.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))))))))
	38.8b	(sqrt.f64 (fma.f64 2 (.f64 n (.f64 U t)) (.f64 -4 (/.f64 (.f64 n (.f64 (.f64 l l) U)) Om))))
	52.6b	(/.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)))))
	63.2b	(-.f64 (.f64 2 (/.f64 (.f64 (.f64 l l) U) (.f64 Om (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))))))))) (fma.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)))))) (/.f64 (.f64 U t) (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)))))))))
	62.1b	(sqrt.f64 (log.f64 (exp.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (*.f64 n l) Om))) t)))))
	33.6b	(.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 (.f64 n 2) (.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (.f64 n (/.f64 l Om)))) t))))) (cbrt.f64 (sqrt.f64 (.f64 (.f64 n 2) (.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (.f64 n (/.f64 l Om)))) t)))))) (cbrt.f64 (sqrt.f64 (.f64 (.f64 n 2) (.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))) t))))))
	42.1b	(cbrt.f64 (.f64 (.f64 (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))))))))) (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)))))))))) (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)))))))))))
	42.4b	(.f64 (sqrt.f64 (.f64 n (*.f64 t U))) (sqrt.f64 2))

Compiler

Compiled 54728 to 26094 computations (52.3% saved)

localize24.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	11.2b	(.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (*.f64 n l) Om))) t))
	20.0b	(sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (*.f64 n l) Om))) t)))
✓	20.0b	(sqrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (.f64 n l) Om))) t))) (cbrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (/.f64 (.f64 n l) Om))) t)))) (cbrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (/.f64 (*.f64 n l) Om))) t)))))
✓	20.6b	(cbrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (*.f64 n l) Om))) t)))

series2.6s (7.9%)

Counts

2 → 120

Calls

2 calls:

1.4s

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

1.2s

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

rewrite18.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`pow1_binary64`
15×	`sqrt-pow1_binary64`
10×	`pow1/3_binary64`
9×	`pow-prod-up_binary64`
6×	`pow-plus_binary64`

Counts

2 → 37

Calls

2 calls:

8.0ms

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

4.0ms

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

simplify341.0ms (1%)

Algorithm

1×	egg-herbie

Rules

369×	`fma-def_binary64`
329×	`associate-/l*_binary64`
284×	`associate-*r/_binary64`
238×	`associate-/r*_binary64`
222×	`times-frac_binary64`

Counts

157 → 261

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2226	37255
1	5357	37255

prune3.5s (10.5%)

Pruning

23 alts after pruning (22 fresh and 1 done)

	Pruned	Kept	Total
New	884	0	884
Fresh	0	22	22
Picked	0	1	1
Done	0	0	0
Total	884	23	907

Error

13.1b

Counts

907 → 23

Alt Table

Status	Error	Program
	59.4b	(neg.f64 (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))))
	33.6b	(sqrt.f64 (.f64 (.f64 2 n) (.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (*.f64 n l) Om))) t))))
	56.5b	(.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))
✓	33.4b	(.f64 (sqrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (/.f64 (.f64 n l) Om))) t)))) (sqrt.f64 (sqrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (/.f64 (.f64 n l) Om))) t))) (cbrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (/.f64 (.f64 n l) Om))) t)))) (cbrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (/.f64 (*.f64 n l) Om))) t)))))))
	34.5b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (/.f64 (.f64 n (-.f64 U U)) (/.f64 Om l)))))))
	33.8b	(.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (.f64 n l) Om))) t)))) (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (/.f64 (.f64 n l) Om))) t))))) (cbrt.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (/.f64 (*.f64 n l) Om))) t)))))
	45.5b	(.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))))))))
	61.8b	(sqrt.f64 (.f64 2 (/.f64 (.f64 (pow.f64 n 2) (.f64 (pow.f64 l 2) (.f64 U U*))) (pow.f64 Om 2))))
	39.2b	(sqrt.f64 (.f64 n (fma.f64 2 (.f64 U t) (.f64 -4 (/.f64 (.f64 (*.f64 l l) U) Om)))))
	60.7b	(.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)))
	62.9b	(neg.f64 (.f64 U (sqrt.f64 (.f64 -2 (/.f64 (.f64 (.f64 l l) (.f64 n n)) (.f64 Om Om))))))
	55.0b	(sqrt.f64 (exp.f64 (+.f64 (log.f64 (.f64 2 n)) (+.f64 (log.f64 U) (log.f64 (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))))))))))
	44.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))))
	61.2b	(.f64 (sqrt.f64 (.f64 n (.f64 U (.f64 n (.f64 (.f64 l l) (-.f64 U* U)))))) (/.f64 (sqrt.f64 2) Om))
	36.3b	(sqrt.f64 (.f64 (.f64 2 n) (.f64 U (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (neg.f64 (/.f64 (.f64 n (.f64 l U)) Om))))))))
	55.0b	(/.f64 (sqrt.f64 (.f64 (.f64 n 2) (.f64 U (.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (.f64 n (/.f64 l Om)))) t) (-.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))))))))
	38.8b	(sqrt.f64 (fma.f64 2 (.f64 n (.f64 U t)) (.f64 -4 (/.f64 (.f64 n (.f64 (.f64 l l) U)) Om))))
	52.6b	(/.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)))))
	63.2b	(-.f64 (.f64 2 (/.f64 (.f64 (.f64 l l) U) (.f64 Om (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))))))))) (fma.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)))))) (/.f64 (.f64 U t) (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)))))))))
	62.1b	(sqrt.f64 (log.f64 (exp.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (*.f64 n l) Om))) t)))))
	33.6b	(.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 (.f64 n 2) (.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (.f64 n (/.f64 l Om)))) t))))) (cbrt.f64 (sqrt.f64 (.f64 (.f64 n 2) (.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (.f64 n (/.f64 l Om)))) t)))))) (cbrt.f64 (sqrt.f64 (.f64 (.f64 n 2) (.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))) t))))))
	42.1b	(cbrt.f64 (.f64 (.f64 (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))))))))) (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)))))))))) (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)))))))))))
	42.4b	(.f64 (sqrt.f64 (.f64 n (*.f64 t U))) (sqrt.f64 2))

Compiler

Compiled 203955 to 101494 computations (50.2% saved)

regimes9.0s (27.1%)

Accuracy

Total 16.5b remaining (58.6%)

Threshold costs 0b (0%)

Counts

355 → 6

Compiler

Compiled 156306 to 85666 computations (45.2% saved)

bsearch446.0ms (1.3%)

Steps

Iters	Range		Point
4	3.7122589780203534e+123	5.2310746347289047e+123	3.9495739243810636e+123
8	1.1430038101929844e+45	5.4006874153692e+49	4.97448361765691e+49
6	7.646855992777228e-90	1.0812730846619709e-88	2.5567706821104412e-89
10	-1.6049586060051723e-250	-2.659543878388711e-263	-1.2256465787638794e-250
8	-3.04530330156562e+219	-4.2605010250518475e+216	-4.4145538920199726e+216

Compiler

Compiled 7 to 6 computations (14.3% saved)

simplify16.0ms (0%)

Algorithm

1×	egg-herbie

Rules

42×	`*-commutative_binary64`
22×	`+-commutative_binary64`
19×	`sub-neg_binary64`
16×	`neg-sub0_binary64`
16×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	78	259
1	125	259
2	155	259
3	184	259
4	213	259
5	231	259
6	239	259
7	243	259
8	244	259
9	242	259

end507.0ms (1.5%)

Compiler: Compiled 1448 to 773 computations (46.6% saved)

Iter	Nodes	Cost
0	78	259
1	125	259
2	155	259
3	184	259
4	213	259
5	231	259
6	239	259
7	243	259
8	244	259
9	242	259

Iter	Nodes	Cost
0	78	259
1	125	259
2	155	259
3	184	259
4	213	259
5	231	259
6	239	259
7	243	259
8	244	259
9	242	259

Details

analyze3.1s (9.4%)

sample4.9s (14.6%)

simplify50.0ms (0.2%)

prune5.0ms (0%)

localize19.0ms (0.1%)

series2.0s (6%)

rewrite37.0ms (0.1%)

simplify255.0ms (0.8%)

prune565.0ms (1.7%)

localize16.0ms (0%)

series1.9s (5.7%)

rewrite18.0ms (0.1%)

simplify279.0ms (0.8%)

prune499.0ms (1.5%)

localize18.0ms (0.1%)

series1.9s (5.6%)

rewrite38.0ms (0.1%)

simplify301.0ms (0.9%)

prune1.0s (3%)

localize24.0ms (0.1%)

series2.6s (7.9%)

rewrite18.0ms (0.1%)

simplify341.0ms (1%)

prune3.5s (10.5%)

regimes9.0s (27.1%)

bsearch446.0ms (1.3%)

simplify16.0ms (0%)

end507.0ms (1.5%)

Profiling

Iter	Nodes	Cost
0	78	259
1	125	259
2	155	259
3	184	259
4	213	259
5	231	259
6	239	259
7	243	259
8	244	259
9	242	259