Details

analyze1.3s (14.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)

sample3.0s (34.1%)

Symmetry

(sort c s)

Results

1.1s	6317×	body	128	valid
711.0ms	979×	body	1024	valid
334.0ms	1972×	body	128	invalid
281.0ms	619×	body	512	valid
152.0ms	219×	body	1024	invalid
110.0ms	257×	body	512	invalid
102.0ms	333×	body	256	valid
44.0ms	144×	body	256	invalid
9.0ms	8×	body	2048	valid

Compiler

Compiled 59 to 44 computations (25.4% saved)

simplify107.0ms (1.2%)

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

25.7b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	25.7b	(/.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.3b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
✓	4.0b	(.f64 (.f64 x (pow.f64 s 2)) x)
✓	5.0b	(*.f64 x (pow.f64 s 2))
✓	18.4b	(.f64 (pow.f64 c 2) (.f64 (*.f64 x (pow.f64 s 2)) x))

series208.0ms (2.4%)

Counts

4 → 120

Calls

4 calls:

151.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
37.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))

rewrite36.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:

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

simplify746.0ms (8.5%)

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 → 187

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

prune301.0ms (3.4%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	171	16	187
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	172	16	188

Error

8.3b

Counts

188 → 16

Alt Table

Status	Error	Program
	40.3b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 (.f64 s (sqrt.f64 x)) (.f64 s (sqrt.f64 x))) x)))
	60.6b	(exp.f64 (-.f64 (log.f64 (cos.f64 (.f64 2 x))) (+.f64 (.f64 (log.f64 c) 2) (+.f64 (log.f64 (*.f64 x (pow.f64 s 2))) (log.f64 x)))))
	41.1b	(/.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)))))
	58.9b	(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)))))
	25.8b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 (cbrt.f64 (pow.f64 c 2)) (cbrt.f64 (pow.f64 c 2))) (.f64 (cbrt.f64 (pow.f64 c 2)) (.f64 (.f64 x (pow.f64 s 2)) x))))
	57.0b	(/.f64 (cos.f64 (.f64 2 x)) (exp.f64 (fma.f64 2 (+.f64 (log.f64 c) (log.f64 s)) (.f64 2 (log.f64 x)))))
	54.0b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 (sqrt.f64 c) 2) (.f64 c (.f64 (.f64 s s) (.f64 x x)))))
	25.9b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 (.f64 x (pow.f64 s 2)) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 x))))
	46.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)))))
	25.7b	(/.f64 (/.f64 (cos.f64 (.f64 2 x)) (pow.f64 c 2)) (.f64 (*.f64 x (pow.f64 s 2)) x))
	23.8b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 (pow.f64 c 2) (.f64 x (pow.f64 s 2))) x))
	22.8b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 c (.f64 c (.f64 (.f64 s s) (.f64 x x)))))
▶	18.8b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 c (.f64 c (.f64 (*.f64 x (pow.f64 s 2)) x))))
	20.1b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (fabs.f64 (.f64 s x)) (fabs.f64 (*.f64 s x)))))
	30.5b	(.f64 (sqrt.f64 (/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 s s) (.f64 (.f64 c c) (.f64 x x))))) (sqrt.f64 (/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 s s) (.f64 (.f64 c c) (*.f64 x x))))))
	23.5b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 (.f64 x (.f64 s (cbrt.f64 s))) (pow.f64 (cbrt.f64 s) 2)) x)))

Compiler

