Details

analyze1.2s (13%)

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
18.7%	81.1%	0.1%	8
26.5%	72.9%	0.5%	9
38.2%	60.7%	1.1%	10
41.7%	54.9%	3.4%	11
47.6%	47.4%	5%	12
53.4%	39.4%	7.2%	13
54.9%	34.5%	10.6%	14

Compiler

Compiled 20 to 15 computations (25% saved)

sample2.9s (30.5%)

Alt Table

Status	Error	Program
▶	26.9b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))

Symmetry

(sort c s)

Results

1.1s	6327×	body	128	valid
643.0ms	983×	body	1024	valid
338.0ms	1921×	body	128	invalid
262.0ms	600×	body	512	valid
141.0ms	215×	body	1024	invalid
124.0ms	234×	body	512	invalid
102.0ms	342×	body	256	valid
53.0ms	178×	body	256	invalid
4.0ms	4×	body	2048	valid

Compiler

Compiled 97 to 72 computations (25.8% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
✓	2.8b	(.f64 (.f64 x (pow.f64 s 2)) x)
✓	8.0b	(*.f64 x (pow.f64 s 2))
✓	17.5b	(.f64 (pow.f64 c 2) (.f64 (*.f64 x (pow.f64 s 2)) x))

series212.0ms (2.2%)

Counts

4 → 120

Calls

4 calls:

153.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
38.0ms	(.f64 (pow.f64 c 2) (.f64 (*.f64 x (pow.f64 s 2)) x))
12.0ms	(.f64 (.f64 x (pow.f64 s 2)) x)
8.0ms	(*.f64 x (pow.f64 s 2))

rewrite101.0ms (1.1%)

Algorithm

2×	batch-egg-rewrite

Rules

301×	`prod-diff_binary64`
240×	`expm1-udef_binary64`
240×	`log1p-udef_binary64`
221×	`log-pow_binary64`
135×	`add-sqr-sqrt_binary64`

Counts

4 → 89

Calls

4 calls:

97.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
97.0ms	(.f64 (.f64 x (pow.f64 s 2)) x)
97.0ms	(*.f64 x (pow.f64 s 2))
97.0ms	(.f64 (pow.f64 c 2) (.f64 (*.f64 x (pow.f64 s 2)) x))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	57
1	275	57
2	3342	57
3	4862	57
4	5046	57
0	0	0
1	0	0

prune219.0ms (2.3%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	199	10	209
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	199	11	210

Error

13.9b

Counts

210 → 11

Alt Table

Status	Error	Program
	41.7b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (pow.f64 (.f64 s (sqrt.f64 x)) 2) x)))
	27.0b	(.f64 (/.f64 (pow.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) 2) (pow.f64 (cbrt.f64 (.f64 (.f64 c c) (.f64 x (.f64 x (.f64 s s))))) 2)) (cbrt.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 (.f64 c c) (.f64 x (.f64 x (*.f64 s s)))))))
	34.4b	(.f64 (/.f64 1 (.f64 c (.f64 (sqrt.f64 x) (.f64 s (sqrt.f64 x))))) (/.f64 (cos.f64 (+.f64 x x)) (.f64 c (.f64 (sqrt.f64 x) (*.f64 s (sqrt.f64 x))))))
	27.2b	(/.f64 (cos.f64 (.f64 2 x)) (expm1.f64 (log1p.f64 (.f64 (.f64 c c) (.f64 x (.f64 x (.f64 s s)))))))
✓	26.9b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
	34.5b	(/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (.f64 c (.f64 (sqrt.f64 x) (.f64 s (sqrt.f64 x)))) 2))
	27.0b	(/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (cbrt.f64 (.f64 (.f64 c c) (.f64 x (.f64 x (.f64 s s))))) 3))
	31.2b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 s 2) (*.f64 (pow.f64 c 2) (pow.f64 x 2))))
▶	24.9b	(.f64 (/.f64 1 (.f64 (.f64 c c) (.f64 x (*.f64 s s)))) (/.f64 (cos.f64 (+.f64 x x)) x))
	41.3b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (pow.f64 (.f64 (sqrt.f64 x) (.f64 s (sqrt.f64 x))) 2)))
	34.5b	(.f64 (/.f64 (pow.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) 2) (.f64 c (.f64 (sqrt.f64 x) (.f64 s (sqrt.f64 x))))) (/.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) (.f64 c (.f64 (sqrt.f64 x) (*.f64 s (sqrt.f64 x))))))

Compiler

