Details

analyze2.4s (19.9%)

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)

sample305.0ms (2.5%)

Algorithm

1×

intervals

Results

80.0ms	61×	body	1024	valid
30.0ms	145×	body	128	valid
25.0ms	34×	body	512	valid
7.0ms	16×	body	256	valid

Compiler

Compiled 70 to 40 computations (42.9% 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)

localize19.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))
✓	2.3b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
✓	22.0b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series139.0ms (1.2%)

Counts

4 → 120

Calls

4 calls:

86.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
25.0ms	(*.f64 (neg.f64 eh) (tan.f64 t))
20.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))
8.0ms	(*.f64 ew (cos.f64 t))

rewrite16.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)))

simplify105.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

prune179.0ms (1.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

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

Error

0.1b

Counts

261 → 6

Alt Table

Status	Error	Program
	13.7b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 ew (sqrt.f64 (cos.f64 t))) (sqrt.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))))))
	35.6b	(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))))))
	42.6b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 (sqrt.f64 ew) (sqrt.f64 (cos.f64 t))) (.f64 (sqrt.f64 ew) (sqrt.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))))))
	36.1b	(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))))))
▶	0.9b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 ew (cos.f64 t))) (cbrt.f64 (.f64 ew (cos.f64 t)))) (cbrt.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 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 9696 to 2160 computations (77.7% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(.f64 (cbrt.f64 (.f64 ew (cos.f64 t))) (cbrt.f64 (*.f64 ew (cos.f64 t))))
✓	0.6b	(cbrt.f64 (*.f64 ew (cos.f64 t)))
	2.3b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
	22.0b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series1.5s (12.4%)

Counts

2 → 48

Calls

2 calls:

1.1s	(.f64 (cbrt.f64 (.f64 ew (cos.f64 t))) (cbrt.f64 (*.f64 ew (cos.f64 t))))
437.0ms	(cbrt.f64 (*.f64 ew (cos.f64 t)))

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`pow1_binary64`
8×	`add-sqr-sqrt_binary64`
7×	`pow1/3_binary64`
6×	`*-un-lft-identity_binary64`
6×	`add-cube-cbrt_binary64`

Counts

2 → 44

Calls

2 calls:

5.0ms	(.f64 (cbrt.f64 (.f64 ew (cos.f64 t))) (cbrt.f64 (*.f64 ew (cos.f64 t))))
2.0ms	(cbrt.f64 (*.f64 ew (cos.f64 t)))

simplify77.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

660×	`fma-neg_binary64`
596×	`unswap-sqr_binary64`
456×	`cancel-sign-sub-inv_binary64`
281×	`distribute-rgt-neg-in_binary64`
263×	`distribute-lft-neg-in_binary64`

Counts

92 → 86

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	124	1664
1	300	1491
2	892	1244
3	2087	1013
4	4498	1013
5	4982	1013

prune239.0ms (2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	256	1	257
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	257	6	263

Error

0.1b

Counts

263 → 6

Alt Table

Status	Error	Program
	13.7b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 ew (sqrt.f64 (cos.f64 t))) (sqrt.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))))))
	35.6b	(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))))))
	36.1b	(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))))))
✓	0.9b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 ew (cos.f64 t))) (cbrt.f64 (.f64 ew (cos.f64 t)))) (cbrt.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 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.2b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 ew (cos.f64 t))) (cbrt.f64 (.f64 ew (cos.f64 t)))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 ew (cos.f64 t)))) (cbrt.f64 (cbrt.f64 (.f64 ew (cos.f64 t))))) (cbrt.f64 (cbrt.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 12938 to 2378 computations (81.6% saved)

localize27.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series649.0ms (5.4%)

Counts

1 → 24

Calls

1 calls:

649.0ms

(cbrt.f64 (cbrt.f64 (*.f64 ew (cos.f64 t))))

rewrite3.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`cbrt-prod_binary64`
2×	`*-un-lft-identity_binary64`
2×	`add-sqr-sqrt_binary64`
2×	`add-cube-cbrt_binary64`
1×	`add-cbrt-cube_binary64`

Counts

1 → 14

Calls

1 calls:

3.0ms

(cbrt.f64 (cbrt.f64 (*.f64 ew (cos.f64 t))))

simplify75.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

793×	`distribute-rgt-neg-in_binary64`
665×	`distribute-lft-neg-in_binary64`
557×	`cancel-sign-sub-inv_binary64`
358×	`neg-mul-1_binary64`
321×	`fma-neg_binary64`

Counts

38 → 28

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	70	641
1	148	633
2	347	574
3	1181	498
4	2853	496
5	4648	496
6	5024	496

prune382.0ms (3.2%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	333	0	333
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	333	6	339

Error

0.1b

Counts

339 → 6

Alt Table

Status	Error	Program
▶	13.7b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 ew (sqrt.f64 (cos.f64 t))) (sqrt.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))))))
	35.6b	(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))))))
	36.1b	(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))))))