Compiled 5080 to 3084 computations (39.3% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	3.4b	(.f64 c (.f64 c (.f64 (.f64 x (pow.f64 s 2)) x)))
	4.0b	(.f64 (.f64 x (pow.f64 s 2)) x)
	5.0b	(*.f64 x (pow.f64 s 2))
✓	6.6b	(.f64 c (.f64 (*.f64 x (pow.f64 s 2)) x))

series65.0ms (0.7%)

Counts

2 → 72

Calls

2 calls:

36.0ms	(.f64 c (.f64 c (.f64 (.f64 x (pow.f64 s 2)) x)))
29.0ms	(.f64 c (.f64 (*.f64 x (pow.f64 s 2)) x))

rewrite16.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

41×	`add-exp-log_binary64`
30×	`prod-exp_binary64`
25×	`add-cbrt-cube_binary64`
16×	`cbrt-unprod_binary64`
16×	`pow1_binary64`

Counts

2 → 51

Calls

2 calls:

7.0ms	(.f64 c (.f64 c (.f64 (.f64 x (pow.f64 s 2)) x)))
5.0ms	(.f64 c (.f64 (*.f64 x (pow.f64 s 2)) x))

simplify95.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

516×	`sqr-pow_binary64`
400×	`*-commutative_binary64`
400×	`fma-def_binary64`
285×	`associate-/l*_binary64`
236×	`times-frac_binary64`

Counts

123 → 71

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	85	2089
1	214	1870
2	670	1870
3	1320	1773
4	2239	1721
5	4381	1713
6	5242	1713

prune244.0ms (2.8%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	142	8	150
Fresh	11	4	15
Picked	1	0	1
Done	0	0	0
Total	154	12	166

Error

0.7b

Counts

166 → 12

Alt Table

Status	Error	Program
	14.6b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 c (.f64 c (.f64 (.f64 (.f64 s x) s) x))))
	11.0b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 c (.f64 c (.f64 (fabs.f64 (.f64 s x)) (fabs.f64 (.f64 s x))))))
	25.7b	(/.f64 (/.f64 (cos.f64 (.f64 2 x)) (pow.f64 c 2)) (.f64 (*.f64 x (pow.f64 s 2)) x))
	23.8b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 (pow.f64 c 2) (.f64 x (pow.f64 s 2))) x))
	14.8b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 c (.f64 (.f64 c (*.f64 x (pow.f64 s 2))) x)))
	40.3b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 (.f64 s (sqrt.f64 x)) (.f64 s (sqrt.f64 x))) x)))
	25.9b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 c (.f64 c (.f64 (.f64 (.f64 s x) (pow.f64 (sqrt.f64 s) 2)) x))))
▶	3.1b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 s (.f64 c x)) (.f64 s (.f64 c x))))
	20.4b	(/.f64 (cos.f64 (.f64 2 x)) (cbrt.f64 (pow.f64 (.f64 s (*.f64 c x)) 6)))
	23.0b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 s s) (.f64 c (.f64 c (.f64 x x)))))
	30.5b	(.f64 (sqrt.f64 (/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 s s) (.f64 (.f64 c c) (.f64 x x))))) (sqrt.f64 (/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 s s) (.f64 (.f64 c c) (*.f64 x x))))))
	21.2b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 c (.f64 (pow.f64 s 2) (.f64 c (pow.f64 x 2)))))

Compiler

Compiled 3770 to 2095 computations (44.4% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series196.0ms (2.2%)

Counts

4 → 92

Calls

4 calls:

150.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 s (.f64 c x)) (.f64 s (.f64 c x))))
35.0ms	(.f64 (.f64 s (.f64 c x)) (.f64 s (*.f64 c x)))
9.0ms	(.f64 s (.f64 c x))
2.0ms	(cos.f64 (*.f64 2 x))

rewrite50.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

123×	`pow1_binary64`
92×	`add-cbrt-cube_binary64`
92×	`add-exp-log_binary64`
69×	`pow-prod-down_binary64`
57×	`cbrt-unprod_binary64`

Counts

4 → 132

Calls

4 calls:

11.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 s (.f64 c x)) (.f64 s (.f64 c x))))
8.0ms	(.f64 (.f64 s (.f64 c x)) (.f64 s (*.f64 c x)))
3.0ms	(.f64 s (.f64 c x))
1.0ms	(cos.f64 (*.f64 2 x))

simplify128.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

531×	`associate-*l/_binary64`
487×	`associate-*r/_binary64`
281×	`associate-r_binary64`
276×	`associate-/r*_binary64`
258×	`associate-l_binary64`

Counts

224 → 168

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	169	4588
1	417	3659
2	1875	3477
3	5022	3477

