Details

analyze337.0ms (0.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	50%	50%	0
0%	50%	50%	1
25%	25%	50%	2
25%	25%	50%	3
31.2%	18.7%	50%	4
31.2%	18.7%	50%	5
34.3%	15.6%	50%	6
34.3%	15.6%	50%	7
35.9%	14%	50%	8
35.9%	14%	50%	9
36.7%	13.3%	50%	10
36.7%	13.3%	50%	11
37.1%	12.9%	50%	12
37.1%	12.9%	50%	13
37.3%	12.7%	50%	14

Compiler

Compiled 18 to 14 computations (22.2% saved)

sample33.0ms (0%)

Algorithm

1×

intervals

Results

9.0ms	200×	body	128	valid
5.0ms	19×	body	4096	valid
4.0ms	16×	body	2048	valid
3.0ms	256×	pre	128	true
2.0ms	9×	body	1024	valid
1.0ms	8×	body	512	valid
0.0ms	4×	body	256	valid

Compiler

Compiled 33 to 28 computations (15.2% saved)

simplify114.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	249	23
1	249	23

prune2.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

40.9b

Counts

2 → 1

Compiler

Compiled 15 to 12 computations (20% saved)

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

34.1b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
1.1b	(-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
0.2b	(sqrt.f64 (.f64 2 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re)))
0.0b	(+.f64 (.f64 re re) (.f64 im im))
0.0b	(+.f64 (.f64 re re) (.f64 im im))
0.2b	(sqrt.f64 (.f64 2 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re)))
1.1b	(-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
34.1b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite30.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary64_441`
8×	`*-un-lft-identity_binary64_419` `add-log-exp_binary64_458` `pow1_binary64_480`
6×	`add-cube-cbrt_binary64_454`
5×	`sqrt-prod_binary64_435`
4×	`sqrt-div_binary64_436` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
3×	`sqrt-pow1_binary64_437` `cancel-sign-sub-inv_binary64_385`
2×	`flip3-+_binary64_422` `difference-of-squares_binary64_388` `pow1/2_binary64_499` `flip3--_binary64_423` `associate-*r/_binary64_361` `flip-+_binary64_393` `flip--_binary64_394`
1×	`pow-prod-down_binary64_490` `sub-neg_binary64_412` `sum-log_binary64_510` `distribute-lft-out--_binary64_371` `diff-log_binary64_511` `rem-sqrt-square_binary64_432` `+-commutative_binary64_349`

Counts

4 → 56

Calls

8 calls:

9.0ms	(sqrt.f64 (.f64 2 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re)))
8.0ms	(-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
4.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
4.0ms	(+.f64 (.f64 re re) (.f64 im im))
0.0ms	(+.f64 (.f64 re re) (.f64 im im))

series455.0ms (0.2%)

Counts

4 → 58

Calls

4 calls:

149.0ms	(sqrt.f64 (.f64 2 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re)))
123.0ms	(-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
92.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
90.0ms	(+.f64 (.f64 re re) (.f64 im im))

Compiler

Compiled 1518 to 1387 computations (8.6% saved)

simplify114.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 0 (92.0ms)

Iter	Nodes	Cost
0	4960	2051
1	4960	2051

prune492.0ms (0.3%)

Pruning

58 alts after pruning (57 fresh and 1 done)

	Pruned	Kept	Total
New	57	57	114
Fresh	0	0	0
Picked	0	0	0
Done	0	1	1
Total	57	58	115

Error

0.5b

Counts

115 → 58

Compiler

Compiled 2902 to 1820 computations (37.3% saved)

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(sqrt.f64 (*.f64 2 (-.f64 im re)))
0.0b	(sqrt.f64 (*.f64 2 (-.f64 im re)))

rewrite7.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`pow1_binary64_480`
2×	`sqrt-div_binary64_436` `associate-*r/_binary64_361` `sqrt-pow1_binary64_437`
1×	`*-un-lft-identity_binary64_419` `pow-prod-down_binary64_490` `add-log-exp_binary64_458` `add-cube-cbrt_binary64_454` `pow1/2_binary64_499` `add-sqr-sqrt_binary64_441` `flip3--_binary64_423` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_457` `flip--_binary64_394` `sqrt-prod_binary64_435`

Counts

1 → 13

Calls

2 calls:

6.0ms	(sqrt.f64 (*.f64 2 (-.f64 im re)))
0.0ms	(sqrt.f64 (*.f64 2 (-.f64 im re)))

series62.0ms (0%)

Counts

1 → 8

Calls

1 calls:

62.0ms

(sqrt.f64 (*.f64 2 (-.f64 im re)))

Compiler

Compiled 232 to 216 computations (6.9% saved)

simplify86.0ms (0%)

Algorithm

1×	egg-herbie

Counts

21 → 21

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	5023	239

localize4.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify9.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

34.1b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
1.1b	(-.f64 (.f64 1 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im)))) re)
0.2b	(sqrt.f64 (.f64 2 (-.f64 (.f64 1 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) re)))
0.0b	(+.f64 (.f64 re re) (.f64 im im))
0.0b	(+.f64 (.f64 re re) (.f64 im im))
0.2b	(sqrt.f64 (.f64 2 (-.f64 (.f64 1 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) re)))
1.1b	(-.f64 (.f64 1 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im)))) re)
34.1b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite32.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`add-log-exp_binary64_458` `pow1_binary64_480`
7×	`*-un-lft-identity_binary64_419` `add-sqr-sqrt_binary64_441`
6×	`add-cube-cbrt_binary64_454`
4×	`sqrt-div_binary64_436` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_457` `sqrt-prod_binary64_435`
3×	`sqrt-pow1_binary64_437` `cancel-sign-sub-inv_binary64_385`
2×	`flip3-+_binary64_422` `pow1/2_binary64_499` `flip3--_binary64_423` `associate-*r/_binary64_361` `flip-+_binary64_393` `flip--_binary64_394`
1×	`pow-prod-down_binary64_490` `sub-neg_binary64_412` `sum-log_binary64_510` `distribute-lft-out--_binary64_371` `diff-log_binary64_511` `rem-sqrt-square_binary64_432` `+-commutative_binary64_349`

Counts

4 → 54

Calls

8 calls:

10.0ms	(sqrt.f64 (.f64 2 (-.f64 (.f64 1 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) re)))
9.0ms	(-.f64 (.f64 1 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im)))) re)
4.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
4.0ms	(+.f64 (.f64 re re) (.f64 im im))
0.0ms	(+.f64 (.f64 re re) (.f64 im im))

series462.0ms (0.2%)

Counts

4 → 58

Calls

4 calls:

149.0ms	(sqrt.f64 (.f64 2 (-.f64 (.f64 1 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))) re)))
128.0ms	(-.f64 (.f64 1 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im)))) re)
94.0ms	(+.f64 (.f64 re re) (.f64 im im))
90.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

Compiler

Compiled 1594 to 1463 computations (8.2% saved)

simplify63.0ms (0%)

Algorithm

1×	egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	4968	1975
1	4968	1975

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

1.1b	(-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
0.2b	(sqrt.f64 (.f64 2 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re)))
0.0b	(log.f64 (sqrt.f64 (.f64 2 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re))))
0.0b	(+.f64 (.f64 re re) (.f64 im im))
0.2b	(sqrt.f64 (.f64 2 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re)))
1.1b	(-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
3.8b	(exp.f64 (log.f64 (sqrt.f64 (.f64 2 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re)))))
34.1b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite39.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-sqr-sqrt_binary64_441`
12×	`pow1_binary64_480`
10×	`*-un-lft-identity_binary64_419`
8×	`add-cube-cbrt_binary64_454`
7×	`exp-prod_binary64_471`
6×	`sqrt-div_binary64_436` `add-log-exp_binary64_458` `sqrt-prod_binary64_435`
5×	`sqrt-pow1_binary64_437`
4×	`log-prod_binary64_505` `associate-*r/_binary64_361` `log-pow_binary64_508` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_457` `exp-sum_binary64_465`
3×	`pow1/2_binary64_499` `flip3--_binary64_423` `flip--_binary64_394` `cancel-sign-sub-inv_binary64_385`
2×	`pow-prod-down_binary64_490` `difference-of-squares_binary64_388` `exp-diff_binary64_467` `log-div_binary64_506`
1×	`flip3-+_binary64_422` `sub-neg_binary64_412` `distribute-lft-out--_binary64_371` `flip-+_binary64_393` `diff-log_binary64_511` `rem-exp-log_binary64_459` `rem-sqrt-square_binary64_432`

Counts

4 → 66

Calls

8 calls:

11.0ms	(exp.f64 (log.f64 (sqrt.f64 (.f64 2 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re)))))
9.0ms	(sqrt.f64 (.f64 2 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re)))
8.0ms	(-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
5.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
0.0ms	(+.f64 (.f64 re re) (.f64 im im))

series626.0ms (0.3%)

Counts

4 → 56

Calls

4 calls:

249.0ms	(exp.f64 (log.f64 (sqrt.f64 (.f64 2 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re)))))
146.0ms	(sqrt.f64 (.f64 2 (-.f64 (sqrt.f64 (+.f64 (.f64 re re) (*.f64 im im))) re)))
134.0ms	(-.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) re)
96.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

Compiler

Compiled 2008 to 1821 computations (9.3% saved)

simplify60.0ms (0%)

Algorithm

1×	egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	4998	2675
1	4998	2675

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

3.0b	(sqrt.f64 (.f64 2 (-.f64 (.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (+.f64 (.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (+.f64 (.f64 1/2 (/.f64 (.f64 im im) re)) (.f64 re 2))))))
0.0b	(+.f64 (.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (+.f64 (.f64 1/2 (/.f64 (.f64 im im) re)) (.f64 re 2)))
0.0b	(+.f64 (.f64 1/2 (/.f64 (.f64 im im) re)) (*.f64 re 2))
0.0b	(.f64 1/2 (/.f64 (.f64 im im) re))
7.4b	(/.f64 (*.f64 im im) re)
18.8b	(/.f64 (pow.f64 im 4) (pow.f64 re 3))
21.1b	(-.f64 (.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (+.f64 (.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (+.f64 (.f64 1/2 (/.f64 (.f64 im im) re)) (*.f64 re 2))))
21.6b	(/.f64 (pow.f64 im 6) (pow.f64 re 5))

rewrite91.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

136×	`times-frac_binary64_425`
111×	`unpow-prod-down_binary64_498`
89×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454` `add-sqr-sqrt_binary64_441`
37×	`sqr-pow_binary64_391`
33×	`add-exp-log_binary64_457`
24×	`cube-prod_binary64_447`
22×	`associate-/r*_binary64_363`
20×	`div-exp_binary64_470`
15×	`associate-/l*_binary64_364`
13×	`add-log-exp_binary64_458` `add-cbrt-cube_binary64_455`
12×	`pow-exp_binary64_487` `pow-to-exp_binary64_488`
8×	`unpow3_binary64_485` `cube-mult_binary64_449`
6×	`associate-*r/_binary64_361`
4×	`pow1_binary64_480` `frac-sub_binary64_428` `cbrt-undiv_binary64_453`
3×	`clear-num_binary64_418` `div-inv_binary64_416` `sum-log_binary64_510` `frac-2neg_binary64_430` `diff-log_binary64_511` `cancel-sign-sub-inv_binary64_385`
2×	`flip3-+_binary64_422` `frac-add_binary64_427` `flip-+_binary64_393`
1×	`sub-neg_binary64_412` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `flip3--_binary64_423` `associate--r+_binary64_355` `flip--_binary64_394`