✓	0.9b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 ew (cos.f64 t))) (cbrt.f64 (.f64 ew (cos.f64 t)))) (cbrt.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 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.2b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 ew (cos.f64 t))) (cbrt.f64 (.f64 ew (cos.f64 t)))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 ew (cos.f64 t)))) (cbrt.f64 (cbrt.f64 (.f64 ew (cos.f64 t))))) (cbrt.f64 (cbrt.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 21771 to 3297 computations (84.9% saved)

localize38.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series9.0ms (0.1%)

Counts

1 → 24

Calls

1 calls:

9.0ms

(*.f64 (*.f64 ew (sqrt.f64 (cos.f64 t))) (sqrt.f64 (cos.f64 t)))

rewrite7.0ms (0.1%)

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 → 23

Calls

1 calls:

5.0ms

(*.f64 (*.f64 ew (sqrt.f64 (cos.f64 t))) (sqrt.f64 (cos.f64 t)))

simplify84.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

827×	`fma-neg_binary64`
420×	`associate-l_binary64`
398×	`fma-def_binary64`
367×	`distribute-rgt-neg-in_binary64`
303×	`cancel-sign-sub-inv_binary64`

Counts

47 → 39

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	64	454
1	162	414
2	491	406
3	1080	402
4	2332	400
5	4478	400
6	4585	400
7	4860	400

prune303.0ms (2.5%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	270	0	270
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	270	6	276

Error

0.1b

Counts

276 → 6

Alt Table

Status	Error	Program
✓	13.7b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 ew (sqrt.f64 (cos.f64 t))) (sqrt.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))))))
	35.6b	(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))))))
	36.1b	(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))))))
✓	0.9b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 ew (cos.f64 t))) (cbrt.f64 (.f64 ew (cos.f64 t)))) (cbrt.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 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.2b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 ew (cos.f64 t))) (cbrt.f64 (.f64 ew (cos.f64 t)))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 ew (cos.f64 t)))) (cbrt.f64 (cbrt.f64 (.f64 ew (cos.f64 t))))) (cbrt.f64 (cbrt.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 11156 to 2121 computations (81% saved)

regimes291.0ms (2.4%)

Accuracy

Total 0.0b remaining (26.9%)

Threshold costs 0.0b (26.9%)

Counts

42 → 1

Compiler

Compiled 9159 to 4888 computations (46.6% 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

end1.0ms (0%)

Compiler: Compiled 32 to 21 computations (34.4% saved)

sample4.9s (40.5%)

Algorithm

1×

intervals

Results

2.5s	2033×	body	1024	valid
943.0ms	4480×	body	128	valid
678.0ms	977×	body	512	valid
239.0ms	506×	body	256	valid
12.0ms	4×	body	2048	valid

Compiler

Compiled 324 to 166 computations (48.8% saved)

Details

analyze2.4s (19.9%)

sample305.0ms (2.5%)

simplify280.0ms (2.3%)

prune2.0ms (0%)

localize19.0ms (0.2%)

series139.0ms (1.2%)

rewrite16.0ms (0.1%)

simplify105.0ms (0.9%)

prune179.0ms (1.5%)

localize24.0ms (0.2%)

series1.5s (12.4%)

rewrite9.0ms (0.1%)

simplify77.0ms (0.6%)

prune239.0ms (2%)

localize27.0ms (0.2%)

series649.0ms (5.4%)

rewrite3.0ms (0%)

simplify75.0ms (0.6%)

prune382.0ms (3.2%)

localize38.0ms (0.3%)

series9.0ms (0.1%)

rewrite7.0ms (0.1%)

simplify84.0ms (0.7%)

prune303.0ms (2.5%)

regimes291.0ms (2.4%)

simplify5.0ms (0%)

end1.0ms (0%)

sample4.9s (40.5%)

Profiling