Details

analyze708.0ms (16.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
7%	92.8%	0.2%	8
19.1%	80.7%	0.2%	9
29.8%	70%	0.2%	10
31.3%	68.5%	0.2%	11
42.3%	57.2%	0.6%	12
53.3%	45.5%	1.2%	13
59.2%	39.3%	1.5%	14

Compiler

Compiled 14 to 9 computations (35.7% saved)

sample1.1s (25%)

Results

933.0ms	8256×	body	128	valid
74.0ms	631×	body	128	invalid

Compiler

Compiled 41 to 26 computations (36.6% saved)

simplify24.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

574×	`times-frac_binary64`
572×	`fma-def_binary64`
533×	`div-sub_binary64`
349×	`fma-neg_binary64`
190×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	15	13
2	34	13
3	77	13
4	173	13
5	318	13
6	711	13
7	2139	13

Stop Event

1×	node limit

Counts

1 → 2

prune3.0ms (0.1%)

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

Counts

3 → 2

Alt Table

Status	Error	Program
▶	1.4b	(*.f64 x (/.f64 (-.f64 y z) (-.f64 t z)))
	14.1b	(/.f64 (*.f64 x (-.f64 y z)) (-.f64 t z))

Compiler

Compiled 74 to 42 computations (43.2% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (-.f64 y z) (-.f64 t z))
✓	1.3b	(*.f64 x (/.f64 (-.f64 y z) (-.f64 t z)))

series47.0ms (1.1%)

Counts

2 → 84

Calls

2 calls:

28.0ms	(*.f64 x (/.f64 (-.f64 y z) (-.f64 t z)))
19.0ms	(/.f64 (-.f64 y z) (-.f64 t z))

rewrite110.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

952×	`prod-diff_binary64`
257×	`egg-rr`
111×	`add-sqr-sqrt_binary64`
106×	`log1p-expm1-u_binary64`
106×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	208	23
2	3217	23

Stop Event

1×	node limit

Counts

2 → 257

Calls

2 calls:

100.0ms	(/.f64 (-.f64 y z) (-.f64 t z))
100.0ms	(*.f64 x (/.f64 (-.f64 y z) (-.f64 t z)))

simplify54.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

762×	`fma-def_binary64`
656×	`times-frac_binary64`
500×	`cancel-sign-sub-inv_binary64`
337×	`sub-neg_binary64`
202×	`fma-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	156	2603
1	499	2525
2	1839	2084

Stop Event

1×	node limit

Counts

341 → 327

prune223.0ms (5.2%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	320	7	327
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	321	8	329

Error

0.0b

Counts

329 → 8

Alt Table

Status	Error	Program
	36.3b	(/.f64 y (/.f64 (-.f64 t z) x))
✓	1.4b	(*.f64 x (/.f64 (-.f64 y z) (-.f64 t z)))
	39.2b	(/.f64 (/.f64 (*.f64 x (-.f64 y z)) (sqrt.f64 (-.f64 t z))) (sqrt.f64 (-.f64 t z)))
	14.3b	(/.f64 1 (/.f64 (-.f64 t z) (*.f64 x (-.f64 y z))))
	34.8b	(.f64 x (.f64 (/.f64 (sqrt.f64 (-.f64 y z)) 1) (/.f64 (sqrt.f64 (-.f64 y z)) (-.f64 t z))))
	14.1b	(-.f64 (/.f64 (.f64 y x) (-.f64 t z)) (/.f64 (.f64 z x) (-.f64 t z)))
	2.0b	(.f64 x (.f64 (cbrt.f64 (/.f64 (-.f64 y z) (-.f64 t z))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 y z) (-.f64 t z))) 2)))
▶	1.4b	(/.f64 x (/.f64 (-.f64 t z) (-.f64 y z)))

Compiler

Compiled 14535 to 4037 computations (72.2% saved)

localize9.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (-.f64 t z) (-.f64 y z))
✓	1.3b	(/.f64 x (/.f64 (-.f64 t z) (-.f64 y z)))

series45.0ms (1.1%)

Counts

2 → 84

Calls

2 calls:

28.0ms	(/.f64 x (/.f64 (-.f64 t z) (-.f64 y z)))
17.0ms	(/.f64 (-.f64 t z) (-.f64 y z))

rewrite127.0ms (3%)

Algorithm

1×	batch-egg-rewrite

Rules

979×	`prod-diff_binary64`
278×	`egg-rr`
115×	`add-sqr-sqrt_binary64`
110×	`log1p-expm1-u_binary64`
110×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	214	23
2	3470	23

Stop Event

1×	node limit

Counts

2 → 278

Calls

2 calls:

117.0ms	(/.f64 (-.f64 t z) (-.f64 y z))
117.0ms	(/.f64 x (/.f64 (-.f64 t z) (-.f64 y z)))

simplify59.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

830×	`times-frac_binary64`
731×	`fma-def_binary64`
541×	`cancel-sign-sub-inv_binary64`
323×	`sub-neg_binary64`
210×	`fma-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	154	2597
1	492	2531
2	1898	2289

Stop Event

1×	node limit

Counts

362 → 349

prune249.0ms (5.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	347	2	349
Fresh	2	4	6
Picked	1	0	1
Done	0	1	1
Total	350	7	357

Error

Counts

357 → 7

Alt Table

Status	Error	Program
	36.3b	(/.f64 y (/.f64 (-.f64 t z) x))
✓	1.4b	(*.f64 x (/.f64 (-.f64 y z) (-.f64 t z)))
▶	1.4b	(/.f64 x (-.f64 (/.f64 t (-.f64 y z)) (/.f64 z (-.f64 y z))))
	14.3b	(/.f64 1 (/.f64 (-.f64 t z) (*.f64 x (-.f64 y z))))
	1.5b	(/.f64 x (*.f64 (-.f64 t z) (/.f64 1 (-.f64 y z))))
	14.1b	(-.f64 (/.f64 (.f64 y x) (-.f64 t z)) (/.f64 (.f64 z x) (-.f64 t z)))
	2.0b	(.f64 x (.f64 (cbrt.f64 (/.f64 (-.f64 y z) (-.f64 t z))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 y z) (-.f64 t z))) 2)))

