Details

analyze619.0ms (4.2%)

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)

sample71.0ms (0.5%)

Algorithm

1×

intervals

Results

25.0ms	256×	body	128	valid
15.0ms	157×	body	128	nan
0.0ms	2×	body	128	invalid

Compiler

Compiled 48 to 36 computations (25% saved)

simplify222.0ms (1.5%)

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

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.4b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.4b	(fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))

Compiler

Compiled 76 to 46 computations (39.5% saved)

localize13.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite19.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

50×	`*-un-lft-identity_binary64`
28×	`pow1_binary64`
25×	`distribute-lft-out_binary64`
25×	`log-pow_binary64`
21×	`prod-diff_binary64`

Counts

3 → 94

Calls

3 calls:

7.0ms	(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)
6.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))
0.0ms	(fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))

series2.3s (15.5%)

Counts

3 → 144

Calls

3 calls:

1.1s	(fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))
621.0ms	(+.f64 (log.f64 (+.f64 x y)) (log.f64 z))
605.0ms	(-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)

simplify178.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

977×	`fma-neg_binary64`
440×	`associate--l+_binary64`
354×	`associate--r+_binary64`
345×	`associate-+l+_binary64`
318×	`unsub-neg_binary64`

Counts

238 → 453

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	362	5343
1	1090	4931
2	4053	4802
3	4581	4780
4	5237	4780

prune213.0ms (1.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	445	8	453
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	446	8	454

Error

0.1b

Counts

454 → 8

Alt Table

Status	Error	Program
	0.4b	(fma.f64 (-.f64 a 1/2) (log.f64 t) (+.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) (neg.f64 t)))
	53.1b	(log.f64 (.f64 (/.f64 (.f64 z (+.f64 y x)) (exp.f64 t)) (pow.f64 t (-.f64 a 1/2))))
	53.5b	(+.f64 (/.f64 y x) (-.f64 (fma.f64 (log.f64 t) a (log.f64 z)) (-.f64 (fma.f64 1/2 (log.f64 t) t) (log.f64 x))))
▶	0.4b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (.f64 a (log.f64 (/.f64 1 t))) t))
	41.2b	(*.f64 (sqrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))) (sqrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))))
	1.3b	(.f64 (.f64 (cbrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))) (cbrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)))) (cbrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))))
	37.0b	(cbrt.f64 (pow.f64 (fma.f64 (log.f64 t) (-.f64 a 1/2) (-.f64 (+.f64 (log.f64 z) (log.f64 (+.f64 y x))) t)) 3))
	17.9b	(fma.f64 (-.f64 a 1/2) (log.f64 t) (/.f64 (-.f64 (.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) (+.f64 (log.f64 (+.f64 x y)) (log.f64 z))) (.f64 t t)) (+.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t)))

Compiler

Compiled 6344 to 2571 computations (59.5% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite36.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

85×	`log-prod_binary64`
57×	`*-un-lft-identity_binary64`
54×	`times-frac_binary64`
54×	`add-sqr-sqrt_binary64`
52×	`add-cube-cbrt_binary64`

Counts

4 → 165

Calls

4 calls:

7.0ms	(+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (*.f64 1/2 (log.f64 (/.f64 1 t)))))
7.0ms	(*.f64 a (log.f64 (/.f64 1 t)))
6.0ms	(+.f64 (*.f64 a (log.f64 (/.f64 1 t))) t)
6.0ms	(+.f64 (log.f64 z) (*.f64 1/2 (log.f64 (/.f64 1 t))))

series3.9s (26.6%)

Counts

4 → 76

Calls

4 calls:

2.3s	(+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (*.f64 1/2 (log.f64 (/.f64 1 t)))))
935.0ms	(+.f64 (log.f64 z) (*.f64 1/2 (log.f64 (/.f64 1 t))))
518.0ms	(*.f64 a (log.f64 (/.f64 1 t)))
104.0ms	(+.f64 (*.f64 a (log.f64 (/.f64 1 t))) t)

simplify220.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

724×	`fma-neg_binary64`
440×	`distribute-rgt-in_binary64`
242×	`cancel-sign-sub-inv_binary64`
239×	`sub-neg_binary64`
221×	`unsub-neg_binary64`

Counts

241 → 457

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	309	4210
1	813	3818
2	2529	3623
3	4469	3569
4	4981	3567
5	5045	3567

prune428.0ms (2.9%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	449	8	457
Fresh	5	2	7
Picked	1	0	1
Done	0	0	0
Total	455	10	465

Error

0.0b

Counts

465 → 10

Alt Table

Status	Error	Program
	0.4b	(fma.f64 (-.f64 a 1/2) (log.f64 t) (+.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) (neg.f64 t)))
	36.9b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (cbrt.f64 (pow.f64 (-.f64 t (.f64 (log.f64 t) a)) 3)))
	22.8b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (cbrt.f64 (.f64 (.f64 (.f64 a a) a) (.f64 (.f64 (log.f64 (/.f64 1 t)) (log.f64 (/.f64 1 t))) (log.f64 (/.f64 1 t))))) t))
	41.2b	(*.f64 (sqrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))) (sqrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))))
	30.4b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (/.f64 (-.f64 (.f64 (.f64 (log.f64 t) a) (.f64 (log.f64 t) a)) (.f64 t t)) (-.f64 (neg.f64 (.f64 (log.f64 t) a)) t)))
