Details

analyze635.0ms (3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	68.6%	31.4%	5
0%	65.5%	34.5%	6
0%	59.2%	40.8%	7
0%	51.4%	48.6%	8
0%	41.3%	58.7%	9
0%	28.4%	71.6%	10
2.3%	22.3%	75.4%	11
2.3%	21%	76.7%	12
2.7%	18%	79.3%	13
2.7%	16.4%	80.8%	14

Compiler

Compiled 22 to 16 computations (27.3% saved)

sample82.0ms (0.4%)

Algorithm

1×

intervals

Results

39.0ms	256×	body	128	valid
13.0ms	156×	body	128	nan
0.0ms	1×	body	128	invalid

Compiler

Compiled 48 to 36 computations (25% saved)

simplify232.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

2140×	`distribute-rgt-in_binary64`
556×	`associate--r+_binary64`
551×	`associate-+l+_binary64`
551×	`unsub-neg_binary64`
546×	`associate-+r+_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	16	25
1	29	23
2	72	23
3	160	23
4	426	23
5	1097	23
6	1994	23
7	1981	23
8	1956	23
9	1972	23
10	1987	23
11	2037	23
12	2044	23
13	2248	23
14	2651	23
15	2447	23
16	2459	23
17	2465	23
18	2465	23
19	2557	23
20	4649	23
21	4720	23
22	4802	23
23	4878	23
24	7643	23

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.3b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
	0.3b	(fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))

Compiler

Compiled 118 to 76 computations (35.6% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)
✓	0.1b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
✓	0.1b	(*.f64 (-.f64 a 1/2) (log.f64 t))
✓	0.5b	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))

series1.7s (8%)

Counts

4 → 164

Calls

4 calls:

828.0ms	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
426.0ms	(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)
339.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))
89.0ms	(*.f64 (-.f64 a 1/2) (log.f64 t))

rewrite69.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

93×	`*-un-lft-identity_binary64`
48×	`pow1_binary64`
45×	`add-sqr-sqrt_binary64`
42×	`prod-diff_binary64`
42×	`log-pow_binary64`

Counts

4 → 176

Calls

4 calls:

21.0ms	(*.f64 (-.f64 a 1/2) (log.f64 t))
13.0ms	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (*.f64 (-.f64 a 1/2) (log.f64 t)))
11.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))
9.0ms	(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)

simplify131.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

450×	`associate--l+_binary64`
371×	`associate-+l+_binary64`
360×	`associate--r+_binary64`
318×	`fma-def_binary64`
286×	`sub-neg_binary64`

Counts

340 → 368

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	469	7429
1	1396	6861
2	5156	6861

prune380.0ms (1.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	357	11	368
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	359	11	370

Error

0.0b

Counts

370 → 11

Alt Table

Status	Error	Program
▶	0.2b	(+.f64 (+.f64 (log.f64 (+.f64 x y)) (-.f64 (log.f64 z) t)) (*.f64 (-.f64 a 1/2) (log.f64 t)))
	29.7b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (sqrt.f64 (.f64 (-.f64 a 1/2) (log.f64 t))) (sqrt.f64 (*.f64 (-.f64 a 1/2) (log.f64 t)))))
	34.9b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (.f64 (-.f64 a 1/2) (sqrt.f64 (log.f64 t))) (sqrt.f64 (log.f64 t))))
	0.8b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 a 1/2) (log.f64 t))) (cbrt.f64 (.f64 (-.f64 a 1/2) (log.f64 t)))) (cbrt.f64 (*.f64 (-.f64 a 1/2) (log.f64 t)))))
	50.5b	(log.f64 (.f64 (pow.f64 t (+.f64 a -1/2)) (/.f64 (.f64 z (+.f64 y x)) (exp.f64 t))))
	15.3b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (/.f64 (*.f64 (log.f64 t) (fma.f64 a a -1/4)) (+.f64 a 1/2)))
	0.3b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (+.f64 (.f64 (+.f64 a -1/2) (.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 (+.f64 a -1/2) (log.f64 (cbrt.f64 t)))))
	0.7b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (.f64 (-.f64 a 1/2) (*.f64 (cbrt.f64 (log.f64 t)) (cbrt.f64 (log.f64 t)))) (cbrt.f64 (log.f64 t))))
	19.1b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (cbrt.f64 (.f64 (.f64 (.f64 (-.f64 a 1/2) (log.f64 t)) (.f64 (-.f64 a 1/2) (log.f64 t))) (*.f64 (-.f64 a 1/2) (log.f64 t)))))
	25.8b	(/.f64 (.f64 (+.f64 (log.f64 (+.f64 y x)) (fma.f64 (log.f64 t) (+.f64 a -1/2) (-.f64 (log.f64 z) t))) (-.f64 (-.f64 (+.f64 (log.f64 z) (log.f64 (+.f64 y x))) t) (.f64 (log.f64 t) (+.f64 a -1/2)))) (-.f64 (-.f64 (+.f64 (log.f64 z) (log.f64 (+.f64 y x))) t) (*.f64 (log.f64 t) (+.f64 a -1/2))))
	0.7b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (.f64 (cbrt.f64 (-.f64 a 1/2)) (cbrt.f64 (-.f64 a 1/2))) (*.f64 (cbrt.f64 (-.f64 a 1/2)) (log.f64 t))))

Compiler

Compiled 10772 to 4231 computations (60.7% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (log.f64 z) t)
✓	0.1b	(+.f64 (+.f64 (log.f64 (+.f64 x y)) (-.f64 (log.f64 z) t)) (*.f64 (-.f64 a 1/2) (log.f64 t)))
	0.1b	(*.f64 (-.f64 a 1/2) (log.f64 t))
✓	0.3b	(+.f64 (log.f64 (+.f64 x y)) (-.f64 (log.f64 z) t))

series1.8s (8.6%)

Counts

3 → 119

Calls

3 calls:

1.4s	(+.f64 (+.f64 (log.f64 (+.f64 x y)) (-.f64 (log.f64 z) t)) (*.f64 (-.f64 a 1/2) (log.f64 t)))
320.0ms	(+.f64 (log.f64 (+.f64 x y)) (-.f64 (log.f64 z) t))
102.0ms	(-.f64 (log.f64 z) t)

rewrite80.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

54×	`*-un-lft-identity_binary64`
29×	`add-sqr-sqrt_binary64`
27×	`add-cube-cbrt_binary64`
25×	`associate-+r+_binary64`
24×	`prod-diff_binary64`

Counts

3 → 126

Calls

3 calls:

27.0ms	(+.f64 (log.f64 (+.f64 x y)) (-.f64 (log.f64 z) t))
22.0ms	(+.f64 (+.f64 (log.f64 (+.f64 x y)) (-.f64 (log.f64 z) t)) (*.f64 (-.f64 a 1/2) (log.f64 t)))
11.0ms	(-.f64 (log.f64 z) t)

simplify219.0ms (1%)

Algorithm

1×	egg-herbie

Rules

562×	`fma-neg_binary64`
365×	`associate--l+_binary64`
362×	`associate-+l+_binary64`
331×	`associate--r+_binary64`
286×	`fma-def_binary64`

Counts

245 → 280

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	413	5613
1	1255	5158
2	4790	5156
3	5296	5156

prune490.0ms (2.3%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	337	0	337
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	337	11	348

Error

0.0b

Counts

348 → 11

Alt Table

Status	Error	Program
✓	0.2b	(+.f64 (+.f64 (log.f64 (+.f64 x y)) (-.f64 (log.f64 z) t)) (*.f64 (-.f64 a 1/2) (log.f64 t)))
	29.7b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (sqrt.f64 (.f64 (-.f64 a 1/2) (log.f64 t))) (sqrt.f64 (*.f64 (-.f64 a 1/2) (log.f64 t)))))
	34.9b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (.f64 (-.f64 a 1/2) (sqrt.f64 (log.f64 t))) (sqrt.f64 (log.f64 t))))
	0.8b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 a 1/2) (log.f64 t))) (cbrt.f64 (.f64 (-.f64 a 1/2) (log.f64 t)))) (cbrt.f64 (*.f64 (-.f64 a 1/2) (log.f64 t)))))
	50.5b	(log.f64 (.f64 (pow.f64 t (+.f64 a -1/2)) (/.f64 (.f64 z (+.f64 y x)) (exp.f64 t))))
	15.3b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (/.f64 (*.f64 (log.f64 t) (fma.f64 a a -1/4)) (+.f64 a 1/2)))
▶	0.3b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (+.f64 (.f64 (+.f64 a -1/2) (.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 (+.f64 a -1/2) (log.f64 (cbrt.f64 t)))))
	0.7b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (.f64 (-.f64 a 1/2) (*.f64 (cbrt.f64 (log.f64 t)) (cbrt.f64 (log.f64 t)))) (cbrt.f64 (log.f64 t))))
	19.1b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (cbrt.f64 (.f64 (.f64 (.f64 (-.f64 a 1/2) (log.f64 t)) (.f64 (-.f64 a 1/2) (log.f64 t))) (*.f64 (-.f64 a 1/2) (log.f64 t)))))
	25.8b	(/.f64 (.f64 (+.f64 (log.f64 (+.f64 y x)) (fma.f64 (log.f64 t) (+.f64 a -1/2) (-.f64 (log.f64 z) t))) (-.f64 (-.f64 (+.f64 (log.f64 z) (log.f64 (+.f64 y x))) t) (.f64 (log.f64 t) (+.f64 a -1/2)))) (-.f64 (-.f64 (+.f64 (log.f64 z) (log.f64 (+.f64 y x))) t) (*.f64 (log.f64 t) (+.f64 a -1/2))))
	0.7b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (.f64 (cbrt.f64 (-.f64 a 1/2)) (cbrt.f64 (-.f64 a 1/2))) (*.f64 (cbrt.f64 (-.f64 a 1/2)) (log.f64 t))))

Compiler

Compiled 9518 to 3683 computations (61.3% saved)

localize44.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (+.f64 a -1/2) (log.f64 (cbrt.f64 t)))
✓	0.3b	(+.f64 (.f64 (+.f64 a -1/2) (.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 (+.f64 a -1/2) (log.f64 (cbrt.f64 t))))
	0.5b	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))
✓	0.6b	(cbrt.f64 t)

series2.7s (12.9%)

Counts

3 → 60

Calls

3 calls:

1.9s	(+.f64 (.f64 (+.f64 a -1/2) (.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 (+.f64 a -1/2) (log.f64 (cbrt.f64 t))))
704.0ms	(*.f64 (+.f64 a -1/2) (log.f64 (cbrt.f64 t)))
143.0ms	(cbrt.f64 t)

rewrite86.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

48×	`log-prod_binary64`
36×	`distribute-lft-in_binary64`
36×	`distribute-rgt-in_binary64`
27×	`cbrt-prod_binary64`
24×	`associate-+l+_binary64`

Counts

3 → 105

Calls

3 calls:

58.0ms	(+.f64 (.f64 (+.f64 a -1/2) (.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 (+.f64 a -1/2) (log.f64 (cbrt.f64 t))))
11.0ms	(*.f64 (+.f64 a -1/2) (log.f64 (cbrt.f64 t)))
1.0ms	(cbrt.f64 t)

simplify185.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

302×	`associate-+l+_binary64`
282×	`associate-+r+_binary64`
249×	`associate-l_binary64`
231×	`cancel-sign-sub-inv_binary64`
225×	`associate-r_binary64`

Counts

165 → 191

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	211	2996
1	554	2596
2	2189	2274
3	4867	2270
4	4885	2270

prune540.0ms (2.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	291	2	293
Fresh	4	5	9
Picked	1	0	1
Done	0	1	1
Total	296	8	304

Error

0.0b

Counts

304 → 8

Alt Table

Status	Error	Program
	0.3b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (+.f64 (.f64 (+.f64 a -1/2) (.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 (-.f64 a 1/2) (log.f64 (pow.f64 t 1/3)))))
✓	0.2b	(+.f64 (+.f64 (log.f64 (+.f64 x y)) (-.f64 (log.f64 z) t)) (*.f64 (-.f64 a 1/2) (log.f64 t)))
	50.5b	(log.f64 (.f64 (pow.f64 t (+.f64 a -1/2)) (/.f64 (.f64 z (+.f64 y x)) (exp.f64 t))))
	15.3b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (/.f64 (*.f64 (log.f64 t) (fma.f64 a a -1/4)) (+.f64 a 1/2)))
▶	0.3b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (fma.f64 (+.f64 a -1/2) (.f64 2 (log.f64 (cbrt.f64 t))) (.f64 (+.f64 a -1/2) (log.f64 (cbrt.f64 t)))))
	0.8b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 a 1/2) (log.f64 t))) (cbrt.f64 (.f64 (-.f64 a 1/2) (log.f64 t)))) (cbrt.f64 (*.f64 (-.f64 a 1/2) (log.f64 t)))))
	0.7b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (.f64 (-.f64 a 1/2) (*.f64 (cbrt.f64 (log.f64 t)) (cbrt.f64 (log.f64 t)))) (cbrt.f64 (log.f64 t))))
	0.7b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (.f64 (cbrt.f64 (-.f64 a 1/2)) (cbrt.f64 (-.f64 a 1/2))) (*.f64 (cbrt.f64 (-.f64 a 1/2)) (log.f64 t))))

Compiler

Compiled 10593 to 4829 computations (54.4% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(*.f64 (+.f64 a -1/2) (log.f64 (cbrt.f64 t)))
✓	0.2b	(fma.f64 (+.f64 a -1/2) (.f64 2 (log.f64 (cbrt.f64 t))) (.f64 (+.f64 a -1/2) (log.f64 (cbrt.f64 t))))
	0.5b	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))
	0.6b	(cbrt.f64 t)

series2.3s (11%)

Counts

1 → 24

Calls

1 calls:

2.3s	(fma.f64 (+.f64 a -1/2) (.f64 2 (log.f64 (cbrt.f64 t))) (.f64 (+.f64 a -1/2) (log.f64 (cbrt.f64 t))))

rewrite1.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

1×	`*-un-lft-identity_binary64`
1×	`add-sqr-sqrt_binary64`
1×	`add-cube-cbrt_binary64`
1×	`add-cbrt-cube_binary64`
1×	`add-exp-log_binary64`

Counts

1 → 10

Calls

1 calls:

1.0ms

(fma.f64 (+.f64 a -1/2) (*.f64 2 (log.f64 (cbrt.f64 t))) (*.f64 (+.f64 a -1/2) (log.f64 (cbrt.f64 t))))

simplify61.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

664×	`distribute-rgt-in_binary64`
627×	`distribute-lft-in_binary64`
538×	`fma-def_binary64`
536×	`fma-neg_binary64`
137×	`associate-+l+_binary64`

Counts

34 → 27

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	51	865
1	110	575
2	291	457
3	1003	368
4	4677	368
5	5047	368

prune335.0ms (1.6%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	208	0	208
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	208	8	216

Error

0.0b

Counts

216 → 8

Alt Table

Status	Error	Program
	0.3b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (+.f64 (.f64 (+.f64 a -1/2) (.f64 2 (log.f64 (cbrt.f64 t)))) (*.f64 (-.f64 a 1/2) (log.f64 (pow.f64 t 1/3)))))
✓	0.2b	(+.f64 (+.f64 (log.f64 (+.f64 x y)) (-.f64 (log.f64 z) t)) (*.f64 (-.f64 a 1/2) (log.f64 t)))
	50.5b	(log.f64 (.f64 (pow.f64 t (+.f64 a -1/2)) (/.f64 (.f64 z (+.f64 y x)) (exp.f64 t))))
	15.3b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (/.f64 (*.f64 (log.f64 t) (fma.f64 a a -1/4)) (+.f64 a 1/2)))
✓	0.3b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (fma.f64 (+.f64 a -1/2) (.f64 2 (log.f64 (cbrt.f64 t))) (.f64 (+.f64 a -1/2) (log.f64 (cbrt.f64 t)))))
	0.8b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (.f64 (cbrt.f64 (.f64 (-.f64 a 1/2) (log.f64 t))) (cbrt.f64 (.f64 (-.f64 a 1/2) (log.f64 t)))) (cbrt.f64 (*.f64 (-.f64 a 1/2) (log.f64 t)))))
	0.7b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (.f64 (-.f64 a 1/2) (*.f64 (cbrt.f64 (log.f64 t)) (cbrt.f64 (log.f64 t)))) (cbrt.f64 (log.f64 t))))
	0.7b	(+.f64 (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t) (.f64 (.f64 (cbrt.f64 (-.f64 a 1/2)) (cbrt.f64 (-.f64 a 1/2))) (*.f64 (cbrt.f64 (-.f64 a 1/2)) (log.f64 t))))

Compiler

Compiled 7002 to 3120 computations (55.4% saved)

regimes5.3s (25%)

Accuracy

Total 0.3b remaining (90%)

Threshold costs 0.3b (90%)

Counts

209 → 1

Compiler

Compiled 72276 to 50672 computations (29.9% saved)

simplify9.0ms (0%)

Algorithm

1×	egg-herbie

Rules

15×	`+-commutative_binary64`
12×	`sub-neg_binary64`
11×	`*-commutative_binary64`
11×	`neg-sub0_binary64`
11×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	43
1	27	43
2	39	43
3	53	43
4	79	43
5	94	43
6	106	43
7	115	43
8	121	43
9	124	43
10	125	43
11	120	43

end9.0ms (0%)

Compiler: Compiled 99 to 54 computations (45.5% saved)

sample3.7s (17.3%)

Algorithm

1×

intervals

Results

1.4s	8000×	body	128	valid
656.0ms	4254×	body	128	nan
5.0ms	32×	body	128	invalid

Compiler

Compiled 291 to 200 computations (31.3% saved)

Iter	Nodes	Cost
0	19	43
1	27	43
2	39	43
3	53	43
4	79	43
5	94	43
6	106	43
7	115	43
8	121	43
9	124	43
10	125	43
11	120	43

Iter	Nodes	Cost
0	19	43
1	27	43
2	39	43
3	53	43
4	79	43
5	94	43
6	106	43
7	115	43
8	121	43
9	124	43
10	125	43
11	120	43

Details

analyze635.0ms (3%)

sample82.0ms (0.4%)

simplify232.0ms (1.1%)

prune4.0ms (0%)

localize14.0ms (0.1%)

series1.7s (8%)

rewrite69.0ms (0.3%)

simplify131.0ms (0.6%)

prune380.0ms (1.8%)

localize15.0ms (0.1%)

series1.8s (8.6%)

rewrite80.0ms (0.4%)

simplify219.0ms (1%)

prune490.0ms (2.3%)

localize44.0ms (0.2%)

series2.7s (12.9%)

rewrite86.0ms (0.4%)

simplify185.0ms (0.9%)

prune540.0ms (2.5%)

localize22.0ms (0.1%)

series2.3s (11%)

rewrite1.0ms (0%)

simplify61.0ms (0.3%)

prune335.0ms (1.6%)

regimes5.3s (25%)

simplify9.0ms (0%)

end9.0ms (0%)

sample3.7s (17.3%)

Profiling

Iter	Nodes	Cost
0	19	43
1	27	43
2	39	43
3	53	43
4	79	43
5	94	43
6	106	43
7	115	43
8	121	43
9	124	43
10	125	43
11	120	43