Details

analyze1.6s (18.4%)

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)

sample71.0ms (0.8%)

Algorithm

1×

intervals

Results

20.0ms	205×	body	128	valid
9.0ms	21×	body	1024	valid
6.0ms	23×	body	512	valid
5.0ms	58×	body	128	invalid
3.0ms	6×	body	1024	invalid
2.0ms	8×	body	512	invalid
2.0ms	7×	body	256	valid
1.0ms	5×	body	256	invalid

Compiler

Compiled 42 to 32 computations (23.8% saved)

simplify125.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

750×	`unswap-sqr_binary64`
704×	`sqr-pow_binary64`
582×	`*-commutative_binary64`
574×	`fabs-mul_binary64`
502×	`cube-prod_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	24
1	29	24
2	68	24
3	214	24
4	833	24
5	1367	24
6	2084	24
7	2149	24
8	2230	24
9	2331	24
10	2464	24
11	2501	24
12	2580	24
13	2853	24
14	3277	24
15	3804	24
16	4518	24
17	4911	24

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

29.8b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 73 to 51 computations (30.1% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.8b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
✓	5.0b	(.f64 (.f64 x (pow.f64 s 2)) x)
✓	6.2b	(*.f64 x (pow.f64 s 2))
✓	21.8b	(.f64 (pow.f64 c 2) (.f64 (*.f64 x (pow.f64 s 2)) x))

rewrite31.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

122×	`add-exp-log_binary64`
82×	`prod-exp_binary64`
34×	`add-cbrt-cube_binary64`
18×	`add-sqr-sqrt_binary64`
18×	`pow-exp_binary64`

Counts

4 → 127

Calls

4 calls:

8.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
7.0ms	(.f64 (pow.f64 c 2) (.f64 (*.f64 x (pow.f64 s 2)) x))
5.0ms	(.f64 (.f64 x (pow.f64 s 2)) x)
4.0ms	(*.f64 x (pow.f64 s 2))

series356.0ms (4.2%)

Counts

4 → 120

Calls

4 calls:

215.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
85.0ms	(.f64 (pow.f64 c 2) (.f64 (*.f64 x (pow.f64 s 2)) x))
31.0ms	(.f64 (.f64 x (pow.f64 s 2)) x)
24.0ms	(*.f64 x (pow.f64 s 2))

simplify176.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

709×	`associate-/l*_binary64`
426×	`*-commutative_binary64`
391×	`fma-def_binary64`
263×	`associate-/l/_binary64`
226×	`associate-l_binary64`

Counts

247 → 483

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	191	4648
1	423	4174
2	1479	4157
3	4565	4141
4	4972	4141
5	5020	4141

prune278.0ms (3.3%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	465	18	483
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	466	18	484

Error

11.1b

Counts

484 → 18

Alt Table

Status	Error	Program
	23.4b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 c (.f64 c (.f64 (*.f64 x (pow.f64 s 2)) x))))
	29.8b	(/.f64 1 (/.f64 (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)) (cos.f64 (.f64 2 x))))
	59.1b	(exp.f64 (-.f64 (log.f64 (cos.f64 (.f64 2 x))) (+.f64 (.f64 (log.f64 c) 2) (+.f64 (+.f64 (log.f64 x) (*.f64 (log.f64 s) 2)) (log.f64 x)))))
▶	23.3b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (fabs.f64 (.f64 s x)) (fabs.f64 (*.f64 s x)))))
	50.8b	(/.f64 (cos.f64 (.f64 2 x)) (exp.f64 (+.f64 (log.f64 (pow.f64 c 2)) (+.f64 (+.f64 (log.f64 x) (.f64 (log.f64 s) 2)) (log.f64 x)))))
	56.9b	(/.f64 (cos.f64 (.f64 2 x)) (exp.f64 (fma.f64 2 (+.f64 (log.f64 c) (log.f64 s)) (.f64 2 (log.f64 x)))))
	29.8b	(.f64 (/.f64 1 (pow.f64 c 2)) (/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 x (pow.f64 s 2)) x)))
	36.6b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 (*.f64 s x) (pow.f64 (sqrt.f64 s) 2)) x)))
	48.1b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 (.f64 s (sqrt.f64 x)) (.f64 s (sqrt.f64 x))) x)))
	32.0b	(.f64 (cos.f64 (.f64 2 x)) (/.f64 1 (.f64 (.f64 s s) (.f64 (.f64 c c) (*.f64 x x)))))
	28.5b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 c (.f64 c (.f64 (.f64 s s) (.f64 x x)))))
	54.2b	(exp.f64 (-.f64 (log.f64 (cos.f64 (.f64 2 x))) (+.f64 (log.f64 (pow.f64 c 2)) (+.f64 (+.f64 (log.f64 x) (.f64 (log.f64 s) 2)) (log.f64 x)))))
	49.3b	(/.f64 (cos.f64 (*.f64 2 x)) (exp.f64 (+.f64 (log.f64 (pow.f64 c 2)) (+.f64 (+.f64 (log.f64 x) (log.f64 (pow.f64 s 2))) (log.f64 x)))))
	29.3b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) 2) (.f64 (.f64 (.f64 s s) (*.f64 x x)) (pow.f64 (cbrt.f64 c) 2))))
	24.8b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) 2) (.f64 (pow.f64 (cbrt.f64 c) 2) (.f64 (.f64 x (pow.f64 s 2)) x))))
	28.4b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 (pow.f64 c 2) (.f64 x (pow.f64 s 2))) x))
	29.8b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (sqrt.f64 (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x))) (sqrt.f64 (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))))
	36.5b	(cbrt.f64 (pow.f64 (/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 s s) (.f64 (.f64 c c) (.f64 x x)))) 3))

Compiler

Compiled 5074 to 3103 computations (38.8% saved)

localize11.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (fabs.f64 (.f64 s x)) (fabs.f64 (*.f64 s x)))
✓	0.8b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (fabs.f64 (.f64 s x)) (fabs.f64 (*.f64 s x)))))
✓	21.8b	(.f64 (pow.f64 c 2) (.f64 (fabs.f64 (.f64 s x)) (fabs.f64 (.f64 s x))))

rewrite25.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

39×	`add-exp-log_binary64`
19×	`add-cbrt-cube_binary64`
19×	`prod-exp_binary64`
15×	`add-sqr-sqrt_binary64`
12×	`associate-l_binary64`

Counts

3 → 94

Calls

3 calls:

7.0ms

(*.f64 (pow.f64 c 2) (*.f64 (fabs.f64 (*.f64 s x)) (fabs.f64 (*.f64 s x))))

7.0ms

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

4.0ms

(*.f64 (fabs.f64 (*.f64 s x)) (fabs.f64 (*.f64 s x)))

series281.0ms (3.3%)

Counts

3 → 96

Calls

3 calls:

203.0ms

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

62.0ms

(*.f64 (pow.f64 c 2) (*.f64 (fabs.f64 (*.f64 s x)) (fabs.f64 (*.f64 s x))))

16.0ms

(*.f64 (fabs.f64 (*.f64 s x)) (fabs.f64 (*.f64 s x)))

simplify187.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

444×	`unswap-sqr_binary64`
365×	`associate-/l/_binary64`
258×	`associate-*r/_binary64`
247×	`fma-def_binary64`
237×	`associate-*l/_binary64`

Counts

190 → 344

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	150	3754
1	328	3350
2	1609	3296
3	4310	3242
4	4981	3242
5	5021	3242

prune230.0ms (2.7%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	336	8	344
Fresh	7	10	17
Picked	1	0	1
Done	0	0	0
Total	344	18	362

Error

1.9b

Counts

362 → 18

Alt Table

Status	Error	Program
	23.4b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 c (.f64 c (.f64 (*.f64 x (pow.f64 s 2)) x))))
	29.8b	(/.f64 1 (/.f64 (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)) (cos.f64 (.f64 2 x))))
	9.2b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 c (.f64 c (fabs.f64 (.f64 s x)))) (fabs.f64 (.f64 s x))))
	54.2b	(exp.f64 (-.f64 (log.f64 (cos.f64 (.f64 2 x))) (+.f64 (log.f64 (pow.f64 c 2)) (+.f64 (+.f64 (log.f64 x) (.f64 (log.f64 s) 2)) (log.f64 x)))))
	24.8b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (fabs.f64 s) (.f64 (fabs.f64 x) (fabs.f64 (*.f64 s x))))))
	19.3b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 (pow.f64 c 2) (fabs.f64 (.f64 s x))) (fabs.f64 (*.f64 s x))))
	49.3b	(/.f64 (cos.f64 (*.f64 2 x)) (exp.f64 (+.f64 (log.f64 (pow.f64 c 2)) (+.f64 (+.f64 (log.f64 x) (log.f64 (pow.f64 s 2))) (log.f64 x)))))
	14.5b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 c (.f64 c (pow.f64 (fabs.f64 (.f64 s x)) 2))))
	29.3b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) 2) (.f64 (.f64 (.f64 s s) (*.f64 x x)) (pow.f64 (cbrt.f64 c) 2))))
	23.3b	(.f64 (/.f64 1 (.f64 c c)) (/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (fabs.f64 (.f64 s x)) 2)))
	56.9b	(/.f64 (cos.f64 (.f64 2 x)) (exp.f64 (fma.f64 2 (+.f64 (log.f64 c) (log.f64 s)) (.f64 2 (log.f64 x)))))
	17.1b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) 2) (.f64 (pow.f64 (fabs.f64 (*.f64 s x)) 2) (pow.f64 (cbrt.f64 c) 2))))
	48.1b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 (.f64 s (sqrt.f64 x)) (.f64 s (sqrt.f64 x))) x)))
	23.4b	(.f64 (.f64 (cbrt.f64 (/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 c c) (pow.f64 (fabs.f64 (.f64 s x)) 2)))) (cbrt.f64 (/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 c c) (pow.f64 (fabs.f64 (.f64 s x)) 2))))) (cbrt.f64 (/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 c c) (pow.f64 (fabs.f64 (.f64 s x)) 2)))))
	36.5b	(cbrt.f64 (pow.f64 (/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 s s) (.f64 (.f64 c c) (.f64 x x)))) 3))
	28.5b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 c (.f64 c (.f64 (.f64 s s) (.f64 x x)))))
	50.8b	(/.f64 (cos.f64 (.f64 2 x)) (exp.f64 (+.f64 (log.f64 (pow.f64 c 2)) (+.f64 (+.f64 (log.f64 x) (.f64 (log.f64 s) 2)) (log.f64 x)))))
▶	2.6b	(/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (.f64 c (fabs.f64 (*.f64 s x))) 2))

Compiler

Compiled 4420 to 2231 computations (49.5% saved)

localize12.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.3b	(pow.f64 (.f64 c (fabs.f64 (.f64 s x))) 2)
✓	0.8b	(/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (.f64 c (fabs.f64 (*.f64 s x))) 2))
✓	4.2b	(.f64 c (fabs.f64 (.f64 s x)))

rewrite16.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64`
18×	`times-frac_binary64`
17×	`*-un-lft-identity_binary64`
17×	`add-cube-cbrt_binary64`
16×	`add-exp-log_binary64`

