Details

analyze1.1s (10.5%)

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%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	90.4%	9.6%	9
0%	45.2%	54.8%	10
0%	45.2%	54.8%	11
0%	45.2%	54.8%	12
0%	45.2%	54.8%	13
0%	44.4%	55.6%	14

Compiler

Compiled 25 to 18 computations (28% saved)

sample5.2s (51%)

Results

3.2s	16456×	body	128	invalid
1.4s	7580×	body	128	valid
174.0ms	315×	body	512	valid
114.0ms	129×	body	1024	valid
80.0ms	232×	body	256	valid
76.0ms	143×	body	512	invalid
50.0ms	137×	body	256	invalid
34.0ms	39×	body	1024	invalid

Compiler

Compiled 50 to 36 computations (28% saved)

preprocess39.0ms (0.4%)

Algorithm

2×	egg-herbie

Rules

580×	`fma-def_binary64`
350×	`associate-r_binary64`
332×	`associate-l_binary64`
220×	`exp-sum_binary64`
182×	`associate-+l+_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	120	416
1	270	400
2	647	400
3	1803	400
0	6	6

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 24 to 17 computations (29.2% saved)

simplify37.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

456×	`unswap-sqr_binary64`
361×	`fma-def_binary64`
317×	`*-commutative_binary64`
176×	`associate-l_binary64`
175×	`exp-sum_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	18	26
1	34	25
2	73	25
3	180	25
4	472	25
5	1548	25
6	3802	25

Stop Event

1×	node limit

Counts

1 → 2

prune4.0ms (0%)

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

0.3b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.3b	(.f64 x (exp.f64 (fma.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b) (.f64 y (-.f64 (log.f64 z) t)))))

Compiler

Compiled 84 to 53 computations (36.9% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (log.f64 z) t)
✓	0.0b	(exp.f64 (fma.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b) (*.f64 y (-.f64 (log.f64 z) t))))
✓	0.1b	(*.f64 y (-.f64 (log.f64 z) t))
✓	0.3b	(fma.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b) (*.f64 y (-.f64 (log.f64 z) t)))

series590.0ms (5.8%)

Counts

4 → 167

Calls

45 calls:

65.0ms	(*.f64 y (-.f64 (log.f64 z) t))	y	0
50.0ms	(*.f64 y (-.f64 (log.f64 z) t))	y	-inf
46.0ms	(*.f64 y (-.f64 (log.f64 z) t))	y	inf
31.0ms	(fma.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b) (*.f64 y (-.f64 (log.f64 z) t)))	a	0
26.0ms	(fma.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b) (*.f64 y (-.f64 (log.f64 z) t)))	b	0

rewrite69.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

399×	`fma-def_binary64`
259×	`expm1-udef_binary64`
259×	`log1p-udef_binary64`
206×	`fma-neg_binary64`
152×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	57
1	293	53
2	3938	53

Stop Event

1×	node limit

Counts

4 → 145

simplify116.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