▶	0.3b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (+.f64 (.f64 a (neg.f64 (log.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t))))) (.f64 a (neg.f64 (log.f64 (cbrt.f64 t))))) t))
	17.2b	(-.f64 (log.f64 (.f64 (+.f64 x y) (.f64 z (pow.f64 t -1/2)))) (+.f64 (*.f64 a (log.f64 (/.f64 1 t))) t))
	0.7b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (neg.f64 (log.f64 t)) (cbrt.f64 a))) t))
	48.9b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (.f64 (.f64 (sqrt.f64 a) (sqrt.f64 (neg.f64 (log.f64 t)))) (.f64 (sqrt.f64 a) (sqrt.f64 (neg.f64 (log.f64 t))))) t))
	33.3b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (.f64 (*.f64 a (sqrt.f64 (neg.f64 (log.f64 t)))) (sqrt.f64 (log.f64 (/.f64 1 t)))) t))

Compiler

Compiled 10445 to 5969 computations (42.9% saved)

localize28.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(*.f64 (cbrt.f64 t) (cbrt.f64 t))
	0.6b	(cbrt.f64 t)
	0.6b	(cbrt.f64 t)
✓	0.6b	(cbrt.f64 t)

rewrite8.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary64`
19×	`cbrt-prod_binary64`
11×	`*-un-lft-identity_binary64`
11×	`add-cube-cbrt_binary64`
9×	`pow1_binary64`

Counts

2 → 55

Calls

2 calls:

5.0ms	(*.f64 (cbrt.f64 t) (cbrt.f64 t))
1.0ms	(cbrt.f64 t)

series488.0ms (3.3%)

Counts

2 → 24

Calls

2 calls:

265.0ms	(*.f64 (cbrt.f64 t) (cbrt.f64 t))
222.0ms	(cbrt.f64 t)

simplify80.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

577×	`distribute-rgt-in_binary64`
561×	`log-prod_binary64`
538×	`distribute-lft-in_binary64`
525×	`unswap-sqr_binary64`
384×	`fma-def_binary64`

Counts

79 → 145

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	58	610
1	98	554
2	296	516
3	769	502
4	1799	410
5	4642	410
6	4805	410

prune191.0ms (1.3%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	273	1	274
Fresh	1	8	9
Picked	0	1	1
Done	0	0	0
Total	274	10	284

Error

0.0b

Counts

284 → 10

Alt Table

Status	Error	Program
	0.4b	(fma.f64 (-.f64 a 1/2) (log.f64 t) (+.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) (neg.f64 t)))
	22.8b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (cbrt.f64 (.f64 (.f64 (.f64 a a) a) (.f64 (.f64 (log.f64 (/.f64 1 t)) (log.f64 (/.f64 1 t))) (log.f64 (/.f64 1 t))))) t))
✓	0.3b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (+.f64 (.f64 a (neg.f64 (log.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t))))) (.f64 a (neg.f64 (log.f64 (cbrt.f64 t))))) t))
▶	0.4b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (+.f64 (.f64 a (neg.f64 (log.f64 (exp.f64 (.f64 2/3 (log.f64 t)))))) (.f64 a (neg.f64 (log.f64 (cbrt.f64 t))))) t))
	41.2b	(*.f64 (sqrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))) (sqrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))))
	30.4b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (/.f64 (-.f64 (.f64 (.f64 (log.f64 t) a) (.f64 (log.f64 t) a)) (.f64 t t)) (-.f64 (neg.f64 (.f64 (log.f64 t) a)) t)))
	17.2b	(-.f64 (log.f64 (.f64 (+.f64 x y) (.f64 z (pow.f64 t -1/2)))) (+.f64 (*.f64 a (log.f64 (/.f64 1 t))) t))
	0.7b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (neg.f64 (log.f64 t)) (cbrt.f64 a))) t))
	48.9b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (.f64 (.f64 (sqrt.f64 a) (sqrt.f64 (neg.f64 (log.f64 t)))) (.f64 (sqrt.f64 a) (sqrt.f64 (neg.f64 (log.f64 t))))) t))
	33.3b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (.f64 (*.f64 a (sqrt.f64 (neg.f64 (log.f64 t)))) (sqrt.f64 (log.f64 (/.f64 1 t)))) t))

Compiler

Compiled 4639 to 2143 computations (53.8% saved)

localize32.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.4b	(+.f64 (log.f64 z) (*.f64 1/2 (log.f64 (/.f64 1 t))))
	0.5b	(+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (*.f64 1/2 (log.f64 (/.f64 1 t)))))
	0.6b	(cbrt.f64 t)
✓	5.3b	(exp.f64 (*.f64 2/3 (log.f64 t)))

rewrite3.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`exp-sum_binary64`
6×	`log-prod_binary64`
3×	`distribute-lft-in_binary64`
3×	`*-un-lft-identity_binary64`
3×	`add-sqr-sqrt_binary64`

Counts

1 → 18

Calls

1 calls:

2.0ms

(exp.f64 (*.f64 2/3 (log.f64 t)))

series217.0ms (1.5%)

Counts

1 → 12

Calls

1 calls:

217.0ms

(exp.f64 (*.f64 2/3 (log.f64 t)))

simplify88.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

541×	`associate-l_binary64`
518×	`log-prod_binary64`
489×	`associate-r_binary64`
404×	`unswap-sqr_binary64`
344×	`fma-neg_binary64`

Counts

30 → 55

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	53	216
1	83	207
2	149	192
3	328	143
4	760	137
5	3855	137
6	4884	137
7	4819	137

prune392.0ms (2.7%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	474	0	474
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	474	10	484

Error

0.0b

Counts

484 → 10

Alt Table

Status	Error	Program
	0.4b	(fma.f64 (-.f64 a 1/2) (log.f64 t) (+.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) (neg.f64 t)))
	22.8b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (cbrt.f64 (.f64 (.f64 (.f64 a a) a) (.f64 (.f64 (log.f64 (/.f64 1 t)) (log.f64 (/.f64 1 t))) (log.f64 (/.f64 1 t))))) t))
✓	0.3b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (+.f64 (.f64 a (neg.f64 (log.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t))))) (.f64 a (neg.f64 (log.f64 (cbrt.f64 t))))) t))
✓	0.4b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (+.f64 (.f64 a (neg.f64 (log.f64 (exp.f64 (.f64 2/3 (log.f64 t)))))) (.f64 a (neg.f64 (log.f64 (cbrt.f64 t))))) t))
	41.2b	(*.f64 (sqrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))) (sqrt.f64 (fma.f64 (-.f64 a 1/2) (log.f64 t) (-.f64 (+.f64 (log.f64 (+.f64 x y)) (log.f64 z)) t))))
	30.4b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (/.f64 (-.f64 (.f64 (.f64 (log.f64 t) a) (.f64 (log.f64 t) a)) (.f64 t t)) (-.f64 (neg.f64 (.f64 (log.f64 t) a)) t)))
	17.2b	(-.f64 (log.f64 (.f64 (+.f64 x y) (.f64 z (pow.f64 t -1/2)))) (+.f64 (*.f64 a (log.f64 (/.f64 1 t))) t))
	0.7b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (neg.f64 (log.f64 t)) (cbrt.f64 a))) t))
	48.9b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (.f64 (.f64 (sqrt.f64 a) (sqrt.f64 (neg.f64 (log.f64 t)))) (.f64 (sqrt.f64 a) (sqrt.f64 (neg.f64 (log.f64 t))))) t))
	33.3b	(-.f64 (+.f64 (log.f64 (+.f64 y x)) (+.f64 (log.f64 z) (.f64 1/2 (log.f64 (/.f64 1 t))))) (+.f64 (.f64 (*.f64 a (sqrt.f64 (neg.f64 (log.f64 t)))) (sqrt.f64 (log.f64 (/.f64 1 t)))) t))

Compiler

Compiled 8924 to 4653 computations (47.9% saved)

regimes3.0s (20.7%)

Accuracy

Total 0.3b remaining (89.8%)

Threshold costs 0.3b (89.8%)

Compiler

Compiled 61021 to 42905 computations (29.7% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Rules

27×	`distribute-rgt-neg-in_binary64`
18×	`distribute-lft-neg-in_binary64`
18×	`cancel-sign-sub-inv_binary64`
16×	`distribute-neg-in_binary64`
15×	`+-commutative_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	27	54
1	48	52
2	74	50
3	98	50
4	140	50
5	165	50
6	172	50
7	168	50