Compiler

Compiled 14967 to 4069 computations (72.8% saved)

localize11.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (/.f64 t (-.f64 y z)) (/.f64 z (-.f64 y z)))
✓	0.0b	(/.f64 t (-.f64 y z))
✓	0.0b	(/.f64 z (-.f64 y z))
✓	1.3b	(/.f64 x (-.f64 (/.f64 t (-.f64 y z)) (/.f64 z (-.f64 y z))))

series129.0ms (3.1%)

Counts

4 → 111

Calls

4 calls:

86.0ms	(/.f64 x (-.f64 (/.f64 t (-.f64 y z)) (/.f64 z (-.f64 y z))))
22.0ms	(-.f64 (/.f64 t (-.f64 y z)) (/.f64 z (-.f64 y z)))
14.0ms	(/.f64 t (-.f64 y z))
7.0ms	(/.f64 z (-.f64 y z))

rewrite74.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

289×	`fma-neg_binary64`
236×	`expm1-udef_binary64`
236×	`log1p-udef_binary64`
183×	`egg-rr`
128×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	37
1	240	37
2	4018	37

Stop Event

1×	node limit

Counts

4 → 183

Calls

4 calls:

71.0ms	(-.f64 (/.f64 t (-.f64 y z)) (/.f64 z (-.f64 y z)))
71.0ms	(/.f64 t (-.f64 y z))
71.0ms	(/.f64 z (-.f64 y z))
71.0ms	(/.f64 x (-.f64 (/.f64 t (-.f64 y z)) (/.f64 z (-.f64 y z))))

simplify71.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