415×	`fma-neg_binary64`
387×	`fma-def_binary64`
386×	`associate-r_binary64`
277×	`associate-l_binary64`
243×	`+-commutative_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	335	5927
1	1185	5420
2	4797	5420

Stop Event

1×	node limit

Counts

312 → 258

prune257.0ms (2.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	256	2	258
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	256	3	259

Error

0.0b

Counts

259 → 3

Alt Table

Status	Error	Program
▶	3.5b	(.f64 x (cbrt.f64 (pow.f64 (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (.f64 a (-.f64 (log1p.f64 z) b)))) 3)))
	3.5b	(.f64 x (pow.f64 (cbrt.f64 (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (.f64 a (-.f64 (log1p.f64 z) b))))) 3))
✓	0.3b	(.f64 x (exp.f64 (fma.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b) (.f64 y (-.f64 (log.f64 z) t)))))

Compiler

Compiled 9021 to 3517 computations (61% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 z) b))))
✓	0.0b	(pow.f64 (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 z) b)))) 3)
✓	0.0b	(*.f64 a (-.f64 (log1p.f64 z) b))
✓	0.1b	(fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 z) b)))

series638.0ms (6.2%)

Counts

4 → 152

Calls

54 calls:

71.0ms	(*.f64 a (-.f64 (log1p.f64 z) b))	a	0
54.0ms	(*.f64 a (-.f64 (log1p.f64 z) b))	a	inf
54.0ms	(*.f64 a (-.f64 (log1p.f64 z) b))	a	-inf
25.0ms	(fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 z) b)))	y	0
24.0ms	(fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 z) b)))	t	0

rewrite71.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

929×	`prod-diff_binary64`
158×	`add-sqr-sqrt_binary64`
152×	`expm1-log1p-u_binary64`
151×	`log1p-expm1-u_binary64`
149×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	70
1	316	70
2	4051	70

Stop Event

1×	node limit

Counts

4 → 88

simplify112.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

729×	`fma-def_binary64`
614×	`associate-l_binary64`
230×	`*-commutative_binary64`
206×	`cancel-sign-sub-inv_binary64`
177×	`sub-neg_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	544	8238
1	1987	7647

Stop Event

1×	node limit

Counts

240 → 268

prune319.0ms (3.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	268	0	268
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	268	3	271

Error

0.0b

Counts

271 → 3

Alt Table

Status	Error	Program
✓	3.5b	(.f64 x (cbrt.f64 (pow.f64 (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (.f64 a (-.f64 (log1p.f64 z) b)))) 3)))
▶	3.5b	(.f64 x (pow.f64 (cbrt.f64 (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (.f64 a (-.f64 (log1p.f64 z) b))))) 3))
✓	0.3b	(.f64 x (exp.f64 (fma.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b) (.f64 y (-.f64 (log.f64 z) t)))))

Compiler

Compiled 13375 to 6003 computations (55.1% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(-.f64 (log.f64 z) t)
	0.0b	(exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 z) b))))
	0.0b	(*.f64 a (-.f64 (log1p.f64 z) b))
	0.1b	(fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 z) b)))

prune861.0ms (8.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

0.0b

Counts

277 → 3

Alt Table

Status	Error	Program
✓	3.5b	(.f64 x (cbrt.f64 (pow.f64 (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (.f64 a (-.f64 (log1p.f64 z) b)))) 3)))
✓	3.5b	(.f64 x (pow.f64 (cbrt.f64 (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (.f64 a (-.f64 (log1p.f64 z) b))))) 3))
✓	0.3b	(.f64 x (exp.f64 (fma.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b) (.f64 y (-.f64 (log.f64 z) t)))))

Compiler

Compiled 10075 to 4348 computations (56.8% saved)

regimes692.0ms (6.8%)

Accuracy

Total 0.2b remaining (77.1%)

Threshold costs 0.2b (77.1%)

Counts

86 → 1

Compiler

Compiled 16355 to 11715 computations (28.4% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	25
1	26	25
2	34	25
3	39	25
4	41	25

Stop Event

1×

saturated

end66.0ms (0.6%)

Stop Event

1×

done

Compiler

Compiled 114 to 79 computations (30.7% saved)

Details

analyze1.1s (10.5%)

sample5.2s (51%)

preprocess39.0ms (0.4%)

simplify37.0ms (0.4%)

prune4.0ms (0%)

localize22.0ms (0.2%)

series590.0ms (5.8%)

rewrite69.0ms (0.7%)

simplify116.0ms (1.1%)

prune257.0ms (2.5%)

localize16.0ms (0.2%)

series638.0ms (6.2%)

rewrite71.0ms (0.7%)

simplify112.0ms (1.1%)

prune319.0ms (3.1%)

localize17.0ms (0.2%)

prune861.0ms (8.4%)

regimes692.0ms (6.8%)

simplify2.0ms (0%)

end66.0ms (0.6%)

Profiling