Counts

4 → 248

Calls

8 calls:

31.0ms	(-.f64 (.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (+.f64 (.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (+.f64 (.f64 1/2 (/.f64 (.f64 im im) re)) (*.f64 re 2))))
8.0ms	(/.f64 (pow.f64 im 4) (pow.f64 re 3))
7.0ms	(/.f64 (pow.f64 im 6) (pow.f64 re 5))
5.0ms	(/.f64 (*.f64 im im) re)
0.0ms	(.f64 1/2 (/.f64 (.f64 im im) re))

series601.0ms (0.3%)

Counts

4 → 42

Calls

4 calls:

252.0ms	(-.f64 (.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (+.f64 (.f64 1/16 (/.f64 (pow.f64 im 6) (pow.f64 re 5))) (+.f64 (.f64 1/2 (/.f64 (.f64 im im) re)) (*.f64 re 2))))
153.0ms	(/.f64 (pow.f64 im 6) (pow.f64 re 5))
122.0ms	(/.f64 (pow.f64 im 4) (pow.f64 re 3))
73.0ms	(/.f64 (*.f64 im im) re)

Compiler

Compiled 1875 to 1614 computations (13.9% saved)

simplify131.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

290 → 290

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	5057	6353

prune7.7s (4%)

Pruning

219 alts after pruning (213 fresh and 6 done)

	Pruned	Kept	Total
New	383	162	545
Fresh	1	51	52
Picked	0	0	0
Done	0	6	6
Total	384	219	603

Error

0.5b

Counts

603 → 219

Compiler

Compiled 17187 to 11935 computations (30.6% saved)

localize10.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(sqrt.f64 (*.f64 2 (-.f64 im re)))
0.0b	(sqrt.f64 (*.f64 2 (-.f64 im re)))

rewrite6.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`pow1_binary64_480`
2×	`sqrt-div_binary64_436` `associate-*r/_binary64_361` `sqrt-pow1_binary64_437`
1×	`*-un-lft-identity_binary64_419` `pow-prod-down_binary64_490` `add-log-exp_binary64_458` `add-cube-cbrt_binary64_454` `pow1/2_binary64_499` `add-sqr-sqrt_binary64_441` `flip3--_binary64_423` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_457` `flip--_binary64_394` `sqrt-prod_binary64_435`

Counts

1 → 13

Calls

2 calls:

5.0ms	(sqrt.f64 (*.f64 2 (-.f64 im re)))
0.0ms	(sqrt.f64 (*.f64 2 (-.f64 im re)))

series62.0ms (0%)

Counts

1 → 8

Calls

1 calls:

62.0ms

(sqrt.f64 (*.f64 2 (-.f64 im re)))

Compiler

Compiled 260 to 244 computations (6.2% saved)

simplify85.0ms (0%)

Algorithm

1×	egg-herbie

Counts

21 → 21

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	5023	239

localize5.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize20.0ms (0%)

Local error

Found 8 expressions with local error:

7.4b	(/.f64 (*.f64 im im) re)
2.8b	(sqrt.f64 (.f64 2 (-.f64 (-.f64 (+.f64 re (.f64 1/2 (/.f64 (.f64 im im) re))) (.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)))) re)))
1.6b	(-.f64 (-.f64 (+.f64 re (.f64 1/2 (/.f64 (.f64 im im) re))) (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)))) re)
0.0b	(.f64 1/2 (/.f64 (.f64 im im) re))
2.8b	(sqrt.f64 (.f64 2 (-.f64 (-.f64 (+.f64 re (.f64 1/2 (/.f64 (.f64 im im) re))) (.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)))) re)))
7.4b	(/.f64 (*.f64 im im) re)
14.4b	(-.f64 (+.f64 re (.f64 1/2 (/.f64 (.f64 im im) re))) (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))
18.8b	(/.f64 (pow.f64 im 4) (pow.f64 re 3))

rewrite50.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

87×	`times-frac_binary64_425`
63×	`unpow-prod-down_binary64_498`
56×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454` `add-sqr-sqrt_binary64_441`
24×	`cube-prod_binary64_447`
21×	`sqr-pow_binary64_391` `add-exp-log_binary64_457`
15×	`associate-/r*_binary64_363`
11×	`add-cbrt-cube_binary64_455` `div-exp_binary64_470`
9×	`add-log-exp_binary64_458`
8×	`unpow3_binary64_485` `cube-mult_binary64_449` `associate-/l*_binary64_364`
7×	`pow1_binary64_480`
6×	`pow-exp_binary64_487` `pow-to-exp_binary64_488`
4×	`associate-*r/_binary64_361`
3×	`cbrt-undiv_binary64_453`
2×	`sqrt-div_binary64_436` `clear-num_binary64_418` `div-inv_binary64_416` `flip3--_binary64_423` `frac-2neg_binary64_430` `diff-log_binary64_511` `sqrt-pow1_binary64_437` `flip--_binary64_394` `frac-sub_binary64_428`
1×	`flip3-+_binary64_422` `pow-prod-down_binary64_490` `associate--l+_binary64_356` `sub-neg_binary64_412` `pow1/2_binary64_499` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `sum-log_binary64_510` `flip-+_binary64_393` `sqrt-prod_binary64_435` `cancel-sign-sub-inv_binary64_385`

Counts

4 → 173

Calls

8 calls:

10.0ms	(sqrt.f64 (.f64 2 (-.f64 (-.f64 (+.f64 re (.f64 1/2 (/.f64 (.f64 im im) re))) (.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)))) re)))
8.0ms	(/.f64 (pow.f64 im 4) (pow.f64 re 3))
7.0ms	(-.f64 (+.f64 re (.f64 1/2 (/.f64 (.f64 im im) re))) (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))
5.0ms	(/.f64 (*.f64 im im) re)
0.0ms	(.f64 1/2 (/.f64 (.f64 im im) re))

series507.0ms (0.3%)

Counts

4 → 31

Calls

4 calls:

189.0ms	(-.f64 (+.f64 re (.f64 1/2 (/.f64 (.f64 im im) re))) (*.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))))
124.0ms	(sqrt.f64 (.f64 2 (-.f64 (-.f64 (+.f64 re (.f64 1/2 (/.f64 (.f64 im im) re))) (.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3)))) re)))
124.0ms	(/.f64 (pow.f64 im 4) (pow.f64 re 3))
70.0ms	(/.f64 (*.f64 im im) re)

