Details

analyze895.0ms (29.6%)

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
0%	99.8%	0.2%	8
6.2%	93.6%	0.2%	9
9.4%	90.4%	0.2%	10
18.7%	70.2%	11.1%	11
21.1%	66.7%	12.3%	12
31.6%	55.9%	12.5%	13
34.5%	52.3%	13.2%	14

Compiler

Compiled 14 to 9 computations (35.7% saved)

sample1.2s (38.7%)

Results

949.0ms	8256×	body	128	valid
192.0ms	1809×	body	128	invalid

Compiler

Compiled 41 to 26 computations (36.6% saved)

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

22×	`fma-def_binary64`
8×	`+-commutative_binary64`
4×	`associate-+r+_binary64`
4×	`associate-+l+_binary64`
3×	`*-commutative_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	9
1	15	9
2	25	9
3	38	9
4	52	9
5	52	9

prune3.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.0b	(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)

Compiler

Compiled 46 to 26 computations (43.5% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (+.f64 (.f64 x y) z) y)

series10.0ms (0.3%)

Counts

1 → 36

Calls

1 calls:

10.0ms

(*.f64 (+.f64 (*.f64 x y) z) y)

rewrite6.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-sqr-sqrt_binary64`
3×	`associate-r_binary64`
3×	`associate-l_binary64`
3×	`*-un-lft-identity_binary64`
3×	`add-cube-cbrt_binary64`

Counts

1 → 22

Calls

1 calls:

5.0ms

(*.f64 (+.f64 (*.f64 x y) z) y)

simplify74.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

844×	`fma-def_binary64`
411×	`associate-+l+_binary64`
351×	`associate-+r+_binary64`
338×	`unswap-sqr_binary64`
298×	`associate-l_binary64`

Counts

58 → 42

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	50	635
1	131	514
2	411	514
3	1224	514
4	2314	514
5	4072	514
6	4878	514
7	4944	514

prune32.0ms (1.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	40	2	42
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	40	3	43

Error

0.0b

Counts

43 → 3

Alt Table

Status	Error	Program
▶	3.1b	(+.f64 (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x)) t)
	30.9b	(+.f64 (.f64 (.f64 (fma.f64 y x z) (sqrt.f64 y)) (sqrt.f64 y)) t)
✓	0.0b	(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)

Compiler

Compiled 714 to 218 computations (69.5% saved)

localize8.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
✓	8.0b	(*.f64 (pow.f64 y 2) x)

series24.0ms (0.8%)

Counts

2 → 9

Calls

2 calls:

12.0ms	(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))
11.0ms	(*.f64 (pow.f64 y 2) x)