Counts

3 → 86

Calls

3 calls:

4.0ms	(/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (.f64 c (fabs.f64 (*.f64 s x))) 2))
3.0ms	(pow.f64 (.f64 c (fabs.f64 (.f64 s x))) 2)
3.0ms	(.f64 c (fabs.f64 (.f64 s x)))

series272.0ms (3.2%)

Counts

3 → 72

Calls

3 calls:

203.0ms	(/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (.f64 c (fabs.f64 (*.f64 s x))) 2))
46.0ms	(pow.f64 (.f64 c (fabs.f64 (.f64 s x))) 2)
23.0ms	(.f64 c (fabs.f64 (.f64 s x)))

simplify161.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

702×	`associate-/l*_binary64`
356×	`fma-def_binary64`
308×	`associate-/l/_binary64`
208×	`*-commutative_binary64`
202×	`associate-*r/_binary64`

Counts

158 → 269

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	151	3209
1	295	3090
2	1163	3083
3	4210	3081
4	4954	3081

prune167.0ms (2%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	261	8	269
Fresh	11	6	17
Picked	1	0	1
Done	0	0	0
Total	273	14	287

Error

0.2b

Counts

287 → 14

Alt Table

Status	Error	Program
	3.1b	(/.f64 (/.f64 (cos.f64 (.f64 2 x)) (.f64 (cbrt.f64 (pow.f64 (.f64 c (fabs.f64 (.f64 s x))) 2)) (cbrt.f64 (pow.f64 (.f64 c (fabs.f64 (.f64 s x))) 2)))) (cbrt.f64 (pow.f64 (.f64 c (fabs.f64 (.f64 s x))) 2)))
	29.8b	(/.f64 1 (/.f64 (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)) (cos.f64 (.f64 2 x))))
	9.2b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 c (.f64 c (fabs.f64 (.f64 s x)))) (fabs.f64 (.f64 s x))))
