Details

analyze1.1s (8.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%	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 (42.5%)

Results

3.2s	16588×	body	128	invalid
1.4s	7631×	body	128	valid
141.0ms	253×	body	512	valid
99.0ms	113×	body	1024	valid
90.0ms	259×	body	256	valid
75.0ms	142×	body	512	invalid
53.0ms	53×	body	1024	invalid
37.0ms	107×	body	256	invalid

Compiler

Compiled 74 to 53 computations (28.4% saved)

simplify50.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

784×	`fma-def_binary64`
557×	`associate-/l*_binary64`
456×	`unswap-sqr_binary64`
365×	`*-commutative_binary64`
332×	`fma-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	18	26
1	34	25
2	73	25
3	158	25
4	405	25
5	1252	25
6	2771	25
7	4527	25
8	5117	25

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.5b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 84 to 54 computations (35.7% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series954.0ms (7.8%)

Counts

4 → 139

Calls

4 calls:

504.0ms	(.f64 x (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)))))
335.0ms	(fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)))
63.0ms	(-.f64 (log.f64 z) t)
52.0ms	(exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))))

rewrite16.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`add-sqr-sqrt_binary64`
20×	`*-un-lft-identity_binary64`
17×	`add-cube-cbrt_binary64`
12×	`prod-diff_binary64`
11×	`pow1_binary64`

Counts

4 → 83

Calls

4 calls:

7.0ms	(.f64 x (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)))))
3.0ms	(-.f64 (log.f64 z) t)
1.0ms	(exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))))
0.0ms	(fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)))

simplify184.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

686×	`fma-def_binary64`
260×	`*-commutative_binary64`
220×	`associate--r+_binary64`
184×	`associate--l+_binary64`
175×	`sub-neg_binary64`

Counts

222 → 260

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	639	10325
1	2020	9209
2	5067	9209

prune286.0ms (2.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	257	3	260
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	258	3	261

Error

0.0b

Counts

261 → 3

Alt Table

Status	Error	Program
	11.5b	(.f64 x (exp.f64 (+.f64 (.f64 a (log1p.f64 (neg.f64 z))) (*.f64 y (-.f64 (log.f64 z) t)))))
▶	0.5b	(.f64 (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)))) x)
	0.5b	(.f64 (.f64 x (sqrt.f64 (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)))))) (sqrt.f64 (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))))))

Compiler

Compiled 12555 to 4806 computations (61.7% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series272.0ms (2.2%)

Counts

1 → 36

Calls

1 calls:

272.0ms

(*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`add-sqr-sqrt_binary64`
19×	`*-un-lft-identity_binary64`
18×	`prod-diff_binary64`
17×	`add-cube-cbrt_binary64`
13×	`distribute-lft-in_binary64`

Counts

1 → 50

Calls

1 calls:

5.0ms

(*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))

simplify95.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

606×	`unsub-neg_binary64`
336×	`sub-neg_binary64`
324×	`distribute-neg-in_binary64`
290×	`times-frac_binary64`
269×	`distribute-rgt-in_binary64`

Counts

86 → 92

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	185	1446
1	404	1303
2	1362	1225
3	3331	1168
4	4476	1168
5	4991	1168

prune236.0ms (1.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	265	1	266
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	266	3	269

Error

0.0b

Counts

269 → 3

Alt Table

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

Compiler

Compiled 9709 to 3580 computations (63.1% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 x (sqrt.f64 (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))))))
	0.0b	(exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))))
✓	0.2b	(sqrt.f64 (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)))))
	0.6b	(fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)))

series686.0ms (5.6%)

Counts

2 → 68

Calls

2 calls:

594.0ms

(*.f64 x (sqrt.f64 (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))))))

92.0ms

(sqrt.f64 (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)))))

rewrite10.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-sqr-sqrt_binary64`
9×	`sqrt-prod_binary64`
7×	`associate-r_binary64`
7×	`*-un-lft-identity_binary64`
7×	`add-cube-cbrt_binary64`

Counts

2 → 44

Calls

2 calls:

6.0ms

(*.f64 x (sqrt.f64 (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))))))