end9.0ms (0.1%)

Remove: (sort x y)
Compiler: Compiled 108 to 72 computations (33.3% saved)

sample1.9s (12.7%)

Algorithm

1×

intervals

Results

766.0ms	8000×	body	128	valid
386.0ms	4401×	body	128	nan
5.0ms	50×	body	128	invalid

Compiler

Compiled 411 to 280 computations (31.9% saved)

Details

analyze619.0ms (4.2%)

sample71.0ms (0.5%)

simplify222.0ms (1.5%)

prune3.0ms (0%)

localize13.0ms (0.1%)

rewrite19.0ms (0.1%)

series2.3s (15.5%)

simplify178.0ms (1.2%)

prune213.0ms (1.5%)

localize18.0ms (0.1%)

rewrite36.0ms (0.2%)

series3.9s (26.6%)

simplify220.0ms (1.5%)

prune428.0ms (2.9%)

localize28.0ms (0.2%)

rewrite8.0ms (0.1%)

series488.0ms (3.3%)

simplify80.0ms (0.5%)

prune191.0ms (1.3%)

localize32.0ms (0.2%)

rewrite3.0ms (0%)

series217.0ms (1.5%)

simplify88.0ms (0.6%)

prune392.0ms (2.7%)

regimes3.0s (20.7%)

simplify7.0ms (0%)

end9.0ms (0.1%)

sample1.9s (12.7%)

Profiling