Details

analyze2.4s (14.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
12.5%	87.4%	0.1%	8
31.2%	68.6%	0.1%	9
31.2%	68.6%	0.1%	10
31.2%	68.6%	0.1%	11
40.6%	59.3%	0.1%	12
40.6%	59.3%	0.1%	13
40.6%	59.3%	0.1%	14

Compiler

Compiled 34 to 19 computations (44.1% saved)

sample5.7s (35.2%)

Results

3.0s	2082×	body	1024	valid
1.3s	4633×	body	128	valid
871.0ms	1003×	body	512	valid
327.0ms	534×	body	256	valid
12.0ms	4×	body	2048	valid

Compiler

Compiled 101 to 56 computations (44.6% saved)

simplify276.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

1350×	`fma-def_binary64`
1306×	`fma-neg_binary64`
889×	`div-sub_binary64`
757×	`associate-/r/_binary64`
558×	`associate-/l*_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	50
1	44	50
2	109	50
3	229	50
4	333	50
5	515	50
6	717	50
7	984	50
8	1308	50
9	1633	50
10	1589	50
11	1591	50
12	1623	50
13	1671	50
14	1671	50
15	2103	50
16	2591	50
17	2559	50
18	2615	50
19	2783	50
20	2879	50
21	2927	50
22	3351	50
23	3319	50
24	3319	50
25	2487	50
26	2863	50
27	2591	50
28	2591	50
29	2591	50
30	2591	50
31	2376	50

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.1b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Status

Error

Program

▶

0.1b

(fabs.f64 (-.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (*.f64 (*.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 99 to 54 computations (45.5% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))
✓	0.1b	(*.f64 (neg.f64 eh) (tan.f64 t))
✓	2.5b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
✓	23.0b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series240.0ms (1.5%)

Counts

4 → 132

Calls

4 calls:

134.0ms	(.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))
48.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
39.0ms	(*.f64 (neg.f64 eh) (tan.f64 t))
19.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

rewrite18.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-cbrt-cube_binary64`
16×	`add-exp-log_binary64`
13×	`add-sqr-sqrt_binary64`
11×	`associate-l_binary64`
11×	`*-un-lft-identity_binary64`

Counts

4 → 87

Calls

4 calls:

4.0ms	(.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))
4.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
4.0ms	(*.f64 (neg.f64 eh) (tan.f64 t))
1.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

simplify120.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

886×	`times-frac_binary64`
750×	`fma-def_binary64`
199×	`associate-l_binary64`
167×	`associate-r_binary64`
157×	`cancel-sign-sub-inv_binary64`

Counts

219 → 168

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	198	4061
1	529	3718
2	1890	3705
3	4486	3701
4	4964	3701

prune177.0ms (1.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	269	4	273
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	269	5	274

Error

0.0b

Counts

274 → 5

Alt Table

Status	Error	Program
✓	0.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	26.8b	(fabs.f64 (-.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))) (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
▶	0.1b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 ew (cos.f64 t)) (sqrt.f64 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))) (sqrt.f64 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	29.4b	(fabs.f64 (-.f64 (.f64 (sqrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))) (sqrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	0.8b	(fabs.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))) (cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))) (cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 10473 to 2214 computations (78.9% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(*.f64 (neg.f64 eh) (tan.f64 t))
✓	0.1b	(.f64 (.f64 ew (cos.f64 t)) (sqrt.f64 (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))))
	2.5b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
	23.0b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series47.0ms (0.3%)

Counts

1 → 36

Calls

1 calls:

47.0ms

(*.f64 (*.f64 ew (cos.f64 t)) (sqrt.f64 (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))))

rewrite7.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`associate-r_binary64`
6×	`add-cbrt-cube_binary64`
6×	`add-exp-log_binary64`
6×	`pow1_binary64`
3×	`sqrt-prod_binary64`

Counts

1 → 24

Calls

1 calls:

6.0ms

(*.f64 (*.f64 ew (cos.f64 t)) (sqrt.f64 (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))))

simplify108.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

620×	`fma-neg_binary64`
410×	`cancel-sign-sub-inv_binary64`
357×	`fma-def_binary64`
286×	`*-commutative_binary64`
262×	`unswap-sqr_binary64`

Counts

60 → 45

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	87	1752
1	211	1590
2	663	1546
3	1200	1537
4	2309	1535
5	3834	1535
6	4594	1535
7	4834	1535

prune561.0ms (3.4%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	402	0	402
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	402	5	407

Error

0.0b

Counts

407 → 5

Alt Table

Status	Error	Program
✓	0.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	26.8b	(fabs.f64 (-.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))) (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
✓	0.1b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 ew (cos.f64 t)) (sqrt.f64 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))) (sqrt.f64 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	29.4b	(fabs.f64 (-.f64 (.f64 (sqrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))) (sqrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
▶	0.8b	(fabs.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))) (cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))) (cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 19876 to 3249 computations (83.7% saved)

localize23.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(.f64 (cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))) (cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	2.5b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
✓	3.5b	(cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))))
	23.0b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series3.2s (19.4%)