prune290.0ms (3.3%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	186	12	198
Fresh	10	1	11
Picked	1	0	1
Done	0	0	0
Total	197	13	210

Error

0.0b

Counts

210 → 13

Alt Table

Status	Error	Program
	40.3b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 (.f64 s (sqrt.f64 x)) (.f64 s (sqrt.f64 x))) x)))
	2.1b	(.f64 (.f64 (cbrt.f64 (/.f64 (cos.f64 (.f64 x 2)) (.f64 (.f64 c (.f64 s x)) (.f64 c (.f64 s x))))) (cbrt.f64 (/.f64 (cos.f64 (.f64 x 2)) (.f64 (.f64 c (.f64 s x)) (.f64 c (.f64 s x)))))) (cbrt.f64 (/.f64 (cos.f64 (.f64 x 2)) (.f64 (.f64 c (.f64 s x)) (.f64 c (.f64 s x))))))
	3.5b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 s (.f64 c x)) (.f64 (.f64 (cbrt.f64 s) (cbrt.f64 s)) (.f64 (cbrt.f64 s) (.f64 c x)))))
	2.0b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 (cbrt.f64 (.f64 (.f64 c (.f64 s x)) (.f64 c (.f64 s x)))) (cbrt.f64 (.f64 (.f64 c (.f64 s x)) (.f64 c (.f64 s x))))) (cbrt.f64 (.f64 (.f64 c (.f64 s x)) (.f64 c (.f64 s x))))))
	11.9b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 s (.f64 c x)) (cbrt.f64 (pow.f64 (.f64 c (.f64 s x)) 3))))
	5.7b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 (.f64 s (.f64 c x)) s) (.f64 c x)))
	4.7b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 s (.f64 c x)) (.f64 (.f64 s c) x)))
▶	1.6b	(.f64 (/.f64 1 (.f64 c (.f64 s x))) (/.f64 (cos.f64 (.f64 x 2)) (.f64 c (.f64 s x))))
	3.9b	(/.f64 (/.f64 (cos.f64 (.f64 x 2)) (.f64 c (.f64 s x))) (.f64 s (*.f64 c x)))
	3.2b	(/.f64 (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 2 x)) (cos.f64 (.f64 2 x))) (cos.f64 (.f64 2 x)))) (.f64 (.f64 s (.f64 c x)) (.f64 s (.f64 c x))))
	1.8b	(.f64 (cos.f64 (.f64 2 x)) (/.f64 1 (.f64 (.f64 c (.f64 s x)) (.f64 c (*.f64 s x)))))
	3.0b	(/.f64 (-.f64 (.f64 (cos.f64 x) (cos.f64 x)) (.f64 (sin.f64 x) (sin.f64 x))) (.f64 (.f64 s (.f64 c x)) (.f64 s (*.f64 c x))))
	3.1b	(/.f64 (log1p.f64 (expm1.f64 (cos.f64 (.f64 2 x)))) (.f64 (.f64 s (.f64 c x)) (.f64 s (.f64 c x))))

Compiler

Compiled 5474 to 1920 computations (64.9% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(cos.f64 (*.f64 x 2))
✓	1.1b	(/.f64 1 (.f64 c (.f64 s x)))
✓	1.1b	(/.f64 (cos.f64 (.f64 x 2)) (.f64 c (*.f64 s x)))
✓	3.7b	(.f64 c (.f64 s x))

series67.0ms (0.8%)

Counts

4 → 84

Calls

4 calls:

34.0ms	(/.f64 (cos.f64 (.f64 x 2)) (.f64 c (*.f64 s x)))
22.0ms	(/.f64 1 (.f64 c (.f64 s x)))
9.0ms	(.f64 c (.f64 s x))
2.0ms	(cos.f64 (*.f64 x 2))

rewrite19.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

39×	`add-exp-log_binary64`
27×	`add-cbrt-cube_binary64`
15×	`prod-exp_binary64`
15×	`pow1_binary64`
9×	`div-exp_binary64`

Counts

4 → 89

Calls

4 calls:

5.0ms	(/.f64 (cos.f64 (.f64 x 2)) (.f64 c (*.f64 s x)))
4.0ms	(/.f64 1 (.f64 c (.f64 s x)))
4.0ms	(.f64 c (.f64 s x))
1.0ms	(cos.f64 (*.f64 x 2))

simplify100.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

734×	`associate-/l*_binary64`
514×	`associate-/l/_binary64`
438×	`fma-def_binary64`
397×	`associate-*l/_binary64`
264×	`*-commutative_binary64`

Counts

173 → 137

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	145	2332
1	329	2066
2	1238	2058
3	4328	2054
4	4970	2054
5	4963	2054

prune320.0ms (3.6%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	165	2	167
Fresh	2	10	12
Picked	0	1	1
Done	0	0	0
Total	167	13	180

Error

0.0b

Counts

180 → 13

Alt Table

Status	Error	Program
	2.1b	(.f64 (.f64 (cbrt.f64 (/.f64 (cos.f64 (.f64 x 2)) (.f64 (.f64 c (.f64 s x)) (.f64 c (.f64 s x))))) (cbrt.f64 (/.f64 (cos.f64 (.f64 x 2)) (.f64 (.f64 c (.f64 s x)) (.f64 c (.f64 s x)))))) (cbrt.f64 (/.f64 (cos.f64 (.f64 x 2)) (.f64 (.f64 c (.f64 s x)) (.f64 c (.f64 s x))))))
	2.0b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 (cbrt.f64 (.f64 (.f64 c (.f64 s x)) (.f64 c (.f64 s x)))) (cbrt.f64 (.f64 (.f64 c (.f64 s x)) (.f64 c (.f64 s x))))) (cbrt.f64 (.f64 (.f64 c (.f64 s x)) (.f64 c (.f64 s x))))))
	11.9b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 s (.f64 c x)) (cbrt.f64 (pow.f64 (.f64 c (.f64 s x)) 3))))
	5.7b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 (.f64 s (.f64 c x)) s) (.f64 c x)))
	4.7b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 s (.f64 c x)) (.f64 (.f64 s c) x)))
