Details

analyze2.8s (34.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.1s (51%)

Results

2.5s	13908×	body	128	invalid
1.6s	8256×	body	128	valid

Compiler

Compiled 70 to 48 computations (31.4% saved)

preprocess40.0ms (0.5%)

Algorithm

2×	egg-herbie

Rules

661×	`distribute-rgt-in_binary64`
501×	`fma-def_binary64`
356×	`cancel-sign-sub-inv_binary64`
251×	`distribute-rgt-neg-in_binary64`
235×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	170	672
1	563	640
2	2197	640
0	6	6

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 34 to 23 computations (32.4% saved)

simplify25.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

515×	`fma-neg_binary64`
395×	`fma-def_binary64`
280×	`distribute-rgt-in_binary64`
276×	`distribute-lft-in_binary64`
245×	`associate-*r/_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	22	42
1	58	40
2	192	40
3	983	38
4	4416	37

Stop Event

1×	node limit

Counts

1 → 2

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

29.9b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	29.9b	(sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))
	33.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

▶

29.9b

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

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

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series1.1s (13.2%)

Counts

4 → 216

Calls

60 calls:

155.0ms	(sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))	U	0
97.0ms	(sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))	n	0
82.0ms	(sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))	U	inf
45.0ms	(sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))	t	-inf
45.0ms	(sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))	U*	inf

rewrite0.0ms (0%)

Algorithm

1×	batch-egg-rewrite

Details

analyze2.8s (34.8%)

sample4.1s (51%)

preprocess40.0ms (0.5%)

simplify25.0ms (0.3%)

prune4.0ms (0.1%)

localize15.0ms (0.2%)

series1.1s (13.2%)

rewrite0.0ms (0%)

end0.0ms (0%)

Profiling