Details

analyze2.9s (10.8%)

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.7s (17.3%)

Results

2.9s	14408×	body	128	invalid
1.7s	8256×	body	128	valid

Compiler

Compiled 104 to 71 computations (31.7% saved)

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

29.2b

Counts

3 → 2

Alt Table

Status	Error	Program
	32.5b	(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)))))
▶	29.2b	(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))))))))

Status

Error

Program

32.5b

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

▶

29.2b

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

Compiler

Compiled 189 to 119 computations (37% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	4.9b	(*.f64 n (/.f64 l Om))
✓	8.1b	(.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))
✓	10.8b	(.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)))))))
✓	17.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))))))))

series1.2s (4.3%)

Counts

4 → 216

Calls

4 calls:

818.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))))))))
296.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)))))))
34.0ms	(.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))
14.0ms	(*.f64 n (/.f64 l Om))

rewrite36.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)))
6.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))

simplify246.0ms (0.9%)

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

prune519.0ms (1.9%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	268	18	286
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	270	18	288

Error

12.0b

Counts

288 → 18

Alt Table

Status	Error	Program
	60.1b	(.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))
▶	27.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)))))))))
	61.4b	(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))))))))
	30.2b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (/.f64 (*.f64 n l) Om)))))))
	38.7b	(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)))))
	63.1b	(-.f64 (fma.f64 (.f64 n (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 1/2 (.f64 (.f64 (sqrt.f64 2) t) (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 (sqrt.f64 2) (*.f64 l l)) Om)))
	57.2b	(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)))
	29.5b	(sqrt.f64 (.f64 (.f64 (cbrt.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)))))))) (cbrt.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))))))))) (cbrt.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))))))))))
	42.9b	(sqrt.f64 (-.f64 (.f64 2 (+.f64 (/.f64 (.f64 (.f64 n n) (.f64 (.f64 l l) (.f64 U* U))) (.f64 Om Om)) (.f64 n (.f64 U t)))) (fma.f64 2 (/.f64 (.f64 (.f64 n n) (.f64 (.f64 l l) (.f64 U U))) (.f64 Om Om)) (.f64 4 (/.f64 (.f64 n (.f64 (*.f64 l l) U)) Om)))))
	30.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)))))))
	34.4b	(sqrt.f64 (.f64 n (fma.f64 2 (.f64 U t) (.f64 -4 (/.f64 (.f64 (*.f64 l l) U) Om)))))
	44.2b	(.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))))))))
	38.0b	(.f64 (sqrt.f64 (.f64 n (*.f64 t U))) (sqrt.f64 2))
	61.1b	(sqrt.f64 (.f64 2 (/.f64 (.f64 (pow.f64 n 2) (.f64 (pow.f64 l 2) (.f64 U U*))) (pow.f64 Om 2))))
	37.4b	(cbrt.f64 (pow.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))) 3))
	42.1b	(-.f64 (.f64 (sqrt.f64 (.f64 n (.f64 t U))) (sqrt.f64 2)) (.f64 (sqrt.f64 (/.f64 (.f64 n U) t)) (/.f64 (.f64 (pow.f64 l 2) (sqrt.f64 2)) Om)))
	58.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)))
	56.3b	(.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 23125 to 11902 computations (48.5% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	4.9b	(*.f64 n (/.f64 l Om))
✓	5.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))))))))
	8.1b	(.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))
✓	17.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)))))))))

series1.1s (4%)

Counts

2 → 120

Calls

2 calls:

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

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

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

simplify284.0ms (1%)

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

prune451.0ms (1.7%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	275	8	283
Fresh	7	10	17
Picked	1	0	1
Done	0	0	0
Total	283	18	301

Error

9.5b

Counts

301 → 18

Alt Table

Status	Error	Program
▶	27.4b	(sqrt.f64 (.f64 (.f64 (cbrt.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 (.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 (.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))))))
	34.9b	(sqrt.f64 (fma.f64 2 (.f64 n (.f64 U t)) (.f64 (/.f64 (.f64 n (.f64 (.f64 l l) U)) Om) -4)))
	42.1b	(-.f64 (.f64 (sqrt.f64 (.f64 n (.f64 t U))) (sqrt.f64 2)) (.f64 (sqrt.f64 (/.f64 (.f64 n U) t)) (/.f64 (.f64 (pow.f64 l 2) (sqrt.f64 2)) Om)))
	60.1b	(.f64 (sqrt.f64 (.f64 n (.f64 U (.f64 n (.f64 (.f64 l l) (-.f64 U* U)))))) (/.f64 (sqrt.f64 2) Om))
	42.8b	(.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))))
	51.1b	(/.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)))))
	61.4b	(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))))))))
	30.2b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (/.f64 (*.f64 n l) Om)))))))
	38.0b	(.f64 (sqrt.f64 (.f64 n (*.f64 t U))) (sqrt.f64 2))
	61.1b	(sqrt.f64 (.f64 2 (/.f64 (.f64 (pow.f64 n 2) (.f64 (pow.f64 l 2) (.f64 U U*))) (pow.f64 Om 2))))
	46.8b	(sqrt.f64 (/.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))))))))) (-.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))
	37.4b	(cbrt.f64 (pow.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))) 3))
	61.4b	(.f64 (.f64 n (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))))))
	58.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)))
	57.2b	(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)))
	28.7b	(sqrt.f64 (.f64 (.f64 2 n) (.f64 U (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (/.f64 (.f64 n (-.f64 U U)) (/.f64 Om l))))))))
	56.3b	(.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))
	44.2b	(.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))))))))