✓	1.6b	(.f64 (/.f64 1 (.f64 c (.f64 s x))) (/.f64 (cos.f64 (.f64 x 2)) (.f64 c (.f64 s x))))
	22.7b	(.f64 (/.f64 1 (.f64 c (.f64 s x))) (/.f64 (sqrt.f64 (cos.f64 (.f64 x 2))) (/.f64 c (/.f64 (sqrt.f64 (cos.f64 (.f64 x 2))) (.f64 s x)))))
	1.8b	(.f64 (cos.f64 (.f64 2 x)) (/.f64 1 (.f64 (.f64 c (.f64 s x)) (.f64 c (*.f64 s x)))))
	1.9b	(.f64 (/.f64 1 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (cbrt.f64 c) (.f64 s x)))) (/.f64 (cos.f64 (.f64 x 2)) (.f64 c (.f64 s x))))
	3.9b	(/.f64 (/.f64 (cos.f64 (.f64 x 2)) (.f64 c (.f64 s x))) (.f64 s (*.f64 c x)))
	3.2b	(/.f64 (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 2 x)) (cos.f64 (.f64 2 x))) (cos.f64 (.f64 2 x)))) (.f64 (.f64 s (.f64 c x)) (.f64 s (.f64 c x))))
	3.0b	(/.f64 (-.f64 (.f64 (cos.f64 x) (cos.f64 x)) (.f64 (sin.f64 x) (sin.f64 x))) (.f64 (.f64 s (.f64 c x)) (.f64 s (*.f64 c x))))
	3.1b	(/.f64 (log1p.f64 (expm1.f64 (cos.f64 (.f64 2 x)))) (.f64 (.f64 s (.f64 c x)) (.f64 s (.f64 c x))))

Compiler

Compiled 4308 to 1864 computations (56.7% saved)

regimes1.2s (13.2%)

Accuracy

Total 2.5b remaining (96.2%)

Threshold costs 0b (0%)

Counts

178 → 1

Compiler

Compiled 28675 to 17997 computations (37.2% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	27
1	20	27
2	19	27

end321.0ms (3.7%)

Compiler: Compiled 440 to 240 computations (45.5% saved)

Details

analyze1.3s (14.4%)

sample3.0s (34.1%)

simplify107.0ms (1.2%)

prune3.0ms (0%)

localize10.0ms (0.1%)

series208.0ms (2.4%)

rewrite36.0ms (0.4%)

simplify746.0ms (8.5%)

prune301.0ms (3.4%)

localize13.0ms (0.1%)

series65.0ms (0.7%)

rewrite16.0ms (0.2%)

simplify95.0ms (1.1%)

prune244.0ms (2.8%)

localize8.0ms (0.1%)

series196.0ms (2.2%)

rewrite50.0ms (0.6%)

simplify128.0ms (1.5%)

prune290.0ms (3.3%)

localize10.0ms (0.1%)

series67.0ms (0.8%)

rewrite19.0ms (0.2%)

simplify100.0ms (1.1%)

prune320.0ms (3.6%)

regimes1.2s (13.2%)

simplify2.0ms (0%)

end321.0ms (3.7%)

Profiling