Details

analyze2.4s (22.1%)

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

Results

3.0s	2112×	body	1024	valid
1.3s	4566×	body	128	valid
917.0ms	1034×	body	512	valid
333.0ms	540×	body	256	valid
15.0ms	4×	body	2048	valid

Compiler

Compiled 101 to 56 computations (44.6% saved)

simplify38.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

1286×	`fma-def_binary64`
698×	`fma-neg_binary64`
423×	`times-frac_binary64`
245×	`div-sub_binary64`
182×	`associate-/l*_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	50
1	44	50
2	118	50
3	290	50
4	456	50
5	801	50
6	1325	50
7	2149	50
8	3160	50
9	4423	50
10	4992	50

Stop Event

1×	node limit

Counts

1 → 2

prune4.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Kept	Total
New	2	2
Fresh	1	1
Picked	0	0
Done	0	0
Total	3	3

Error

0.1b

Counts

3 → 2

Alt Table

Status	Error	Program
	0.1b	(fabs.f64 (fma.f64 (sin.f64 (atan.f64 (.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))) (.f64 (neg.f64 eh) (sin.f64 t)) (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) (neg.f64 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))))))

Status

Error

Program

0.1b

(fabs.f64 (fma.f64 (sin.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) (neg.f64 ew))))) (*.f64 (neg.f64 eh) (sin.f64 t)) (*.f64 (*.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (*.f64 eh (/.f64 (tan.f64 t) (neg.f64 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 195 to 100 computations (48.7% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series87.0ms (0.8%)

Counts

4 → 120

Calls

4 calls:

43.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
21.0ms	(*.f64 ew (cos.f64 t))
17.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))
6.0ms	(*.f64 eh (sin.f64 t))

rewrite56.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

251×	`expm1-udef_binary64`
251×	`log1p-udef_binary64`
150×	`add-sqr-sqrt_binary64`
137×	`log1p-expm1-u_binary64`
137×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	38
1	289	34
2	3929	34

Stop Event

1×	node limit

Counts

4 → 96

Calls

4 calls:

54.0ms	(*.f64 eh (sin.f64 t))
54.0ms	(*.f64 ew (cos.f64 t))
54.0ms	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
54.0ms	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

simplify51.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

762×	`fma-neg_binary64`
370×	`distribute-rgt-neg-in_binary64`
367×	`distribute-lft-neg-in_binary64`
218×	`fma-def_binary64`
215×	`associate-r_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	77	1560
1	227	1549
2	768	1531
3	2895	1520

Stop Event

1×	node limit

Counts

216 → 126