785×	`times-frac_binary64`
604×	`associate-/l*_binary64`
444×	`associate-/r*_binary64`
180×	`associate-l_binary64`
162×	`fma-def_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	360	5237
1	1407	5123

Stop Event

1×	node limit

Counts

294 → 297

prune235.0ms (5.5%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	297	0	297
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	297	7	304

Error

Counts

304 → 7

Alt Table

Status	Error	Program
	36.3b	(/.f64 y (/.f64 (-.f64 t z) x))
✓	1.4b	(*.f64 x (/.f64 (-.f64 y z) (-.f64 t z)))
✓	1.4b	(/.f64 x (-.f64 (/.f64 t (-.f64 y z)) (/.f64 z (-.f64 y z))))
	14.3b	(/.f64 1 (/.f64 (-.f64 t z) (*.f64 x (-.f64 y z))))
▶	1.5b	(/.f64 x (*.f64 (-.f64 t z) (/.f64 1 (-.f64 y z))))
	14.1b	(-.f64 (/.f64 (.f64 y x) (-.f64 t z)) (/.f64 (.f64 z x) (-.f64 t z)))
	2.0b	(.f64 x (.f64 (cbrt.f64 (/.f64 (-.f64 y z) (-.f64 t z))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 y z) (-.f64 t z))) 2)))

Compiler

Compiled 9037 to 3534 computations (60.9% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 1 (-.f64 y z))
✓	0.2b	(*.f64 (-.f64 t z) (/.f64 1 (-.f64 y z)))
✓	1.3b	(/.f64 x (*.f64 (-.f64 t z) (/.f64 1 (-.f64 y z))))

series51.0ms (1.2%)

Counts

3 → 108

Calls

3 calls:

28.0ms	(/.f64 x (*.f64 (-.f64 t z) (/.f64 1 (-.f64 y z))))
16.0ms	(*.f64 (-.f64 t z) (/.f64 1 (-.f64 y z)))
7.0ms	(/.f64 1 (-.f64 y z))

rewrite68.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

754×	`prod-diff_binary64`
127×	`add-sqr-sqrt_binary64`
120×	`add-cbrt-cube_binary64`
120×	`log1p-expm1-u_binary64`
120×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	30
1	247	30
2	3657	30

Stop Event

1×	node limit

Counts

3 → 108

Calls

3 calls:

67.0ms	(/.f64 1 (-.f64 y z))
67.0ms	(*.f64 (-.f64 t z) (/.f64 1 (-.f64 y z)))
67.0ms	(/.f64 x (*.f64 (-.f64 t z) (/.f64 1 (-.f64 y z))))

simplify60.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

848×	`times-frac_binary64`
798×	`fma-def_binary64`
550×	`cancel-sign-sub-inv_binary64`
333×	`sub-neg_binary64`
217×	`fma-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	175	3089
1	542	3011
2	2081	2763

Stop Event

1×	node limit

Counts

216 → 191

prune113.0ms (2.7%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	191	0	191
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	191	7	198

Error

Counts

198 → 7

Alt Table

Status	Error	Program
	36.3b	(/.f64 y (/.f64 (-.f64 t z) x))
✓	1.4b	(*.f64 x (/.f64 (-.f64 y z) (-.f64 t z)))
✓	1.4b	(/.f64 x (-.f64 (/.f64 t (-.f64 y z)) (/.f64 z (-.f64 y z))))
	14.3b	(/.f64 1 (/.f64 (-.f64 t z) (*.f64 x (-.f64 y z))))
✓	1.5b	(/.f64 x (*.f64 (-.f64 t z) (/.f64 1 (-.f64 y z))))
	14.1b	(-.f64 (/.f64 (.f64 y x) (-.f64 t z)) (/.f64 (.f64 z x) (-.f64 t z)))
	2.0b	(.f64 x (.f64 (cbrt.f64 (/.f64 (-.f64 y z) (-.f64 t z))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 y z) (-.f64 t z))) 2)))

Compiler

Compiled 4001 to 1559 computations (61% saved)

regimes621.0ms (14.6%)

Accuracy

Total 2.2b remaining (99.4%)

Threshold costs 0b (0%)

Counts

137 → 1

Compiler

Compiled 10966 to 7013 computations (36% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	19
1	14	19
2	23	19
3	27	19
4	29	19

Stop Event

1×

saturated

end77.0ms (1.8%)

Compiler: Compiled 149 to 84 computations (43.6% saved)

Details

analyze708.0ms (16.7%)

sample1.1s (25%)

simplify24.0ms (0.6%)

prune3.0ms (0.1%)

localize6.0ms (0.1%)

series47.0ms (1.1%)

rewrite110.0ms (2.6%)

simplify54.0ms (1.3%)

prune223.0ms (5.2%)

localize9.0ms (0.2%)

series45.0ms (1.1%)

rewrite127.0ms (3%)

simplify59.0ms (1.4%)

prune249.0ms (5.9%)

localize11.0ms (0.3%)

series129.0ms (3.1%)

rewrite74.0ms (1.7%)

simplify71.0ms (1.7%)

prune235.0ms (5.5%)

localize7.0ms (0.2%)

series51.0ms (1.2%)

rewrite68.0ms (1.6%)

simplify60.0ms (1.4%)

prune113.0ms (2.7%)

regimes621.0ms (14.6%)

simplify3.0ms (0.1%)

end77.0ms (1.8%)

Profiling