Details

analyze2.5s (20.4%)

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)

sample6.0s (48.5%)

Results

3.2s	2080×	body	1024	valid
1.4s	4696×	body	128	valid
901.0ms	951×	body	512	valid
339.0ms	526×	body	256	valid
10.0ms	3×	body	2048	valid

Compiler

Compiled 101 to 56 computations (44.6% saved)

simplify280.0ms (2.3%)

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)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series95.0ms (0.8%)

Counts

4 → 120

Calls

4 calls:

45.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
23.0ms	(*.f64 (neg.f64 eh) (tan.f64 t))
19.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))
8.0ms	(*.f64 ew (cos.f64 t))

rewrite15.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

4 → 85

Calls

4 calls:

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

simplify111.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

434×	`fma-def_binary64`
411×	`div-sub_binary64`
327×	`associate-/l/_binary64`
269×	`fma-neg_binary64`
151×	`distribute-rgt-neg-in_binary64`

Counts

205 → 155

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	193	2830
1	486	2656
2	1788	2613
3	4290	2611
4	5400	2611

prune221.0ms (1.8%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	254	6	260
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	255	6	261

Error

0.1b

Counts

261 → 6

Alt Table

Status	Error	Program
	0.4b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 ew (.f64 (cbrt.f64 (cos.f64 t)) (cbrt.f64 (cos.f64 t)))) (cbrt.f64 (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))))))
	34.4b	(fabs.f64 (-.f64 (.f64 (.f64 (sqrt.f64 ew) (.f64 (sqrt.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 (.f64 (cbrt.f64 ew) (cbrt.f64 ew)) (.f64 (cbrt.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))))))
	33.7b	(fabs.f64 (-.f64 (.f64 (.f64 (sqrt.f64 (.f64 ew (cos.f64 t))) (sqrt.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))))))
	27.4b	(fabs.f64 (-.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 ew (cos.f64 t)) (.f64 ew (cos.f64 t))) (.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 ew (cos.f64 t)) (/.f64 1 (hypot.f64 1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 9731 to 2190 computations (77.5% saved)

localize27.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(*.f64 (neg.f64 eh) (tan.f64 t))
✓	0.2b	(/.f64 1 (hypot.f64 1 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
	1.8b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
✓	1.8b	(/.f64 (*.f64 (tan.f64 t) eh) ew)

series248.0ms (2%)

Counts

2 → 72

Calls

2 calls:

203.0ms	(/.f64 1 (hypot.f64 1 (/.f64 (*.f64 (tan.f64 t) eh) ew)))
44.0ms	(/.f64 (*.f64 (tan.f64 t) eh) ew)

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`*-un-lft-identity_binary64`
12×	`times-frac_binary64`
12×	`add-sqr-sqrt_binary64`
12×	`add-cube-cbrt_binary64`
11×	`add-exp-log_binary64`

Counts

2 → 57

Calls

2 calls:

4.0ms	(/.f64 (*.f64 (tan.f64 t) eh) ew)
2.0ms	(/.f64 1 (hypot.f64 1 (/.f64 (*.f64 (tan.f64 t) eh) ew)))

simplify169.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

361×	`associate-/r/_binary64`
361×	`fma-neg_binary64`
331×	`fma-def_binary64`
302×	`associate-/l/_binary64`
234×	`cancel-sign-sub-inv_binary64`

Counts

129 → 125

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	220	3357
1	599	3198
2	2331	3153
3	4701	3153
4	4984	3153
5	4999	3153
6	4997	3153
7	4958	3153

prune397.0ms (3.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	230	0	230
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	230	6	236

Error

0.1b

Counts

236 → 6

Alt Table

Status	Error	Program
▶	0.4b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 ew (.f64 (cbrt.f64 (cos.f64 t)) (cbrt.f64 (cos.f64 t)))) (cbrt.f64 (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))))))
	34.4b	(fabs.f64 (-.f64 (.f64 (.f64 (sqrt.f64 ew) (.f64 (sqrt.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 (.f64 (cbrt.f64 ew) (cbrt.f64 ew)) (.f64 (cbrt.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))))))
	33.7b	(fabs.f64 (-.f64 (.f64 (.f64 (sqrt.f64 (.f64 ew (cos.f64 t))) (sqrt.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))))))
	27.4b	(fabs.f64 (-.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 ew (cos.f64 t)) (.f64 ew (cos.f64 t))) (.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 ew (cos.f64 t)) (/.f64 1 (hypot.f64 1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 9717 to 3568 computations (63.3% saved)

localize26.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 (cbrt.f64 (cos.f64 t)) (cbrt.f64 (cos.f64 t)))
✓	0.3b	(cbrt.f64 (cos.f64 t))
	1.8b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
	23.9b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series416.0ms (3.3%)

Counts

2 → 24

Calls

2 calls:

235.0ms	(*.f64 (cbrt.f64 (cos.f64 t)) (cbrt.f64 (cos.f64 t)))
180.0ms	(cbrt.f64 (cos.f64 t))

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64`
19×	`cbrt-prod_binary64`
11×	`*-un-lft-identity_binary64`
11×	`add-cube-cbrt_binary64`
9×	`pow1_binary64`

Counts

2 → 55

Calls

2 calls:

6.0ms	(*.f64 (cbrt.f64 (cos.f64 t)) (cbrt.f64 (cos.f64 t)))
1.0ms	(cbrt.f64 (cos.f64 t))

simplify118.0ms (1%)

Algorithm

1×	egg-herbie

Rules

731×	`log-prod_binary64`
499×	`unswap-sqr_binary64`
478×	`fma-def_binary64`
432×	`cancel-sign-sub-inv_binary64`
389×	`distribute-rgt-neg-in_binary64`

Counts

79 → 84

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	82	826
1	170	744
2	479	706
3	1310	684
4	3373	564
5	4171	564
6	4644	564
7	4991	564
8	4891	564

prune474.0ms (3.8%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	247	2	249
Fresh	0	4	4
Picked	1	0	1
Done	0	1	1
Total	248	7	255

Error

0.1b

Counts

255 → 7

Alt Table

Status	Error	Program
	27.4b	(fabs.f64 (-.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 ew (cos.f64 t)) (.f64 ew (cos.f64 t))) (.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.3b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 ew (cbrt.f64 (pow.f64 (cos.f64 t) 2))) (cbrt.f64 (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))))))
	34.4b	(fabs.f64 (-.f64 (.f64 (.f64 (sqrt.f64 ew) (.f64 (sqrt.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 (.f64 (cbrt.f64 ew) (cbrt.f64 ew)) (.f64 (cbrt.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))))))
	33.7b	(fabs.f64 (-.f64 (.f64 (.f64 (sqrt.f64 (.f64 ew (cos.f64 t))) (sqrt.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))))))
	20.0b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 ew (.f64 (.f64 (cbrt.f64 (sqrt.f64 (cos.f64 t))) (cbrt.f64 (sqrt.f64 (cos.f64 t)))) (.f64 (cbrt.f64 (sqrt.f64 (cos.f64 t))) (cbrt.f64 (sqrt.f64 (cos.f64 t)))))) (cbrt.f64 (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 ew (cos.f64 t)) (/.f64 1 (hypot.f64 1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 11607 to 2276 computations (80.4% saved)

localize26.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(cbrt.f64 (cos.f64 t))
✓	0.3b	(cbrt.f64 (pow.f64 (cos.f64 t) 2))
	1.8b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
	23.9b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series240.0ms (1.9%)

Counts

1 → 12

Calls

1 calls:

240.0ms

(cbrt.f64 (pow.f64 (cos.f64 t) 2))

rewrite2.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`cbrt-prod_binary64`
3×	`*-un-lft-identity_binary64`
3×	`add-sqr-sqrt_binary64`
3×	`unpow-prod-down_binary64`
3×	`add-cube-cbrt_binary64`

Counts

1 → 18

Calls

1 calls:

2.0ms

(cbrt.f64 (pow.f64 (cos.f64 t) 2))

simplify83.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

565×	`log-prod_binary64`
471×	`associate-l_binary64`
407×	`distribute-rgt-neg-in_binary64`
400×	`distribute-rgt-in_binary64`
383×	`associate-r_binary64`

Counts

30 → 28

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	51	358
1	105	302
2	228	300
3	623	296
4	2284	296
5	4577	296
6	4963	296
7	4900	296

prune362.0ms (2.9%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	170	0	170
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	170	7	177

Error

0.1b

Counts

177 → 7

Alt Table

Status	Error	Program
	27.4b	(fabs.f64 (-.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 ew (cos.f64 t)) (.f64 ew (cos.f64 t))) (.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.3b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 ew (cbrt.f64 (pow.f64 (cos.f64 t) 2))) (cbrt.f64 (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))))))
	34.4b	(fabs.f64 (-.f64 (.f64 (.f64 (sqrt.f64 ew) (.f64 (sqrt.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 (.f64 (cbrt.f64 ew) (cbrt.f64 ew)) (.f64 (cbrt.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))))))
	33.7b	(fabs.f64 (-.f64 (.f64 (.f64 (sqrt.f64 (.f64 ew (cos.f64 t))) (sqrt.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))))))
	20.0b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 ew (.f64 (.f64 (cbrt.f64 (sqrt.f64 (cos.f64 t))) (cbrt.f64 (sqrt.f64 (cos.f64 t)))) (.f64 (cbrt.f64 (sqrt.f64 (cos.f64 t))) (cbrt.f64 (sqrt.f64 (cos.f64 t)))))) (cbrt.f64 (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 ew (cos.f64 t)) (/.f64 1 (hypot.f64 1 (/.f64 (.f64 (tan.f64 t) eh) ew)))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 7563 to 2311 computations (69.4% saved)

regimes331.0ms (2.7%)

Accuracy

Total 0.0b remaining (32.8%)

Threshold costs 0.0b (32.8%)

Counts

44 → 1

Compiler

Compiled 8459 to 4948 computations (41.5% saved)

simplify14.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

67×	`distribute-rgt-neg-in_binary64`
48×	`cancel-sign-sub-inv_binary64`
43×	`distribute-lft-neg-in_binary64`
35×	`neg-sub0_binary64`
35×	`neg-mul-1_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	23	67
1	43	67
2	73	63
3	109	63
4	136	63
5	160	63
6	184	63
7	198	63
8	207	63
9	222	63
10	239	63
11	250	63
12	273	63
13	294	63
14	316	63
15	325	63
16	324	63
17	318	63

end168.0ms (1.4%)

Compiler: Compiled 373 to 202 computations (45.8% saved)

Iter	Nodes	Cost
0	23	67
1	43	67
2	73	63
3	109	63
4	136	63
5	160	63
6	184	63
7	198	63
8	207	63
9	222	63
10	239	63
11	250	63
12	273	63
13	294	63
14	316	63
15	325	63
16	324	63
17	318	63

Iter	Nodes	Cost
0	23	67
1	43	67
2	73	63
3	109	63
4	136	63
5	160	63
6	184	63
7	198	63
8	207	63
9	222	63
10	239	63
11	250	63
12	273	63
13	294	63
14	316	63
15	325	63
16	324	63
17	318	63

Details

analyze2.5s (20.4%)

sample6.0s (48.5%)

simplify280.0ms (2.3%)

prune2.0ms (0%)

localize20.0ms (0.2%)

series95.0ms (0.8%)

rewrite15.0ms (0.1%)

simplify111.0ms (0.9%)

prune221.0ms (1.8%)

localize27.0ms (0.2%)

series248.0ms (2%)

rewrite9.0ms (0.1%)

simplify169.0ms (1.4%)

prune397.0ms (3.2%)

localize26.0ms (0.2%)

series416.0ms (3.3%)

rewrite9.0ms (0.1%)

simplify118.0ms (1%)

prune474.0ms (3.8%)

localize26.0ms (0.2%)

series240.0ms (1.9%)

rewrite2.0ms (0%)

simplify83.0ms (0.7%)

prune362.0ms (2.9%)

regimes331.0ms (2.7%)

simplify14.0ms (0.1%)

end168.0ms (1.4%)

Profiling

Iter	Nodes	Cost
0	23	67
1	43	67
2	73	63
3	109	63
4	136	63
5	160	63
6	184	63
7	198	63
8	207	63
9	222	63
10	239	63
11	250	63
12	273	63
13	294	63
14	316	63
15	325	63
16	324	63
17	318	63