Compiled 4391 to 2390 computations (45.6% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.9b	(/.f64 1 (.f64 (.f64 c c) (.f64 x (.f64 s s))))
✓	6.4b	(.f64 (/.f64 1 (.f64 (.f64 c c) (.f64 x (*.f64 s s)))) (/.f64 (cos.f64 (+.f64 x x)) x))
✓	8.0b	(.f64 x (.f64 s s))
✓	16.8b	(.f64 (.f64 c c) (.f64 x (.f64 s s)))

series329.0ms (3.5%)

Counts

4 → 132

Calls

4 calls:

164.0ms	(.f64 (/.f64 1 (.f64 (.f64 c c) (.f64 x (*.f64 s s)))) (/.f64 (cos.f64 (+.f64 x x)) x))
117.0ms	(/.f64 1 (.f64 (.f64 c c) (.f64 x (.f64 s s))))
39.0ms	(.f64 (.f64 c c) (.f64 x (.f64 s s)))
8.0ms	(.f64 x (.f64 s s))

rewrite92.0ms (1%)

Algorithm

2×	batch-egg-rewrite

Rules

532×	`prod-diff_binary64`
153×	`add-sqr-sqrt_binary64`
143×	`log1p-expm1-u_binary64`
143×	`expm1-log1p-u_binary64`
142×	`add-cbrt-cube_binary64`

Counts

4 → 131

Calls

4 calls:

88.0ms	(/.f64 1 (.f64 (.f64 c c) (.f64 x (.f64 s s))))
88.0ms	(.f64 (/.f64 1 (.f64 (.f64 c c) (.f64 x (*.f64 s s)))) (/.f64 (cos.f64 (+.f64 x x)) x))
88.0ms	(.f64 x (.f64 s s))
88.0ms	(.f64 (.f64 c c) (.f64 x (.f64 s s)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	60
1	306	55
2	3944	55
3	4898	55
0	0	0
1	0	0

prune306.0ms (3.2%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	255	8	263
Fresh	2	7	9
Picked	1	0	1
Done	1	0	1
Total	259	15	274

Error

8.8b

Counts

274 → 15

Alt Table

Status	Error	Program
	42.7b	(pow.f64 (/.f64 (sqrt.f64 (/.f64 (cos.f64 (+.f64 x x)) x)) (.f64 c (.f64 s (sqrt.f64 x)))) 2)
	27.2b	(/.f64 (cos.f64 (.f64 2 x)) (expm1.f64 (log1p.f64 (.f64 (.f64 c c) (.f64 x (.f64 x (.f64 s s)))))))
	27.6b	(/.f64 (/.f64 (/.f64 (cos.f64 (+.f64 x x)) x) (.f64 (.f64 c c) x)) (*.f64 s s))
	36.7b	(/.f64 (cos.f64 (+.f64 x x)) (/.f64 (pow.f64 (.f64 c (.f64 s (sqrt.f64 x))) 2) (/.f64 1 x)))
▶	18.2b	(/.f64 (/.f64 (/.f64 (cos.f64 (+.f64 x x)) x) c) (.f64 c (.f64 x (*.f64 s s))))
	34.5b	(.f64 (/.f64 (pow.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) 2) (.f64 c (.f64 (sqrt.f64 x) (.f64 s (sqrt.f64 x))))) (/.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) (.f64 c (.f64 (sqrt.f64 x) (*.f64 s (sqrt.f64 x))))))
	34.4b	(.f64 (/.f64 1 (.f64 c (.f64 (sqrt.f64 x) (.f64 s (sqrt.f64 x))))) (/.f64 (cos.f64 (+.f64 x x)) (.f64 c (.f64 (sqrt.f64 x) (*.f64 s (sqrt.f64 x))))))
	27.2b	(/.f64 (.f64 (pow.f64 c -2) (cos.f64 (+.f64 x x))) (.f64 (.f64 x (.f64 s s)) x))
	34.5b	(/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (.f64 c (.f64 (sqrt.f64 x) (.f64 s (sqrt.f64 x)))) 2))
	27.0b	(/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (cbrt.f64 (.f64 (.f64 c c) (.f64 x (.f64 x (.f64 s s))))) 3))
	36.4b	(.f64 (pow.f64 (/.f64 1 (.f64 c (*.f64 s (sqrt.f64 x)))) 2) (/.f64 (cos.f64 (+.f64 x x)) x))
	31.2b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 s 2) (*.f64 (pow.f64 c 2) (pow.f64 x 2))))
	36.9b	(/.f64 (/.f64 (/.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 c (.f64 s (sqrt.f64 x))) 2)) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))
	20.8b	(.f64 (/.f64 1 (/.f64 c (/.f64 1 (.f64 c (.f64 x (.f64 s s)))))) (/.f64 (cos.f64 (+.f64 x x)) x))
	41.7b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (pow.f64 (.f64 s (sqrt.f64 x)) 2) x)))