▶	2.2b	(/.f64 (/.f64 (cos.f64 (.f64 2 x)) (.f64 c (fabs.f64 (.f64 s x)))) (.f64 c (fabs.f64 (*.f64 s x))))
	24.8b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (fabs.f64 s) (.f64 (fabs.f64 x) (fabs.f64 (*.f64 s x))))))
	36.5b	(cbrt.f64 (pow.f64 (/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 s s) (.f64 (.f64 c c) (.f64 x x)))) 3))
	20.0b	(.f64 (/.f64 (sqrt.f64 (cos.f64 (.f64 2 x))) (.f64 c (fabs.f64 (.f64 s x)))) (/.f64 (sqrt.f64 (cos.f64 (.f64 2 x))) (.f64 c (fabs.f64 (*.f64 s x)))))
	3.1b	(/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (.f64 (*.f64 c (fabs.f64 s)) (fabs.f64 x)) 2))
	2.8b	(/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (.f64 (.f64 c (sqrt.f64 (fabs.f64 (.f64 s x)))) (sqrt.f64 (fabs.f64 (*.f64 s x)))) 2))
	28.5b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 c (.f64 c (.f64 (.f64 s s) (.f64 x x)))))
	2.6b	(/.f64 (/.f64 (cos.f64 (.f64 2 x)) 1) (pow.f64 (.f64 c (fabs.f64 (*.f64 s x))) 2))
	3.0b	(.f64 (.f64 (cbrt.f64 (/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (.f64 c (fabs.f64 (.f64 s x))) 2))) (cbrt.f64 (/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (.f64 c (fabs.f64 (.f64 s x))) 2)))) (cbrt.f64 (/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (.f64 c (fabs.f64 (*.f64 s x))) 2))))
	23.3b	(.f64 (/.f64 1 (.f64 c c)) (/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (fabs.f64 (.f64 s x)) 2)))
	2.2b	(.f64 (/.f64 1 (.f64 c (fabs.f64 (.f64 s x)))) (/.f64 (cos.f64 (.f64 2 x)) (.f64 c (fabs.f64 (.f64 s x)))))