rewrite9.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary64`
8×	`associate-l_binary64`
7×	`add-exp-log_binary64`
5×	`*-un-lft-identity_binary64`
5×	`add-cube-cbrt_binary64`

Counts

2 → 43

Calls

2 calls:

4.0ms	(*.f64 (pow.f64 y 2) x)
3.0ms	(+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x))

simplify69.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

841×	`fma-neg_binary64`
728×	`unswap-sqr_binary64`
328×	`cancel-sign-sub-inv_binary64`
254×	`*-commutative_binary64`
243×	`fma-def_binary64`

Counts

52 → 70

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	75	619
1	191	533
2	598	513
3	1418	513
4	2792	513
5	4829	513
6	5138	513

prune43.0ms (1.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	70	0	70
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	70	3	73

Error

0.0b

Counts

73 → 3

Alt Table

Status	Error	Program
✓	3.1b	(+.f64 (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x)) t)
▶	30.9b	(+.f64 (.f64 (.f64 (fma.f64 y x z) (sqrt.f64 y)) (sqrt.f64 y)) t)
✓	0.0b	(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)

Compiler

Compiled 1249 to 578 computations (53.7% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (fma.f64 y x z) (sqrt.f64 y))
✓	0.1b	(.f64 (.f64 (fma.f64 y x z) (sqrt.f64 y)) (sqrt.f64 y))

series34.0ms (1.1%)

Counts

2 → 56

Calls

2 calls:

19.0ms	(*.f64 (fma.f64 y x z) (sqrt.f64 y))
14.0ms	(.f64 (.f64 (fma.f64 y x z) (sqrt.f64 y)) (sqrt.f64 y))

rewrite10.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`associate-r_binary64`
11×	`add-sqr-sqrt_binary64`
9×	`add-cbrt-cube_binary64`
9×	`add-exp-log_binary64`
9×	`pow1_binary64`

Counts

2 → 47

Calls

2 calls:

5.0ms	(.f64 (.f64 (fma.f64 y x z) (sqrt.f64 y)) (sqrt.f64 y))
3.0ms	(*.f64 (fma.f64 y x z) (sqrt.f64 y))

simplify82.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

701×	`fma-def_binary64`
318×	`*-commutative_binary64`
313×	`associate-*r/_binary64`
279×	`associate-*l/_binary64`
228×	`unswap-sqr_binary64`

Counts

103 → 79

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	70	1278
1	157	1199
2	461	1079
3	967	1079
4	1352	1067
5	2063	1067
6	4054	1067
7	4954	1067

prune35.0ms (1.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	78	1	79
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	78	4	82

Error

Counts

82 → 4

Alt Table

Status	Error	Program
✓	3.1b	(+.f64 (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x)) t)
✓	30.9b	(+.f64 (.f64 (.f64 (fma.f64 y x z) (sqrt.f64 y)) (sqrt.f64 y)) t)
✓	0.0b	(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)
▶	33.3b	(+.f64 (.f64 (+.f64 (.f64 (sqrt.f64 y) z) (*.f64 (sqrt.f64 (pow.f64 y 3)) x)) (sqrt.f64 y)) t)

Compiler

Compiled 1408 to 379 computations (73.1% saved)

localize10.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (sqrt.f64 y) z)
✓	0.1b	(.f64 (+.f64 (.f64 (sqrt.f64 y) z) (*.f64 (sqrt.f64 (pow.f64 y 3)) x)) (sqrt.f64 y))
✓	2.5b	(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
✓	21.7b	(sqrt.f64 (pow.f64 y 3))

series97.0ms (3.2%)

Counts

4 → 24

Calls

4 calls:

61.0ms	(.f64 (+.f64 (.f64 (sqrt.f64 y) z) (*.f64 (sqrt.f64 (pow.f64 y 3)) x)) (sqrt.f64 y))
20.0ms	(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
11.0ms	(*.f64 (sqrt.f64 y) z)
5.0ms	(sqrt.f64 (pow.f64 y 3))

rewrite22.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`add-sqr-sqrt_binary64`
36×	`sqrt-prod_binary64`
24×	`associate-l_binary64`
18×	`*-un-lft-identity_binary64`
18×	`add-cube-cbrt_binary64`

Counts

4 → 113

Calls

4 calls:

7.0ms	(.f64 (+.f64 (.f64 (sqrt.f64 y) z) (*.f64 (sqrt.f64 (pow.f64 y 3)) x)) (sqrt.f64 y))
5.0ms	(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
3.0ms	(*.f64 (sqrt.f64 y) z)
2.0ms	(sqrt.f64 (pow.f64 y 3))

simplify99.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

1040×	`fma-def_binary64`
384×	`unswap-sqr_binary64`
341×	`*-commutative_binary64`
304×	`distribute-rgt-neg-in_binary64`
296×	`sqr-pow_binary64`

Counts

137 → 164

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	139	1905
1	282	1832
2	962	1528
3	1833	1489
4	3673	1361
5	4297	1361
6	4942	1361

prune98.0ms (3.2%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	164	0	164
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	164	4	168

Error

Counts

168 → 4

Alt Table

Status	Error	Program
✓	3.1b	(+.f64 (+.f64 (.f64 y z) (.f64 (pow.f64 y 2) x)) t)
✓	30.9b	(+.f64 (.f64 (.f64 (fma.f64 y x z) (sqrt.f64 y)) (sqrt.f64 y)) t)
✓	0.0b	(+.f64 (.f64 (+.f64 (.f64 x y) z) y) t)
✓	33.3b	(+.f64 (.f64 (+.f64 (.f64 (sqrt.f64 y) z) (*.f64 (sqrt.f64 (pow.f64 y 3)) x)) (sqrt.f64 y)) t)

Compiler

Compiled 3644 to 1745 computations (52.1% saved)

regimes115.0ms (3.8%)

Accuracy

Total 0.0b remaining (55.3%)

Threshold costs 0.0b (55.3%)

Counts

20 → 1

Compiler

Compiled 2026 to 1160 computations (42.7% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary64`
2×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	13	13
2	13	13

end58.0ms (1.9%)

Compiler: Compiled 90 to 56 computations (37.8% saved)

Details

analyze895.0ms (29.6%)

sample1.2s (38.7%)

simplify7.0ms (0.2%)

prune3.0ms (0.1%)

localize6.0ms (0.2%)

series10.0ms (0.3%)

rewrite6.0ms (0.2%)

simplify74.0ms (2.5%)

prune32.0ms (1.1%)

localize8.0ms (0.3%)

series24.0ms (0.8%)

rewrite9.0ms (0.3%)

simplify69.0ms (2.3%)

prune43.0ms (1.4%)

localize7.0ms (0.2%)

series34.0ms (1.1%)

rewrite10.0ms (0.3%)

simplify82.0ms (2.7%)

prune35.0ms (1.1%)

localize10.0ms (0.3%)

series97.0ms (3.2%)

rewrite22.0ms (0.7%)

simplify99.0ms (3.3%)

prune98.0ms (3.2%)

regimes115.0ms (3.8%)

simplify3.0ms (0.1%)

end58.0ms (1.9%)

Profiling