Compiler

Compiled 22401 to 11712 computations (47.7% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	5.0b	(.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)))
	8.1b	(.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))
✓	17.6b	(sqrt.f64 (.f64 (.f64 (cbrt.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 (.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 (.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))))))
✓	18.7b	(cbrt.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))))

series1.7s (6.5%)

Counts

3 → 192

Calls

3 calls:

925.0ms

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

561.0ms

(sqrt.f64 (*.f64 (*.f64 (cbrt.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 (*.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 (*.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))))))

259.0ms

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

rewrite30.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

35×	`pow1_binary64`
15×	`sqrt-pow1_binary64`
15×	`add-cbrt-cube_binary64`
15×	`add-exp-log_binary64`
13×	`pow-prod-down_binary64`

Counts

3 → 65

Calls

3 calls:

10.0ms

(sqrt.f64 (*.f64 (*.f64 (cbrt.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 (*.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 (*.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))))))

5.0ms

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

4.0ms

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

simplify373.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

372×	`fma-def_binary64`
332×	`associate-/l*_binary64`
292×	`associate-*r/_binary64`
237×	`associate-/r*_binary64`
221×	`times-frac_binary64`

Counts

257 → 319

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2306	43033
1	5479	43033

prune5.6s (20.7%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	893	2	895
Fresh	2	15	17
Picked	1	0	1
Done	0	0	0
Total	896	17	913

Error

9.5b

Counts

913 → 17

Alt Table

Status	Error	Program
	42.8b	(.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))))
	60.1b	(.f64 (sqrt.f64 (.f64 n (.f64 U (.f64 n (.f64 (.f64 l l) (-.f64 U* U)))))) (/.f64 (sqrt.f64 2) Om))
	51.1b	(/.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)))))
	61.4b	(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))))))))
	30.2b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (/.f64 (*.f64 n l) Om)))))))
	57.2b	(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)))
▶	27.4b	(.f64 (fabs.f64 (cbrt.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))))) (sqrt.f64 (cbrt.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))))))
	38.0b	(.f64 (sqrt.f64 (.f64 n (*.f64 t U))) (sqrt.f64 2))
	61.1b	(sqrt.f64 (.f64 2 (/.f64 (.f64 (pow.f64 n 2) (.f64 (pow.f64 l 2) (.f64 U U*))) (pow.f64 Om 2))))
	42.1b	(-.f64 (.f64 (sqrt.f64 (.f64 n (.f64 t U))) (sqrt.f64 2)) (.f64 2 (.f64 (sqrt.f64 (/.f64 (.f64 n U) t)) (/.f64 (pow.f64 l 2) (*.f64 Om (sqrt.f64 2))))))
	34.9b	(sqrt.f64 (fma.f64 2 (.f64 n (.f64 U t)) (.f64 (/.f64 (.f64 n (.f64 (.f64 l l) U)) Om) -4)))
	37.4b	(cbrt.f64 (pow.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))) 3))
	61.4b	(.f64 (.f64 n (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))))))
	58.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)))
	28.7b	(sqrt.f64 (.f64 (.f64 2 n) (.f64 U (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (/.f64 (.f64 n (-.f64 U U)) (/.f64 Om l))))))))
	56.3b	(.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))
	44.2b	(.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))))))))

Compiler

Compiled 169308 to 87278 computations (48.5% saved)

localize46.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	4.9b	(*.f64 n (/.f64 l Om))
	5.0b	(.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)))
	8.1b	(.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))
	18.7b	(cbrt.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))))