Compiler

Compiled 3013 to 1644 computations (45.4% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 (/.f64 (cos.f64 (.f64 2 x)) (.f64 c (fabs.f64 (.f64 s x)))) (.f64 c (fabs.f64 (*.f64 s x))))
✓	0.4b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 c (fabs.f64 (*.f64 s x))))
	4.2b	(.f64 c (fabs.f64 (.f64 s x)))
	4.2b	(.f64 c (fabs.f64 (.f64 s x)))

rewrite16.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`add-cbrt-cube_binary64`
28×	`add-exp-log_binary64`
16×	`times-frac_binary64`
12×	`cbrt-undiv_binary64`
12×	`div-exp_binary64`

Counts

2 → 65

Calls

2 calls:

7.0ms	(/.f64 (/.f64 (cos.f64 (.f64 2 x)) (.f64 c (fabs.f64 (.f64 s x)))) (.f64 c (fabs.f64 (*.f64 s x))))
4.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 c (fabs.f64 (*.f64 s x))))

series329.0ms (3.9%)

Counts

2 → 40

Calls

2 calls:

209.0ms	(/.f64 (/.f64 (cos.f64 (.f64 2 x)) (.f64 c (fabs.f64 (.f64 s x)))) (.f64 c (fabs.f64 (*.f64 s x))))
119.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 c (fabs.f64 (*.f64 s x))))

simplify90.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

759×	`associate-l_binary64`
681×	`associate-*l/_binary64`
579×	`associate-*r/_binary64`
483×	`associate-/r/_binary64`
215×	`associate-/r*_binary64`

Counts

105 → 202

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	140	3223
1	369	2754
2	1492	2725
3	5131	2725

