Details

analyze2.8s (16.9%)

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)

sample140.0ms (0.8%)

Algorithm

1×

intervals

Results

38.0ms	205×	body	128	valid
19.0ms	21×	body	1024	valid
15.0ms	58×	body	128	invalid
13.0ms	23×	body	512	valid
6.0ms	6×	body	1024	invalid
4.0ms	8×	body	512	invalid
3.0ms	7×	body	256	valid
2.0ms	5×	body	256	invalid

Compiler

Compiled 42 to 32 computations (23.8% saved)

simplify144.0ms (0.9%)

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

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

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

rewrite140.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`pow1_binary64`
24×	`add-exp-log_binary64`
24×	`add-sqr-sqrt_binary64`
23×	`add-cube-cbrt_binary64`
22×	`add-cbrt-cube_binary64`

Counts

4 → 158

Calls

4 calls:

37.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
32.0ms	(.f64 (pow.f64 c 2) (.f64 (*.f64 x (pow.f64 s 2)) x))
29.0ms	(.f64 (.f64 x (pow.f64 s 2)) x)
25.0ms	(*.f64 x (pow.f64 s 2))

series739.0ms (4.4%)

Counts

4 → 120

Calls

4 calls:

467.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
165.0ms	(.f64 (pow.f64 c 2) (.f64 (*.f64 x (pow.f64 s 2)) x))
61.0ms	(.f64 (.f64 x (pow.f64 s 2)) x)
46.0ms	(*.f64 x (pow.f64 s 2))

simplify292.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

256×	`fma-def_binary64`
243×	`associate-l_binary64`
227×	`associate-r_binary64`
188×	`prod-exp_binary64`
182×	`fma-neg_binary64`

Counts

278 → 497

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	193	4665
1	491	4406
2	2426	4281
3	4938	4281
4	5044	4281

prune591.0ms (3.5%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	483	14	497
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	484	14	498

Error

2.1b

Counts

498 → 14

Alt Table

Status	Error	Program
	56.9b	(/.f64 (cos.f64 (.f64 2 x)) (exp.f64 (+.f64 (.f64 (log.f64 c) 2) (+.f64 (+.f64 (log.f64 x) (*.f64 (log.f64 s) 2)) (log.f64 x)))))
	32.0b	(.f64 (cos.f64 (.f64 2 x)) (/.f64 1 (.f64 (.f64 s s) (.f64 (.f64 c c) (*.f64 x x)))))
	29.8b	(pow.f64 (/.f64 (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)) (cos.f64 (.f64 2 x))) -1)
	29.9b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 x) (pow.f64 s 2))) x)))
	33.6b	(.f64 (cbrt.f64 (/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))) (.f64 (cbrt.f64 (/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 s s) (.f64 (.f64 c c) (.f64 x x))))) (cbrt.f64 (/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 s s) (.f64 (.f64 c c) (.f64 x 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))
	23.3b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (fabs.f64 (.f64 s x)) (fabs.f64 (*.f64 s x)))))
	28.4b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 (pow.f64 c 2) (.f64 x (pow.f64 s 2))) 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))))
▶	2.6b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 c (fabs.f64 (.f64 s x))) (.f64 c (fabs.f64 (.f64 s 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)))))
	29.8b	(/.f64 (/.f64 (cos.f64 (.f64 2 x)) (pow.f64 c 2)) (.f64 (*.f64 x (pow.f64 s 2)) x))
	48.1b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 (.f64 (sqrt.f64 x) s) (.f64 (sqrt.f64 x) s)) x)))

Compiler

Compiled 6137 to 3596 computations (41.4% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (.f64 c (fabs.f64 (.f64 s x))) (.f64 c (fabs.f64 (*.f64 s x))))
✓	0.8b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 c (fabs.f64 (.f64 s 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)))

rewrite118.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

42×	`pow1_binary64`
28×	`add-exp-log_binary64`
20×	`pow-prod-down_binary64`
18×	`add-cube-cbrt_binary64`
17×	`add-sqr-sqrt_binary64`

Counts

3 → 130

Calls

3 calls:

