Details

analyze4.2s (28.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
0%	99.9%	0.1%	7
0%	99.9%	0.1%	8
0%	99.9%	0.1%	9
0%	99.9%	0.1%	10
0%	99.9%	0.1%	11
0%	99.9%	0.1%	12
0%	99.9%	0.1%	13
0%	99.9%	0.1%	14

Compiler

Compiled 34 to 19 computations (44.1% saved)

sample6.1s (41.2%)

Results

3.2s	2043×	body	1024	valid
1.4s	4651×	body	128	valid
934.0ms	1000×	body	512	valid
347.0ms	554×	body	256	valid
26.0ms	8×	body	2048	valid

Compiler

Compiled 101 to 56 computations (44.6% saved)

simplify284.0ms (1.9%)

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)

localize21.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 ew (cos.f64 t))
✓	4.2b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
✓	21.7b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series150.0ms (1%)

Counts

4 → 120

Calls

4 calls:

89.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
29.0ms	(*.f64 (neg.f64 eh) (tan.f64 t))
21.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))
10.0ms	(*.f64 ew (cos.f64 t))

rewrite17.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:

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

simplify109.0ms (0.7%)

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

prune253.0ms (1.7%)

Pruning

5 alts after pruning (5 fresh and 0 done)

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

Error

0.1b

Counts

261 → 5

Alt Table

Status	Error	Program
	0.9b	(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.9b	(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)) (cbrt.f64 (pow.f64 (cos.f64 (atan.f64 (neg.f64 (/.f64 (.f64 (tan.f64 t) eh) ew)))) 3))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	16.1b	(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))))))

Compiler

Compiled 9657 to 2152 computations (77.7% saved)

localize29.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(cbrt.f64 (pow.f64 (cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))) 3))
	4.2b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
✓	4.2b	(/.f64 (*.f64 (tan.f64 t) eh) ew)
✓	21.7b	(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))

series92.0ms (0.6%)

Counts

3 → 80

Calls

3 calls:

45.0ms	(/.f64 (*.f64 (tan.f64 t) eh) ew)
24.0ms	(cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew))))
23.0ms	(cbrt.f64 (pow.f64 (cos.f64 (atan.f64 (neg.f64 (/.f64 (*.f64 (tan.f64 t) eh) ew)))) 3))

rewrite10.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`cbrt-prod_binary64`
8×	`*-un-lft-identity_binary64`
8×	`add-sqr-sqrt_binary64`
8×	`add-cube-cbrt_binary64`
8×	`add-cbrt-cube_binary64`

Counts

3 → 59

Calls

3 calls:

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

simplify124.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

425×	`associate-/l*_binary64`
316×	`times-frac_binary64`
306×	`distribute-neg-frac_binary64`
282×	`associate-l_binary64`
244×	`associate-*l/_binary64`

Counts

139 → 75

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	132	2349
1	267	2202
2	818	2202
3	2870	2199
4	4584	2185
5	4999	2185
6	4919	2185

prune176.0ms (1.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	124	0	124
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	124	5	129

Error

0.1b

Counts

129 → 5

Alt Table

Status	Error	Program
	0.9b	(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.9b	(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)) (cbrt.f64 (pow.f64 (cos.f64 (atan.f64 (neg.f64 (/.f64 (.f64 (tan.f64 t) eh) ew)))) 3))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	16.1b	(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))))))

Compiler

Compiled 5347 to 1680 computations (68.6% saved)

localize27.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)))
	4.2b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
	21.7b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series1.4s (9.2%)

Counts

2 → 48

Calls

2 calls:

861.0ms	(.f64 (cbrt.f64 (.f64 ew (cos.f64 t))) (cbrt.f64 (*.f64 ew (cos.f64 t))))
507.0ms	(cbrt.f64 (*.f64 ew (cos.f64 t)))

rewrite11.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:

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

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

