Details

analyze6.0ms (0.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	50%	50%	3
25%	25%	50%	4
37.5%	12.5%	50%	5
43.7%	6.2%	50%	6
46.9%	3.1%	50%	7
48.4%	1.6%	50%	8
49.2%	0.8%	50%	9
49.6%	0.4%	50%	10
49.8%	0.2%	50%	11
49.9%	0.1%	50%	12
49.9%	0%	50.1%	13
49.9%	0%	50.1%	14

Compiler

Compiled 21 to 16 computations (23.8% saved)

sample992.0ms (52.8%)

Results

948.0ms	8256×	body	128	valid
0.0ms	2×	body	128	invalid

Compiler

Compiled 62 to 47 computations (24.2% saved)

simplify22.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

598×	`fma-def_binary64`
423×	`distribute-rgt-in_binary64`
403×	`associate-/l*_binary64`
348×	`distribute-lft-in_binary64`
224×	`fma-neg_binary64`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	15	29
1	37	29
2	89	27
3	238	27
4	710	27
5	1695	25
6	2919	25

Stop Event

1×	node limit

Counts

1 → 2

prune5.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.0b	(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 3 (.f64 v v))))) (-.f64 1 (*.f64 v v)))

Compiler

Compiled 77 to 58 computations (24.7% saved)

localize9.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 3 (.f64 v v))))) (-.f64 1 (*.f64 v v)))
✓	0.0b	(sqrt.f64 (-.f64 1 (.f64 3 (.f64 v v))))
✓	0.0b	(.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 3 (*.f64 v v)))))
✓	0.2b	(.f64 3 (.f64 v v))

series23.0ms (1.2%)

Counts

4 → 48

Calls

4 calls:

10.0ms	(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 3 (.f64 v v))))) (-.f64 1 (*.f64 v v)))
6.0ms	(.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 3 (*.f64 v v)))))
4.0ms	(sqrt.f64 (-.f64 1 (.f64 3 (.f64 v v))))
2.0ms	(.f64 3 (.f64 v v))

rewrite60.0ms (3.2%)

Algorithm

1×	batch-egg-rewrite

Rules

701×	`prod-diff_binary64`
149×	`add-sqr-sqrt_binary64`
149×	`log1p-expm1-u_binary64`
149×	`expm1-log1p-u_binary64`
146×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	68
1	333	58
2	4037	58

Stop Event

1×	node limit

Counts

4 → 90

Calls

4 calls:

59.0ms	(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 3 (.f64 v v))))) (-.f64 1 (*.f64 v v)))
59.0ms	(sqrt.f64 (-.f64 1 (.f64 3 (.f64 v v))))
59.0ms	(.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 3 (*.f64 v v)))))
59.0ms	(.f64 3 (.f64 v v))

simplify38.0ms (2%)

Algorithm

1×	egg-herbie

Rules

710×	`fma-def_binary64`
520×	`cancel-sign-sub-inv_binary64`
338×	`associate-/r*_binary64`
271×	`fma-neg_binary64`
173×	`sub-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	125	1394
1	419	1338
2	1557	1196

Stop Event

1×	node limit

Counts

138 → 159

prune132.0ms (7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	157	2	159
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	157	3	160

Error

Counts

160 → 3

Alt Table

Status	Error	Program
	0.0b	(log.f64 (pow.f64 (exp.f64 (-.f64 1 (.f64 v v))) (sqrt.f64 (.f64 (+.f64 1 (.f64 (.f64 v v) -3)) 1/8))))
✓	0.0b	(.f64 (.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (.f64 3 (.f64 v v))))) (-.f64 1 (*.f64 v v)))
▶	0.0b	(.f64 (sqrt.f64 (.f64 (+.f64 1 (.f64 (.f64 v v) -3)) 1/8)) (-.f64 1 (*.f64 v v)))

Compiler

Compiled 4065 to 3139 computations (22.8% saved)

localize7.0ms (0.4%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (.f64 (+.f64 1 (.f64 (*.f64 v v) -3)) 1/8))
✓	0.0b	(.f64 (sqrt.f64 (.f64 (+.f64 1 (.f64 (.f64 v v) -3)) 1/8)) (-.f64 1 (*.f64 v v)))
✓	0.2b	(.f64 (.f64 v v) -3)

series18.0ms (1%)

Counts

3 → 36

Calls

3 calls:

8.0ms	(.f64 (sqrt.f64 (.f64 (+.f64 1 (.f64 (.f64 v v) -3)) 1/8)) (-.f64 1 (*.f64 v v)))
8.0ms	(sqrt.f64 (.f64 (+.f64 1 (.f64 (*.f64 v v) -3)) 1/8))
2.0ms	(.f64 (.f64 v v) -3)

rewrite53.0ms (2.8%)

Algorithm

1×	batch-egg-rewrite

Rules

493×	`prod-diff_binary64`
397×	`fma-def_binary64`
209×	`expm1-udef_binary64`
208×	`log1p-udef_binary64`
127×	`fma-neg_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	46
1	261	42
2	3212	42

Stop Event

1×	node limit

Counts

3 → 86

Calls

