Details

analyze2.4s (20.6%)

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.9s (49.9%)

Results

3.2s	2038×	body	1024	valid
1.4s	4684×	body	128	valid
912.0ms	1026×	body	512	valid
291.0ms	499×	body	256	valid
26.0ms	9×	body	2048	valid

Compiler

Compiled 101 to 56 computations (44.6% saved)

simplify281.0ms (2.4%)

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

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 ew (cos.f64 t))
✓	0.1b	(*.f64 eh (sin.f64 t))
✓	3.7b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
✓	19.9b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series91.0ms (0.8%)

Counts

4 → 120

Calls

4 calls:

56.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
20.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))
7.0ms	(*.f64 ew (cos.f64 t))
7.0ms	(*.f64 eh (sin.f64 t))

rewrite14.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64`
13×	`add-cbrt-cube_binary64`
13×	`add-exp-log_binary64`
10×	`*-un-lft-identity_binary64`
10×	`add-cube-cbrt_binary64`

Counts

4 → 76

Calls

4 calls:

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

simplify88.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

828×	`fma-def_binary64`
292×	`associate-/l/_binary64`
262×	`fma-neg_binary64`
240×	`associate-/r/_binary64`
193×	`cancel-sign-sub-inv_binary64`

Counts

196 → 128

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	193	2564
1	470	2397
2	1771	2377
3	4204	2371
4	4944	2371

prune127.0ms (1.1%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	167	10	177
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	168	10	178

Error

0.0b

Counts

178 → 10

Alt Table

Status	Error	Program
	27.4b	(fabs.f64 (-.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 ew ew) ew) (.f64 (.f64 (cos.f64 t) (cos.f64 t)) (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))))))
	31.8b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (.f64 eh (sqrt.f64 (sin.f64 t))) (sqrt.f64 (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	0.6b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (.f64 eh (.f64 (cbrt.f64 (sin.f64 t)) (cbrt.f64 (sin.f64 t)))) (cbrt.f64 (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	31.9b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (sqrt.f64 (.f64 eh (sin.f64 t))) (sqrt.f64 (.f64 eh (sin.f64 t)))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	0.5b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) (cbrt.f64 (.f64 eh (sin.f64 t)))) (cbrt.f64 (.f64 eh (sin.f64 t)))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	15.6b	(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))))))
▶	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))))))
	29.7b	(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.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))))))

Compiler

Compiled 7214 to 1715 computations (76.2% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series442.0ms (3.7%)

Counts

2 → 24

Calls

2 calls:

268.0ms	(*.f64 (cbrt.f64 (cos.f64 t)) (cbrt.f64 (cos.f64 t)))
174.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:

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

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

prune443.0ms (3.7%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	247	2	249
Fresh	3	6	9
Picked	0	1	1
Done	0	0	0
Total	250	9	259

Error

0.0b

Counts

259 → 9

Alt Table

Status	Error	Program
	0.5b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 ew (.f64 (cbrt.f64 (cos.f64 t)) (cbrt.f64 (cos.f64 t)))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (cos.f64 t))) (cbrt.f64 (cbrt.f64 (cos.f64 t)))) (cbrt.f64 (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.2b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 ew (pow.f64 (pow.f64 (cos.f64 t) 2) 1/3)) (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))))))
	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))))))
	31.8b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (.f64 eh (sqrt.f64 (sin.f64 t))) (sqrt.f64 (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	0.6b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (.f64 eh (.f64 (cbrt.f64 (sin.f64 t)) (cbrt.f64 (sin.f64 t)))) (cbrt.f64 (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	31.9b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (sqrt.f64 (.f64 eh (sin.f64 t))) (sqrt.f64 (.f64 eh (sin.f64 t)))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	0.5b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) (cbrt.f64 (.f64 eh (sin.f64 t)))) (cbrt.f64 (.f64 eh (sin.f64 t)))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
✓	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))))))
	29.7b	(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))))))

Compiler

Compiled 11817 to 2367 computations (80% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series3.0ms (0%)

Counts

1 → 4

Calls

1 calls:

3.0ms

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

rewrite2.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`pow-unpow_binary64`
3×	`*-un-lft-identity_binary64`
3×	`add-sqr-sqrt_binary64`
3×	`unpow-prod-down_binary64`
3×	`add-cube-cbrt_binary64`

Counts

1 → 20

Calls

1 calls:

2.0ms

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

simplify60.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

884×	`fma-neg_binary64`
621×	`associate-l_binary64`
428×	`associate-r_binary64`
421×	`cube-prod_binary64`
404×	`log-prod_binary64`

Counts

24 → 30

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	46	235
1	96	192
2	211	192
3	604	189
4	2490	189
5	4325	189
6	4975	189

prune344.0ms (2.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	171	1	172
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	171	10	181

Error

0.0b

Counts

181 → 10

Alt Table

Status	Error	Program
	31.8b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (.f64 eh (sqrt.f64 (sin.f64 t))) (sqrt.f64 (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	15.7b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 ew (pow.f64 (pow.f64 (cos.f64 t) 2) 1/3)) (.f64 (cbrt.f64 (sqrt.f64 (cos.f64 t))) (cbrt.f64 (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))))))
▶	0.5b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 ew (.f64 (cbrt.f64 (cos.f64 t)) (cbrt.f64 (cos.f64 t)))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (cos.f64 t))) (cbrt.f64 (cbrt.f64 (cos.f64 t)))) (cbrt.f64 (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.2b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 ew (pow.f64 (pow.f64 (cos.f64 t) 2) 1/3)) (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))))))
	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.6b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (.f64 eh (.f64 (cbrt.f64 (sin.f64 t)) (cbrt.f64 (sin.f64 t)))) (cbrt.f64 (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	31.9b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (sqrt.f64 (.f64 eh (sin.f64 t))) (sqrt.f64 (.f64 eh (sin.f64 t)))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	0.5b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) (cbrt.f64 (.f64 eh (sin.f64 t)))) (cbrt.f64 (.f64 eh (sin.f64 t)))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
✓	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))))))
	29.7b	(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))))))

Compiler

Compiled 8306 to 2732 computations (67.1% 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 (cbrt.f64 (cos.f64 t)))
	3.7b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
	19.9b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series169.0ms (1.4%)

Counts

1 → 12

Calls

1 calls:

169.0ms

(cbrt.f64 (cbrt.f64 (cos.f64 t)))

rewrite2.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

1 → 16

Calls

1 calls:

1.0ms

(cbrt.f64 (cbrt.f64 (cos.f64 t)))

simplify83.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

487×	`distribute-rgt-out--_binary64`
408×	`distribute-rgt-neg-in_binary64`
373×	`distribute-rgt-out_binary64`
365×	`unsub-neg_binary64`
355×	`*-commutative_binary64`

Counts

28 → 26

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	45	294
1	85	294
2	182	292
3	476	282
4	1618	278
5	3369	278
6	4421	278
7	4985	278

prune582.0ms (4.9%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	312	0	312
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	312	10	322

Error

0.0b

Counts

322 → 10

Alt Table

Status	Error	Program
	31.8b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (.f64 eh (sqrt.f64 (sin.f64 t))) (sqrt.f64 (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	15.7b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 ew (pow.f64 (pow.f64 (cos.f64 t) 2) 1/3)) (.f64 (cbrt.f64 (sqrt.f64 (cos.f64 t))) (cbrt.f64 (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))))))
✓	0.5b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 ew (.f64 (cbrt.f64 (cos.f64 t)) (cbrt.f64 (cos.f64 t)))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (cos.f64 t))) (cbrt.f64 (cbrt.f64 (cos.f64 t)))) (cbrt.f64 (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.2b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 ew (pow.f64 (pow.f64 (cos.f64 t) 2) 1/3)) (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))))))
	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.6b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (.f64 eh (.f64 (cbrt.f64 (sin.f64 t)) (cbrt.f64 (sin.f64 t)))) (cbrt.f64 (sin.f64 t))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	31.9b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (sqrt.f64 (.f64 eh (sin.f64 t))) (sqrt.f64 (.f64 eh (sin.f64 t)))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	0.5b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) (cbrt.f64 (.f64 eh (sin.f64 t)))) (cbrt.f64 (.f64 eh (sin.f64 t)))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
✓	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))))))
	29.7b	(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))))))

Compiler

Compiled 17810 to 2867 computations (83.9% saved)

regimes360.0ms (3%)

Accuracy

Total 0.1b remaining (56.3%)

Threshold costs 0.1b (56.3%)

Counts

54 → 1

Compiler

Compiled 11229 to 6228 computations (44.5% saved)

simplify4.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	21	50
1	41	50
2	71	50
3	100	50
4	125	50
5	135	50
6	137	50
7	135	50

end203.0ms (1.7%)

Compiler: Compiled 496 to 254 computations (48.8% saved)

Details

analyze2.4s (20.6%)

sample5.9s (49.9%)

simplify281.0ms (2.4%)

prune2.0ms (0%)

localize21.0ms (0.2%)

series91.0ms (0.8%)

rewrite14.0ms (0.1%)

simplify88.0ms (0.7%)

prune127.0ms (1.1%)

localize22.0ms (0.2%)

series442.0ms (3.7%)

rewrite9.0ms (0.1%)

simplify115.0ms (1%)

prune443.0ms (3.7%)

localize25.0ms (0.2%)

series3.0ms (0%)

rewrite2.0ms (0%)

simplify60.0ms (0.5%)

prune344.0ms (2.9%)

localize26.0ms (0.2%)

series169.0ms (1.4%)

rewrite2.0ms (0%)

simplify83.0ms (0.7%)

prune582.0ms (4.9%)

regimes360.0ms (3%)

simplify4.0ms (0%)

end203.0ms (1.7%)

Profiling