Compiler

Compiled 1294 to 1126 computations (13% saved)

simplify88.0ms (0%)

Algorithm

1×	egg-herbie

Counts

204 → 204

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4930	3995
1	4930	3995

localize24.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(pow.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) 3)
0.0b	(+.f64 re (+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))))
0.0b	(+.f64 (.f64 re re) (.f64 im im))
0.0b	(+.f64 (.f64 re re) (.f64 im im))
12.9b	(-.f64 (pow.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) 3) (pow.f64 re 3))
32.5b	(/.f64 (-.f64 (pow.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) 3) (pow.f64 re 3)) (+.f64 (.f64 im im) (.f64 re (+.f64 re (+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))))))
34.1b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
34.1b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite108.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

239×	`add-sqr-sqrt_binary64_441`
120×	`difference-of-squares_binary64_388`
99×	`times-frac_binary64_425`
97×	`*-un-lft-identity_binary64_419`
93×	`unpow-prod-down_binary64_498` `cube-prod_binary64_447`
51×	`sqr-pow_binary64_391`
47×	`add-cube-cbrt_binary64_454`
46×	`sqrt-prod_binary64_435`
33×	`associate-/l*_binary64_364`
25×	`distribute-lft-out--_binary64_371`
12×	`cancel-sign-sub-inv_binary64_385`
6×	`add-log-exp_binary64_458` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_457` `pow1_binary64_480`
5×	`difference-cubes_binary64_421`
4×	`sqrt-div_binary64_436`
3×	`flip3-+_binary64_422` `flip-+_binary64_393` `associate-/r*_binary64_363`
2×	`pow1/2_binary64_499` `flip3--_binary64_423` `associate-/r/_binary64_365` `sqrt-pow1_binary64_437` `flip--_binary64_394` `rem-sqrt-square_binary64_432` `associate-/l/_binary64_366`
1×	`clear-num_binary64_418` `sub-neg_binary64_412` `unpow3_binary64_485` `cube-mult_binary64_449` `div-inv_binary64_416` `frac-2neg_binary64_430` `diff-log_binary64_511` `div-exp_binary64_470` `cbrt-undiv_binary64_453` `div-sub_binary64_424`

Counts

4 → 235

Calls

8 calls:

29.0ms	(/.f64 (-.f64 (pow.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) 3) (pow.f64 re 3)) (+.f64 (.f64 im im) (.f64 re (+.f64 re (+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))))))
21.0ms	(-.f64 (pow.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) 3) (pow.f64 re 3))
5.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
4.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
0.0ms	(+.f64 (.f64 re re) (.f64 im im))

series725.0ms (0.4%)

Counts

4 → 73

Calls

4 calls:

338.0ms	(/.f64 (-.f64 (pow.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) 3) (pow.f64 re 3)) (+.f64 (.f64 im im) (.f64 re (+.f64 re (+.f64 re (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))))))))
199.0ms	(-.f64 (pow.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) 3) (pow.f64 re 3))
98.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
90.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

Compiler

Compiled 2932 to 2153 computations (26.6% saved)

simplify206.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

308 → 308

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	4942	16724
1	4942	16724

localize30.0ms (0%)

Local error

Found 8 expressions with local error:

3.0b	(sqrt.f64 (.f64 2 (-.f64 (.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (+.f64 (.f64 1/16 (/.f64 (sqrt.f64 (pow.f64 im 6)) (/.f64 (pow.f64 re 5) (sqrt.f64 (pow.f64 im 6))))) (+.f64 (.f64 1/2 (/.f64 (.f64 im im) re)) (.f64 re 2))))))
0.0b	(+.f64 (.f64 1/16 (/.f64 (sqrt.f64 (pow.f64 im 6)) (/.f64 (pow.f64 re 5) (sqrt.f64 (pow.f64 im 6))))) (+.f64 (.f64 1/2 (/.f64 (.f64 im im) re)) (.f64 re 2)))
0.0b	(+.f64 (.f64 1/2 (/.f64 (.f64 im im) re)) (*.f64 re 2))
0.0b	(.f64 1/2 (/.f64 (.f64 im im) re))
11.1b	(/.f64 (sqrt.f64 (pow.f64 im 6)) (/.f64 (pow.f64 re 5) (sqrt.f64 (pow.f64 im 6))))
18.0b	(/.f64 (pow.f64 re 5) (sqrt.f64 (pow.f64 im 6)))
18.8b	(/.f64 (pow.f64 im 4) (pow.f64 re 3))
21.1b	(-.f64 (.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (+.f64 (.f64 1/16 (/.f64 (sqrt.f64 (pow.f64 im 6)) (/.f64 (pow.f64 re 5) (sqrt.f64 (pow.f64 im 6))))) (+.f64 (.f64 1/2 (/.f64 (.f64 im im) re)) (*.f64 re 2))))

rewrite400.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

1664×	`times-frac_binary64_425`
1120×	`sqrt-prod_binary64_435`
906×	`unpow-prod-down_binary64_498`
788×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454` `add-sqr-sqrt_binary64_441`
302×	`sqr-pow_binary64_391`
96×	`associate-/r*_binary64_363`
31×	`add-exp-log_binary64_457`
24×	`cube-prod_binary64_447` `associate-/l*_binary64_364`
19×	`div-exp_binary64_470`
14×	`div-inv_binary64_416`
13×	`add-log-exp_binary64_458` `add-cbrt-cube_binary64_455`
8×	`unpow3_binary64_485` `cube-mult_binary64_449` `pow-exp_binary64_487` `pow-to-exp_binary64_488`
6×	`associate-*r/_binary64_361`
5×	`cbrt-undiv_binary64_453`
4×	`pow1_binary64_480` `frac-sub_binary64_428`
3×	`clear-num_binary64_418` `sum-log_binary64_510` `frac-2neg_binary64_430` `diff-log_binary64_511` `cancel-sign-sub-inv_binary64_385`
2×	`flip3-+_binary64_422` `frac-add_binary64_427` `flip-+_binary64_393`
1×	`sub-neg_binary64_412` `flip3--_binary64_423` `associate-/r/_binary64_365` `associate--r+_binary64_355` `flip--_binary64_394`

