Details

analyze6.1s (24.8%)

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
9.4%	90.5%	0.1%	7
14%	85.8%	0.1%	8
16.4%	83.5%	0.1%	9
24.6%	75.3%	0.1%	10
28.7%	71.2%	0.1%	11
30.7%	69.1%	0.1%	12
35.8%	64%	0.1%	13
38.4%	61.5%	0.1%	14

Compiler

Compiled 32 to 18 computations (43.8% saved)

sample5.6s (22.9%)

Results

2.9s	2004×	body	1024	valid
1.4s	4652×	body	128	valid
910.0ms	1049×	body	512	valid
306.0ms	545×	body	256	valid
22.0ms	6×	body	2048	valid

Compiler

Compiled 95 to 53 computations (44.2% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Rules

12×	`fma-def_binary64`
11×	`*-commutative_binary64`
6×	`associate-r_binary64`
6×	`associate-l_binary64`
1×	`+-commutative_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	44
1	30	44
2	50	44
3	56	44
4	56	44

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.2b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.2b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.2b	(fabs.f64 (+.f64 (.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (.f64 (.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))

Status

Error

Program

▶

0.2b

(fabs.f64 (fma.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))

0.2b

(fabs.f64 (+.f64 (*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))

Compiler

Compiled 180 to 85 computations (52.8% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 ew (sin.f64 t))
✓	0.2b	(*.f64 eh (cos.f64 t))
✓	1.3b	(/.f64 (/.f64 eh ew) (tan.f64 t))
✓	36.7b	(cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))

series104.0ms (0.4%)

Counts

4 → 120

Calls

4 calls:

69.0ms	(/.f64 (/.f64 eh ew) (tan.f64 t))
19.0ms	(cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))
8.0ms	(*.f64 ew (sin.f64 t))
7.0ms	(*.f64 eh (cos.f64 t))

rewrite69.0ms (0.3%)

Algorithm

2×	batch-egg-rewrite

Rules

257×	`expm1-udef_binary64`
257×	`log1p-udef_binary64`
238×	`log-pow_binary64`
141×	`add-sqr-sqrt_binary64`
129×	`add-log-exp_binary64`

Counts

4 → 94

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	34
1	270	34
2	3560	34
3	5030	34
0	0	0
1	0	0

simplify96.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

567×	`fma-neg_binary64`
350×	`distribute-rgt-neg-in_binary64`
347×	`distribute-lft-neg-in_binary64`
242×	`neg-mul-1_binary64`
209×	`associate-r_binary64`

Counts

214 → 122

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	73	1411
1	209	1402
2	620	1382
3	1957	1378
4	4790	1378
5	4994	1378
6	4944	1378

prune167.0ms (0.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	166	6	172
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	167	7	174

Error

0.1b

Counts

174 → 7

Alt Table

Status	Error	Program
	7.4b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 eh (.f64 t ew)))))))
	28.4b	(fabs.f64 (fma.f64 (pow.f64 (sqrt.f64 (.f64 ew (sin.f64 t))) 2) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.6b	(fabs.f64 (fma.f64 (pow.f64 (cbrt.f64 (.f64 ew (sin.f64 t))) 3) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	29.2b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (cbrt.f64 (*.f64 (pow.f64 eh 3) (pow.f64 (cos.f64 t) 3))) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	33.2b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (pow.f64 (sqrt.f64 (*.f64 eh (cos.f64 t))) 2) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.9b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (pow.f64 (cbrt.f64 (*.f64 eh (cos.f64 t))) 3) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
▶	0.2b	(fabs.f64 (+.f64 (.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (.f64 (.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))

Compiler

Compiled 6089 to 1591 computations (73.9% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))
	0.2b	(*.f64 eh (cos.f64 t))
	1.3b	(/.f64 (/.f64 eh ew) (tan.f64 t))
	36.7b	(cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))

series37.0ms (0.2%)

Counts

1 → 36

Calls

1 calls:

37.0ms

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

rewrite56.0ms (0.2%)

Algorithm

2×	batch-egg-rewrite

Rules

243×	`expm1-udef_binary64`
243×	`log1p-udef_binary64`
223×	`log-pow_binary64`
153×	`log-div_binary64`
133×	`add-sqr-sqrt_binary64`

Counts

1 → 16

Calls

1 calls:

55.0ms

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	21
1	254	20
2	3404	20
3	5124	20
0	0	0
1	0	0

simplify95.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

696×	`cancel-sign-sub-inv_binary64`
593×	`distribute-rgt-neg-in_binary64`
506×	`distribute-lft-neg-in_binary64`
499×	`fma-neg_binary64`
397×	`sub-neg_binary64`

Counts

52 → 26

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	33	904
1	96	836
2	306	796
3	1058	796
4	2482	796
5	3833	796
6	4629	796
7	4947	796

prune218.0ms (0.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	173	1	174
Fresh	1	5	6
Picked	0	1	1
Done	0	0	0
Total	174	7	181

Error

0.1b

Counts

181 → 7

Alt Table

Status	Error	Program
	7.4b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 eh (.f64 t ew)))))))
	28.4b	(fabs.f64 (fma.f64 (pow.f64 (sqrt.f64 (.f64 ew (sin.f64 t))) 2) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
▶	0.6b	(fabs.f64 (+.f64 (pow.f64 (cbrt.f64 (.f64 ew (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t)))))) 3) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	29.2b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (cbrt.f64 (*.f64 (pow.f64 eh 3) (pow.f64 (cos.f64 t) 3))) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	33.2b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (pow.f64 (sqrt.f64 (*.f64 eh (cos.f64 t))) 2) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.9b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (pow.f64 (cbrt.f64 (*.f64 eh (cos.f64 t))) 3) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
✓	0.2b	(fabs.f64 (+.f64 (.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (.f64 (.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))

Compiler

Compiled 6341 to 1728 computations (72.7% saved)

localize23.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(pow.f64 (cbrt.f64 (*.f64 ew (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t)))))) 3)
	1.3b	(/.f64 (/.f64 eh ew) (tan.f64 t))
✓	1.9b	(*.f64 ew (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t)))))
✓	21.8b	(cbrt.f64 (*.f64 ew (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t))))))

series4.4s (17.8%)

Counts

3 → 108

Calls

3 calls:

2.2s

(cbrt.f64 (*.f64 ew (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t))))))

1.9s

(pow.f64 (cbrt.f64 (*.f64 ew (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t)))))) 3)

327.0ms

(*.f64 ew (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t)))))

rewrite84.0ms (0.3%)

Algorithm

2×	batch-egg-rewrite

Rules

264×	`expm1-udef_binary64`
264×	`log1p-udef_binary64`
148×	`add-sqr-sqrt_binary64`
140×	`log1p-expm1-u_binary64`
140×	`expm1-log1p-u_binary64`

Counts

3 → 99

Calls

3 calls:

82.0ms

(pow.f64 (cbrt.f64 (*.f64 ew (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t)))))) 3)

82.0ms

(*.f64 ew (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t)))))

82.0ms

(cbrt.f64 (*.f64 ew (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t))))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	62
1	302	62
2	3863	62
3	4912	62
0	0	0
1	0	0

simplify171.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

729×	`times-frac_binary64`
559×	`associate-/l*_binary64`
350×	`fma-def_binary64`
195×	`*-commutative_binary64`
159×	`cancel-sign-sub-inv_binary64`

Counts

207 → 218

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	484	9294
1	1762	8884
2	4929	8878
3	4964	8878

prune494.0ms (2%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	314	4	318
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	314	11	325

Error

0.1b

Counts

325 → 11

Alt Table

Status	Error	Program
	15.3b	(fabs.f64 (+.f64 (.f64 (.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (cbrt.f64 (.f64 ew ew))) (cbrt.f64 ew)) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	28.4b	(fabs.f64 (fma.f64 (pow.f64 (sqrt.f64 (.f64 ew (sin.f64 t))) 2) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	7.4b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 eh (.f64 t ew)))))))
▶	0.6b	(fabs.f64 (+.f64 (.f64 (.f64 ew (pow.f64 (cbrt.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t))))) 2)) (cbrt.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t)))))) (.f64 (.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	20.4b	(fabs.f64 (+.f64 (.f64 (sqrt.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (.f64 (sqrt.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t))))) ew)) (.f64 (.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
✓	0.6b	(fabs.f64 (+.f64 (pow.f64 (cbrt.f64 (.f64 ew (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t)))))) 3) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	29.2b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (cbrt.f64 (*.f64 (pow.f64 eh 3) (pow.f64 (cos.f64 t) 3))) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.7b	(fabs.f64 (+.f64 (pow.f64 (.f64 (cbrt.f64 ew) (cbrt.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t)))))) 3) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	33.2b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (pow.f64 (sqrt.f64 (*.f64 eh (cos.f64 t))) 2) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.9b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (pow.f64 (cbrt.f64 (*.f64 eh (cos.f64 t))) 3) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
✓	0.2b	(fabs.f64 (+.f64 (.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (.f64 (.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))

Compiler

Compiled 19264 to 9431 computations (51% saved)

localize24.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(pow.f64 (cbrt.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t))))) 2)
✓	1.0b	(*.f64 ew (pow.f64 (cbrt.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t))))) 2))
	1.3b	(/.f64 (/.f64 eh ew) (tan.f64 t))
✓	17.7b	(cbrt.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t)))))

series4.8s (19.7%)

Counts

3 → 108

Calls

3 calls:

1.7s

(*.f64 ew (pow.f64 (cbrt.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t))))) 2))

1.6s

(pow.f64 (cbrt.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t))))) 2)

1.5s

(cbrt.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t)))))

rewrite71.0ms (0.3%)

Algorithm

2×	batch-egg-rewrite

Rules

268×	`expm1-udef_binary64`
268×	`log1p-udef_binary64`
152×	`add-sqr-sqrt_binary64`
143×	`log1p-expm1-u_binary64`
143×	`expm1-log1p-u_binary64`

Counts

3 → 67

Calls

3 calls:

69.0ms

(pow.f64 (cbrt.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t))))) 2)

69.0ms

(*.f64 ew (pow.f64 (cbrt.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t))))) 2))

69.0ms

(cbrt.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t)))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	66
1	312	62
2	3832	62
3	4926	62
0	0	0
1	0	0

simplify252.0ms (1%)

Algorithm

1×	egg-herbie

Rules

653×	`fma-def_binary64`
615×	`times-frac_binary64`
486×	`associate-/l*_binary64`
361×	`associate-/r*_binary64`
192×	`*-commutative_binary64`

Counts

175 → 193

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	470	9913
1	1668	9444
2	4907	9406
3	5207	9406

prune822.0ms (3.4%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	414	2	416
Fresh	3	5	8
Picked	1	0	1
Done	0	2	2
Total	418	9	427

Error

0.1b

Counts

427 → 9

Alt Table

Status	Error	Program
	0.5b	(fabs.f64 (+.f64 (.f64 (.f64 ew (pow.f64 (cbrt.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t))))) 2)) (/.f64 1 (cbrt.f64 (/.f64 (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t))) (sin.f64 t))))) (.f64 (.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	28.4b	(fabs.f64 (fma.f64 (pow.f64 (sqrt.f64 (.f64 ew (sin.f64 t))) 2) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
✓	0.6b	(fabs.f64 (+.f64 (pow.f64 (cbrt.f64 (.f64 ew (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t)))))) 3) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	29.2b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (cbrt.f64 (*.f64 (pow.f64 eh 3) (pow.f64 (cos.f64 t) 3))) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.7b	(fabs.f64 (+.f64 (pow.f64 (.f64 (cbrt.f64 ew) (cbrt.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t)))))) 3) (.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	33.2b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (pow.f64 (sqrt.f64 (*.f64 eh (cos.f64 t))) 2) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	0.9b	(fabs.f64 (fma.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (.f64 (pow.f64 (cbrt.f64 (*.f64 eh (cos.f64 t))) 3) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
✓	0.2b	(fabs.f64 (+.f64 (.f64 (.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (.f64 (.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
	3.4b	(fabs.f64 (+.f64 (.f64 (.f64 ew (cbrt.f64 (pow.f64 (sin.f64 t) 2))) (cbrt.f64 (/.f64 (sin.f64 t) (hypot.f64 1 (/.f64 (/.f64 eh ew) (tan.f64 t)))))) (.f64 (.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))

Compiler

Compiled 30320 to 14135 computations (53.4% saved)

regimes583.0ms (2.4%)

Accuracy

Total 0.1b remaining (47.5%)

Threshold costs 0.1b (47.5%)

Counts

71 → 1

Compiler

Compiled 13611 to 8054 computations (40.8% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	46
1	27	46
2	27	46

end210.0ms (0.9%)

Compiler: Compiled 383 to 229 computations (40.2% saved)

Details

analyze6.1s (24.8%)

sample5.6s (22.9%)

simplify7.0ms (0%)

prune4.0ms (0%)

localize19.0ms (0.1%)

series104.0ms (0.4%)

rewrite69.0ms (0.3%)

simplify96.0ms (0.4%)

prune167.0ms (0.7%)

localize20.0ms (0.1%)

series37.0ms (0.2%)

rewrite56.0ms (0.2%)

simplify95.0ms (0.4%)

prune218.0ms (0.9%)

localize23.0ms (0.1%)

series4.4s (17.8%)

rewrite84.0ms (0.3%)

simplify171.0ms (0.7%)

prune494.0ms (2%)

localize24.0ms (0.1%)

series4.8s (19.7%)

rewrite71.0ms (0.3%)

simplify252.0ms (1%)

prune822.0ms (3.4%)

regimes583.0ms (2.4%)

simplify2.0ms (0%)

end210.0ms (0.9%)

Profiling