Details

analyze1.5s (15.5%)

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
12.5%	87.3%	0.2%	9
18.7%	81.1%	0.2%	10
21.8%	67.1%	11.1%	11
21.8%	67.1%	11.1%	12
32.7%	56.1%	11.1%	13
35.1%	53%	11.9%	14

Compiler

Compiled 20 to 15 computations (25% saved)

sample5.4s (54.7%)

Results

1.4s	2001×	body	1024	invalid
1.3s	1678×	body	1024	valid
793.0ms	4619×	body	128	valid
570.0ms	1214×	body	512	valid
446.0ms	2654×	body	128	invalid
407.0ms	969×	body	512	invalid
200.0ms	669×	body	256	valid
143.0ms	482×	body	256	invalid
83.0ms	76×	body	2048	valid

Compiler

Compiled 59 to 44 computations (25.4% saved)

simplify66.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

745×	`fma-def_binary64`
657×	`div-sub_binary64`
464×	`fma-neg_binary64`
424×	`times-frac_binary64`
411×	`associate-/l*_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	22
1	29	22
2	53	22
3	105	22
4	233	22
5	540	22
6	1242	22
7	2242	22
8	3501	22
9	4490	22
10	4976	22

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

17.1b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	17.1b	(fma.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2)) U)

Compiler

Compiled 69 to 44 computations (36.2% saved)

localize12.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
✓	0.0b	(fma.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2)) U)
✓	6.7b	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))

series45.0ms (0.5%)

Counts

3 → 80

Calls

3 calls:

33.0ms	(fma.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2)) U)
10.0ms	(*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
2.0ms	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))

rewrite79.0ms (0.8%)

Algorithm

2×	batch-egg-rewrite
3×	egg-rewrite

Rules

151×	`add-sqr-sqrt_binary64`
141×	`log1p-expm1-u_binary64`
141×	`expm1-log1p-u_binary64`
140×	`add-log-exp_binary64`
138×	`add-cbrt-cube_binary64`

Counts

3 → 0

Calls

3 calls:

78.0ms	(*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
78.0ms	(fma.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2)) U)
78.0ms	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	18
1	295	18
2	33	18
0	6	6
1	130	6
2	71	6
0	14	18
1	295	18
2	33	18
0	8	9
1	169	9
2	73	9
0	0	0
1	0	0

simplify117.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

921×	`fma-def_binary64`
524×	`associate-l_binary64`
430×	`sub-neg_binary64`
401×	`associate-r_binary64`
288×	`associate-+l+_binary64`

Counts

80 → 44

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	142	2023
1	367	1649
2	1181	1604
3	4510	1604
4	4809	1604
5	4962	1604
6	4933	1604

prune49.0ms (0.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	40	4	44
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	40	5	45

Error

0.0b

Counts

45 → 5

Alt Table

Status	Error	Program
✓	17.1b	(fma.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2)) U)
	1.1b	(fma.f64 (.f64 J (cos.f64 (.f64 1/2 K))) (fma.f64 2 l (*.f64 1/3 (pow.f64 l 3))) U)
	60.0b	(.f64 (-.f64 (.f64 (cos.f64 (.f64 1/2 K)) (exp.f64 l)) (.f64 (exp.f64 (neg.f64 l)) (cos.f64 (*.f64 1/2 K)))) J)
▶	0.7b	(fma.f64 (.f64 J (fma.f64 1/2520 (pow.f64 l 7) (fma.f64 2 l (fma.f64 1/3 (pow.f64 l 3) (.f64 1/60 (pow.f64 l 5)))))) (cos.f64 (/.f64 K 2)) U)
	28.9b	(-.f64 (+.f64 U (.f64 (exp.f64 l) J)) (.f64 (exp.f64 (neg.f64 l)) J))

Compiler

Compiled 1231 to 746 computations (39.4% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 1/2520 (pow.f64 l 7) (fma.f64 2 l (fma.f64 1/3 (pow.f64 l 3) (*.f64 1/60 (pow.f64 l 5)))))
✓	0.1b	(fma.f64 (.f64 J (fma.f64 1/2520 (pow.f64 l 7) (fma.f64 2 l (fma.f64 1/3 (pow.f64 l 3) (.f64 1/60 (pow.f64 l 5)))))) (cos.f64 (/.f64 K 2)) U)
✓	0.1b	(*.f64 1/60 (pow.f64 l 5))
✓	0.1b	(fma.f64 1/3 (pow.f64 l 3) (*.f64 1/60 (pow.f64 l 5)))

series150.0ms (1.5%)

Counts

4 → 72

Calls

4 calls:

140.0ms	(fma.f64 (.f64 J (fma.f64 1/2520 (pow.f64 l 7) (fma.f64 2 l (fma.f64 1/3 (pow.f64 l 3) (.f64 1/60 (pow.f64 l 5)))))) (cos.f64 (/.f64 K 2)) U)
4.0ms	(fma.f64 1/3 (pow.f64 l 3) (*.f64 1/60 (pow.f64 l 5)))
3.0ms	(fma.f64 1/2520 (pow.f64 l 7) (fma.f64 2 l (fma.f64 1/3 (pow.f64 l 3) (*.f64 1/60 (pow.f64 l 5)))))
3.0ms	(*.f64 1/60 (pow.f64 l 5))

rewrite68.0ms (0.7%)

Algorithm

2×	batch-egg-rewrite

Rules

233×	`add-sqr-sqrt_binary64`
222×	`log1p-expm1-u_binary64`
222×	`expm1-log1p-u_binary64`
219×	`add-log-exp_binary64`
218×	`add-cbrt-cube_binary64`

Counts

4 → 77

Calls

4 calls:

66.0ms	(fma.f64 1/2520 (pow.f64 l 7) (fma.f64 2 l (fma.f64 1/3 (pow.f64 l 3) (*.f64 1/60 (pow.f64 l 5)))))
66.0ms	(fma.f64 (.f64 J (fma.f64 1/2520 (pow.f64 l 7) (fma.f64 2 l (fma.f64 1/3 (pow.f64 l 3) (.f64 1/60 (pow.f64 l 5)))))) (cos.f64 (/.f64 K 2)) U)
66.0ms	(*.f64 1/60 (pow.f64 l 5))
66.0ms	(fma.f64 1/3 (pow.f64 l 3) (*.f64 1/60 (pow.f64 l 5)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	83
1	487	83
2	4796	83
3	4795	83
0	0	0
1	0	0

simplify91.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

876×	`sub-neg_binary64`
485×	`+-commutative_binary64`
485×	`*-commutative_binary64`
406×	`associate--l+_binary64`
348×	`associate--r+_binary64`

Counts

149 → 121

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	163	3313
1	498	2676
2	1902	2222
3	4543	2222
4	5486	2222

prune185.0ms (1.9%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	116	5	121
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	117	9	126

Error

0.0b

Counts

126 → 9

Alt Table

Status	Error	Program
	8.6b	(fma.f64 (.f64 J (cbrt.f64 (pow.f64 (fma.f64 1/2520 (pow.f64 l 7) (fma.f64 2 l (fma.f64 1/3 (pow.f64 l 3) (.f64 1/60 (pow.f64 l 5))))) 3))) (cos.f64 (/.f64 K 2)) U)
▶	0.7b	(+.f64 U (.f64 J (.f64 (cos.f64 (.f64 1/2 K)) (fma.f64 1/2520 (pow.f64 l 7) (fma.f64 l 2 (fma.f64 1/3 (pow.f64 l 3) (.f64 1/60 (pow.f64 l 5))))))))
	35.0b	(pow.f64 (sqrt.f64 (fma.f64 (.f64 J (fma.f64 1/2520 (pow.f64 l 7) (fma.f64 2 l (fma.f64 1/3 (pow.f64 l 3) (.f64 1/60 (pow.f64 l 5)))))) (cos.f64 (/.f64 K 2)) U)) 2)
	0.7b	(+.f64 (.f64 1/2520 (.f64 (pow.f64 l 7) (.f64 J (cos.f64 (.f64 1/2 K))))) (+.f64 (.f64 1/60 (.f64 (pow.f64 l 5) (.f64 J (cos.f64 (.f64 1/2 K))))) (+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (+.f64 (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))) U))))
	60.0b	(.f64 (-.f64 (.f64 (cos.f64 (.f64 1/2 K)) (exp.f64 l)) (.f64 (exp.f64 (neg.f64 l)) (cos.f64 (*.f64 1/2 K)))) J)
✓	0.7b	(fma.f64 (.f64 J (fma.f64 1/2520 (pow.f64 l 7) (fma.f64 2 l (fma.f64 1/3 (pow.f64 l 3) (.f64 1/60 (pow.f64 l 5)))))) (cos.f64 (/.f64 K 2)) U)
	2.0b	(pow.f64 (cbrt.f64 (fma.f64 (.f64 J (fma.f64 1/2520 (pow.f64 l 7) (fma.f64 2 l (fma.f64 1/3 (pow.f64 l 3) (.f64 1/60 (pow.f64 l 5)))))) (cos.f64 (/.f64 K 2)) U)) 3)
	28.9b	(-.f64 (+.f64 U (.f64 (exp.f64 l) J)) (.f64 (exp.f64 (neg.f64 l)) J))
✓	17.1b	(fma.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2)) U)

Compiler

Compiled 4673 to 3485 computations (25.4% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(*.f64 1/60 (pow.f64 l 5))
✓	0.1b	(.f64 J (.f64 (cos.f64 (.f64 1/2 K)) (fma.f64 1/2520 (pow.f64 l 7) (fma.f64 l 2 (fma.f64 1/3 (pow.f64 l 3) (.f64 1/60 (pow.f64 l 5)))))))
✓	0.1b	(.f64 (cos.f64 (.f64 1/2 K)) (fma.f64 1/2520 (pow.f64 l 7) (fma.f64 l 2 (fma.f64 1/3 (pow.f64 l 3) (*.f64 1/60 (pow.f64 l 5))))))
	0.1b	(fma.f64 1/3 (pow.f64 l 3) (*.f64 1/60 (pow.f64 l 5)))

series140.0ms (1.4%)

Counts

2 → 60

Calls

2 calls:

98.0ms

(*.f64 J (*.f64 (cos.f64 (*.f64 1/2 K)) (fma.f64 1/2520 (pow.f64 l 7) (fma.f64 l 2 (fma.f64 1/3 (pow.f64 l 3) (*.f64 1/60 (pow.f64 l 5)))))))

42.0ms

(*.f64 (cos.f64 (*.f64 1/2 K)) (fma.f64 1/2520 (pow.f64 l 7) (fma.f64 l 2 (fma.f64 1/3 (pow.f64 l 3) (*.f64 1/60 (pow.f64 l 5))))))

rewrite32.0ms (0.3%)

Algorithm

2×	batch-egg-rewrite

Rules

228×	`add-sqr-sqrt_binary64`
218×	`log1p-expm1-u_binary64`
218×	`expm1-log1p-u_binary64`
215×	`add-log-exp_binary64`
214×	`add-cbrt-cube_binary64`

Counts

2 → 36

Calls

2 calls:

30.0ms

(*.f64 J (*.f64 (cos.f64 (*.f64 1/2 K)) (fma.f64 1/2520 (pow.f64 l 7) (fma.f64 l 2 (fma.f64 1/3 (pow.f64 l 3) (*.f64 1/60 (pow.f64 l 5)))))))

30.0ms

(*.f64 (cos.f64 (*.f64 1/2 K)) (fma.f64 1/2520 (pow.f64 l 7) (fma.f64 l 2 (fma.f64 1/3 (pow.f64 l 3) (*.f64 1/60 (pow.f64 l 5))))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	69
1	482	69
2	4649	69
0	0	0
1	0	0

simplify67.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

720×	`associate--l+_binary64`
432×	`cancel-sign-sub-inv_binary64`
357×	`fma-def_binary64`
232×	`associate-r_binary64`
212×	`associate-l_binary64`

Counts

96 → 87

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	201	3230
1	622	2548
2	2440	2407
3	5296	2407

prune247.0ms (2.5%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	122	2	124
Fresh	1	5	6
Picked	0	1	1
Done	0	2	2
Total	123	10	133

Error

0.0b

Counts

133 → 10

Alt Table

Status	Error	Program
	8.6b	(fma.f64 (.f64 J (cbrt.f64 (pow.f64 (fma.f64 1/2520 (pow.f64 l 7) (fma.f64 2 l (fma.f64 1/3 (pow.f64 l 3) (.f64 1/60 (pow.f64 l 5))))) 3))) (cos.f64 (/.f64 K 2)) U)
✓	0.7b	(+.f64 U (.f64 J (.f64 (cos.f64 (.f64 1/2 K)) (fma.f64 1/2520 (pow.f64 l 7) (fma.f64 l 2 (fma.f64 1/3 (pow.f64 l 3) (.f64 1/60 (pow.f64 l 5))))))))
✓	17.1b	(fma.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2)) U)
▶	0.7b	(+.f64 U (.f64 (+.f64 (.f64 2 l) (+.f64 (.f64 1/2520 (pow.f64 l 7)) (+.f64 (.f64 1/60 (pow.f64 l 5)) (.f64 1/3 (pow.f64 l 3))))) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
	60.0b	(.f64 (-.f64 (.f64 (cos.f64 (.f64 1/2 K)) (exp.f64 l)) (.f64 (exp.f64 (neg.f64 l)) (cos.f64 (*.f64 1/2 K)))) J)
✓	0.7b	(fma.f64 (.f64 J (fma.f64 1/2520 (pow.f64 l 7) (fma.f64 2 l (fma.f64 1/3 (pow.f64 l 3) (.f64 1/60 (pow.f64 l 5)))))) (cos.f64 (/.f64 K 2)) U)
	1.1b	(+.f64 U (.f64 J (pow.f64 (cbrt.f64 (.f64 (cos.f64 (.f64 1/2 K)) (fma.f64 1/2520 (pow.f64 l 7) (fma.f64 l 2 (fma.f64 1/3 (pow.f64 l 3) (.f64 1/60 (pow.f64 l 5))))))) 3)))
	35.0b	(pow.f64 (sqrt.f64 (fma.f64 (.f64 J (fma.f64 1/2520 (pow.f64 l 7) (fma.f64 2 l (fma.f64 1/3 (pow.f64 l 3) (.f64 1/60 (pow.f64 l 5)))))) (cos.f64 (/.f64 K 2)) U)) 2)
	2.0b	(pow.f64 (cbrt.f64 (fma.f64 (.f64 J (fma.f64 1/2520 (pow.f64 l 7) (fma.f64 2 l (fma.f64 1/3 (pow.f64 l 3) (.f64 1/60 (pow.f64 l 5)))))) (cos.f64 (/.f64 K 2)) U)) 3)
	28.9b	(-.f64 (+.f64 U (.f64 (exp.f64 l) J)) (.f64 (exp.f64 (neg.f64 l)) J))

Compiler

Compiled 4967 to 3739 computations (24.7% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(*.f64 1/60 (pow.f64 l 5))
✓	0.1b	(*.f64 1/3 (pow.f64 l 3))
✓	0.1b	(.f64 (+.f64 (.f64 2 l) (+.f64 (.f64 1/2520 (pow.f64 l 7)) (+.f64 (.f64 1/60 (pow.f64 l 5)) (.f64 1/3 (pow.f64 l 3))))) (.f64 (cos.f64 (*.f64 1/2 K)) J))
✓	0.1b	(.f64 (cos.f64 (.f64 1/2 K)) J)

series135.0ms (1.4%)

Counts

3 → 48

Calls

3 calls:

121.0ms

(*.f64 (+.f64 (*.f64 2 l) (+.f64 (*.f64 1/2520 (pow.f64 l 7)) (+.f64 (*.f64 1/60 (pow.f64 l 5)) (*.f64 1/3 (pow.f64 l 3))))) (*.f64 (cos.f64 (*.f64 1/2 K)) J))

8.0ms

(*.f64 (cos.f64 (*.f64 1/2 K)) J)

6.0ms

(*.f64 1/3 (pow.f64 l 3))

rewrite62.0ms (0.6%)

Algorithm

2×	batch-egg-rewrite

Rules

268×	`log1p-expm1-u_binary64`
268×	`expm1-log1p-u_binary64`
259×	`add-log-exp_binary64`
258×	`add-cbrt-cube_binary64`
258×	`add-exp-log_binary64`

Counts

3 → 39

Calls

3 calls:

61.0ms

(*.f64 1/3 (pow.f64 l 3))

61.0ms

(*.f64 (+.f64 (*.f64 2 l) (+.f64 (*.f64 1/2520 (pow.f64 l 7)) (+.f64 (*.f64 1/60 (pow.f64 l 5)) (*.f64 1/3 (pow.f64 l 3))))) (*.f64 (cos.f64 (*.f64 1/2 K)) J))

61.0ms

(*.f64 (cos.f64 (*.f64 1/2 K)) J)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	52
1	576	52
2	4963	52
3	4786	52
0	0	0
1	0	0

simplify72.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

423×	`associate--r+_binary64`
392×	`associate--l+_binary64`
322×	`cancel-sign-sub-inv_binary64`
250×	`fma-def_binary64`
225×	`distribute-rgt-out_binary64`

Counts

87 → 79

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	168	2555
1	504	2006
2	1831	1634
3	4686	1634
4	5031	1634

prune173.0ms (1.8%)

Pruning

10 alts after pruning (6 fresh and 4 done)

	Pruned	Kept	Total
New	92	0	92
Fresh	0	6	6
Picked	0	1	1
Done	0	3	3
Total	92	10	102

Error

0.0b

Counts

102 → 10

Alt Table

Status	Error	Program
	8.6b	(fma.f64 (.f64 J (cbrt.f64 (pow.f64 (fma.f64 1/2520 (pow.f64 l 7) (fma.f64 2 l (fma.f64 1/3 (pow.f64 l 3) (.f64 1/60 (pow.f64 l 5))))) 3))) (cos.f64 (/.f64 K 2)) U)
✓	0.7b	(+.f64 U (.f64 J (.f64 (cos.f64 (.f64 1/2 K)) (fma.f64 1/2520 (pow.f64 l 7) (fma.f64 l 2 (fma.f64 1/3 (pow.f64 l 3) (.f64 1/60 (pow.f64 l 5))))))))
✓	17.1b	(fma.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2)) U)
✓	0.7b	(+.f64 U (.f64 (+.f64 (.f64 2 l) (+.f64 (.f64 1/2520 (pow.f64 l 7)) (+.f64 (.f64 1/60 (pow.f64 l 5)) (.f64 1/3 (pow.f64 l 3))))) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
	60.0b	(.f64 (-.f64 (.f64 (cos.f64 (.f64 1/2 K)) (exp.f64 l)) (.f64 (exp.f64 (neg.f64 l)) (cos.f64 (*.f64 1/2 K)))) J)
✓	0.7b	(fma.f64 (.f64 J (fma.f64 1/2520 (pow.f64 l 7) (fma.f64 2 l (fma.f64 1/3 (pow.f64 l 3) (.f64 1/60 (pow.f64 l 5)))))) (cos.f64 (/.f64 K 2)) U)
	1.1b	(+.f64 U (.f64 J (pow.f64 (cbrt.f64 (.f64 (cos.f64 (.f64 1/2 K)) (fma.f64 1/2520 (pow.f64 l 7) (fma.f64 l 2 (fma.f64 1/3 (pow.f64 l 3) (.f64 1/60 (pow.f64 l 5))))))) 3)))
	35.0b	(pow.f64 (sqrt.f64 (fma.f64 (.f64 J (fma.f64 1/2520 (pow.f64 l 7) (fma.f64 2 l (fma.f64 1/3 (pow.f64 l 3) (.f64 1/60 (pow.f64 l 5)))))) (cos.f64 (/.f64 K 2)) U)) 2)
	2.0b	(pow.f64 (cbrt.f64 (fma.f64 (.f64 J (fma.f64 1/2520 (pow.f64 l 7) (fma.f64 2 l (fma.f64 1/3 (pow.f64 l 3) (.f64 1/60 (pow.f64 l 5)))))) (cos.f64 (/.f64 K 2)) U)) 3)
	28.9b	(-.f64 (+.f64 U (.f64 (exp.f64 l) J)) (.f64 (exp.f64 (neg.f64 l)) J))

Compiler

Compiled 3642 to 2745 computations (24.6% saved)

regimes849.0ms (8.7%)

Accuracy

Total 0.4b remaining (94.5%)

Threshold costs 0.4b (94.5%)

Counts

71 → 1

Compiler

Compiled 21166 to 16264 computations (23.2% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	39
1	30	39
2	30	39

end218.0ms (2.2%)

Compiler: Compiled 346 to 268 computations (22.5% saved)

Iter	Nodes	Cost
0	14	18
1	295	18
2	33	18
0	6	6
1	130	6
2	71	6
0	14	18
1	295	18
2	33	18
0	8	9
1	169	9
2	73	9
0	0	0
1	0	0

Iter	Nodes	Cost
0	14	18
1	295	18
2	33	18
0	6	6
1	130	6
2	71	6
0	14	18
1	295	18
2	33	18
0	8	9
1	169	9
2	73	9
0	0	0
1	0	0

Details

analyze1.5s (15.5%)

sample5.4s (54.7%)

simplify66.0ms (0.7%)

prune3.0ms (0%)

localize12.0ms (0.1%)

series45.0ms (0.5%)

rewrite79.0ms (0.8%)

simplify117.0ms (1.2%)

prune49.0ms (0.5%)

localize18.0ms (0.2%)

series150.0ms (1.5%)

rewrite68.0ms (0.7%)

simplify91.0ms (0.9%)

prune185.0ms (1.9%)

localize19.0ms (0.2%)

series140.0ms (1.4%)

rewrite32.0ms (0.3%)

simplify67.0ms (0.7%)

prune247.0ms (2.5%)

localize21.0ms (0.2%)

series135.0ms (1.4%)

rewrite62.0ms (0.6%)

simplify72.0ms (0.7%)

prune173.0ms (1.8%)

regimes849.0ms (8.7%)

simplify2.0ms (0%)

end218.0ms (2.2%)

Profiling

Iter	Nodes	Cost
0	14	18
1	295	18
2	33	18
0	6	6
1	130	6
2	71	6
0	14	18
1	295	18
2	33	18
0	8	9
1	169	9
2	73	9
0	0	0
1	0	0