Compiler

Compiled 5581 to 2576 computations (53.8% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(cos.f64 (+.f64 x x))
✓	5.5b	(/.f64 (/.f64 (/.f64 (cos.f64 (+.f64 x x)) x) c) (.f64 c (.f64 x (*.f64 s s))))
✓	7.9b	(.f64 c (.f64 x (*.f64 s s)))
✓	8.0b	(.f64 x (.f64 s s))

series238.0ms (2.5%)

Counts

4 → 108

Calls

4 calls:

208.0ms	(/.f64 (/.f64 (/.f64 (cos.f64 (+.f64 x x)) x) c) (.f64 c (.f64 x (*.f64 s s))))
20.0ms	(.f64 c (.f64 x (*.f64 s s)))
8.0ms	(.f64 x (.f64 s s))
2.0ms	(cos.f64 (+.f64 x x))

rewrite94.0ms (1%)

Algorithm

2×	batch-egg-rewrite

Rules

568×	`prod-diff_binary64`
144×	`add-sqr-sqrt_binary64`
135×	`log1p-expm1-u_binary64`
135×	`expm1-log1p-u_binary64`
134×	`add-log-exp_binary64`

Counts

4 → 124

Calls

4 calls:

90.0ms	(cos.f64 (+.f64 x x))
90.0ms	(/.f64 (/.f64 (/.f64 (cos.f64 (+.f64 x x)) x) c) (.f64 c (.f64 x (*.f64 s s))))
90.0ms	(.f64 c (.f64 x (*.f64 s s)))
90.0ms	(.f64 x (.f64 s s))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	47
1	276	47
2	4033	47
3	5107	47
0	0	0
1	0	0

prune340.0ms (3.6%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	224	8	232
Fresh	5	9	14
Picked	0	1	1
Done	0	0	0
Total	229	18	247

Error

2.9b

Counts

247 → 18

Alt Table

Status	Error	Program
	42.7b	(pow.f64 (/.f64 (sqrt.f64 (/.f64 (cos.f64 (+.f64 x x)) x)) (.f64 c (.f64 s (sqrt.f64 x)))) 2)
	31.6b	(.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 (/.f64 (cos.f64 (+.f64 x x)) x) c)) 2) (.f64 (sqrt.f64 (.f64 x c)) s)) (/.f64 (cbrt.f64 (/.f64 (/.f64 (cos.f64 (+.f64 x x)) x) c)) (.f64 (sqrt.f64 (*.f64 x c)) s)))
	34.5b	(/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (.f64 c (.f64 (sqrt.f64 x) (.f64 s (sqrt.f64 x)))) 2))
	21.6b	(.f64 (/.f64 (/.f64 (cos.f64 (+.f64 x x)) x) (.f64 x c)) (/.f64 (/.f64 1 c) (*.f64 s s)))
	18.4b	(.f64 (cbrt.f64 (/.f64 (/.f64 (/.f64 (cos.f64 (+.f64 x x)) x) c) (.f64 (.f64 x (.f64 s s)) c))) (pow.f64 (cbrt.f64 (/.f64 (/.f64 (/.f64 (cos.f64 (+.f64 x x)) x) c) (.f64 (.f64 x (*.f64 s s)) c))) 2))
	33.1b	(/.f64 (/.f64 (/.f64 (cos.f64 (+.f64 x x)) x) c) (pow.f64 (.f64 (sqrt.f64 (.f64 x c)) s) 2))
	15.0b	(.f64 (/.f64 1 (.f64 x c)) (/.f64 (/.f64 (/.f64 (cos.f64 (+.f64 x x)) x) c) (*.f64 s s)))
	33.1b	(.f64 (/.f64 (/.f64 (cos.f64 (+.f64 x x)) x) (.f64 (sqrt.f64 (.f64 x c)) s)) (/.f64 (/.f64 1 c) (.f64 (sqrt.f64 (*.f64 x c)) s)))
	20.8b	(.f64 (/.f64 1 (/.f64 c (/.f64 1 (.f64 c (.f64 x (.f64 s s)))))) (/.f64 (cos.f64 (+.f64 x x)) x))
	39.2b	(pow.f64 (/.f64 (sqrt.f64 (/.f64 (/.f64 (cos.f64 (+.f64 x x)) x) c)) (.f64 (sqrt.f64 (.f64 x c)) s)) 2)