3 calls:

52.0ms	(sqrt.f64 (.f64 (+.f64 1 (.f64 (*.f64 v v) -3)) 1/8))
52.0ms	(.f64 (sqrt.f64 (.f64 (+.f64 1 (.f64 (.f64 v v) -3)) 1/8)) (-.f64 1 (*.f64 v v)))
52.0ms	(.f64 (.f64 v v) -3)

simplify32.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

560×	`fma-def_binary64`
414×	`cancel-sign-sub-inv_binary64`
306×	`associate-l_binary64`
302×	`associate-r_binary64`
233×	`fma-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	96	1048
1	334	1023
2	1252	900

Stop Event

1×	node limit

Counts

122 → 133

prune143.0ms (7.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	132	1	133
Fresh	1	0	1
Picked	0	1	1
Done	1	0	1
Total	134	2	136

Error

Counts

136 → 2

Alt Table

Status	Error	Program
✓	0.0b	(.f64 (sqrt.f64 (.f64 (+.f64 1 (.f64 (.f64 v v) -3)) 1/8)) (-.f64 1 (*.f64 v v)))
▶	0.0b	(exp.f64 (fma.f64 1/2 (log.f64 (.f64 (fma.f64 v (.f64 v -3) 1) 1/8)) (log1p.f64 (*.f64 v (neg.f64 v)))))

Compiler

Compiled 3307 to 2555 computations (22.7% saved)

localize15.0ms (0.8%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(exp.f64 (fma.f64 1/2 (log.f64 (.f64 (fma.f64 v (.f64 v -3) 1) 1/8)) (log1p.f64 (*.f64 v (neg.f64 v)))))
✓	0.0b	(log1p.f64 (*.f64 v (neg.f64 v)))

series11.0ms (0.6%)

Counts

2 → 24

Calls

2 calls:

7.0ms	(exp.f64 (fma.f64 1/2 (log.f64 (.f64 (fma.f64 v (.f64 v -3) 1) 1/8)) (log1p.f64 (*.f64 v (neg.f64 v)))))
4.0ms	(log1p.f64 (*.f64 v (neg.f64 v)))

rewrite48.0ms (2.5%)

Algorithm

1×	batch-egg-rewrite

Rules

538×	`log-prod_binary64`
216×	`expm1-udef_binary64`
216×	`log1p-udef_binary64`
187×	`log-pow_binary64`
135×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	15	34
1	288	30
2	3225	26

Stop Event

1×	node limit

Counts

2 → 44

Calls

2 calls:

47.0ms	(exp.f64 (fma.f64 1/2 (log.f64 (.f64 (fma.f64 v (.f64 v -3) 1) 1/8)) (log1p.f64 (*.f64 v (neg.f64 v)))))
47.0ms	(log1p.f64 (*.f64 v (neg.f64 v)))

simplify39.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

816×	`fma-neg_binary64`
348×	`fma-def_binary64`
342×	`sub-neg_binary64`
130×	`cancel-sign-sub-inv_binary64`
128×	`associate-+l+_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	106	920
1	318	865
2	981	691
3	3821	636

Stop Event

1×	node limit

Counts

68 → 91

prune72.0ms (3.8%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	91	0	91
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	91	2	93

Error

Counts

93 → 2

Alt Table

Status	Error	Program
✓	0.0b	(.f64 (sqrt.f64 (.f64 (+.f64 1 (.f64 (.f64 v v) -3)) 1/8)) (-.f64 1 (*.f64 v v)))
✓	0.0b	(exp.f64 (fma.f64 1/2 (log.f64 (.f64 (fma.f64 v (.f64 v -3) 1) 1/8)) (log1p.f64 (*.f64 v (neg.f64 v)))))

Compiler

Compiled 2358 to 1854 computations (21.4% saved)

regimes94.0ms (5%)

Accuracy

Total 0.0b remaining (62.3%)

Threshold costs 0.0b (62.3%)

Counts

32 → 1

Compiler

Compiled 1974 to 1521 computations (22.9% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`
2×	`+-commutative_binary64`
2×	`sub-neg_binary64`
2×	`neg-sub0_binary64`
2×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	25	26
2	29	26
3	32	26
4	33	26

Stop Event

1×

saturated

end58.0ms (3.1%)

Compiler: Compiled 71 to 54 computations (23.9% saved)

Details

analyze6.0ms (0.3%)

sample992.0ms (52.8%)

simplify22.0ms (1.2%)

prune5.0ms (0.2%)

localize9.0ms (0.5%)

series23.0ms (1.2%)

rewrite60.0ms (3.2%)

simplify38.0ms (2%)

prune132.0ms (7%)

localize7.0ms (0.4%)

series18.0ms (1%)

rewrite53.0ms (2.8%)

simplify32.0ms (1.7%)

prune143.0ms (7.6%)

localize15.0ms (0.8%)

series11.0ms (0.6%)

rewrite48.0ms (2.5%)

simplify39.0ms (2.1%)

prune72.0ms (3.8%)

regimes94.0ms (5%)

simplify3.0ms (0.1%)

end58.0ms (3.1%)

Profiling