prune245.0ms (2.9%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	277	6	283
Fresh	7	6	13
Picked	1	0	1
Done	0	0	0
Total	285	12	297

Error

0.1b

Counts

297 → 12

Alt Table

Status	Error	Program
	2.2b	(/.f64 (/.f64 (cos.f64 (.f64 2 x)) (.f64 c (fabs.f64 (.f64 s x)))) (.f64 (.f64 c (sqrt.f64 (fabs.f64 (.f64 s x)))) (sqrt.f64 (fabs.f64 (*.f64 s x)))))
	6.3b	(.f64 (/.f64 1 c) (/.f64 (/.f64 (cos.f64 (.f64 2 x)) (.f64 c (fabs.f64 (.f64 s x)))) (fabs.f64 (*.f64 s x))))
	2.5b	(/.f64 (/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 c (.f64 (cbrt.f64 (fabs.f64 (.f64 s x))) (cbrt.f64 (fabs.f64 (.f64 s x))))) (cbrt.f64 (fabs.f64 (.f64 s x))))) (.f64 c (fabs.f64 (*.f64 s x))))
	3.0b	(.f64 (.f64 (cbrt.f64 (/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (.f64 c (fabs.f64 (.f64 s x))) 2))) (cbrt.f64 (/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (.f64 c (fabs.f64 (.f64 s x))) 2)))) (cbrt.f64 (/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (.f64 c (fabs.f64 (*.f64 s x))) 2))))
	2.8b	(/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (.f64 (.f64 c (sqrt.f64 (fabs.f64 (.f64 s x)))) (sqrt.f64 (fabs.f64 (*.f64 s x)))) 2))
	3.1b	(/.f64 (/.f64 (cos.f64 (.f64 2 x)) (.f64 (cbrt.f64 (pow.f64 (.f64 c (fabs.f64 (.f64 s x))) 2)) (cbrt.f64 (pow.f64 (.f64 c (fabs.f64 (.f64 s x))) 2)))) (cbrt.f64 (pow.f64 (.f64 c (fabs.f64 (.f64 s x))) 2)))
	24.8b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (fabs.f64 s) (.f64 (fabs.f64 x) (fabs.f64 (*.f64 s x))))))
	2.5b	(/.f64 (/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (fabs.f64 (.f64 s x))))) (.f64 c (fabs.f64 (*.f64 s x))))
	2.1b	(/.f64 (/.f64 (/.f64 (cos.f64 (.f64 2 x)) c) (fabs.f64 (.f64 s x))) (.f64 c (fabs.f64 (.f64 s x))))
	2.2b	(.f64 (/.f64 1 (.f64 c (fabs.f64 (.f64 s x)))) (/.f64 (cos.f64 (.f64 2 x)) (.f64 c (fabs.f64 (.f64 s x)))))
	7.5b	(.f64 (/.f64 (.f64 (cbrt.f64 (/.f64 (cos.f64 (.f64 2 x)) (.f64 c (fabs.f64 (.f64 s x))))) (cbrt.f64 (/.f64 (cos.f64 (.f64 2 x)) (.f64 c (fabs.f64 (.f64 s x)))))) c) (/.f64 (cbrt.f64 (/.f64 (cos.f64 (.f64 2 x)) (.f64 c (fabs.f64 (.f64 s x))))) (fabs.f64 (.f64 s x))))
	3.1b	(/.f64 (cos.f64 (.f64 2 x)) (pow.f64 (.f64 (*.f64 c (fabs.f64 s)) (fabs.f64 x)) 2))

Compiler

Compiled 4828 to 1848 computations (61.7% saved)

regimes1.3s (15.4%)

Accuracy

Total 2.5b remaining (93.4%)

Threshold costs 0b (0%)

Compiler

Compiled 30575 to 20194 computations (34% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`fabs-mul_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	28
1	19	28
2	20	28
3	20	28

end6.0ms (0.1%)

Compiler: Compiled 63 to 36 computations (42.9% saved)

sample2.5s (29.6%)

Algorithm

1×

intervals

Results

588.0ms	6117×	body	128	valid
435.0ms	927×	body	1024	valid
193.0ms	1888×	body	128	invalid
180.0ms	604×	body	512	valid
103.0ms	225×	body	1024	invalid
79.0ms	349×	body	256	valid
70.0ms	227×	body	512	invalid
29.0ms	143×	body	256	invalid
3.0ms	3×	body	2048	valid

Compiler

Compiled 395 to 231 computations (41.5% saved)

Details

analyze1.6s (18.4%)

sample71.0ms (0.8%)

simplify125.0ms (1.5%)

prune3.0ms (0%)

localize10.0ms (0.1%)

rewrite31.0ms (0.4%)

series356.0ms (4.2%)

simplify176.0ms (2.1%)

prune278.0ms (3.3%)

localize11.0ms (0.1%)

rewrite25.0ms (0.3%)

series281.0ms (3.3%)

simplify187.0ms (2.2%)

prune230.0ms (2.7%)

localize12.0ms (0.1%)

rewrite16.0ms (0.2%)

series272.0ms (3.2%)

simplify161.0ms (1.9%)

prune167.0ms (2%)

localize11.0ms (0.1%)

rewrite16.0ms (0.2%)

series329.0ms (3.9%)

simplify90.0ms (1.1%)

prune245.0ms (2.9%)

regimes1.3s (15.4%)

simplify3.0ms (0%)

end6.0ms (0.1%)

sample2.5s (29.6%)

Profiling