Details

analyze1.2s (5.4%)

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%	96.6%	3.4%	6
0%	96.6%	3.4%	7
0%	95%	5%	8
0%	85.7%	14.3%	9
0%	64.3%	35.7%	10
0%	64.3%	35.7%	11
0.5%	49.2%	50.3%	12
0.7%	49%	50.3%	13
1%	47.6%	51.4%	14

Compiler

Compiled 25 to 18 computations (28% saved)

sample5.3s (23%)

Results

3.8s	22514×	body	128	invalid
1.4s	8256×	body	128	valid

Compiler

Compiled 74 to 53 computations (28.4% saved)

simplify20.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

610×	`associate-/l/_binary64`
548×	`associate-/r/_binary64`
488×	`associate-*l/_binary64`
274×	`unswap-sqr_binary64`
184×	`associate-/l*_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	18	26
1	37	26
2	78	24
3	205	24
4	592	24
5	2082	24

Stop Event

1×	node limit

Counts

1 → 2

prune4.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.4b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	1.4b	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
	24.1b	(.f64 x (.f64 (/.f64 (pow.f64 z y) (exp.f64 b)) (/.f64 (pow.f64 a t) (*.f64 y a))))

Compiler

Compiled 132 to 87 computations (34.1% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b)))
✓	0.3b	(*.f64 y (log.f64 z))
✓	0.5b	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
✓	0.7b	(exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b))

series2.8s (12.2%)

Counts

4 → 228

Calls

4 calls:

1.1s	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
1.0s	(.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b)))
524.0ms	(exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b))
188.0ms	(*.f64 y (log.f64 z))

rewrite37.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

195×	`add-sqr-sqrt_binary64`
183×	`add-cbrt-cube_binary64`
183×	`log1p-expm1-u_binary64`
183×	`expm1-log1p-u_binary64`
181×	`add-log-exp_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	18	75
1	383	69

Stop Event

1×	node limit

Counts

4 → 96

Calls

4 calls:

35.0ms	(.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b)))
35.0ms	(*.f64 y (log.f64 z))
35.0ms	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
35.0ms	(exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (.f64 (-.f64 t 1) (log.f64 a))) b))

simplify102.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

397×	`associate-/l*_binary64`
385×	`times-frac_binary64`
208×	`associate-r_binary64`
206×	`cancel-sign-sub-inv_binary64`
181×	`fma-def_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	204	6992
1	652	5870
2	2224	5501

Stop Event

1×	node limit

Counts

324 → 195

prune208.0ms (0.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	189	6	195
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	190	7	197

Error

0.0b

Counts

197 → 7

Alt Table

Status	Error	Program
✓	1.4b	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
	20.3b	(.f64 x (+.f64 (/.f64 (/.f64 (pow.f64 a t) (.f64 a (exp.f64 b))) y) (*.f64 (/.f64 (log.f64 z) a) (/.f64 (pow.f64 a t) (exp.f64 b)))))
	24.8b	(.f64 (/.f64 x y) (.f64 (/.f64 (/.f64 (pow.f64 z y) a) (exp.f64 b)) (pow.f64 a t)))
	24.5b	(/.f64 (.f64 (+.f64 (.f64 (log.f64 z) y) 1) (*.f64 (/.f64 x a) (/.f64 (pow.f64 a t) (exp.f64 b)))) y)
▶	18.0b	(.f64 (.f64 (/.f64 (*.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b)) x) (/.f64 1 y))
	19.1b	(.f64 x (.f64 (/.f64 (*.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b)) (/.f64 1 y)))
	18.1b	(/.f64 (.f64 x (pow.f64 (cbrt.f64 (/.f64 (.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b))) 3)) y)

Compiler

Compiled 5728 to 2171 computations (62.1% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(pow.f64 a (+.f64 t -1))
✓	0.3b	(.f64 (/.f64 (.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b)) x)
✓	0.5b	(.f64 (.f64 (/.f64 (*.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b)) x) (/.f64 1 y))
✓	0.7b	(/.f64 (*.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b))

series3.3s (14.2%)

Counts

4 → 228

Calls

4 calls:

1.3s	(.f64 (/.f64 (.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b)) x)
1.2s	(.f64 (.f64 (/.f64 (*.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b)) x) (/.f64 1 y))
790.0ms	(/.f64 (*.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b))
28.0ms	(pow.f64 a (+.f64 t -1))

rewrite44.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

192×	`add-sqr-sqrt_binary64`
178×	`log1p-expm1-u_binary64`
178×	`expm1-log1p-u_binary64`
177×	`add-cbrt-cube_binary64`
176×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	70
1	381	70

Stop Event

1×	node limit

Counts

4 → 128

Calls

4 calls:

42.0ms	(pow.f64 a (+.f64 t -1))
42.0ms	(.f64 (/.f64 (.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b)) x)
42.0ms	(.f64 (.f64 (/.f64 (*.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b)) x) (/.f64 1 y))
42.0ms	(/.f64 (*.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b))

simplify104.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

839×	`fma-def_binary64`
291×	`associate-/l*_binary64`
260×	`cancel-sign-sub-inv_binary64`
258×	`associate-r_binary64`
242×	`times-frac_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	251	6320
1	823	6150
2	3198	5824

