Details

analyze1.2s (10.2%)

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)

sample6.1s (53%)

Results

3.6s	16886×	body	128	invalid
1.8s	7588×	body	128	valid
180.0ms	300×	body	512	valid
119.0ms	128×	body	1024	valid
114.0ms	240×	body	256	valid
75.0ms	140×	body	512	invalid
44.0ms	123×	body	256	invalid
40.0ms	44×	body	1024	invalid

Compiler

Compiled 74 to 53 computations (28.4% saved)

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

prune3.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.0b

Counts

3 → 1

Alt Table

Status	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)))))

Compiler

Compiled 84 to 54 computations (35.7% saved)

localize13.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 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.1b	(fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)))

series978.0ms (8.6%)

Counts

4 → 147

Calls

4 calls:

447.0ms	(.f64 x (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)))))
265.0ms	(fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)))
217.0ms	(*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))
49.0ms	(-.f64 (log.f64 z) t)

rewrite23.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

40×	`add-sqr-sqrt_binary64`
37×	`*-un-lft-identity_binary64`
32×	`add-cube-cbrt_binary64`
30×	`prod-diff_binary64`
13×	`distribute-lft-in_binary64`

Counts

4 → 119

Calls

4 calls:

5.0ms	(*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))
5.0ms	(-.f64 (log.f64 z) t)
3.0ms	(.f64 x (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)))

simplify173.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

685×	`associate-l_binary64`
571×	`fma-def_binary64`
463×	`fma-neg_binary64`
195×	`*-commutative_binary64`
138×	`sub-neg_binary64`

Counts

266 → 269

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	585	8192
1	1704	7336
2	4889	7336
3	5236	7336

prune256.0ms (2.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	267	2	269
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	267	3	270

Error

Counts

270 → 3

Alt Table

Status	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 (.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))))))
	0.3b	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 x) (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))))))

Compiler

Compiled 10099 to 3609 computations (64.3% saved)

localize18.0ms (0.2%)

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	(*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))
	0.0b	(-.f64 (log.f64 z) t)
	0.1b	(fma.f64 y (-.f64 (log.f64 z) t) (*.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b)))

series449.0ms (3.9%)

Counts

1 → 40

Calls

1 calls:

449.0ms

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

rewrite8.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-sqr-sqrt_binary64`
7×	`associate-r_binary64`
5×	`sqrt-prod_binary64`
4×	`*-un-lft-identity_binary64`
4×	`add-cube-cbrt_binary64`

Counts

1 → 25

Calls

1 calls:

4.0ms

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

simplify104.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

645×	`associate-r_binary64`
553×	`fma-neg_binary64`
526×	`associate-l_binary64`
356×	`fma-def_binary64`
354×	`*-commutative_binary64`

Counts

65 → 86

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	342	4986
1	1136	3882
2	4636	3882
3	5125	3882

prune423.0ms (3.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	454	0	454
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	454	3	457

Error

Counts

457 → 3

Alt Table

Status	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 (.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))))))
▶	0.3b	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 x) (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))))))

Compiler

Compiled 22458 to 5380 computations (76% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series476.0ms (4.2%)

Counts

3 → 96

Calls

3 calls:

414.0ms	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 x) (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))))))
33.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
29.0ms	(cbrt.f64 x)

rewrite18.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`pow1_binary64`
20×	`add-sqr-sqrt_binary64`
19×	`cbrt-prod_binary64`
15×	`add-exp-log_binary64`
12×	`*-un-lft-identity_binary64`

Counts

3 → 79

Calls

3 calls:

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

simplify132.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

787×	`associate-r_binary64`
569×	`associate-l_binary64`
538×	`fma-neg_binary64`
321×	`fma-def_binary64`
152×	`*-commutative_binary64`

Counts

175 → 162

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	356	6214
1	1168	5394
2	4975	5394
3	5441	5394

prune203.0ms (1.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

254 → 3

Alt Table

Status	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 (.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))))))
✓	0.3b	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 x) (exp.f64 (fma.f64 y (-.f64 (log.f64 z) t) (.f64 a (-.f64 (log1p.f64 (neg.f64 z)) b))))))

Compiler

Compiled 10259 to 3015 computations (70.6% saved)

regimes792.0ms (6.9%)

Accuracy

Total 0.0b remaining (10%)

Threshold costs 0.0b (10%)

Counts

93 → 1

Compiler

Compiled 23492 to 15009 computations (36.1% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

11×	`*-commutative_binary64`
9×	`+-commutative_binary64`
8×	`sub-neg_binary64`
6×	`neg-sub0_binary64`
6×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	51
1	42	51
2	59	51
3	71	51
4	76	51
5	77	51
6	77	51

end74.0ms (0.6%)

Compiler: Compiled 166 to 96 computations (42.2% saved)

Details

analyze1.2s (10.2%)

sample6.1s (53%)

simplify51.0ms (0.4%)

prune3.0ms (0%)

localize13.0ms (0.1%)

series978.0ms (8.6%)

rewrite23.0ms (0.2%)

simplify173.0ms (1.5%)

prune256.0ms (2.2%)

localize18.0ms (0.2%)

series449.0ms (3.9%)

rewrite8.0ms (0.1%)

simplify104.0ms (0.9%)

prune423.0ms (3.7%)

localize16.0ms (0.1%)

series476.0ms (4.2%)

rewrite18.0ms (0.2%)

simplify132.0ms (1.2%)

prune203.0ms (1.8%)

regimes792.0ms (6.9%)

simplify3.0ms (0%)

end74.0ms (0.6%)

Profiling