prune2.7s (9.9%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	618	0	618
Fresh	0	16	16
Picked	0	1	1
Done	0	0	0
Total	618	17	635

Error

9.5b

Counts

635 → 17

Alt Table

Status	Error	Program
	42.8b	(.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))))
	60.1b	(.f64 (sqrt.f64 (.f64 n (.f64 U (.f64 n (.f64 (.f64 l l) (-.f64 U* U)))))) (/.f64 (sqrt.f64 2) Om))
	51.1b	(/.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)))))
	61.4b	(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))))))))
	30.2b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (/.f64 (*.f64 n l) Om)))))))
	57.2b	(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)))
✓	27.4b	(.f64 (fabs.f64 (cbrt.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))))) (sqrt.f64 (cbrt.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))))))
	38.0b	(.f64 (sqrt.f64 (.f64 n (*.f64 t U))) (sqrt.f64 2))
	61.1b	(sqrt.f64 (.f64 2 (/.f64 (.f64 (pow.f64 n 2) (.f64 (pow.f64 l 2) (.f64 U U*))) (pow.f64 Om 2))))
	42.1b	(-.f64 (.f64 (sqrt.f64 (.f64 n (.f64 t U))) (sqrt.f64 2)) (.f64 2 (.f64 (sqrt.f64 (/.f64 (.f64 n U) t)) (/.f64 (pow.f64 l 2) (*.f64 Om (sqrt.f64 2))))))
	34.9b	(sqrt.f64 (fma.f64 2 (.f64 n (.f64 U t)) (.f64 (/.f64 (.f64 n (.f64 (.f64 l l) U)) Om) -4)))
	37.4b	(cbrt.f64 (pow.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))) 3))
	61.4b	(.f64 (.f64 n (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))))))
	58.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)))
	28.7b	(sqrt.f64 (.f64 (.f64 2 n) (.f64 U (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (/.f64 (.f64 n (-.f64 U U)) (/.f64 Om l))))))))
	56.3b	(.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))
	44.2b	(.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))))))))

Compiler

Compiled 95083 to 50312 computations (47.1% saved)

regimes4.4s (16.2%)

Accuracy

Total 14.8b remaining (55.8%)

Threshold costs 0b (0%)

Counts

152 → 3

Compiler

Compiled 59442 to 34522 computations (41.9% saved)

bsearch22.0ms (0.1%)

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

simplify60.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

182×	`distribute-rgt-neg-in_binary64`
129×	`cancel-sign-sub-inv_binary64`
120×	`distribute-lft-neg-in_binary64`
112×	`distribute-lft-neg-out_binary64`
103×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	57	208
1	92	208
2	126	208
3	160	208
4	197	208
5	222	208
6	236	208
7	264	208
8	291	208
9	335	208
10	395	208
11	474	208
12	538	208
13	609	208
14	693	208
15	770	208
16	823	208
17	846	208
18	855	208
19	857	208
20	851	208

end622.0ms (2.3%)

Compiler: Compiled 907 to 526 computations (42% saved)

Iter	Nodes	Cost
0	57	208
1	92	208
2	126	208
3	160	208
4	197	208
5	222	208
6	236	208
7	264	208
8	291	208
9	335	208
10	395	208
11	474	208
12	538	208
13	609	208
14	693	208
15	770	208
16	823	208
17	846	208
18	855	208
19	857	208
20	851	208

Iter	Nodes	Cost
0	57	208
1	92	208
2	126	208
3	160	208
4	197	208
5	222	208
6	236	208
7	264	208
8	291	208
9	335	208
10	395	208
11	474	208
12	538	208
13	609	208
14	693	208
15	770	208
16	823	208
17	846	208
18	855	208
19	857	208
20	851	208

Details

analyze2.9s (10.8%)

sample4.7s (17.3%)

simplify48.0ms (0.2%)

prune5.0ms (0%)

localize17.0ms (0.1%)

series1.2s (4.3%)

rewrite36.0ms (0.1%)

simplify246.0ms (0.9%)

prune519.0ms (1.9%)

localize15.0ms (0.1%)

series1.1s (4%)

rewrite17.0ms (0.1%)

simplify284.0ms (1%)

prune451.0ms (1.7%)

localize20.0ms (0.1%)

series1.7s (6.5%)

rewrite30.0ms (0.1%)

simplify373.0ms (1.4%)

prune5.6s (20.7%)

localize46.0ms (0.2%)

prune2.7s (9.9%)

regimes4.4s (16.2%)

bsearch22.0ms (0.1%)

simplify60.0ms (0.2%)

end622.0ms (2.3%)

Profiling

Iter	Nodes	Cost
0	57	208
1	92	208
2	126	208
3	160	208
4	197	208
5	222	208
6	236	208
7	264	208
8	291	208
9	335	208
10	395	208
11	474	208
12	538	208
13	609	208
14	693	208
15	770	208
16	823	208
17	846	208
18	855	208
19	857	208
20	851	208