Stop Event

1×	node limit

Counts

356 → 247

prune283.0ms (1.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	246	1	247
Fresh	0	5	5
Picked	1	0	1
Done	0	1	1
Total	247	7	254

Error

0.0b

Counts

254 → 7

Alt Table

Status	Error	Program
✓	1.4b	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
	20.3b	(.f64 x (+.f64 (/.f64 (/.f64 (pow.f64 a t) (.f64 a (exp.f64 b))) y) (*.f64 (/.f64 (log.f64 z) a) (/.f64 (pow.f64 a t) (exp.f64 b)))))
	24.8b	(.f64 (/.f64 x y) (.f64 (/.f64 (/.f64 (pow.f64 z y) a) (exp.f64 b)) (pow.f64 a t)))
	24.5b	(/.f64 (.f64 (+.f64 (.f64 (log.f64 z) y) 1) (*.f64 (/.f64 x a) (/.f64 (pow.f64 a t) (exp.f64 b)))) y)
	19.1b	(.f64 x (.f64 (/.f64 (*.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b)) (/.f64 1 y)))
	24.8b	(/.f64 (/.f64 x y) (/.f64 (exp.f64 b) (*.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y))))
▶	18.1b	(/.f64 (.f64 x (pow.f64 (cbrt.f64 (/.f64 (.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b))) 3)) y)

Compiler

Compiled 7098 to 3329 computations (53.1% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 x (pow.f64 (cbrt.f64 (/.f64 (.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b))) 3))
✓	0.3b	(cbrt.f64 (/.f64 (*.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b)))
✓	0.5b	(/.f64 (.f64 x (pow.f64 (cbrt.f64 (/.f64 (.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b))) 3)) y)
	0.7b	(/.f64 (*.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b))

series3.6s (15.7%)

Counts

3 → 204

Calls

3 calls:

1.3s

(/.f64 (*.f64 x (pow.f64 (cbrt.f64 (/.f64 (*.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b))) 3)) y)

1.1s

(*.f64 x (pow.f64 (cbrt.f64 (/.f64 (*.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b))) 3))

1.1s

(cbrt.f64 (/.f64 (*.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b)))

rewrite42.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

195×	`add-sqr-sqrt_binary64`
185×	`log1p-expm1-u_binary64`
185×	`expm1-log1p-u_binary64`
182×	`add-cbrt-cube_binary64`
181×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	65
1	405	65

Stop Event

1×	node limit

Counts

3 → 95

Calls

3 calls:

37.0ms

(*.f64 x (pow.f64 (cbrt.f64 (/.f64 (*.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b))) 3))

37.0ms

(cbrt.f64 (/.f64 (*.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b)))

37.0ms

(/.f64 (*.f64 x (pow.f64 (cbrt.f64 (/.f64 (*.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b))) 3)) y)

simplify170.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

