Details

analyze2.1s (2.4%)

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%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
0.8%	99%	0.2%	11
4.7%	95.1%	0.2%	12
5.9%	93.2%	0.8%	13
8.5%	90.2%	1.3%	14

Compiler

Compiled 33 to 22 computations (33.3% saved)

sample85.0ms (0.1%)

Algorithm

1×

intervals

Results

19.0ms	195×	body	128	valid
19.0ms	29×	body	1024	valid
7.0ms	15×	body	1024	invalid
6.0ms	55×	body	128	invalid
5.0ms	16×	body	512	valid
3.0ms	16×	body	256	valid
3.0ms	10×	body	512	invalid
1.0ms	7×	body	256	invalid

Compiler

Compiled 65 to 48 computations (26.2% saved)

simplify223.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (128.0ms)

Iter	Nodes	Cost
0	4960	49
1	4960	49

prune4.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

39.4b

Counts

2 → 1

Compiler

Compiled 64 to 42 computations (34.4% saved)

localize22.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))))
4.4b	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
4.4b	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
36.1b	(sqrt.f64 (+.f64 (.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))

rewrite366.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

39.4b

Rules

142×	`associate-*l/_binary64_362`
102×	`flip3--_binary64_423` `flip--_binary64_394`
68×	`frac-times_binary64_429`
66×	`sqrt-div_binary64_436`
64×	`frac-add_binary64_427`
44×	`pow1_binary64_480`
34×	`associate-*r/_binary64_361`
17×	`pow-prod-down_binary64_490`
16×	`add-exp-log_binary64_457` `add-cbrt-cube_binary64_455`
8×	`prod-exp_binary64_468` `cbrt-unprod_binary64_452`
6×	`add-sqr-sqrt_binary64_441`
5×	`add-cube-cbrt_binary64_454` `*-un-lft-identity_binary64_419`
4×	`add-log-exp_binary64_458` `pow-prod-up_binary64_489` `pow-sqr_binary64_392`
3×	`sqrt-prod_binary64_435`
2×	`pow-plus_binary64_482`
1×	`pow1/2_binary64_499` `sqrt-pow1_binary64_437` `flip3-+_binary64_422` `flip-+_binary64_393` `rem-sqrt-square_binary64_432` `pow2_binary64_500` `swap-sqr_binary64_386` `associate-l_binary64_360` `associate-r_binary64_359` `*-commutative_binary64_350`

Counts

4 → 135

Calls

4 calls:

21.0ms	(sqrt.f64 (+.f64 (.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
14.0ms	(.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))))
5.0ms	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
5.0ms	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))

Compiler

Compiled 9145 to 2868 computations (68.6% saved)

series12.5s (14.6%)

Error

3.7b

Counts

4 → 85

Calls

4 calls:

11.2s	(sqrt.f64 (+.f64 (.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2)))) (.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
685.0ms	(.f64 (.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))) (*.f64 (-.f64 lambda1 lambda2) (cos.f64 (/.f64 (+.f64 phi1 phi2) 2))))
50.0ms	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))
48.0ms	(cos.f64 (/.f64 (+.f64 phi1 phi2) 2))

Compiler

Compiled 25313 to 19120 computations (24.5% saved)

simplify171.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

220 → 220

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5475	18403

prune701.0ms (0.8%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	208	12	220
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	209	12	221

Error

3.7b

Counts

221 → 12

Compiler

Compiled 15055 to 6462 computations (57.1% saved)

localize23.0ms (0%)

Local error

Found 4 expressions with local error:

26.3b	(cbrt.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)))))
26.3b	(cbrt.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)))))
26.3b	(cbrt.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)))))
36.1b	(sqrt.f64 (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2))))) (cbrt.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)))))) (cbrt.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)))))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))

rewrite624.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

3.7b

Rules

137×	`associate-*r/_binary64_361`
99×	`cos-mult_binary64_573` `cbrt-div_binary64_451`
68×	`frac-times_binary64_429`
58×	`sqrt-div_binary64_436`
56×	`frac-add_binary64_427`
54×	`associate-*l/_binary64_362`
42×	`flip3--_binary64_423` `flip--_binary64_394`
6×	`add-sqr-sqrt_binary64_441`
5×	`pow1_binary64_480` `add-cube-cbrt_binary64_454` `*-un-lft-identity_binary64_419`
4×	`add-log-exp_binary64_458` `add-exp-log_binary64_457` `add-cbrt-cube_binary64_455`
3×	`sqrt-prod_binary64_435` `pow1/3_binary64_501` `cbrt-prod_binary64_450`
1×	`pow1/2_binary64_499` `sqrt-pow1_binary64_437` `flip3-+_binary64_422` `flip-+_binary64_393` `rem-sqrt-square_binary64_432`