✓	18.2b	(/.f64 (/.f64 (/.f64 (cos.f64 (+.f64 x x)) x) c) (.f64 c (.f64 x (*.f64 s s))))
▶	14.9b	(/.f64 (/.f64 (/.f64 (cos.f64 (+.f64 x x)) x) c) (.f64 (pow.f64 s 2) (.f64 c x)))
	34.5b	(.f64 (/.f64 (pow.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) 2) (.f64 c (.f64 (sqrt.f64 x) (.f64 s (sqrt.f64 x))))) (/.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) (.f64 c (.f64 (sqrt.f64 x) (*.f64 s (sqrt.f64 x))))))
	34.4b	(.f64 (/.f64 1 (.f64 c (.f64 (sqrt.f64 x) (.f64 s (sqrt.f64 x))))) (/.f64 (cos.f64 (+.f64 x x)) (.f64 c (.f64 (sqrt.f64 x) (*.f64 s (sqrt.f64 x))))))
	27.2b	(/.f64 (.f64 (pow.f64 c -2) (cos.f64 (+.f64 x x))) (.f64 (.f64 x (.f64 s s)) x))
	36.4b	(.f64 (pow.f64 (/.f64 1 (.f64 c (*.f64 s (sqrt.f64 x)))) 2) (/.f64 (cos.f64 (+.f64 x x)) x))
	36.9b	(/.f64 (/.f64 (/.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 c (.f64 s (sqrt.f64 x))) 2)) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))
	41.7b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (pow.f64 (.f64 s (sqrt.f64 x)) 2) x)))

Compiler

Compiled 5841 to 2326 computations (60.2% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 (/.f64 (cos.f64 (+.f64 x x)) x) c)
✓	0.2b	(cos.f64 (+.f64 x x))
✓	5.5b	(/.f64 (/.f64 (/.f64 (cos.f64 (+.f64 x x)) x) c) (.f64 (pow.f64 s 2) (.f64 c x)))
✓	12.9b	(.f64 (pow.f64 s 2) (.f64 c x))

series235.0ms (2.5%)

Counts

4 → 88

Calls

4 calls:

195.0ms	(/.f64 (/.f64 (/.f64 (cos.f64 (+.f64 x x)) x) c) (.f64 (pow.f64 s 2) (.f64 c x)))
22.0ms	(.f64 (pow.f64 s 2) (.f64 c x))
16.0ms	(/.f64 (/.f64 (cos.f64 (+.f64 x x)) x) c)
2.0ms	(cos.f64 (+.f64 x x))

rewrite99.0ms (1%)

Algorithm

2×	batch-egg-rewrite

Rules

583×	`prod-diff_binary64`
162×	`egg-rr`
151×	`add-sqr-sqrt_binary64`
143×	`log1p-expm1-u_binary64`
143×	`expm1-log1p-u_binary64`

Counts

4 → 162

Calls

4 calls:

94.0ms	(/.f64 (/.f64 (cos.f64 (+.f64 x x)) x) c)
94.0ms	(cos.f64 (+.f64 x x))
94.0ms	(/.f64 (/.f64 (/.f64 (cos.f64 (+.f64 x x)) x) c) (.f64 (pow.f64 s 2) (.f64 c x)))
94.0ms	(.f64 (pow.f64 s 2) (.f64 c x))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	52
1	297	52
2	4169	52
3	5265	52
0	0	0
1	0	0

prune328.0ms (3.4%)

Pruning

19 alts after pruning (17 fresh and 2 done)

	Pruned	Kept	Total
New	247	3	250
Fresh	2	14	16
Picked	0	1	1
Done	0	1	1
Total	249	19	268

Error

2.9b

Counts

268 → 19

Alt Table

Status	Error	Program
	42.7b	(pow.f64 (/.f64 (sqrt.f64 (/.f64 (cos.f64 (+.f64 x x)) x)) (.f64 c (.f64 s (sqrt.f64 x)))) 2)
	31.6b	(.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 (/.f64 (cos.f64 (+.f64 x x)) x) c)) 2) (.f64 (sqrt.f64 (.f64 x c)) s)) (/.f64 (cbrt.f64 (/.f64 (/.f64 (cos.f64 (+.f64 x x)) x) c)) (.f64 (sqrt.f64 (*.f64 x c)) s)))
	34.5b	(/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (.f64 c (.f64 (sqrt.f64 x) (.f64 s (sqrt.f64 x)))) 2))
	21.6b	(.f64 (/.f64 (/.f64 (cos.f64 (+.f64 x x)) x) (.f64 x c)) (/.f64 (/.f64 1 c) (*.f64 s s)))
	15.0b	(.f64 (/.f64 1 (.f64 x c)) (/.f64 (/.f64 (/.f64 (cos.f64 (+.f64 x x)) x) c) (*.f64 s s)))
	33.1b	(.f64 (/.f64 (/.f64 (cos.f64 (+.f64 x x)) x) (.f64 (sqrt.f64 (.f64 x c)) s)) (/.f64 (/.f64 1 c) (.f64 (sqrt.f64 (*.f64 x c)) s)))
	36.9b	(/.f64 (/.f64 (/.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 c (.f64 s (sqrt.f64 x))) 2)) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))
	38.9b	(pow.f64 (/.f64 (sqrt.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 c x))) (.f64 s (sqrt.f64 (*.f64 c x)))) 2)