Counts

4 → 1000

Calls

8 calls:

85.0ms	(-.f64 (.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (+.f64 (.f64 1/16 (/.f64 (sqrt.f64 (pow.f64 im 6)) (/.f64 (pow.f64 re 5) (sqrt.f64 (pow.f64 im 6))))) (+.f64 (.f64 1/2 (/.f64 (.f64 im im) re)) (*.f64 re 2))))
38.0ms	(/.f64 (sqrt.f64 (pow.f64 im 6)) (/.f64 (pow.f64 re 5) (sqrt.f64 (pow.f64 im 6))))
8.0ms	(/.f64 (pow.f64 re 5) (sqrt.f64 (pow.f64 im 6)))
8.0ms	(/.f64 (pow.f64 im 4) (pow.f64 re 3))
0.0ms	(.f64 1/2 (/.f64 (.f64 im im) re))

series686.0ms (0.4%)

Counts

4 → 42

Calls

4 calls:

263.0ms	(-.f64 (.f64 1/8 (/.f64 (pow.f64 im 4) (pow.f64 re 3))) (+.f64 (.f64 1/16 (/.f64 (sqrt.f64 (pow.f64 im 6)) (/.f64 (pow.f64 re 5) (sqrt.f64 (pow.f64 im 6))))) (+.f64 (.f64 1/2 (/.f64 (.f64 im im) re)) (*.f64 re 2))))
163.0ms	(/.f64 (sqrt.f64 (pow.f64 im 6)) (/.f64 (pow.f64 re 5) (sqrt.f64 (pow.f64 im 6))))
135.0ms	(/.f64 (pow.f64 re 5) (sqrt.f64 (pow.f64 im 6)))
125.0ms	(/.f64 (pow.f64 im 4) (pow.f64 re 3))

Compiler

Compiled 2011 to 1714 computations (14.8% saved)

simplify384.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1042 → 1042

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5000	38784

prune1.1min (33.7%)

Pruning

465 alts after pruning (454 fresh and 11 done)

	Pruned	Kept	Total
New	1308	267	1575
Fresh	21	187	208
Picked	0	0	0
Done	0	11	11
Total	1329	465	1794

Error

0.5b

Counts

1794 → 465

Compiler

Compiled 58185 to 38383 computations (34% saved)

localize8.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(sqrt.f64 (*.f64 2 (-.f64 im re)))
0.0b	(sqrt.f64 (*.f64 2 (-.f64 im re)))

rewrite6.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`pow1_binary64_480`
2×	`sqrt-div_binary64_436` `associate-*r/_binary64_361` `sqrt-pow1_binary64_437`
1×	`*-un-lft-identity_binary64_419` `pow-prod-down_binary64_490` `add-log-exp_binary64_458` `add-cube-cbrt_binary64_454` `pow1/2_binary64_499` `add-sqr-sqrt_binary64_441` `flip3--_binary64_423` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_457` `flip--_binary64_394` `sqrt-prod_binary64_435`

Counts

1 → 13

Calls

2 calls:

5.0ms	(sqrt.f64 (*.f64 2 (-.f64 im re)))
0.0ms	(sqrt.f64 (*.f64 2 (-.f64 im re)))

series69.0ms (0%)

Counts

1 → 8

Calls

1 calls:

69.0ms

(sqrt.f64 (*.f64 2 (-.f64 im re)))

Compiler

Compiled 288 to 272 computations (5.6% saved)

simplify88.0ms (0%)

Algorithm

1×	egg-herbie

Counts

21 → 21

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	5023	239

localize5.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize20.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(sqrt.f64 (.f64 2 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) 3) (pow.f64 re 3)) (+.f64 (.f64 im im) (*.f64 re (+.f64 re (+.f64 re (neg.f64 re))))))))
0.0b	(pow.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) 3)
0.0b	(+.f64 (.f64 im im) (.f64 re (+.f64 re (+.f64 re (neg.f64 re)))))
0.0b	(+.f64 (.f64 re re) (.f64 im im))
0.2b	(sqrt.f64 (.f64 2 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) 3) (pow.f64 re 3)) (+.f64 (.f64 im im) (*.f64 re (+.f64 re (+.f64 re (neg.f64 re))))))))
12.9b	(-.f64 (pow.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) 3) (pow.f64 re 3))
32.5b	(/.f64 (-.f64 (pow.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) 3) (pow.f64 re 3)) (+.f64 (.f64 im im) (.f64 re (+.f64 re (+.f64 re (neg.f64 re))))))
34.1b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite133.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

237×	`add-sqr-sqrt_binary64_441`
120×	`difference-of-squares_binary64_388`
99×	`times-frac_binary64_425`
96×	`*-un-lft-identity_binary64_419`
93×	`unpow-prod-down_binary64_498` `cube-prod_binary64_447`
51×	`sqr-pow_binary64_391`
46×	`add-cube-cbrt_binary64_454`
44×	`sqrt-prod_binary64_435`
33×	`associate-/l*_binary64_364`
25×	`distribute-lft-out--_binary64_371`
12×	`cancel-sign-sub-inv_binary64_385`
8×	`pow1_binary64_480`
6×	`add-log-exp_binary64_458` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
5×	`difference-cubes_binary64_421`
3×	`sqrt-div_binary64_436` `sqrt-pow1_binary64_437` `associate-/r*_binary64_363`
2×	`flip3-+_binary64_422` `pow1/2_binary64_499` `flip3--_binary64_423` `associate-/r/_binary64_365` `flip-+_binary64_393` `flip--_binary64_394` `associate-/l/_binary64_366`
1×	`pow-prod-down_binary64_490` `clear-num_binary64_418` `sub-neg_binary64_412` `unpow3_binary64_485` `cube-mult_binary64_449` `div-inv_binary64_416` `associate-*r/_binary64_361` `frac-2neg_binary64_430` `diff-log_binary64_511` `rem-sqrt-square_binary64_432` `div-exp_binary64_470` `cbrt-undiv_binary64_453` `div-sub_binary64_424`

Counts

4 → 232

Calls

8 calls:

32.0ms	(/.f64 (-.f64 (pow.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) 3) (pow.f64 re 3)) (+.f64 (.f64 im im) (.f64 re (+.f64 re (+.f64 re (neg.f64 re))))))
30.0ms	(sqrt.f64 (.f64 2 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) 3) (pow.f64 re 3)) (+.f64 (.f64 im im) (*.f64 re (+.f64 re (+.f64 re (neg.f64 re))))))))
20.0ms	(-.f64 (pow.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) 3) (pow.f64 re 3))
4.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
0.0ms	(+.f64 (.f64 re re) (.f64 im im))

series557.0ms (0.3%)

Counts

4 → 48

Calls

4 calls:

189.0ms	(-.f64 (pow.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) 3) (pow.f64 re 3))
162.0ms	(/.f64 (-.f64 (pow.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) 3) (pow.f64 re 3)) (+.f64 (.f64 im im) (.f64 re (+.f64 re (+.f64 re (neg.f64 re))))))
114.0ms	(sqrt.f64 (.f64 2 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (+.f64 (.f64 re re) (.f64 im im))) 3) (pow.f64 re 3)) (+.f64 (.f64 im im) (*.f64 re (+.f64 re (+.f64 re (neg.f64 re))))))))
92.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

Compiler

Compiled 1886 to 1540 computations (18.3% saved)

simplify174.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

280 → 280

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	4912	11991
1	4912	11991

localize26.0ms (0%)

Local error

Found 8 expressions with local error:

1.6b	(-.f64 (-.f64 (+.f64 re (.f64 1/2 (/.f64 (.f64 im im) re))) (.f64 1/8 (.f64 (/.f64 (.f64 (cbrt.f64 (pow.f64 im 4)) (cbrt.f64 (pow.f64 im 4))) (.f64 re re)) (/.f64 (cbrt.f64 (pow.f64 im 4)) re)))) re)
0.2b	(*.f64 (cbrt.f64 (pow.f64 im 4)) (cbrt.f64 (pow.f64 im 4)))
0.1b	(.f64 (/.f64 (.f64 (cbrt.f64 (pow.f64 im 4)) (cbrt.f64 (pow.f64 im 4))) (*.f64 re re)) (/.f64 (cbrt.f64 (pow.f64 im 4)) re))
0.0b	(.f64 1/2 (/.f64 (.f64 im im) re))
15.6b	(/.f64 (.f64 (cbrt.f64 (pow.f64 im 4)) (cbrt.f64 (pow.f64 im 4))) (.f64 re re))
29.0b	(cbrt.f64 (pow.f64 im 4))
29.0b	(cbrt.f64 (pow.f64 im 4))
29.0b	(cbrt.f64 (pow.f64 im 4))

rewrite25.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`cbrt-prod_binary64_450`
16×	`add-exp-log_binary64_457`
12×	`add-cbrt-cube_binary64_455`
10×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454` `add-sqr-sqrt_binary64_441`
9×	`unpow-prod-down_binary64_498`
4×	`add-log-exp_binary64_458` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `pow1_binary64_480` `div-exp_binary64_470` `cbrt-undiv_binary64_453`
3×	`pow1/3_binary64_501` `sqr-pow_binary64_391`
1×	`clear-num_binary64_418` `times-frac_binary64_425` `div-inv_binary64_416` `frac-2neg_binary64_430` `associate-/r_binary64_363` `associate-/l_binary64_364`

Counts

4 → 66

Calls

8 calls:

11.0ms	(/.f64 (.f64 (cbrt.f64 (pow.f64 im 4)) (cbrt.f64 (pow.f64 im 4))) (.f64 re re))
2.0ms	(cbrt.f64 (pow.f64 im 4))
2.0ms	(cbrt.f64 (pow.f64 im 4))
2.0ms	(cbrt.f64 (pow.f64 im 4))
0.0ms	(.f64 1/2 (/.f64 (.f64 im im) re))

series530.0ms (0.3%)

Counts

4 → 15

Calls

4 calls:

255.0ms	(/.f64 (.f64 (cbrt.f64 (pow.f64 im 4)) (cbrt.f64 (pow.f64 im 4))) (.f64 re re))
93.0ms	(cbrt.f64 (pow.f64 im 4))
91.0ms	(cbrt.f64 (pow.f64 im 4))
90.0ms	(cbrt.f64 (pow.f64 im 4))

Compiler

Compiled 1164 to 918 computations (21.1% saved)

simplify82.0ms (0%)

Algorithm

1×	egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	5228	854

localize30.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (.f64 re re) (.f64 im im))
0.0b	(+.f64 (.f64 re re) (.f64 im im))
0.0b	(+.f64 (.f64 re re) (.f64 im im))
0.0b	(+.f64 (.f64 re re) (.f64 im im))
34.1b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
34.1b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
34.1b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
34.1b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite27.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-sqr-sqrt_binary64_441` `sqrt-prod_binary64_435`
8×	`*-un-lft-identity_binary64_419` `sqrt-div_binary64_436` `add-cube-cbrt_binary64_454` `pow1_binary64_480`
4×	`flip3-+_binary64_422` `add-log-exp_binary64_458` `pow1/2_binary64_499` `flip-+_binary64_393` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_457` `sqrt-pow1_binary64_437` `rem-sqrt-square_binary64_432`