2.0ms

(sqrt.f64 (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)))))

simplify161.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

617×	`fma-def_binary64`
438×	`fma-neg_binary64`
272×	`*-commutative_binary64`
199×	`associate-+r+_binary64`
197×	`cancel-sign-sub-inv_binary64`

Counts

112 → 165

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	538	9015
1	1809	6966
2	4854	6964
3	5215	6964

prune592.0ms (4.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	498	0	498
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	498	3	501

Error

0.0b

Counts

501 → 3

Alt Table

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

Compiler

Compiled 35364 to 11349 computations (67.9% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series790.0ms (6.5%)

Counts

3 → 152

Calls

3 calls:

516.0ms

(*.f64 (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 (log1p.f64 (neg.f64 z)) a))) x)

244.0ms

(fma.f64 y (-.f64 (log.f64 z) t) (*.f64 (log1p.f64 (neg.f64 z)) a))

30.0ms

(exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 (log1p.f64 (neg.f64 z)) a)))

rewrite7.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-sqr-sqrt_binary64`
6×	`*-un-lft-identity_binary64`
6×	`add-cube-cbrt_binary64`
5×	`add-cbrt-cube_binary64`
5×	`pow1_binary64`

Counts

3 → 45

Calls

3 calls:

3.0ms

(*.f64 (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 (log1p.f64 (neg.f64 z)) a))) x)

1.0ms

(exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (*.f64 (log1p.f64 (neg.f64 z)) a)))

0.0ms

(fma.f64 y (-.f64 (log.f64 z) t) (*.f64 (log1p.f64 (neg.f64 z)) a))

simplify120.0ms (1%)

Algorithm

1×	egg-herbie

Rules

667×	`associate-r_binary64`
493×	`fma-def_binary64`
480×	`associate-l_binary64`
209×	`times-frac_binary64`
198×	`*-commutative_binary64`

Counts

197 → 204

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	471	8206
1	1503	7366
2	4991	7366

prune242.0ms (2%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	249	1	250
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	249	4	253

Error

Counts

253 → 4

Alt Table

Status	Error	Program
	44.4b	(fma.f64 (pow.f64 (-.f64 1 z) a) x (.f64 (.f64 (pow.f64 (-.f64 1 z) a) x) (*.f64 y (-.f64 (log.f64 z) t))))
✓	11.5b	(.f64 (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (.f64 (log1p.f64 (neg.f64 z)) a))) x)
✓	0.5b	(.f64 (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)))) x)
✓	0.5b	(.f64 (.f64 x (sqrt.f64 (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)))))) (sqrt.f64 (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))))))

Compiler

Compiled 9868 to 4073 computations (58.7% saved)

regimes1.1s (8.9%)

Accuracy

Total 0.2b remaining (84.7%)

Threshold costs 0.2b (84.7%)

Counts

115 → 1

Compiler

Compiled 27578 to 17502 computations (36.5% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

6×	`*-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	18	25
1	30	25
2	38	25
3	43	25
4	45	25
5	44	25

end82.0ms (0.7%)

Compiler: Compiled 152 to 94 computations (38.2% saved)

Details

analyze1.1s (8.8%)

sample5.2s (42.5%)

simplify50.0ms (0.4%)

prune4.0ms (0%)

localize12.0ms (0.1%)

series954.0ms (7.8%)

rewrite16.0ms (0.1%)

simplify184.0ms (1.5%)

prune286.0ms (2.3%)

localize12.0ms (0.1%)

series272.0ms (2.2%)

rewrite9.0ms (0.1%)

simplify95.0ms (0.8%)

prune236.0ms (1.9%)

localize16.0ms (0.1%)

series686.0ms (5.6%)

rewrite10.0ms (0.1%)

simplify161.0ms (1.3%)

prune592.0ms (4.8%)

localize13.0ms (0.1%)

series790.0ms (6.5%)

rewrite7.0ms (0.1%)

simplify120.0ms (1%)

prune242.0ms (2%)

regimes1.1s (8.9%)

simplify4.0ms (0%)

end82.0ms (0.7%)

Profiling