Details

analyze2.2s (21.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	99.6%	0.4%	8
0%	99.6%	0.4%	9
0%	99.6%	0.4%	10
0%	99.6%	0.4%	11
0%	99.6%	0.4%	12
0%	99.6%	0.4%	13
0%	99.6%	0.4%	14

Compiler

Compiled 28 to 19 computations (32.1% saved)

sample83.0ms (0.8%)

Algorithm

1×

intervals

Results

14.0ms	256×	body	128	valid
12.0ms	227×	body	128	invalid

Compiler

Compiled 63 to 45 computations (28.6% saved)

simplify658.0ms (6.2%)

Algorithm

1×	egg-herbie

Rules

1149×	`distribute-rgt-in_binary64`
1082×	`distribute-lft-in_binary64`
1054×	`unsub-neg_binary64`
545×	`sub-neg_binary64`
514×	`associate-l_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	28
1	36	28
2	87	28
3	248	28
4	655	28
5	1249	28
6	1775	28
7	2054	28
8	2399	28
9	2680	28
10	2590	28
11	2598	28
12	2602	28
13	2732	28
14	2891	28
15	2892	28
16	2894	28
17	2894	28
18	4426	28
19	3042	28
20	3050	28
21	3062	28
22	3066	28
23	3066	28
24	3074	28
25	3130	28
26	3278	28
27	3342	28
28	3330	28
29	3330	28
30	3330	28
31	3370	28
32	3339	28
33	3339	28
34	2851	28
35	2662	28

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

3.3b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	3.3b	(.f64 2 (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (+.f64 a (.f64 b c)) c) i)))

Compiler

Compiled 81 to 54 computations (33.3% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 a (*.f64 b c))
0.0b	(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (+.f64 a (*.f64 b c)) c) i))
0.1b	(.f64 (+.f64 a (.f64 b c)) c)
5.7b	(.f64 (.f64 (+.f64 a (*.f64 b c)) c) i)

rewrite125.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.3b

Rules

14×	`associate-*l/_binary64`
11×	`add-cbrt-cube_binary64`
11×	`add-log-exp_binary64`
11×	`add-exp-log_binary64`
11×	`pow1_binary64`

Counts

4 → 69

Calls

4 calls:

12.0ms	(.f64 (.f64 (+.f64 a (*.f64 b c)) c) i)
9.0ms	(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (+.f64 a (*.f64 b c)) c) i))
8.0ms	(.f64 (+.f64 a (.f64 b c)) c)
3.0ms	(+.f64 a (*.f64 b c))

Compiler

Compiled 2115 to 462 computations (78.2% saved)

series364.0ms (3.4%)

Error

0.3b

Counts

4 → 108

Calls

4 calls:

200.0ms	(-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (+.f64 a (*.f64 b c)) c) i))
59.0ms	(.f64 (.f64 (+.f64 a (*.f64 b c)) c) i)
40.0ms	(.f64 (+.f64 a (.f64 b c)) c)
29.0ms	(+.f64 a (*.f64 b c))

Compiler

Compiled 4747 to 3189 computations (32.8% saved)

simplify129.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

388×	`cancel-sign-sub-inv_binary64`
310×	`distribute-rgt-neg-in_binary64`
262×	`distribute-lft-neg-in_binary64`
253×	`neg-sub0_binary64`
250×	`neg-mul-1_binary64`

Counts

177 → 129

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	160	3461
1	512	3023
2	1904	2999
3	4040	2999
4	4977	2999

prune81.0ms (0.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	121	8	129
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	122	8	130

Error

0.2b

Counts

130 → 8

Alt Table

Status	Error	Program
	16.0b	(.f64 2 (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 i (.f64 b (.f64 c c)))))
	52.3b	(.f64 2 (neg.f64 (.f64 a (*.f64 i c))))
	37.2b	(.f64 2 (/.f64 (-.f64 (.f64 (+.f64 (.f64 t z) (.f64 x y)) (+.f64 (.f64 t z) (.f64 x y))) (.f64 i (.f64 (.f64 i (+.f64 a (.f64 b c))) (.f64 (.f64 c c) (+.f64 a (.f64 b c)))))) (+.f64 (.f64 c (.f64 i (+.f64 a (.f64 b c)))) (+.f64 (.f64 t z) (.f64 x y)))))
▶	3.6b	(.f64 2 (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (.f64 (cbrt.f64 (.f64 c (+.f64 a (.f64 b c)))) (cbrt.f64 (.f64 c (+.f64 a (.f64 b c))))) (cbrt.f64 (.f64 c (+.f64 a (.f64 b c))))) i)))
	5.8b	(.f64 2 (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
	9.0b	(.f64 2 (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (*.f64 c a) i)))
	35.0b	(.f64 2 (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 c (.f64 (+.f64 a (*.f64 b c)) (sqrt.f64 i))) (sqrt.f64 i))))
	29.0b	(.f64 2 (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (sqrt.f64 (.f64 c (.f64 i (+.f64 a (.f64 b c))))) (sqrt.f64 (.f64 c (.f64 i (+.f64 a (.f64 b c))))))))

Compiler

Compiled 2107 to 669 computations (68.2% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

5.7b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 c (+.f64 a (.f64 b c)))) (cbrt.f64 (.f64 c (+.f64 a (.f64 b c))))) (cbrt.f64 (.f64 c (+.f64 a (*.f64 b c))))) i)
9.9b	(cbrt.f64 (.f64 c (+.f64 a (.f64 b c))))
9.9b	(cbrt.f64 (.f64 c (+.f64 a (.f64 b c))))
9.9b	(cbrt.f64 (.f64 c (+.f64 a (.f64 b c))))

rewrite177.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

68×	`associate-*r/_binary64`
60×	`cbrt-div_binary64`
40×	`associate-*l/_binary64`
30×	`flip-+_binary64`
30×	`flip3-+_binary64`

Counts

4 → 80

Calls

4 calls:

16.0ms	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 c (+.f64 a (.f64 b c)))) (cbrt.f64 (.f64 c (+.f64 a (.f64 b c))))) (cbrt.f64 (.f64 c (+.f64 a (*.f64 b c))))) i)
4.0ms	(cbrt.f64 (.f64 c (+.f64 a (.f64 b c))))
4.0ms	(cbrt.f64 (.f64 c (+.f64 a (.f64 b c))))
4.0ms	(cbrt.f64 (.f64 c (+.f64 a (.f64 b c))))

Compiler

Compiled 4482 to 757 computations (83.1% saved)

series349.0ms (3.3%)

Error

0.2b

Counts

4 → 66

Calls

4 calls:

72.0ms	(cbrt.f64 (.f64 c (+.f64 a (.f64 b c))))
71.0ms	(cbrt.f64 (.f64 c (+.f64 a (.f64 b c))))
70.0ms	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 c (+.f64 a (.f64 b c)))) (cbrt.f64 (.f64 c (+.f64 a (.f64 b c))))) (cbrt.f64 (.f64 c (+.f64 a (*.f64 b c))))) i)
68.0ms	(cbrt.f64 (.f64 c (+.f64 a (.f64 b c))))

Compiler

Compiled 8277 to 4811 computations (41.9% saved)

simplify136.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

658×	`times-frac_binary64`
404×	`distribute-rgt-in_binary64`
393×	`distribute-lft-in_binary64`
306×	`associate-l_binary64`
209×	`associate-r_binary64`

Counts

146 → 134

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	228	4115
1	530	3875
2	1559	3770
3	4259	3434
4	5636	3434

prune153.0ms (1.4%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	133	1	134
Fresh	1	6	7
Picked	1	0	1
Done	0	0	0
Total	135	7	142

Error

0.2b

Counts

142 → 7

Alt Table

Status	Error	Program
	16.0b	(.f64 2 (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 i (.f64 b (.f64 c c)))))
▶	3.6b	(.f64 2 (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (cbrt.f64 (.f64 c (+.f64 a (.f64 b c)))) (cbrt.f64 (.f64 c (+.f64 a (.f64 b c))))) (.f64 i (cbrt.f64 (.f64 c (+.f64 a (.f64 c b))))))))
	52.3b	(.f64 2 (neg.f64 (.f64 a (*.f64 i c))))
	37.2b	(.f64 2 (/.f64 (-.f64 (.f64 (+.f64 (.f64 t z) (.f64 x y)) (+.f64 (.f64 t z) (.f64 x y))) (.f64 i (.f64 (.f64 i (+.f64 a (.f64 b c))) (.f64 (.f64 c c) (+.f64 a (.f64 b c)))))) (+.f64 (.f64 c (.f64 i (+.f64 a (.f64 b c)))) (+.f64 (.f64 t z) (.f64 x y)))))
	5.8b	(.f64 2 (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
	9.0b	(.f64 2 (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (*.f64 c a) i)))
	29.0b	(.f64 2 (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (sqrt.f64 (.f64 c (.f64 i (+.f64 a (.f64 b c))))) (sqrt.f64 (.f64 c (.f64 i (+.f64 a (.f64 b c))))))))

Compiler

Compiled 4212 to 1097 computations (74% saved)

localize28.0ms (0.3%)

Local error

Found 4 expressions with local error:

1.3b	(.f64 (.f64 (cbrt.f64 (.f64 c (+.f64 a (.f64 b c)))) (cbrt.f64 (.f64 c (+.f64 a (.f64 b c))))) (.f64 i (cbrt.f64 (.f64 c (+.f64 a (*.f64 c b))))))
9.9b	(cbrt.f64 (.f64 c (+.f64 a (.f64 c b))))
9.9b	(cbrt.f64 (.f64 c (+.f64 a (.f64 b c))))
9.9b	(cbrt.f64 (.f64 c (+.f64 a (.f64 b c))))

rewrite192.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

86×	`associate-*r/_binary64`
60×	`cbrt-div_binary64`
30×	`flip-+_binary64`
30×	`flip3-+_binary64`
28×	`frac-times_binary64`

Counts

4 → 81

Calls

4 calls:

12.0ms	(.f64 (.f64 (cbrt.f64 (.f64 c (+.f64 a (.f64 b c)))) (cbrt.f64 (.f64 c (+.f64 a (.f64 b c))))) (.f64 i (cbrt.f64 (.f64 c (+.f64 a (*.f64 c b))))))
4.0ms	(cbrt.f64 (.f64 c (+.f64 a (.f64 b c))))
4.0ms	(cbrt.f64 (.f64 c (+.f64 a (.f64 b c))))
4.0ms	(cbrt.f64 (.f64 c (+.f64 a (.f64 c b))))

Compiler

Compiled 4494 to 747 computations (83.4% saved)

series356.0ms (3.4%)

Error

0.2b

Counts

4 → 66

Calls

4 calls:

74.0ms	(cbrt.f64 (.f64 c (+.f64 a (.f64 b c))))
72.0ms	(.f64 (.f64 (cbrt.f64 (.f64 c (+.f64 a (.f64 b c)))) (cbrt.f64 (.f64 c (+.f64 a (.f64 b c))))) (.f64 i (cbrt.f64 (.f64 c (+.f64 a (*.f64 c b))))))
71.0ms	(cbrt.f64 (.f64 c (+.f64 a (.f64 c b))))
71.0ms	(cbrt.f64 (.f64 c (+.f64 a (.f64 b c))))

Compiler

Compiled 8277 to 4978 computations (39.9% saved)

simplify159.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

658×	`times-frac_binary64`
334×	`distribute-rgt-in_binary64`
321×	`distribute-lft-in_binary64`
270×	`associate-r_binary64`
270×	`associate-l_binary64`

Counts

147 → 130

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	242	5513
1	593	4583
2	1503	4388
3	3838	4052
4	5171	4052

prune156.0ms (1.5%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	128	2	130
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	128	9	137

Error

0.2b

Counts

137 → 9

Alt Table

Status	Error	Program
	16.0b	(.f64 2 (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 i (.f64 b (.f64 c c)))))
✓	3.6b	(.f64 2 (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (cbrt.f64 (.f64 c (+.f64 a (.f64 b c)))) (cbrt.f64 (.f64 c (+.f64 a (.f64 b c))))) (.f64 i (cbrt.f64 (.f64 c (+.f64 a (.f64 c b))))))))
	52.3b	(.f64 2 (neg.f64 (.f64 a (*.f64 i c))))
	37.2b	(.f64 2 (/.f64 (-.f64 (.f64 (+.f64 (.f64 t z) (.f64 x y)) (+.f64 (.f64 t z) (.f64 x y))) (.f64 i (.f64 (.f64 i (+.f64 a (.f64 b c))) (.f64 (.f64 c c) (+.f64 a (.f64 b c)))))) (+.f64 (.f64 c (.f64 i (+.f64 a (.f64 b c)))) (+.f64 (.f64 t z) (.f64 x y)))))
	5.8b	(.f64 2 (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
▶	3.7b	(.f64 2 (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 c (+.f64 a (.f64 c b))))) (cbrt.f64 (cbrt.f64 (.f64 c (+.f64 a (.f64 c b)))))) (cbrt.f64 (cbrt.f64 (.f64 c (+.f64 a (.f64 c b)))))) (cbrt.f64 (.f64 c (+.f64 a (.f64 b c))))) (.f64 i (cbrt.f64 (.f64 c (+.f64 a (.f64 c b))))))))
	9.0b	(.f64 2 (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (*.f64 c a) i)))
	20.8b	(.f64 2 (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (/.f64 (cbrt.f64 (.f64 c (-.f64 (.f64 a a) (.f64 b (.f64 c (.f64 c b)))))) (cbrt.f64 (-.f64 a (.f64 c b)))) (cbrt.f64 (.f64 c (+.f64 a (.f64 b c))))) (.f64 i (cbrt.f64 (.f64 c (+.f64 a (.f64 c b))))))))
	29.0b	(.f64 2 (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (sqrt.f64 (.f64 c (.f64 i (+.f64 a (.f64 b c))))) (sqrt.f64 (.f64 c (.f64 i (+.f64 a (.f64 b c))))))))

Compiler

Compiled 4045 to 1107 computations (72.6% saved)

localize36.0ms (0.3%)

Local error

Found 4 expressions with local error:

9.9b	(cbrt.f64 (.f64 c (+.f64 a (.f64 b c))))
9.9b	(cbrt.f64 (.f64 c (+.f64 a (.f64 c b))))
9.9b	(cbrt.f64 (.f64 c (+.f64 a (.f64 c b))))
9.9b	(cbrt.f64 (.f64 c (+.f64 a (.f64 c b))))

rewrite119.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

8×	`cbrt-div_binary64`
8×	`associate-*r/_binary64`
4×	`*-un-lft-identity_binary64`
4×	`add-sqr-sqrt_binary64`
4×	`cbrt-prod_binary64`

Counts

4 → 44

Calls

4 calls:

4.0ms	(cbrt.f64 (.f64 c (+.f64 a (.f64 c b))))
4.0ms	(cbrt.f64 (.f64 c (+.f64 a (.f64 c b))))
4.0ms	(cbrt.f64 (.f64 c (+.f64 a (.f64 c b))))
4.0ms	(cbrt.f64 (.f64 c (+.f64 a (.f64 b c))))

Compiler

Compiled 2992 to 422 computations (85.9% saved)

series445.0ms (4.2%)

Error

0.2b

Counts

4 → 66

Calls

4 calls:

88.0ms	(cbrt.f64 (.f64 c (+.f64 a (.f64 c b))))
87.0ms	(cbrt.f64 (.f64 c (+.f64 a (.f64 c b))))
86.0ms	(cbrt.f64 (.f64 c (+.f64 a (.f64 c b))))
73.0ms	(cbrt.f64 (.f64 c (+.f64 a (.f64 b c))))

Compiler

Compiled 13814 to 6650 computations (51.9% saved)

simplify215.0ms (2%)

Algorithm

1×	egg-herbie

Rules

575×	`unswap-sqr_binary64`
321×	`associate-r_binary64`
316×	`associate-l_binary64`
216×	`exp-sum_binary64`
194×	`div-exp_binary64`

Counts

110 → 83

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	156	2577
1	366	2489
2	803	2325
3	2887	1901
4	4408	1901
5	4939	1901
6	4921	1901
7	4820	1901
8	5113	1901

prune85.0ms (0.8%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	83	0	83
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	83	9	92

Error

0.2b

Counts

92 → 9

Alt Table

Status	Error	Program
	16.0b	(.f64 2 (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 i (.f64 b (.f64 c c)))))
	3.6b	(.f64 2 (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (cbrt.f64 (.f64 c (+.f64 a (.f64 b c)))) (cbrt.f64 (.f64 c (+.f64 a (.f64 b c))))) (.f64 i (cbrt.f64 (.f64 c (+.f64 a (.f64 c b))))))))
	52.3b	(.f64 2 (neg.f64 (.f64 a (*.f64 i c))))
	37.2b	(.f64 2 (/.f64 (-.f64 (.f64 (+.f64 (.f64 t z) (.f64 x y)) (+.f64 (.f64 t z) (.f64 x y))) (.f64 i (.f64 (.f64 i (+.f64 a (.f64 b c))) (.f64 (.f64 c c) (+.f64 a (.f64 b c)))))) (+.f64 (.f64 c (.f64 i (+.f64 a (.f64 b c)))) (+.f64 (.f64 t z) (.f64 x y)))))
	5.8b	(.f64 2 (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 c (.f64 i (+.f64 a (.f64 b c))))))
	3.7b	(.f64 2 (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 c (+.f64 a (.f64 c b))))) (cbrt.f64 (cbrt.f64 (.f64 c (+.f64 a (.f64 c b)))))) (cbrt.f64 (cbrt.f64 (.f64 c (+.f64 a (.f64 c b)))))) (cbrt.f64 (.f64 c (+.f64 a (.f64 b c))))) (.f64 i (cbrt.f64 (.f64 c (+.f64 a (.f64 c b))))))))
	9.0b	(.f64 2 (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (*.f64 c a) i)))
	20.8b	(.f64 2 (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (.f64 (/.f64 (cbrt.f64 (.f64 c (-.f64 (.f64 a a) (.f64 b (.f64 c (.f64 c b)))))) (cbrt.f64 (-.f64 a (.f64 c b)))) (cbrt.f64 (.f64 c (+.f64 a (.f64 b c))))) (.f64 i (cbrt.f64 (.f64 c (+.f64 a (.f64 c b))))))))
	29.0b	(.f64 2 (-.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 (sqrt.f64 (.f64 c (.f64 i (+.f64 a (.f64 b c))))) (sqrt.f64 (.f64 c (.f64 i (+.f64 a (.f64 b c))))))))

Compiler

Compiled 2845 to 596 computations (79.1% saved)

regimes2.3s (21.3%)

Accuracy

Total 0.4b remaining (34.5%)

Threshold costs 0.4b (34.5%)

Compiler

Compiled 46188 to 26108 computations (43.5% saved)

bsearch4.0ms (0%)

Compiler: Compiled 17 to 12 computations (29.4% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	40	139
1	65	139
2	97	139
3	130	139
4	148	139
5	155	139
6	156	139
7	156	139

end27.0ms (0.3%)

Remove

(sort z t)

(sort x y)

Compiler

Compiled 505 to 180 computations (64.4% saved)

sample2.0s (18.6%)

Algorithm

1×

intervals

Results

458.0ms	8000×	body	128	valid
400.0ms	7018×	body	128	invalid

Compiler

Compiled 502 to 259 computations (48.4% saved)

Details

analyze2.2s (21.1%)

sample83.0ms (0.8%)

simplify658.0ms (6.2%)

prune4.0ms (0%)

localize14.0ms (0.1%)

rewrite125.0ms (1.2%)

series364.0ms (3.4%)

simplify129.0ms (1.2%)

prune81.0ms (0.8%)

localize19.0ms (0.2%)

rewrite177.0ms (1.7%)

series349.0ms (3.3%)

simplify136.0ms (1.3%)

prune153.0ms (1.4%)

localize28.0ms (0.3%)

rewrite192.0ms (1.8%)

series356.0ms (3.4%)

simplify159.0ms (1.5%)

prune156.0ms (1.5%)

localize36.0ms (0.3%)

rewrite119.0ms (1.1%)

series445.0ms (4.2%)

simplify215.0ms (2%)

prune85.0ms (0.8%)

regimes2.3s (21.3%)

bsearch4.0ms (0%)

simplify9.0ms (0.1%)

end27.0ms (0.3%)

sample2.0s (18.6%)

Profiling