prune167.0ms (1.5%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	174	6	180
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	176	6	182

Error

0.1b

Counts

182 → 6

Alt Table

Status	Error	Program
	24.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (pow.f64 (sqrt.f64 (.f64 eh (sin.f64 t))) 2) (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 (pow.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) 3) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	25.3b	(fabs.f64 (-.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 ew 3) (pow.f64 (cos.f64 t) 3))) (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.9b	(fabs.f64 (-.f64 (.f64 (pow.f64 (sqrt.f64 (.f64 ew (cos.f64 t))) 2) (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 (pow.f64 (cbrt.f64 (.f64 ew (cos.f64 t))) 3) (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.8b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (cbrt.f64 (pow.f64 (.f64 eh (sin.f64 t)) 3)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 6709 to 1772 computations (73.6% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.6b	(pow.f64 (cbrt.f64 (*.f64 eh (sin.f64 t))) 3)
	2.1b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
✓	8.2b	(cbrt.f64 (*.f64 eh (sin.f64 t)))
	22.3b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series87.0ms (0.8%)

Counts

2 → 16

Calls

2 calls:

54.0ms	(pow.f64 (cbrt.f64 (*.f64 eh (sin.f64 t))) 3)
32.0ms	(cbrt.f64 (*.f64 eh (sin.f64 t)))

rewrite37.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

596×	`log1p-expm1-u_binary64`
596×	`expm1-log1p-u_binary64`
319×	`log-prod_binary64`
121×	`expm1-udef_binary64`
121×	`log1p-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	159	14
2	1674	14

Stop Event

1×	node limit

Counts

2 → 63

Calls

2 calls:

36.0ms	(pow.f64 (cbrt.f64 (*.f64 eh (sin.f64 t))) 3)
36.0ms	(cbrt.f64 (*.f64 eh (sin.f64 t)))

simplify70.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

730×	`sqr-pow_binary64`
370×	`cube-prod_binary64`
362×	`unswap-sqr_binary64`
313×	`pow-sqr_binary64`
283×	`fabs-mul_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	112
1	14	112
2	19	112
3	28	112
4	50	112
5	139	112
6	519	112
7	1180	112
8	1270	112
9	1406	112
10	1567	112
11	1798	112
12	2123	112
13	2547	112
14	3050	112
15	3650	112
16	4375	112
17	4698	112
18	4984	112

Stop Event

1×	node limit

Counts

79 → 65

prune275.0ms (2.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	193	4	197
Fresh	0	5	5
Picked	1	0	1
Done	0	0	0
Total	194	9	203

Error

0.0b

Counts

203 → 9

Alt Table

Status	Error	Program
	0.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 (pow.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 eh (sin.f64 t)))) 2)) (cbrt.f64 (cbrt.f64 (.f64 eh (sin.f64 t))))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	25.3b	(fabs.f64 (-.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 ew 3) (pow.f64 (cos.f64 t) 3))) (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))))))
	32.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 (sin.f64 t)) (.f64 (sqrt.f64 (sin.f64 t)) eh)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	1.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (pow.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) 3) (sin.f64 (atan.f64 (.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.9b	(fabs.f64 (-.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 ew (cos.f64 t))) 3) (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))))))
	24.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (pow.f64 (sqrt.f64 (.f64 eh (sin.f64 t))) 2) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	36.9b	(fabs.f64 (-.f64 (.f64 (pow.f64 (sqrt.f64 (.f64 ew (cos.f64 t))) 2) (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.8b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (cbrt.f64 (pow.f64 (.f64 eh (sin.f64 t)) 3)) (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 (pow.f64 (cbrt.f64 (sin.f64 t)) 2) (.f64 (cbrt.f64 (sin.f64 t)) eh)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 8108 to 2356 computations (70.9% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(pow.f64 (cbrt.f64 (sin.f64 t)) 2)
✓	0.6b	(cbrt.f64 (sin.f64 t))
	2.1b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
	22.3b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series39.0ms (0.4%)

Counts

2 → 16

Calls

2 calls:

21.0ms	(pow.f64 (cbrt.f64 (sin.f64 t)) 2)
18.0ms	(cbrt.f64 (sin.f64 t))

rewrite35.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

435×	`log1p-expm1-u_binary64`
435×	`expm1-log1p-u_binary64`
273×	`unpow-prod-down_binary64`
216×	`log-prod_binary64`
131×	`pow2_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	119	13
2	1271	13

Stop Event

1×	node limit

Counts

2 → 74

Calls

2 calls:

34.0ms	(pow.f64 (cbrt.f64 (sin.f64 t)) 2)
34.0ms	(cbrt.f64 (sin.f64 t))

simplify58.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

650×	`sqr-pow_binary64`
455×	`associate-l_binary64`
399×	`cube-prod_binary64`
306×	`associate-r_binary64`
304×	`pow-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	104
1	21	104
2	35	104
3	61	104
4	126	104
5	383	104
6	1510	104
7	1773	104
8	2049	104
9	2361	104
10	2785	104
11	3413	104
12	4276	104
13	4871	104

Stop Event

1×	node limit

Counts

90 → 76

prune395.0ms (3.6%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	249	3	252
Fresh	1	7	8
Picked	1	0	1
Done	0	0	0
Total	251	10	261

Error

0.0b

Counts

261 → 10

Alt Table

Status	Error	Program
▶	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 (pow.f64 (log1p.f64 (expm1.f64 (cbrt.f64 (sin.f64 t)))) 2) (.f64 (cbrt.f64 (sin.f64 t)) eh)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	24.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (pow.f64 (sqrt.f64 (.f64 eh (sin.f64 t))) 2) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	4.2b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (pow.f64 (cbrt.f64 (sin.f64 t)) 2) (.f64 (pow.f64 (pow.f64 (sin.f64 t) 2) 1/6) eh)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	33.2b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (pow.f64 (pow.f64 (sin.f64 t) 1/3) 2) (.f64 (cbrt.f64 (sin.f64 t)) eh)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	0.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 (pow.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 eh (sin.f64 t)))) 2)) (cbrt.f64 (cbrt.f64 (.f64 eh (sin.f64 t))))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	25.3b	(fabs.f64 (-.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 ew 3) (pow.f64 (cos.f64 t) 3))) (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 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (pow.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) 3) (sin.f64 (atan.f64 (.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.9b	(fabs.f64 (-.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 ew (cos.f64 t))) 3) (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.9b	(fabs.f64 (-.f64 (.f64 (pow.f64 (sqrt.f64 (.f64 ew (cos.f64 t))) 2) (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.8b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (cbrt.f64 (pow.f64 (.f64 eh (sin.f64 t)) 3)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 11421 to 3301 computations (71.1% saved)

localize27.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(pow.f64 (log1p.f64 (expm1.f64 (cbrt.f64 (sin.f64 t)))) 2)
	0.6b	(cbrt.f64 (sin.f64 t))
	2.1b	(/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)
	22.3b	(cos.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew)))

series23.0ms (0.2%)

Counts

1 → 8

Calls

1 calls:

22.0ms

(pow.f64 (log1p.f64 (expm1.f64 (cbrt.f64 (sin.f64 t)))) 2)

rewrite44.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

511×	`expm1-log1p-u_binary64`
510×	`log1p-expm1-u_binary64`
320×	`unpow-prod-down_binary64`
254×	`log-prod_binary64`
151×	`pow2_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	8
1	141	8
2	1481	8

Stop Event

1×	node limit

Counts

1 → 39

Calls

1 calls:

43.0ms

(pow.f64 (log1p.f64 (expm1.f64 (cbrt.f64 (sin.f64 t)))) 2)

simplify56.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

796×	`unswap-sqr_binary64`
514×	`sqr-pow_binary64`
312×	`associate-l_binary64`
296×	`cube-prod_binary64`
215×	`fabs-mul_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	64
1	17	64
2	29	64
3	49	64
4	96	64
5	260	64
6	1059	64
7	2562	64
8	2799	64
9	3140	64
10	3506	64
11	3998	64
12	4683	64

Stop Event

1×	node limit

Counts

47 → 40

prune417.0ms (3.8%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	260	0	260
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	260	10	270

Error

0.0b

Counts

270 → 10

Alt Table

Status	Error	Program
✓	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 (pow.f64 (log1p.f64 (expm1.f64 (cbrt.f64 (sin.f64 t)))) 2) (.f64 (cbrt.f64 (sin.f64 t)) eh)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	24.1b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (pow.f64 (sqrt.f64 (.f64 eh (sin.f64 t))) 2) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	4.2b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (pow.f64 (cbrt.f64 (sin.f64 t)) 2) (.f64 (pow.f64 (pow.f64 (sin.f64 t) 2) 1/6) eh)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	33.2b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (.f64 (pow.f64 (pow.f64 (sin.f64 t) 1/3) 2) (.f64 (cbrt.f64 (sin.f64 t)) eh)) (sin.f64 (atan.f64 (/.f64 (*.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	0.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 (pow.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 eh (sin.f64 t)))) 2)) (cbrt.f64 (cbrt.f64 (.f64 eh (sin.f64 t))))) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))
	25.3b	(fabs.f64 (-.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 ew 3) (pow.f64 (cos.f64 t) 3))) (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 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (pow.f64 (cbrt.f64 (.f64 eh (sin.f64 t))) 3) (sin.f64 (atan.f64 (.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.9b	(fabs.f64 (-.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 ew (cos.f64 t))) 3) (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.9b	(fabs.f64 (-.f64 (.f64 (pow.f64 (sqrt.f64 (.f64 ew (cos.f64 t))) 2) (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.8b	(fabs.f64 (-.f64 (.f64 (.f64 ew (cos.f64 t)) (cos.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew)))) (.f64 (cbrt.f64 (pow.f64 (.f64 eh (sin.f64 t)) 3)) (sin.f64 (atan.f64 (/.f64 (.f64 (neg.f64 eh) (tan.f64 t)) ew))))))

Compiler

Compiled 11870 to 3299 computations (72.2% saved)

regimes498.0ms (4.6%)

Accuracy

Total 0.1b remaining (47.7%)

Threshold costs 0.1b (47.7%)

Counts

72 → 1

Compiler

Compiled 14159 to 8433 computations (40.4% 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	42	50
2	79	50
3	110	50
4	131	50
5	142	50
6	144	50

Stop Event

1×

saturated

end231.0ms (2.1%)

Compiler: Compiled 461 to 267 computations (42.1% saved)

Details

analyze2.4s (22.1%)

sample5.7s (52.4%)

simplify38.0ms (0.4%)

prune4.0ms (0%)

localize21.0ms (0.2%)

series87.0ms (0.8%)

rewrite56.0ms (0.5%)

simplify51.0ms (0.5%)

prune167.0ms (1.5%)

localize24.0ms (0.2%)

series87.0ms (0.8%)

rewrite37.0ms (0.3%)

simplify70.0ms (0.6%)

prune275.0ms (2.5%)

localize25.0ms (0.2%)

series39.0ms (0.4%)

rewrite35.0ms (0.3%)

simplify58.0ms (0.5%)

prune395.0ms (3.6%)

localize27.0ms (0.3%)

series23.0ms (0.2%)

rewrite44.0ms (0.4%)

simplify56.0ms (0.5%)

prune417.0ms (3.8%)

regimes498.0ms (4.6%)

simplify4.0ms (0%)

end231.0ms (2.1%)

Profiling