415×	`associate-r_binary64`
288×	`associate-l_binary64`
236×	`associate-/l*_binary64`
231×	`fma-neg_binary64`
220×	`times-frac_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	312	7112
1	1057	6928
2	4312	6686

Stop Event

1×	node limit

Counts

299 → 200

prune334.0ms (1.5%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	276	0	276
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	276	7	283

Error

0.0b

Counts

283 → 7

Alt Table

Status	Error	Program
✓	1.4b	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
	20.3b	(.f64 x (+.f64 (/.f64 (/.f64 (pow.f64 a t) (.f64 a (exp.f64 b))) y) (*.f64 (/.f64 (log.f64 z) a) (/.f64 (pow.f64 a t) (exp.f64 b)))))
	24.8b	(.f64 (/.f64 x y) (.f64 (/.f64 (/.f64 (pow.f64 z y) a) (exp.f64 b)) (pow.f64 a t)))
	24.5b	(/.f64 (.f64 (+.f64 (.f64 (log.f64 z) y) 1) (*.f64 (/.f64 x a) (/.f64 (pow.f64 a t) (exp.f64 b)))) y)
▶	19.1b	(.f64 x (.f64 (/.f64 (*.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b)) (/.f64 1 y)))
	24.8b	(/.f64 (/.f64 x y) (/.f64 (exp.f64 b) (*.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y))))
✓	18.1b	(/.f64 (.f64 x (pow.f64 (cbrt.f64 (/.f64 (.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b))) 3)) y)

Compiler

Compiled 9385 to 4688 computations (50% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (/.f64 (.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b)) (/.f64 1 y))
	0.1b	(pow.f64 a (+.f64 t -1))
	0.7b	(/.f64 (*.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b))
✓	1.7b	(.f64 x (.f64 (/.f64 (*.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b)) (/.f64 1 y)))

series2.2s (9.6%)

Counts

2 → 132

Calls

2 calls:

1.3s	(.f64 x (.f64 (/.f64 (*.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b)) (/.f64 1 y)))
902.0ms	(.f64 (/.f64 (.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b)) (/.f64 1 y))

rewrite35.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

194×	`add-sqr-sqrt_binary64`
180×	`log1p-expm1-u_binary64`
180×	`expm1-log1p-u_binary64`
179×	`add-cbrt-cube_binary64`
178×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	45
1	384	45

Stop Event

1×	node limit

Counts

2 → 82

Calls

2 calls:

34.0ms	(.f64 (/.f64 (.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b)) (/.f64 1 y))
34.0ms	(.f64 x (.f64 (/.f64 (*.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b)) (/.f64 1 y)))

simplify73.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

502×	`fma-def_binary64`
460×	`associate-/r/_binary64`
315×	`associate-/l/_binary64`
273×	`times-frac_binary64`
264×	`associate-/l*_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	196	4004
1	661	3926
2	2661	3710

Stop Event

1×	node limit

Counts

214 → 146

prune290.0ms (1.3%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	255	0	255
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	255	7	262

Error

0.0b

Counts

262 → 7

Alt Table

Status	Error	Program
✓	1.4b	(/.f64 (.f64 x (exp.f64 (-.f64 (+.f64 (.f64 y (log.f64 z)) (*.f64 (-.f64 t 1) (log.f64 a))) b))) y)
	20.3b	(.f64 x (+.f64 (/.f64 (/.f64 (pow.f64 a t) (.f64 a (exp.f64 b))) y) (*.f64 (/.f64 (log.f64 z) a) (/.f64 (pow.f64 a t) (exp.f64 b)))))
	24.8b	(.f64 (/.f64 x y) (.f64 (/.f64 (/.f64 (pow.f64 z y) a) (exp.f64 b)) (pow.f64 a t)))
	24.5b	(/.f64 (.f64 (+.f64 (.f64 (log.f64 z) y) 1) (*.f64 (/.f64 x a) (/.f64 (pow.f64 a t) (exp.f64 b)))) y)
✓	19.1b	(.f64 x (.f64 (/.f64 (*.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b)) (/.f64 1 y)))
	24.8b	(/.f64 (/.f64 x y) (/.f64 (exp.f64 b) (*.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y))))
✓	18.1b	(/.f64 (.f64 x (pow.f64 (cbrt.f64 (/.f64 (.f64 (pow.f64 a (+.f64 t -1)) (pow.f64 z y)) (exp.f64 b))) 3)) y)

Compiler

Compiled 6919 to 3161 computations (54.3% saved)

regimes2.7s (11.5%)

Accuracy

Total 1.8b remaining (99.1%)

Threshold costs 0b (0%)

Counts

183 → 1

Compiler

Compiled 47033 to 32180 computations (31.6% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	28
1	29	28
2	33	28
3	35	28
4	36	28

Stop Event

1×

saturated

end112.0ms (0.5%)

Compiler: Compiled 220 to 149 computations (32.3% saved)

Details

analyze1.2s (5.4%)

sample5.3s (23%)

simplify20.0ms (0.1%)

prune4.0ms (0%)

localize14.0ms (0.1%)

series2.8s (12.2%)

rewrite37.0ms (0.2%)

simplify102.0ms (0.4%)

prune208.0ms (0.9%)

localize12.0ms (0.1%)

series3.3s (14.2%)

rewrite44.0ms (0.2%)

simplify104.0ms (0.5%)

prune283.0ms (1.2%)

localize13.0ms (0.1%)

series3.6s (15.7%)

rewrite42.0ms (0.2%)

simplify170.0ms (0.7%)

prune334.0ms (1.5%)

localize14.0ms (0.1%)

series2.2s (9.6%)

rewrite35.0ms (0.2%)

simplify73.0ms (0.3%)

prune290.0ms (1.3%)

regimes2.7s (11.5%)

simplify3.0ms (0%)

end112.0ms (0.5%)

Profiling