Details

analyze1.4s (11.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	75%	25%	3
0%	62.5%	37.5%	4
0%	56.2%	43.8%	5
3.1%	46.9%	50%	6
3.1%	45.3%	51.6%	7
3.1%	44.5%	52.4%	8
3.5%	44.1%	52.4%	9
3.7%	43.9%	52.4%	10
3.8%	43.8%	52.4%	11
3.8%	43.8%	52.4%	12
3.8%	43.8%	52.4%	13
3.8%	43.7%	52.4%	14

Compiler

Compiled 39 to 31 computations (20.5% saved)

sample10.0s (84.3%)

Results

3.2s	4057×	body	1024	valid
3.0s	4055×	body	1024	invalid
1.1s	1953×	body	512	valid
1.1s	1984×	body	512	invalid
765.0ms	527×	body	2048	valid
426.0ms	1072×	body	256	valid
372.0ms	963×	body	256	invalid
136.0ms	647×	body	128	valid
5.0ms	5×	body	2048	invalid
0.0ms	2×	body	128	invalid

Compiler

Compiled 78 to 62 computations (20.5% saved)

preprocess33.0ms (0.3%)

Algorithm

2×	egg-herbie

Rules

569×	`fma-def_binary64`
323×	`fma-neg_binary64`
202×	`distribute-rgt-in_binary64`
192×	`cancel-sign-sub-inv_binary64`
175×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	64
1	49	61
2	122	59
3	326	55
4	975	55
5	2553	55
0	1	1

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 38 to 30 computations (21.1% saved)

simplify23.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

569×	`fma-def_binary64`
323×	`fma-neg_binary64`
202×	`distribute-rgt-in_binary64`
192×	`cancel-sign-sub-inv_binary64`
175×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	17	64
1	49	61
2	122	59
3	326	55
4	975	55
5	2553	55

Stop Event

1×	node limit

Counts

1 → 2

prune7.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

61.4b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	61.4b	(.f64 (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (*.f64 (PI.f64) f))))) (/.f64 -4 (PI.f64)))

Status

Error

Program

▶

61.4b

(*.f64 (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (*.f64 (PI.f64) f))) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (*.f64 (PI.f64) f))))) (/.f64 -4 (PI.f64)))

Compiler

Compiled 136 to 100 computations (26.5% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f)))))
✓	0.2b	(*.f64 (PI.f64) f)
✓	1.2b	(/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))))
✓	6.7b	(-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (*.f64 (PI.f64) f)))

series440.0ms (3.7%)

Counts

4 → 48

Calls

12 calls:

194.0ms	(log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f)))))	f	inf
188.0ms	(log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f)))))	f	-inf
13.0ms	(log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f)))))	f	0
12.0ms	(/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))))	f	0
11.0ms	(/.f64 (+.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))) (-.f64 (pow.f64 (exp.f64 (/.f64 (PI.f64) 4)) f) (pow.f64 (exp.f64 -1/4) (.f64 (PI.f64) f))))	f	-inf

rewrite0.0ms (0%)

Algorithm

1×	batch-egg-rewrite

Details

analyze1.4s (11.4%)

sample10.0s (84.3%)

preprocess33.0ms (0.3%)

simplify23.0ms (0.2%)

prune7.0ms (0.1%)

localize14.0ms (0.1%)

series440.0ms (3.7%)

rewrite0.0ms (0%)

end0.0ms (0%)

Profiling