Counts

4 → 101

Calls

4 calls:

26.0ms	(sqrt.f64 (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2))))) (cbrt.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)))))) (cbrt.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)))))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
11.0ms	(cbrt.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)))))
8.0ms	(cbrt.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)))))
8.0ms	(cbrt.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)))))

Compiler

Compiled 12208 to 6201 computations (49.2% saved)

series14.3s (16.7%)

Error

3.7b

Counts

4 → 96

Calls

4 calls:

11.4s	(sqrt.f64 (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2))))) (cbrt.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)))))) (cbrt.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)))))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
772.0ms	(cbrt.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)))))
766.0ms	(cbrt.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)))))
756.0ms	(cbrt.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)))))

Compiler

Compiled 32322 to 23691 computations (26.7% saved)

simplify171.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

197 → 197

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5011	18349

prune929.0ms (1.1%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	196	1	197
Fresh	1	10	11
Picked	1	0	1
Done	0	0	0
Total	198	11	209

Error

3.7b

Counts

209 → 11

Compiler

Compiled 17822 to 9626 computations (46% saved)

localize23.0ms (0%)

Local error

Found 4 expressions with local error:

4.4b	(cos.f64 (/.f64 (+.f64 phi2 phi1) 2))
4.4b	(cos.f64 (/.f64 (+.f64 phi2 phi1) 2))
36.1b	(sqrt.f64 (+.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
36.1b	(sqrt.f64 (+.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))

rewrite244.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Error

3.7b

Rules

20×	`associate-*r/_binary64_361` `sqrt-div_binary64_436`
16×	`cos-mult_binary64_573` `frac-add_binary64_427`
12×	`flip3--_binary64_423` `flip--_binary64_394`
8×	`add-sqr-sqrt_binary64_441` `frac-times_binary64_429`
6×	`pow1_binary64_480` `add-cube-cbrt_binary64_454` `sqrt-prod_binary64_435` `*-un-lft-identity_binary64_419`
4×	`add-log-exp_binary64_458` `add-exp-log_binary64_457` `add-cbrt-cube_binary64_455` `associate-*l/_binary64_362`
2×	`pow1/2_binary64_499` `sqrt-pow1_binary64_437` `flip3-+_binary64_422` `flip-+_binary64_393` `rem-sqrt-square_binary64_432`

Counts

4 → 60

Calls

4 calls:

14.0ms	(sqrt.f64 (+.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
13.0ms	(sqrt.f64 (+.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
5.0ms	(cos.f64 (/.f64 (+.f64 phi2 phi1) 2))
5.0ms	(cos.f64 (/.f64 (+.f64 phi2 phi1) 2))

Compiler

Compiled 5318 to 2438 computations (54.2% saved)

series23.8s (27.8%)

Error

3.7b

Counts

4 → 96

Calls

4 calls:

11.3s	(sqrt.f64 (+.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
11.3s	(sqrt.f64 (+.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
51.0ms	(cos.f64 (/.f64 (+.f64 phi2 phi1) 2))
49.0ms	(cos.f64 (/.f64 (+.f64 phi2 phi1) 2))

Compiler

Compiled 47866 to 35333 computations (26.2% saved)

simplify152.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

156 → 156

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5376	16142

prune859.0ms (1%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	155	1	156
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	155	12	167

Error

3.7b

Counts

167 → 12

Compiler

Compiled 17256 to 8952 computations (48.1% saved)

localize29.0ms (0%)

Local error

Found 4 expressions with local error:

26.3b	(cbrt.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)))))
26.3b	(cbrt.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)))))
26.4b	(cbrt.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/2 phi2)) 2) (pow.f64 (-.f64 lambda1 lambda2) 2)))
36.1b	(sqrt.f64 (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2))))) (cbrt.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/2 phi2)) 2) (pow.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)))))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))

rewrite371.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

3.7b

Rules