Counts

4 → 60

Calls

8 calls:

4.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
4.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
4.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
4.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
0.0ms	(+.f64 (.f64 re re) (.f64 im im))

series488.0ms (0.3%)

Counts

4 → 70

Calls

4 calls:

126.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
122.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
121.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
118.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

Compiler

Compiled 5950 to 3446 computations (42.1% saved)

simplify53.0ms (0%)

Algorithm

1×	egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5126	2158

prune28.3s (14.8%)

Pruning

636 alts after pruning (620 fresh and 16 done)

	Pruned	Kept	Total
New	330	182	512
Fresh	11	438	449
Picked	0	0	0
Done	0	16	16
Total	341	636	977

Error

0.5b

Counts

977 → 636

Compiler

Compiled 15260 to 6497 computations (57.4% saved)

simplify1.6s (0.8%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (19.0ms)

Iter	Nodes	Cost
0	8922	98138

regimes1.1min (34%)

Compiler: Compiled 462353 to 327255 computations (29.2% saved)

bsearch183.0ms (0.1%)

Steps

Iters

Range

Point

2.364955680288264e+119

1.321978244608656e+123

4.1097956679905474e+119

-3.2523528149255483e-87

-9.651309901032914e-91

-9.763024991212806e-91

-1.579270706560992e+31

-1.6311696145497817e+27

-1.5530469120283839e+31

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes5.9s (3.1%)

Compiler: Compiled 43880 to 34251 computations (21.9% saved)

bsearch86.0ms (0%)

Steps

Iters

Range

Point

2.364955680288264e+119

1.321978244608656e+123

2.4044662356673948e+119

-3.2523528149255483e-87

-9.651309901032914e-91

-9.763024991212806e-91

-1.579270706560992e+31

-1.6311696145497817e+27

-1.5530469120283839e+31

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes1.8s (0.9%)

Compiler: Compiled 11241 to 9549 computations (15.1% saved)

bsearch78.0ms (0%)

Steps

Iters

Range

Point

2.364955680288264e+119

1.321978244608656e+123

1.8654415876206885e+121

-3.2523528149255483e-87

-9.651309901032914e-91

-9.763024991212806e-91

-1.579270706560992e+31

-1.6311696145497817e+27

-1.5530469120283839e+31

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes1.8s (1%)

Compiler: Compiled 11143 to 9451 computations (15.2% saved)

bsearch78.0ms (0%)

Steps

Iters

Range

Point

2.364955680288264e+119

1.321978244608656e+123

2.4044662356673948e+119

-3.2523528149255483e-87

-9.651309901032914e-91

-9.763024991212806e-91

-1.579270706560992e+31

-1.6311696145497817e+27

-1.5530469120283839e+31

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes411.0ms (0.2%)

Compiler: Compiled 1928 to 1704 computations (11.6% saved)

bsearch59.0ms (0%)

Steps

Iters	Range		Point
8	2.364955680288264e+119	1.321978244608656e+123	1.8148680767354007e+121
8	-3.2523528149255483e-87	-9.651309901032914e-91	-3.0165856771399735e-90

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes201.0ms (0.1%)

Compiler: Compiled 651 to 667 computations (-2.5% saved)

bsearch50.0ms (0%)

Steps

Iters	Range		Point
8	2.364955680288264e+119	1.321978244608656e+123	2.4044662356673948e+119
6	-2.0399103922035798e-20	-2.8881510806733696e-21	-7.63619430887308e-21

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes109.0ms (0.1%)

Compiler: Compiled 260 to 282 computations (-8.5% saved)

bsearch52.0ms (0%)

Steps

Iters	Range		Point
8	2.364955680288264e+119	1.321978244608656e+123	3.759282418990992e+120
6	-2.0399103922035798e-20	-2.8881510806733696e-21	-1.5951665240998073e-20

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes57.0ms (0%)

Compiler: Compiled 68 to 90 computations (-32.4% saved)

bsearch57.0ms (0%)

Steps

Iters	Range		Point
8	8.748957425412586e+260	6.619277023283375e+263	8.840591102330343e+260
8	-3.2523528149255483e-87	-9.651309901032914e-91	-1.2835885576867102e-90

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes24.0ms (0%)

Compiler: Compiled 36 to 56 computations (-55.6% saved)

bsearch40.0ms (0%)

Steps

Iters	Range		Point
8	8.748957425412586e+260	6.619277023283375e+263	8.840591102330343e+260

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes31.0ms (0%)

Compiler: Compiled 10 to 26 computations (-160% saved)

bsearch38.0ms (0%)

Steps

Iters	Range		Point
6	9.293403505890817e-182	4.18570768548011e-181	2.0790521550319519e-181

Compiler

Compiled 443 to 333 computations (24.8% saved)

simplify11.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	150	666
1	150	666

end0.0ms (0%)

sample3.6s (1.9%)

Algorithm

1×

intervals

Results

275.0ms	6038×	body	128	valid
155.0ms	539×	body	4096	valid
148.0ms	645×	body	2048	valid
112.0ms	8000×	pre	128	true
69.0ms	382×	body	1024	valid
35.0ms	268×	body	512	valid
13.0ms	128×	body	256	valid

Compiler

Compiled 64059 to 45808 computations (28.5% saved)