Counts

2 → 72

Calls

2 calls:

2.0s

(*.f64 (cbrt.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))) (cbrt.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

1.1s

(cbrt.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))))

rewrite14.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`cbrt-div_binary64`
14×	`cos-atan_binary64`
9×	`associate-*r/_binary64`
9×	`pow1_binary64`
8×	`add-sqr-sqrt_binary64`

Counts

2 → 54

Calls

2 calls:

6.0ms

(*.f64 (cbrt.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))) (cbrt.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

4.0ms

(cbrt.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))))

simplify147.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

683×	`times-frac_binary64`
487×	`fma-neg_binary64`
276×	`*-commutative_binary64`
257×	`fma-def_binary64`
189×	`log-prod_binary64`

Counts

126 → 108

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	155	5172
1	367	4802
2	1035	4301
3	2716	3814
4	4823	3814
5	5006	3814

prune566.0ms (3.5%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	436	1	437
Fresh	1	1	2
Picked	0	1	1
Done	0	2	2
Total	437	5	442

Error

0.0b

Counts

442 → 5

Alt Table

Status	Error	Program
✓	0.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	26.8b	(fabs.f64 (-.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))) (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
✓	0.1b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 ew (cos.f64 t)) (sqrt.f64 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))) (sqrt.f64 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
✓	0.8b	(fabs.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))) (cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))) (cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
▶	1.1b	(fabs.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))) (cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))) (cbrt.f64 (cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))) (cbrt.f64 (cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 31281 to 3961 computations (87.3% saved)

localize26.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.6b	(cbrt.f64 (cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	2.5b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
	3.5b	(cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))))
	23.0b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series1.2s (7.4%)

Counts

1 → 36

Calls

1 calls:

1.2s	(cbrt.f64 (cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

rewrite3.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`cbrt-prod_binary64`
4×	`cbrt-div_binary64`
2×	`*-un-lft-identity_binary64`
2×	`add-sqr-sqrt_binary64`
2×	`cos-atan_binary64`

Counts

1 → 16

Calls

1 calls:

2.0ms

(cbrt.f64 (cbrt.f64 (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

simplify129.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

565×	`cancel-sign-sub-inv_binary64`
384×	`times-frac_binary64`
373×	`sub-neg_binary64`
324×	`fma-neg_binary64`
279×	`neg-sub0_binary64`

Counts

52 → 42

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	93	2110
1	202	2020
2	477	1931
3	1677	1843
4	4155	1775
5	4532	1679
6	4955	1679
7	4872	1679

prune836.0ms (5.1%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	700	0	700
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	700	5	705

Error

0.0b

Counts

705 → 5

Alt Table

Status	Error	Program
✓	0.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	26.8b	(fabs.f64 (-.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))) (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
✓	0.1b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 ew (cos.f64 t)) (sqrt.f64 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))) (sqrt.f64 (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
✓	0.8b	(fabs.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))) (cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))) (cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
✓	1.1b	(fabs.f64 (-.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))) (cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))) (cbrt.f64 (cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))) (cbrt.f64 (cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 74773 to 6670 computations (91.1% saved)

regimes362.0ms (2.2%)

Accuracy

Total 0.0b remaining (14.6%)

Threshold costs 0.0b (14.6%)

Counts

50 → 1

Compiler

Compiled 15489 to 6613 computations (57.3% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

19×	`*-commutative_binary64`
15×	`+-commutative_binary64`
15×	`sub-neg_binary64`
13×	`neg-sub0_binary64`
13×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	48
1	40	48
2	69	48
3	97	48
4	118	48
5	129	48
6	131	48
7	131	48

end116.0ms (0.7%)

Compiler: Compiled 373 to 146 computations (60.9% saved)

Details

analyze2.4s (14.5%)

sample5.7s (35.2%)

simplify276.0ms (1.7%)

prune2.0ms (0%)

localize19.0ms (0.1%)

series240.0ms (1.5%)

rewrite18.0ms (0.1%)

simplify120.0ms (0.7%)

prune177.0ms (1.1%)

localize22.0ms (0.1%)

series47.0ms (0.3%)

rewrite7.0ms (0%)

simplify108.0ms (0.7%)

prune561.0ms (3.4%)

localize23.0ms (0.1%)

series3.2s (19.4%)

rewrite14.0ms (0.1%)

simplify147.0ms (0.9%)

prune566.0ms (3.5%)

localize26.0ms (0.2%)

series1.2s (7.4%)

rewrite3.0ms (0%)

simplify129.0ms (0.8%)

prune836.0ms (5.1%)

regimes362.0ms (2.2%)

simplify5.0ms (0%)

end116.0ms (0.7%)

Profiling