prune307.0ms (2.1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	254	3	257
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	255	7	262

Error

0.1b

Counts

262 → 7

Alt Table

Status	Error	Program
	0.9b	(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.9b	(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))) (.f64 (cbrt.f64 ew) (cbrt.f64 (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)) (cbrt.f64 (pow.f64 (cos.f64 (atan.f64 (neg.f64 (/.f64 (.f64 (tan.f64 t) eh) ew)))) 3))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	30.4b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 ew (cos.f64 t))) (cbrt.f64 (.f64 ew (cos.f64 t)))) (-.f64 (cbrt.f64 ew) (.f64 (cbrt.f64 ew) (fma.f64 1/6 (.f64 t t) (.f64 1/72 (pow.f64 t 4)))))) (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))) (.f64 (cbrt.f64 -1) (cbrt.f64 (/.f64 (cos.f64 t) (/.f64 -1 ew))))) (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))))))
	16.1b	(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))))))

Compiler

Compiled 13089 to 2484 computations (81% saved)

localize34.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series44.0ms (0.3%)

Counts

1 → 12

Calls

1 calls:

44.0ms

(cbrt.f64 ew)

rewrite1.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`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 → 13

Calls

1 calls:

1.0ms

(cbrt.f64 ew)

simplify61.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

610×	`associate-/l/_binary64`
374×	`log-prod_binary64`
316×	`distribute-rgt-neg-in_binary64`
314×	`distribute-lft-neg-in_binary64`
287×	`*-commutative_binary64`

Counts

25 → 18

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	24	141
1	38	137
2	86	137
3	208	137
4	626	133
5	1904	133
6	2565	133
7	3552	133
8	4861	133

prune264.0ms (1.8%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	188	1	189
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	188	8	196

Error

0.1b

Counts

196 → 8

Alt Table

Status	Error	Program
	0.9b	(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.9b	(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))) (.f64 (cbrt.f64 ew) (cbrt.f64 (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)) (cbrt.f64 (pow.f64 (cos.f64 (atan.f64 (neg.f64 (/.f64 (.f64 (tan.f64 t) eh) ew)))) 3))) (.f64 (.f64 eh (sin.f64 t)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	30.4b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 ew (cos.f64 t))) (cbrt.f64 (.f64 ew (cos.f64 t)))) (-.f64 (cbrt.f64 ew) (.f64 (cbrt.f64 ew) (fma.f64 1/6 (.f64 t t) (.f64 1/72 (pow.f64 t 4)))))) (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))) (.f64 (cbrt.f64 -1) (cbrt.f64 (/.f64 (cos.f64 t) (/.f64 -1 ew))))) (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))))))
	16.1b	(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))))))
	1.2b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 ew (cos.f64 t))) (.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 ew)) (cbrt.f64 (cbrt.f64 ew))) (cbrt.f64 (cbrt.f64 ew))) (cbrt.f64 (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))))))

Compiler

Compiled 9783 to 1728 computations (82.3% saved)

regimes819.0ms (5.5%)

Accuracy

Total 0.0b remaining (31.8%)

Threshold costs 0.0b (31.8%)

Counts

110 → 1

Compiler

Compiled 21699 to 12883 computations (40.6% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

22×	`*-commutative_binary64`
17×	`+-commutative_binary64`
17×	`sub-neg_binary64`
15×	`neg-sub0_binary64`
15×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	55
1	42	55
2	72	55
3	105	55
4	130	55
5	144	55
6	147	55
7	147	55

end216.0ms (1.5%)

Compiler: Compiled 437 to 240 computations (45.1% saved)

Details

analyze4.2s (28.4%)

sample6.1s (41.2%)

simplify284.0ms (1.9%)

prune2.0ms (0%)

localize21.0ms (0.1%)

series150.0ms (1%)

rewrite17.0ms (0.1%)

simplify109.0ms (0.7%)

prune253.0ms (1.7%)

localize29.0ms (0.2%)

series92.0ms (0.6%)

rewrite10.0ms (0.1%)

simplify124.0ms (0.8%)

prune176.0ms (1.2%)

localize27.0ms (0.2%)

series1.4s (9.2%)

rewrite11.0ms (0.1%)

simplify85.0ms (0.6%)

prune307.0ms (2.1%)

localize34.0ms (0.2%)

series44.0ms (0.3%)

rewrite1.0ms (0%)

simplify61.0ms (0.4%)

prune264.0ms (1.8%)

regimes819.0ms (5.5%)

simplify5.0ms (0%)

end216.0ms (1.5%)

Profiling