37.0ms

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

36.0ms

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

27.0ms

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

series570.0ms (3.4%)

Counts

3 → 72

Calls

3 calls:

406.0ms

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

118.0ms

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

45.0ms

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

simplify243.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

429×	`unswap-sqr_binary64`
284×	`fma-def_binary64`
193×	`times-frac_binary64`
191×	`cancel-sign-sub-inv_binary64`
188×	`associate-/r*_binary64`

Counts

202 → 344

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	155	3458
1	393	3211
2	2132	3118
3	4899	3118
4	4978	3118

prune562.0ms (3.4%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	380	11	391
Fresh	10	3	13
Picked	1	0	1
Done	0	0	0
Total	391	14	405

Error

1.6b

Counts

405 → 14

Alt Table

Status	Error	Program
	2.2b	(/.f64 (/.f64 (cos.f64 (.f64 2 x)) (.f64 c (fabs.f64 (.f64 s x)))) (.f64 c (fabs.f64 (*.f64 s x))))
	56.9b	(/.f64 (cos.f64 (.f64 2 x)) (exp.f64 (+.f64 (.f64 (log.f64 c) 2) (+.f64 (+.f64 (log.f64 x) (*.f64 (log.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))))
	2.7b	(/.f64 (-.f64 (.f64 (cos.f64 x) (cos.f64 x)) (.f64 (sin.f64 x) (sin.f64 x))) (.f64 (.f64 c (fabs.f64 (.f64 s x))) (.f64 c (fabs.f64 (*.f64 s x)))))
	3.0b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (fabs.f64 (.f64 s x)))) (.f64 c (fabs.f64 (.f64 s x)))))
	3.0b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.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 (cos.f64 (.f64 2 x)) (.f64 (.f64 c (fabs.f64 (.f64 s x))) (pow.f64 (cbrt.f64 (.f64 c (fabs.f64 (.f64 s x)))) 3)))
	3.1b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.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))))
	9.2b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 (.f64 c (fabs.f64 (.f64 s x))) c) (fabs.f64 (.f64 s x))))
▶	2.1b	(.f64 (pow.f64 (.f64 c (fabs.f64 (.f64 s x))) -2) (cos.f64 (.f64 2 x)))
	24.8b	(cbrt.f64 (pow.f64 (.f64 (pow.f64 (.f64 c (fabs.f64 (.f64 s x))) -2) (cos.f64 (.f64 2 x))) 3))
	3.0b	(pow.f64 (cbrt.f64 (/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 c (fabs.f64 (.f64 s x))) (.f64 c (fabs.f64 (.f64 s x)))))) 3)
	29.8b	(pow.f64 (/.f64 (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)) (cos.f64 (.f64 2 x))) -1)
	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 5688 to 1947 computations (65.8% saved)

localize20.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (pow.f64 (.f64 c (fabs.f64 (.f64 s x))) -2) (cos.f64 (.f64 2 x)))
✓	0.2b	(pow.f64 (.f64 c (fabs.f64 (.f64 s x))) -2)
	4.2b	(.f64 c (fabs.f64 (.f64 s x)))