✓	18.2b	(/.f64 (/.f64 (/.f64 (cos.f64 (+.f64 x x)) x) c) (.f64 c (.f64 x (*.f64 s s))))
✓	14.9b	(/.f64 (/.f64 (/.f64 (cos.f64 (+.f64 x x)) x) c) (.f64 (pow.f64 s 2) (.f64 c x)))
	34.5b	(.f64 (/.f64 (pow.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) 2) (.f64 c (.f64 (sqrt.f64 x) (.f64 s (sqrt.f64 x))))) (/.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) (.f64 c (.f64 (sqrt.f64 x) (*.f64 s (sqrt.f64 x))))))
	34.4b	(.f64 (/.f64 1 (.f64 c (.f64 (sqrt.f64 x) (.f64 s (sqrt.f64 x))))) (/.f64 (cos.f64 (+.f64 x x)) (.f64 c (.f64 (sqrt.f64 x) (*.f64 s (sqrt.f64 x))))))
	27.2b	(/.f64 (.f64 (pow.f64 c -2) (cos.f64 (+.f64 x x))) (.f64 (.f64 x (.f64 s s)) x))
	33.1b	(/.f64 (/.f64 (/.f64 (cos.f64 (+.f64 x x)) x) c) (pow.f64 (.f64 (sqrt.f64 (.f64 x c)) s) 2))
	36.4b	(.f64 (pow.f64 (/.f64 1 (.f64 c (*.f64 s (sqrt.f64 x)))) 2) (/.f64 (cos.f64 (+.f64 x x)) x))
	31.4b	(.f64 (/.f64 1 (.f64 s (sqrt.f64 (.f64 c x)))) (/.f64 (/.f64 (cos.f64 (+.f64 x x)) (.f64 c x)) (.f64 s (sqrt.f64 (.f64 c x)))))
	20.8b	(.f64 (/.f64 1 (/.f64 c (/.f64 1 (.f64 c (.f64 x (.f64 s s)))))) (/.f64 (cos.f64 (+.f64 x x)) x))
	15.0b	(/.f64 (/.f64 (cos.f64 (.f64 2 x)) (.f64 c x)) (.f64 (pow.f64 s 2) (.f64 c x)))
	41.7b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (pow.f64 (.f64 s (sqrt.f64 x)) 2) x)))

Compiler

Compiled 6065 to 2605 computations (57% saved)

regimes2.2s (22.6%)

Accuracy

Total 5.3b remaining (65%)

Threshold costs 0b (0%)

Counts

119 → 5

Compiler

Compiled 17025 to 10573 computations (37.9% saved)

bsearch197.0ms (2.1%)

Steps

Iters	Range		Point
5	-1.9245989875127766e-302	1.0138155616412656e-299	-4.366774230335914e-309
7	-113433753775800050.0	-5602154532664778.0	-71415521545202600.0
7	-6.827978640767004e+185	-7.379002009413543e+183	-4.4022230997663105e+185
8	-1.7946442309836718e+227	-1.6247591068014878e+224	-8.754996079145237e+225

Compiler

Compiled 4 to 3 computations (25% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

8×	`*-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	47	195
1	56	195
2	55	195

end384.0ms (4%)

Compiler: Compiled 961 to 452 computations (53% saved)

Details

analyze1.2s (13%)

sample2.9s (30.5%)

localize12.0ms (0.1%)

series212.0ms (2.2%)

rewrite101.0ms (1.1%)

prune219.0ms (2.3%)

localize11.0ms (0.1%)

series329.0ms (3.5%)

rewrite92.0ms (1%)

prune306.0ms (3.2%)

localize10.0ms (0.1%)

series238.0ms (2.5%)

rewrite94.0ms (1%)

prune340.0ms (3.6%)

localize11.0ms (0.1%)

series235.0ms (2.5%)

rewrite99.0ms (1%)

prune328.0ms (3.4%)

regimes2.2s (22.6%)

bsearch197.0ms (2.1%)

simplify6.0ms (0.1%)

end384.0ms (4%)

Profiling