48×	`associate-*r/_binary64_361`
34×	`cos-mult_binary64_573` `cbrt-div_binary64_451`
30×	`associate-*l/_binary64_362`
26×	`sqrt-div_binary64_436`
24×	`frac-add_binary64_427`
20×	`frac-times_binary64_429`
18×	`flip3--_binary64_423` `flip--_binary64_394`
6×	`add-sqr-sqrt_binary64_441`
5×	`pow1_binary64_480` `add-cube-cbrt_binary64_454` `*-un-lft-identity_binary64_419`
4×	`add-log-exp_binary64_458` `add-exp-log_binary64_457` `add-cbrt-cube_binary64_455`
3×	`sqrt-prod_binary64_435` `pow1/3_binary64_501` `cbrt-prod_binary64_450`
1×	`pow1/2_binary64_499` `sqrt-pow1_binary64_437` `flip3-+_binary64_422` `flip-+_binary64_393` `rem-sqrt-square_binary64_432`

Counts

4 → 68

Calls

4 calls:

20.0ms	(sqrt.f64 (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2))))) (cbrt.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/2 phi2)) 2) (pow.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)))))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
9.0ms	(cbrt.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)))))
8.0ms	(cbrt.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)))))
8.0ms	(cbrt.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/2 phi2)) 2) (pow.f64 (-.f64 lambda1 lambda2) 2)))

Compiler

Compiled 7038 to 3762 computations (46.5% saved)

series16.0s (18.7%)

Error

3.7b

Counts

4 → 91

Calls

4 calls:

13.3s	(sqrt.f64 (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2))))) (cbrt.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/2 phi2)) 2) (pow.f64 (-.f64 lambda1 lambda2) 2)))) (cbrt.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)))))) (*.f64 (-.f64 phi1 phi2) (-.f64 phi1 phi2))))
782.0ms	(cbrt.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)))))
768.0ms	(cbrt.f64 (.f64 (pow.f64 (-.f64 lambda1 lambda2) 2) (.f64 (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)) (cos.f64 (/.f64 (+.f64 phi2 phi1) 2)))))
443.0ms	(cbrt.f64 (.f64 (pow.f64 (cos.f64 (.f64 1/2 phi2)) 2) (pow.f64 (-.f64 lambda1 lambda2) 2)))

Compiler

Compiled 34008 to 25940 computations (23.7% saved)

simplify167.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

159 → 159

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4985	15209
1	4985	15209

prune895.0ms (1%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	156	3	159
Fresh	1	9	10
Picked	1	0	1
Done	0	1	1
Total	158	13	171

Error

3.7b

Counts

171 → 13

Compiler

Compiled 14330 to 8202 computations (42.8% saved)

regimes4.3s (5%)

Accuracy

Total 24.8b remaining (86.1%)

Threshold costs 0b (0%)

Compiler

Compiled 47561 to 34430 computations (27.6% saved)

bsearch9.0ms (0%)

Compiler: Compiled 3 to 6 computations (-100% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	85	177
1	85	177

end0.0ms (0%)

sample6.6s (7.7%)

Algorithm

1×

intervals

Results

914.0ms	6052×	body	128	valid
366.0ms	800×	body	1024	valid
251.0ms	2398×	body	128	invalid
238.0ms	722×	body	512	valid
201.0ms	440×	body	1024	invalid
116.0ms	351×	body	512	invalid
104.0ms	422×	body	256	valid
44.0ms	182×	body	256	invalid
7.0ms	4×	body	2048	valid

Compiler

Compiled 5185 to 3747 computations (27.7% saved)

Details

analyze2.1s (2.4%)

sample85.0ms (0.1%)

simplify223.0ms (0.3%)

prune4.0ms (0%)

localize22.0ms (0%)

rewrite366.0ms (0.4%)

series12.5s (14.6%)

simplify171.0ms (0.2%)

prune701.0ms (0.8%)

localize23.0ms (0%)

rewrite624.0ms (0.7%)

series14.3s (16.7%)

simplify171.0ms (0.2%)

prune929.0ms (1.1%)

localize23.0ms (0%)

rewrite244.0ms (0.3%)

series23.8s (27.8%)

simplify152.0ms (0.2%)

prune859.0ms (1%)

localize29.0ms (0%)

rewrite371.0ms (0.4%)

series16.0s (18.7%)

simplify167.0ms (0.2%)

prune895.0ms (1%)

regimes4.3s (5%)

bsearch9.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample6.6s (7.7%)

Profiling