rewrite61.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-sqr-sqrt_binary64`
9×	`pow1_binary64`
9×	`add-cube-cbrt_binary64`
8×	`add-exp-log_binary64`
8×	`add-cbrt-cube_binary64`

Counts

2 → 72

Calls

2 calls:

29.0ms	(.f64 (pow.f64 (.f64 c (fabs.f64 (.f64 s x))) -2) (cos.f64 (.f64 2 x)))
26.0ms	(pow.f64 (.f64 c (fabs.f64 (.f64 s x))) -2)

series613.0ms (3.7%)

Counts

2 → 72

Calls

2 calls:

400.0ms	(.f64 (pow.f64 (.f64 c (fabs.f64 (.f64 s x))) -2) (cos.f64 (.f64 2 x)))
212.0ms	(pow.f64 (.f64 c (fabs.f64 (.f64 s x))) -2)

simplify184.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

761×	`fma-def_binary64`
462×	`associate-l_binary64`
433×	`fma-neg_binary64`
399×	`times-frac_binary64`
349×	`associate-r_binary64`

Counts

144 → 248

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	100	2662
1	213	2583
2	658	2309
3	3675	2307
4	5056	2307

prune359.0ms (2.2%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	340	2	342
Fresh	1	12	13
Picked	0	1	1
Done	0	0	0
Total	341	15	356

Error

1.6b

Counts

356 → 15

Alt Table

Status	Error	Program
▶	2.2b	(/.f64 (/.f64 (cos.f64 (.f64 2 x)) (.f64 c (fabs.f64 (.f64 s x)))) (.f64 c (fabs.f64 (*.f64 s x))))
	56.9b	(/.f64 (cos.f64 (.f64 2 x)) (exp.f64 (+.f64 (.f64 (log.f64 c) 2) (+.f64 (+.f64 (log.f64 x) (*.f64 (log.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))))
	2.7b	(/.f64 (-.f64 (.f64 (cos.f64 x) (cos.f64 x)) (.f64 (sin.f64 x) (sin.f64 x))) (.f64 (.f64 c (fabs.f64 (.f64 s x))) (.f64 c (fabs.f64 (*.f64 s x)))))
	3.0b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.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 (pow.f64 (.f64 c (fabs.f64 (.f64 s x))) -2) (cos.f64 (.f64 2 x)))
	2.8b	(.f64 (pow.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (fabs.f64 (.f64 s x)))) -2) (cos.f64 (.f64 2 x)))
	12.1b	(.f64 (pow.f64 (cbrt.f64 (pow.f64 (.f64 c (fabs.f64 (.f64 s x))) 3)) -2) (cos.f64 (.f64 2 x)))
	24.8b	(cbrt.f64 (pow.f64 (.f64 (pow.f64 (.f64 c (fabs.f64 (.f64 s x))) -2) (cos.f64 (.f64 2 x))) 3))
	3.0b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.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 (cos.f64 (.f64 2 x)) (.f64 (.f64 c (fabs.f64 (.f64 s x))) (pow.f64 (cbrt.f64 (.f64 c (fabs.f64 (.f64 s x)))) 3)))
	9.2b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 (.f64 c (fabs.f64 (.f64 s x))) c) (fabs.f64 (.f64 s x))))
	3.0b	(pow.f64 (cbrt.f64 (/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 c (fabs.f64 (.f64 s x))) (.f64 c (fabs.f64 (.f64 s x)))))) 3)
	29.8b	(pow.f64 (/.f64 (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)) (cos.f64 (.f64 2 x))) -1)
	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 3167 to 1683 computations (46.9% saved)

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

rewrite81.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-exp-log_binary64`
20×	`add-cube-cbrt_binary64`
18×	`div-sub_binary64`
14×	`add-cbrt-cube_binary64`
12×	`cos-2_binary64`

Counts

2 → 104

Calls

2 calls:

33.0ms	(/.f64 (/.f64 (cos.f64 (.f64 2 x)) (.f64 c (fabs.f64 (.f64 s x)))) (.f64 c (fabs.f64 (*.f64 s x))))
31.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 c (fabs.f64 (*.f64 s x))))

series613.0ms (3.7%)

Counts

2 → 40

Calls

2 calls:

391.0ms	(/.f64 (/.f64 (cos.f64 (.f64 2 x)) (.f64 c (fabs.f64 (.f64 s x)))) (.f64 c (fabs.f64 (*.f64 s x))))
221.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 c (fabs.f64 (*.f64 s x))))

simplify207.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

417×	`associate-/r/_binary64`
318×	`fma-def_binary64`
232×	`cancel-sign-sub-inv_binary64`
226×	`times-frac_binary64`
194×	`associate-/r*_binary64`

Counts

144 → 247

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	159	3959
1	498	3653
2	2381	3530
3	5102	3530

