Details

analyze2.5s (12.3%)

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)

sample307.0ms (1.5%)

Algorithm

1×

intervals

Results

72.0ms	58×	body	1024	valid
34.0ms	147×	body	128	valid
30.0ms	42×	body	512	valid
4.0ms	9×	body	256	valid

Compiler

Compiled 70 to 40 computations (42.9% saved)

simplify279.0ms (1.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.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)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))
✓	2.9b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
✓	23.8b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series132.0ms (0.7%)

Counts

4 → 132

Calls

4 calls:

48.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
40.0ms	(.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))
24.0ms	(*.f64 (neg.f64 eh) (tan.f64 t))
21.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:

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

simplify127.0ms (0.6%)

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

prune314.0ms (1.6%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	270	3	273
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	271	3	274

Error

0.1b

Counts

274 → 3

Alt Table

Status	Error	Program
▶	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.5b	(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 10294 to 2164 computations (79% saved)

localize27.0ms (0.1%)

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

series94.0ms (0.5%)

Counts

3 → 80

Calls

3 calls:

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

rewrite9.0ms (0%)

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

simplify119.0ms (0.6%)

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

prune201.0ms (1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	124	0	124
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	124	3	127

Error

0.1b

Counts

127 → 3

Alt Table

Status	Error	Program
✓	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.5b	(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 5266 to 1603 computations (69.6% saved)

localize24.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.9b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
✓	3.3b	(cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))))
	23.8b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series4.4s (21.6%)

Counts

2 → 72

Calls

2 calls:

2.8s

(*.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.6s

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

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

simplify162.0ms (0.8%)

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	4203
3	2716	3703
4	4823	3703
5	5006	3703

prune598.0ms (3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	433	4	437
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	434	6	440

Error

0.1b

Counts

440 → 6

Alt Table

Status	Error	Program
✓	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))))))
▶	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))))))
	1.3b	(fabs.f64 (-.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 ew (.f64 (cos.f64 t) (cos.f64 (atan.f64 (neg.f64 (/.f64 (.f64 (tan.f64 t) eh) ew)))))))) 5) (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 (.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))))))
	30.8b	(fabs.f64 (-.f64 (.f64 (.f64 (sqrt.f64 (cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))) (.f64 (sqrt.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))))))
	30.5b	(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))))))
	1.1b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 (cbrt.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 (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 (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 31701 to 4067 computations (87.2% saved)

localize28.0ms (0.1%)

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.9b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
	3.3b	(cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))))
	23.8b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series1.7s (8.3%)

Counts

1 → 36

Calls

1 calls:

1.7s	(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))))))

simplify122.0ms (0.6%)

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: 3 (0.0ms)

Iter	Nodes	Cost
0	93	1880
1	202	1838
2	477	1709
3	1677	1559
4	4155	1559
5	4532	1559
6	4955	1559
7	4872	1559

prune1.2s (5.7%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	700	0	700
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	700	6	706

Error

0.1b

Counts

706 → 6

Alt Table

Status	Error	Program
✓	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))))))
✓	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))))))
	1.3b	(fabs.f64 (-.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 ew (.f64 (cos.f64 t) (cos.f64 (atan.f64 (neg.f64 (/.f64 (.f64 (tan.f64 t) eh) ew)))))))) 5) (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 (.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))))))
	30.8b	(fabs.f64 (-.f64 (.f64 (.f64 (sqrt.f64 (cbrt.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))))) (.f64 (sqrt.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))))))
	30.5b	(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))))))
	1.1b	(fabs.f64 (-.f64 (.f64 (.f64 (.f64 (cbrt.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 (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 (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 74899 to 6678 computations (91.1% saved)

regimes2.9s (14.4%)

Accuracy

Total 0.0b remaining (18.7%)

Threshold costs 0.0b (18.7%)

Counts

351 → 1

Compiler

Compiled 106864 to 45978 computations (57% 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	26	55
1	45	55
2	75	55
3	102	55
4	121	55
5	131	55
6	133	55
7	133	55

end1.0ms (0%)

Compiler: Compiled 36 to 21 computations (41.7% saved)

sample5.0s (24.7%)

Algorithm

1×

intervals

Results

2.5s	1983×	body	1024	valid
956.0ms	4457×	body	128	valid
784.0ms	1079×	body	512	valid
225.0ms	473×	body	256	valid
23.0ms	8×	body	2048	valid

Compiler

Compiled 547 to 192 computations (64.9% saved)

Details

analyze2.5s (12.3%)

sample307.0ms (1.5%)

simplify279.0ms (1.4%)

prune2.0ms (0%)

localize21.0ms (0.1%)

series132.0ms (0.7%)

rewrite18.0ms (0.1%)

simplify127.0ms (0.6%)

prune314.0ms (1.6%)

localize27.0ms (0.1%)

series94.0ms (0.5%)

rewrite9.0ms (0%)

simplify119.0ms (0.6%)

prune201.0ms (1%)

localize24.0ms (0.1%)

series4.4s (21.6%)

rewrite16.0ms (0.1%)

simplify162.0ms (0.8%)

prune598.0ms (3%)

localize28.0ms (0.1%)

series1.7s (8.3%)

rewrite3.0ms (0%)

simplify122.0ms (0.6%)

prune1.2s (5.7%)

regimes2.9s (14.4%)

simplify4.0ms (0%)

end1.0ms (0%)

sample5.0s (24.7%)

Profiling