prune644.0ms (3.9%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	807	4	811
Fresh	4	9	13
Picked	1	0	1
Done	0	1	1
Total	812	14	826

Error

1.6b

Counts

826 → 14

Alt Table

Status	Error	Program
	56.9b	(/.f64 (cos.f64 (.f64 2 x)) (exp.f64 (+.f64 (.f64 (log.f64 c) 2) (+.f64 (+.f64 (log.f64 x) (*.f64 (log.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))))
	2.5b	(/.f64 (pow.f64 (cbrt.f64 (/.f64 (cos.f64 (.f64 2 x)) (.f64 c (fabs.f64 (.f64 s x))))) 3) (.f64 c (fabs.f64 (*.f64 s x))))
	2.7b	(/.f64 (-.f64 (.f64 (cos.f64 x) (cos.f64 x)) (.f64 (sin.f64 x) (sin.f64 x))) (.f64 (.f64 c (fabs.f64 (.f64 s x))) (.f64 c (fabs.f64 (*.f64 s x)))))
	3.0b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (fabs.f64 (.f64 s x)))) (.f64 c (fabs.f64 (.f64 s x)))))
	12.1b	(.f64 (pow.f64 (cbrt.f64 (pow.f64 (.f64 c (fabs.f64 (.f64 s x))) 3)) -2) (cos.f64 (.f64 2 x)))
	24.8b	(cbrt.f64 (pow.f64 (.f64 (pow.f64 (.f64 c (fabs.f64 (.f64 s x))) -2) (cos.f64 (.f64 2 x))) 3))
	2.8b	(/.f64 (/.f64 (cos.f64 (.f64 2 x)) (.f64 c (fabs.f64 (.f64 s x)))) (.f64 (cbrt.f64 (pow.f64 (.f64 c (fabs.f64 (.f64 s x))) 2)) (cbrt.f64 (.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.1b	(.f64 (pow.f64 (.f64 c (fabs.f64 (.f64 s x))) -2) (cos.f64 (.f64 2 x)))
	3.0b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.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	(pow.f64 (cbrt.f64 (/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 c (fabs.f64 (.f64 s x))) (.f64 c (fabs.f64 (.f64 s x)))))) 3)
	29.8b	(pow.f64 (/.f64 (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)) (cos.f64 (.f64 2 x))) -1)
	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))))

Compiler

Compiled 6930 to 2340 computations (66.2% saved)

regimes2.3s (13.8%)

Accuracy

Total 0.6b remaining (23.2%)

Threshold costs 0.6b (23.2%)

Compiler

Compiled 29005 to 18775 computations (35.3% saved)

simplify67.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	20
1	20	20
2	21	20
3	21	20

end13.0ms (0.1%)

Compiler: Compiled 48 to 36 computations (25% saved)

sample5.1s (30.6%)

Algorithm

1×

intervals

Results

1.2s	6117×	body	128	valid
893.0ms	927×	body	1024	valid
397.0ms	604×	body	512	valid
368.0ms	1888×	body	128	invalid
214.0ms	225×	body	1024	invalid
140.0ms	349×	body	256	valid
138.0ms	227×	body	512	invalid
59.0ms	143×	body	256	invalid
5.0ms	3×	body	2048	valid

Compiler

Compiled 395 to 243 computations (38.5% saved)

Details

analyze2.8s (16.9%)

sample140.0ms (0.8%)

simplify144.0ms (0.9%)

prune5.0ms (0%)

localize22.0ms (0.1%)

rewrite140.0ms (0.8%)

series739.0ms (4.4%)

simplify292.0ms (1.8%)

prune591.0ms (3.5%)

localize19.0ms (0.1%)

rewrite118.0ms (0.7%)

series570.0ms (3.4%)

simplify243.0ms (1.5%)

prune562.0ms (3.4%)

localize20.0ms (0.1%)

rewrite61.0ms (0.4%)

series613.0ms (3.7%)

simplify184.0ms (1.1%)

prune359.0ms (2.2%)

localize19.0ms (0.1%)

rewrite81.0ms (0.5%)

series613.0ms (3.7%)

simplify207.0ms (1.2%)

prune644.0ms (3.9%)

regimes2.3s (13.8%)

simplify67.0ms (0.4%)

end13.0ms (0.1%)

sample5.1s (30.6%)

Profiling