Details

analyze5.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
62.5%	37.5%	0%	4
81.2%	18.7%	0%	5
90.6%	9.4%	0%	6
95.3%	4.7%	0%	7
97.6%	2.3%	0%	8
98.8%	1.2%	0%	9
99.4%	0.6%	0%	10
99.7%	0.3%	0%	11
99.8%	0.1%	0%	12
99.9%	0.1%	0%	13
99.9%	0%	0%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample20.0ms (0%)

Algorithm

1×

intervals

Results

5.0ms	40×	body	256	valid
5.0ms	67×	body	512	valid
4.0ms	138×	body	128	valid
1.0ms	11×	body	1024	valid

Compiler

Compiled 19 to 18 computations (5.3% saved)

simplify94.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	73	13
1	73	13

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

16.7b

Counts

2 → 1

Compiler

Compiled 9 to 8 computations (11.1% saved)

localize5.0ms (0%)

Local error

Found 4 expressions with local error:

5.0b	(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
0.0b	(/.f64 1 (+.f64 x 1))
0.0b	(/.f64 1 (+.f64 x 1))
5.0b	(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))

rewrite37.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

55×	`*-un-lft-identity_binary64_419`
46×	`add-sqr-sqrt_binary64_441`
45×	`times-frac_binary64_425`
22×	`add-cube-cbrt_binary64_454`
13×	`cancel-sign-sub-inv_binary64_385`
10×	`distribute-lft-out--_binary64_371`
9×	`difference-of-squares_binary64_388`
7×	`distribute-lft-out_binary64_370`
6×	`div-inv_binary64_416` `add-exp-log_binary64_457`
4×	`add-log-exp_binary64_458` `add-cbrt-cube_binary64_455` `associate-/r*_binary64_363`
3×	`pow1_binary64_480` `associate-/l*_binary64_364`
2×	`associate-/r/_binary64_365` `div-exp_binary64_470`
1×	`flip3-+_binary64_422` `clear-num_binary64_418` `1-exp_binary64_463` `sub-neg_binary64_412` `inv-pow_binary64_504` `flip3--_binary64_423` `rec-exp_binary64_469` `frac-2neg_binary64_430` `pow-flip_binary64_493` `flip-+_binary64_393` `diff-log_binary64_511` `flip--_binary64_394` `frac-sub_binary64_428` `cbrt-undiv_binary64_453`

Counts

2 → 81

Calls

4 calls:

21.0ms	(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
6.0ms	(/.f64 1 (+.f64 x 1))
0.0ms	(/.f64 1 (+.f64 x 1))
0.0ms	(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))

series61.0ms (0.1%)

Counts

2 → 24

Calls

2 calls:

33.0ms	(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
28.0ms	(/.f64 1 (+.f64 x 1))

Compiler

Compiled 304 to 263 computations (13.5% saved)

simplify98.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (79.0ms)

Iter	Nodes	Cost
0	4929	1503
1	4929	1503

prune328.0ms (0.7%)

Pruning

42 alts after pruning (41 fresh and 1 done)

	Pruned	Kept	Total
New	64	41	105
Fresh	0	0	0
Picked	0	0	0
Done	0	1	1
Total	64	42	106

Error

0.0b

Counts

106 → 42

Compiler

Compiled 1532 to 1254 computations (18.1% saved)

localize5.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 -1 (*.f64 x (+.f64 1 x)))
0.0b	(*.f64 x (+.f64 1 x))
0.0b	(*.f64 x (+.f64 1 x))
0.2b	(/.f64 -1 (*.f64 x (+.f64 1 x)))

rewrite16.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
8×	`*-un-lft-identity_binary64_419` `add-sqr-sqrt_binary64_441`
6×	`add-cube-cbrt_binary64_454`
4×	`associate-r_binary64_359` `associate-*r/_binary64_361` `pow1_binary64_480`
3×	`times-frac_binary64_425` `associate-l_binary64_360` `associate-/l*_binary64_364`
2×	`flip3-+_binary64_422` `add-log-exp_binary64_458` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `associate-/r/_binary64_365` `flip-+_binary64_393` `div-exp_binary64_470` `cbrt-undiv_binary64_453`
1×	`pow-prod-down_binary64_490` `clear-num_binary64_418` `distribute-rgt-in_binary64_369` `div-inv_binary64_416` `unswap-sqr_binary64_387` `distribute-lft-out_binary64_370` `distribute-lft-in_binary64_368` `-commutative_binary64_350` `frac-2neg_binary64_430` `associate-/r_binary64_363`

Counts

2 → 46

Calls

4 calls:

6.0ms	(/.f64 -1 (*.f64 x (+.f64 1 x)))
6.0ms	(*.f64 x (+.f64 1 x))
0.0ms	(*.f64 x (+.f64 1 x))
0.0ms	(/.f64 -1 (*.f64 x (+.f64 1 x)))

series70.0ms (0.1%)

Counts

2 → 18

Calls

2 calls:

35.0ms	(*.f64 x (+.f64 1 x))
34.0ms	(/.f64 -1 (*.f64 x (+.f64 1 x)))

Compiler

Compiled 193 to 172 computations (10.9% saved)

simplify60.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5056	703

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

localize6.0ms (0%)

Local error

Found 4 expressions with local error:

5.0b	(-.f64 (pow.f64 (+.f64 x 1) -1) (/.f64 1 x))
0.0b	(pow.f64 (+.f64 x 1) -1)
0.0b	(pow.f64 (+.f64 x 1) -1)
5.0b	(-.f64 (pow.f64 (+.f64 x 1) -1) (/.f64 1 x))

rewrite32.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`add-sqr-sqrt_binary64_441`
19×	`*-un-lft-identity_binary64_419`
15×	`times-frac_binary64_425`
13×	`cancel-sign-sub-inv_binary64_385`
11×	`add-cube-cbrt_binary64_454`
9×	`difference-of-squares_binary64_388`
7×	`unpow-prod-down_binary64_498`
4×	`add-log-exp_binary64_458` `sqr-pow_binary64_391`
3×	`add-exp-log_binary64_457` `pow-unpow_binary64_496` `pow1_binary64_480`
2×	`unpow-1_binary64_476` `div-inv_binary64_416` `distribute-lft-out--_binary64_371` `add-cbrt-cube_binary64_455`
1×	`sub-neg_binary64_412` `pow-exp_binary64_487` `distribute-lft-out_binary64_370` `flip3--_binary64_423` `pow-to-exp_binary64_488` `pow-pow_binary64_491` `diff-log_binary64_511` `flip--_binary64_394` `frac-sub_binary64_428`

Counts

2 → 55

Calls

4 calls:

20.0ms	(-.f64 (pow.f64 (+.f64 x 1) -1) (/.f64 1 x))
4.0ms	(pow.f64 (+.f64 x 1) -1)
0.0ms	(pow.f64 (+.f64 x 1) -1)
0.0ms	(-.f64 (pow.f64 (+.f64 x 1) -1) (/.f64 1 x))

series59.0ms (0.1%)

Counts

2 → 24

Calls

2 calls:

33.0ms	(-.f64 (pow.f64 (+.f64 x 1) -1) (/.f64 1 x))
26.0ms	(pow.f64 (+.f64 x 1) -1)

Compiler

Compiled 304 to 263 computations (13.5% saved)

simplify98.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	4920	1156
1	4920	1156

localize9.0ms (0%)

Local error

Found 8 expressions with local error:

20.8b	(cbrt.f64 (pow.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 3))
5.0b	(-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x))
0.1b	(pow.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 3)
0.0b	(/.f64 1 (+.f64 1 x))
0.0b	(/.f64 1 (+.f64 1 x))
0.1b	(pow.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 3)
5.0b	(-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x))
20.8b	(cbrt.f64 (pow.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 3))

rewrite103.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

179×	`*-un-lft-identity_binary64_419`
166×	`add-sqr-sqrt_binary64_441`
141×	`times-frac_binary64_425`
50×	`cbrt-prod_binary64_450` `distribute-lft-out--_binary64_371`
46×	`add-cube-cbrt_binary64_454`
45×	`difference-of-squares_binary64_388`
44×	`unpow-prod-down_binary64_498` `cube-prod_binary64_447`
22×	`div-inv_binary64_416`
19×	`distribute-lft-out_binary64_370`
13×	`cancel-sign-sub-inv_binary64_385`
9×	`add-exp-log_binary64_457`
7×	`add-cbrt-cube_binary64_455`
6×	`add-log-exp_binary64_458` `cube-div_binary64_448` `pow1_binary64_480`
4×	`associate-/r*_binary64_363`
3×	`cbrt-div_binary64_451` `flip3--_binary64_423` `pow-unpow_binary64_496` `flip--_binary64_394` `frac-sub_binary64_428` `associate-/l*_binary64_364`
2×	`unpow3_binary64_485` `cube-mult_binary64_449` `sqr-pow_binary64_391` `associate-/r/_binary64_365` `div-exp_binary64_470`
1×	`flip3-+_binary64_422` `clear-num_binary64_418` `1-exp_binary64_463` `pow1/3_binary64_501` `sub-neg_binary64_412` `inv-pow_binary64_504` `rem-cube-cbrt_binary64_442` `pow-exp_binary64_487` `rem-cbrt-cube_binary64_443` `rec-exp_binary64_469` `pow-to-exp_binary64_488` `frac-2neg_binary64_430` `pow-flip_binary64_493` `flip-+_binary64_393` `pow-pow_binary64_491` `diff-log_binary64_511` `cbrt-undiv_binary64_453`

Counts

4 → 207

Calls

8 calls:

25.0ms	(cbrt.f64 (pow.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 3))
23.0ms	(pow.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 3)
21.0ms	(-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x))
5.0ms	(/.f64 1 (+.f64 1 x))
0.0ms	(/.f64 1 (+.f64 1 x))

series147.0ms (0.3%)

Counts

4 → 48

Calls

4 calls:

48.0ms	(pow.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 3)
36.0ms	(cbrt.f64 (pow.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 3))
34.0ms	(-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x))
28.0ms	(/.f64 1 (+.f64 1 x))

Compiler

Compiled 720 to 647 computations (10.1% saved)

simplify325.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

255 → 255

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4916	4932
1	4916	4932

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x)))
0.2b	(.f64 (/.f64 1 (.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x)))) (/.f64 1 (cbrt.f64 (+.f64 1 x))))
0.2b	(/.f64 1 (cbrt.f64 (+.f64 1 x)))
0.1b	(/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))))
0.3b	(cbrt.f64 (+.f64 1 x))
0.3b	(cbrt.f64 (+.f64 1 x))
0.3b	(cbrt.f64 (+.f64 1 x))
19.6b	(-.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x)))) (/.f64 1 (cbrt.f64 (+.f64 1 x)))) (/.f64 1 x))

rewrite45.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`*-un-lft-identity_binary64_419`
14×	`add-cube-cbrt_binary64_454` `add-sqr-sqrt_binary64_441`
13×	`cancel-sign-sub-inv_binary64_385`
12×	`cbrt-prod_binary64_450`
9×	`times-frac_binary64_425`
6×	`add-log-exp_binary64_458` `cbrt-div_binary64_451`
4×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457` `pow1_binary64_480` `frac-sub_binary64_428`
3×	`flip3-+_binary64_422` `pow1/3_binary64_501` `distribute-lft-out_binary64_370` `flip-+_binary64_393`
1×	`associate-l/_binary64_362` `sub-neg_binary64_412` `div-inv_binary64_416` `frac-times_binary64_429` `flip3--_binary64_423` `associate-r/_binary64_361` `diff-log_binary64_511` `un-div-inv_binary64_417` `flip--_binary64_394`

Counts

4 → 70

Calls

8 calls:

29.0ms	(-.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x)))) (/.f64 1 (cbrt.f64 (+.f64 1 x)))) (/.f64 1 x))
3.0ms	(cbrt.f64 (+.f64 1 x))
3.0ms	(cbrt.f64 (+.f64 1 x))
3.0ms	(cbrt.f64 (+.f64 1 x))
0.0ms	(/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x))))

series161.0ms (0.3%)

Counts

4 → 33

Calls

4 calls:

43.0ms	(-.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x)))) (/.f64 1 (cbrt.f64 (+.f64 1 x)))) (/.f64 1 x))
42.0ms	(cbrt.f64 (+.f64 1 x))
40.0ms	(cbrt.f64 (+.f64 1 x))
36.0ms	(cbrt.f64 (+.f64 1 x))

Compiler

Compiled 948 to 831 computations (12.3% saved)

simplify105.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (86.0ms)

Iter	Nodes	Cost
0	4849	1256
1	4849	1256

prune3.5s (7.2%)

Pruning

156 alts after pruning (150 fresh and 6 done)

	Pruned	Kept	Total
New	375	126	501
Fresh	12	24	36
Picked	0	0	0
Done	0	6	6
Total	387	156	543

Error

0.0b

Counts

543 → 156

Compiler

Compiled 7659 to 6293 computations (17.8% saved)

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

0.1b	(/.f64 (/.f64 -1 x) (+.f64 1 x))
0.1b	(/.f64 (/.f64 -1 x) (+.f64 1 x))

rewrite17.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

97×	`times-frac_binary64_425`
78×	`*-un-lft-identity_binary64_419`
50×	`add-cube-cbrt_binary64_454` `add-sqr-sqrt_binary64_441`
14×	`distribute-lft-out_binary64_370`
13×	`associate-/l*_binary64_364`
6×	`div-inv_binary64_416` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
4×	`associate-/r*_binary64_363`
3×	`div-exp_binary64_470` `cbrt-undiv_binary64_453`
2×	`associate-/r/_binary64_365`
1×	`flip3-+_binary64_422` `clear-num_binary64_418` `add-log-exp_binary64_458` `frac-2neg_binary64_430` `flip-+_binary64_393` `pow1_binary64_480` `associate-/l/_binary64_366`

Counts

1 → 86

Calls

2 calls:

8.0ms	(/.f64 (/.f64 -1 x) (+.f64 1 x))
0.0ms	(/.f64 (/.f64 -1 x) (+.f64 1 x))

series34.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

34.0ms

(/.f64 (/.f64 -1 x) (+.f64 1 x))

Compiler

Compiled 138 to 123 computations (10.9% saved)

simplify91.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4909	2004
1	4909	2004

localize3.0ms (0%)

Local error

Found 2 expressions with local error:

0.2b	(/.f64 -1 (*.f64 x x))
0.2b	(/.f64 -1 (*.f64 x x))

rewrite6.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
3×	`-un-lft-identity_binary64_419` `times-frac_binary64_425` `add-cube-cbrt_binary64_454` `add-sqr-sqrt_binary64_441` `associate-/l_binary64_364`
2×	`div-exp_binary64_470` `cbrt-undiv_binary64_453`
1×	`clear-num_binary64_418` `add-log-exp_binary64_458` `div-inv_binary64_416` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `frac-2neg_binary64_430` `associate-/r*_binary64_363` `pow1_binary64_480`

Counts

1 → 21

Calls

2 calls:

5.0ms	(/.f64 -1 (*.f64 x x))
0.0ms	(/.f64 -1 (*.f64 x x))

series25.0ms (0.1%)

Counts

1 → 3

Calls

1 calls:

25.0ms

(/.f64 -1 (*.f64 x x))

Compiler

Compiled 30 to 30 computations (0% saved)

simplify88.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

24 → 24

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	4971	212
1	4971	212

localize7.0ms (0%)

Local error

Found 4 expressions with local error:

5.0b	(-.f64 (pow.f64 (pow.f64 (+.f64 x 1) -1) 1) (/.f64 1 x))
0.0b	(pow.f64 (+.f64 x 1) -1)
0.0b	(pow.f64 (+.f64 x 1) -1)
5.0b	(-.f64 (pow.f64 (pow.f64 (+.f64 x 1) -1) 1) (/.f64 1 x))

rewrite30.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

40×	`add-sqr-sqrt_binary64_441`
21×	`*-un-lft-identity_binary64_419`
19×	`times-frac_binary64_425`
16×	`unpow-prod-down_binary64_498`
15×	`difference-of-squares_binary64_388`
13×	`cancel-sign-sub-inv_binary64_385`
11×	`add-cube-cbrt_binary64_454`
7×	`sqr-pow_binary64_391`
4×	`add-log-exp_binary64_458`
3×	`add-exp-log_binary64_457` `pow-unpow_binary64_496` `pow1_binary64_480`
2×	`div-inv_binary64_416` `distribute-lft-out--_binary64_371` `add-cbrt-cube_binary64_455`
1×	`sub-neg_binary64_412` `unpow-1_binary64_476` `pow-exp_binary64_487` `distribute-lft-out_binary64_370` `flip3--_binary64_423` `pow-to-exp_binary64_488` `pow-pow_binary64_491` `diff-log_binary64_511` `flip--_binary64_394`

Counts

2 → 60

Calls

4 calls:

20.0ms	(-.f64 (pow.f64 (pow.f64 (+.f64 x 1) -1) 1) (/.f64 1 x))
4.0ms	(pow.f64 (+.f64 x 1) -1)
0.0ms	(pow.f64 (+.f64 x 1) -1)
0.0ms	(-.f64 (pow.f64 (pow.f64 (+.f64 x 1) -1) 1) (/.f64 1 x))

series63.0ms (0.1%)

Counts

2 → 24

Calls

2 calls:

35.0ms	(-.f64 (pow.f64 (pow.f64 (+.f64 x 1) -1) 1) (/.f64 1 x))
28.0ms	(pow.f64 (+.f64 x 1) -1)

Compiler

Compiled 328 to 287 computations (12.5% saved)

simplify85.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4887	1355
1	4887	1355

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(/.f64 -1 (.f64 (.f64 (cbrt.f64 (.f64 x (+.f64 x 1))) (cbrt.f64 (.f64 x (+.f64 x 1)))) (cbrt.f64 (*.f64 x (+.f64 x 1)))))
0.0b	(*.f64 x (+.f64 x 1))
0.0b	(*.f64 x (+.f64 x 1))
0.0b	(*.f64 x (+.f64 x 1))
0.4b	(.f64 (cbrt.f64 (.f64 x (+.f64 x 1))) (cbrt.f64 (*.f64 x (+.f64 x 1))))
14.3b	(cbrt.f64 (*.f64 x (+.f64 x 1)))
14.3b	(cbrt.f64 (*.f64 x (+.f64 x 1)))
14.3b	(cbrt.f64 (*.f64 x (+.f64 x 1)))

rewrite29.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`associate-*r/_binary64_361`
18×	`cbrt-div_binary64_451`
11×	`pow1_binary64_480`
10×	`add-sqr-sqrt_binary64_441`
9×	`flip3-+_binary64_422` `pow1/3_binary64_501` `flip-+_binary64_393`
8×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454`
7×	`cbrt-prod_binary64_450`
6×	`add-exp-log_binary64_457`
4×	`add-log-exp_binary64_458` `associate-r_binary64_359` `frac-times_binary64_429` `swap-sqr_binary64_386` `associate-l_binary64_360` `add-cbrt-cube_binary64_455`
2×	`associate-*l/_binary64_362` `pow-prod-down_binary64_490` `pow-sqr_binary64_392` `pow-prod-up_binary64_489`
1×	`unswap-sqr_binary64_387` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `pow-plus_binary64_482` `*-commutative_binary64_350` `pow2_binary64_500`

Counts

4 → 72

Calls

8 calls:

7.0ms	(.f64 (cbrt.f64 (.f64 x (+.f64 x 1))) (cbrt.f64 (*.f64 x (+.f64 x 1))))
5.0ms	(cbrt.f64 (*.f64 x (+.f64 x 1)))
5.0ms	(cbrt.f64 (*.f64 x (+.f64 x 1)))
5.0ms	(cbrt.f64 (*.f64 x (+.f64 x 1)))
0.0ms	(*.f64 x (+.f64 x 1))

series236.0ms (0.5%)

Counts

4 → 29

Calls

4 calls:

78.0ms	(.f64 (cbrt.f64 (.f64 x (+.f64 x 1))) (cbrt.f64 (*.f64 x (+.f64 x 1))))
55.0ms	(cbrt.f64 (*.f64 x (+.f64 x 1)))
52.0ms	(cbrt.f64 (*.f64 x (+.f64 x 1)))
51.0ms	(cbrt.f64 (*.f64 x (+.f64 x 1)))

Compiler

Compiled 1147 to 974 computations (15.1% saved)

simplify92.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4874	1448
1	4874	1448

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(*.f64 (cbrt.f64 (+.f64 1 x)) (pow.f64 (cbrt.f64 (+.f64 1 x)) 1))
0.2b	(.f64 (/.f64 1 (.f64 (cbrt.f64 (+.f64 1 x)) (pow.f64 (cbrt.f64 (+.f64 1 x)) 1))) (/.f64 1 (cbrt.f64 (+.f64 1 x))))
0.2b	(/.f64 1 (cbrt.f64 (+.f64 1 x)))
0.1b	(/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 x)) (pow.f64 (cbrt.f64 (+.f64 1 x)) 1)))
0.3b	(cbrt.f64 (+.f64 1 x))
0.3b	(cbrt.f64 (+.f64 1 x))
0.3b	(cbrt.f64 (+.f64 1 x))
19.6b	(-.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 (+.f64 1 x)) (pow.f64 (cbrt.f64 (+.f64 1 x)) 1))) (/.f64 1 (cbrt.f64 (+.f64 1 x)))) (/.f64 1 x))

rewrite46.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`*-un-lft-identity_binary64_419`
14×	`add-cube-cbrt_binary64_454` `add-sqr-sqrt_binary64_441`
13×	`cancel-sign-sub-inv_binary64_385`
12×	`cbrt-prod_binary64_450`
9×	`times-frac_binary64_425`
6×	`add-log-exp_binary64_458` `cbrt-div_binary64_451`
4×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457` `pow1_binary64_480` `frac-sub_binary64_428`
3×	`flip3-+_binary64_422` `pow1/3_binary64_501` `distribute-lft-out_binary64_370` `flip-+_binary64_393`
1×	`associate-l/_binary64_362` `sub-neg_binary64_412` `div-inv_binary64_416` `frac-times_binary64_429` `flip3--_binary64_423` `associate-r/_binary64_361` `diff-log_binary64_511` `un-div-inv_binary64_417` `flip--_binary64_394`

Counts

4 → 70

Calls

8 calls:

29.0ms	(-.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 (+.f64 1 x)) (pow.f64 (cbrt.f64 (+.f64 1 x)) 1))) (/.f64 1 (cbrt.f64 (+.f64 1 x)))) (/.f64 1 x))
3.0ms	(cbrt.f64 (+.f64 1 x))
3.0ms	(cbrt.f64 (+.f64 1 x))
3.0ms	(cbrt.f64 (+.f64 1 x))
0.0ms	(/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 x)) (pow.f64 (cbrt.f64 (+.f64 1 x)) 1)))

series159.0ms (0.3%)

Counts

4 → 33

Calls

4 calls:

44.0ms	(cbrt.f64 (+.f64 1 x))
40.0ms	(cbrt.f64 (+.f64 1 x))
39.0ms	(-.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 (+.f64 1 x)) (pow.f64 (cbrt.f64 (+.f64 1 x)) 1))) (/.f64 1 (cbrt.f64 (+.f64 1 x)))) (/.f64 1 x))
36.0ms	(cbrt.f64 (+.f64 1 x))

Compiler

Compiled 1002 to 885 computations (11.7% saved)

simplify92.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	5053	1225

prune8.0s (16.3%)

Pruning

262 alts after pruning (253 fresh and 9 done)

	Pruned	Kept	Total
New	276	134	410
Fresh	26	119	145
Picked	0	0	0
Done	2	9	11
Total	304	262	566

Error

Counts

566 → 262

Compiler

Compiled 11411 to 9113 computations (20.1% saved)

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

0.1b	(/.f64 (/.f64 -1 x) (+.f64 x 1))
0.1b	(/.f64 (/.f64 -1 x) (+.f64 x 1))

rewrite21.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

97×	`times-frac_binary64_425`
78×	`*-un-lft-identity_binary64_419`
50×	`add-cube-cbrt_binary64_454` `add-sqr-sqrt_binary64_441`
14×	`distribute-lft-out_binary64_370`
13×	`associate-/l*_binary64_364`
6×	`div-inv_binary64_416` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
4×	`associate-/r*_binary64_363`
3×	`div-exp_binary64_470` `cbrt-undiv_binary64_453`
2×	`associate-/r/_binary64_365`
1×	`flip3-+_binary64_422` `clear-num_binary64_418` `add-log-exp_binary64_458` `frac-2neg_binary64_430` `flip-+_binary64_393` `pow1_binary64_480` `associate-/l/_binary64_366`

Counts

1 → 86

Calls

2 calls:

11.0ms	(/.f64 (/.f64 -1 x) (+.f64 x 1))
0.0ms	(/.f64 (/.f64 -1 x) (+.f64 x 1))

series33.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

33.0ms

(/.f64 (/.f64 -1 x) (+.f64 x 1))

Compiler

Compiled 162 to 147 computations (9.3% saved)

simplify77.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4962	2002
1	4962	2002

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

0.1b	(/.f64 (/.f64 -1 x) x)
0.1b	(/.f64 (/.f64 -1 x) x)

rewrite13.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

75×	`times-frac_binary64_425`
43×	`*-un-lft-identity_binary64_419` `add-cube-cbrt_binary64_454` `add-sqr-sqrt_binary64_441`
13×	`associate-/l*_binary64_364`
6×	`add-cbrt-cube_binary64_455` `add-exp-log_binary64_457`
5×	`div-inv_binary64_416`
3×	`associate-/r*_binary64_363` `div-exp_binary64_470` `cbrt-undiv_binary64_453`
1×	`clear-num_binary64_418` `add-log-exp_binary64_458` `frac-2neg_binary64_430` `pow1_binary64_480` `associate-/l/_binary64_366`

Counts

1 → 70

Calls

2 calls:

7.0ms	(/.f64 (/.f64 -1 x) x)
0.0ms	(/.f64 (/.f64 -1 x) x)

series27.0ms (0.1%)

Counts

1 → 3

Calls

1 calls:

27.0ms

(/.f64 (/.f64 -1 x) x)

Compiler

Compiled 30 to 30 computations (0% saved)

simplify92.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	4913	1055
1	4913	1055

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

13.5b	(.f64 (/.f64 1 (-.f64 1 (.f64 x x))) (-.f64 1 x))
10.5b	(-.f64 (.f64 (/.f64 1 (-.f64 1 (.f64 x x))) (-.f64 1 x)) (/.f64 1 x))
0.2b	(/.f64 1 (-.f64 1 (*.f64 x x)))
0.1b	(pow.f64 (-.f64 (.f64 (/.f64 1 (-.f64 1 (.f64 x x))) (-.f64 1 x)) (/.f64 1 x)) 3)
0.2b	(/.f64 1 (-.f64 1 (*.f64 x x)))
10.5b	(-.f64 (.f64 (/.f64 1 (-.f64 1 (.f64 x x))) (-.f64 1 x)) (/.f64 1 x))
13.5b	(.f64 (/.f64 1 (-.f64 1 (.f64 x x))) (-.f64 1 x))
25.3b	(cbrt.f64 (pow.f64 (-.f64 (.f64 (/.f64 1 (-.f64 1 (.f64 x x))) (-.f64 1 x)) (/.f64 1 x)) 3))

rewrite76.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

55×	`add-sqr-sqrt_binary64_441`
49×	`*-un-lft-identity_binary64_419`
41×	`times-frac_binary64_425`
38×	`add-cube-cbrt_binary64_454`
25×	`cancel-sign-sub-inv_binary64_385`
21×	`associate-l_binary64_360`
17×	`add-exp-log_binary64_457`
16×	`difference-of-squares_binary64_388`
12×	`cbrt-prod_binary64_450`
11×	`add-cbrt-cube_binary64_455`
10×	`flip3--_binary64_423` `flip--_binary64_394` `frac-sub_binary64_428`
8×	`associate--l+_binary64_356` `distribute-rgt-in_binary64_369` `distribute-lft-in_binary64_368`
7×	`cbrt-div_binary64_451` `cube-div_binary64_448` `pow1_binary64_480`
6×	`add-log-exp_binary64_458` `associate-r_binary64_359` `frac-times_binary64_429` `associate-*r/_binary64_361`
5×	`sub-neg_binary64_412` `associate-/r*_binary64_363`
4×	`prod-exp_binary64_468` `associate-/r/_binary64_365` `div-exp_binary64_470`
3×	`associate-l/_binary64_362` `unpow-prod-down_binary64_498` `div-inv_binary64_416` `unswap-sqr_binary64_387` `cube-prod_binary64_447` `associate-/l_binary64_364`
2×	`1-exp_binary64_463` `cbrt-unprod_binary64_452` `rec-exp_binary64_469` `cbrt-undiv_binary64_453`
1×	`pow-prod-down_binary64_490` `clear-num_binary64_418` `pow1/3_binary64_501` `inv-pow_binary64_504` `unpow3_binary64_485` `cube-mult_binary64_449` `sqr-pow_binary64_391` `distribute-lft-out--_binary64_371` `rem-cbrt-cube_binary64_443` `*-commutative_binary64_350` `frac-2neg_binary64_430` `pow-flip_binary64_493` `diff-log_binary64_511`

Counts

4 → 164

Calls

8 calls:

21.0ms	(-.f64 (.f64 (/.f64 1 (-.f64 1 (.f64 x x))) (-.f64 1 x)) (/.f64 1 x))
16.0ms	(cbrt.f64 (pow.f64 (-.f64 (.f64 (/.f64 1 (-.f64 1 (.f64 x x))) (-.f64 1 x)) (/.f64 1 x)) 3))
16.0ms	(.f64 (/.f64 1 (-.f64 1 (.f64 x x))) (-.f64 1 x))
5.0ms	(/.f64 1 (-.f64 1 (*.f64 x x)))
0.0ms	(pow.f64 (-.f64 (.f64 (/.f64 1 (-.f64 1 (.f64 x x))) (-.f64 1 x)) (/.f64 1 x)) 3)

series201.0ms (0.4%)

Counts

4 → 48

Calls

4 calls:

56.0ms	(-.f64 (.f64 (/.f64 1 (-.f64 1 (.f64 x x))) (-.f64 1 x)) (/.f64 1 x))
55.0ms	(cbrt.f64 (pow.f64 (-.f64 (.f64 (/.f64 1 (-.f64 1 (.f64 x x))) (-.f64 1 x)) (/.f64 1 x)) 3))
52.0ms	(/.f64 1 (-.f64 1 (*.f64 x x)))
39.0ms	(.f64 (/.f64 1 (-.f64 1 (.f64 x x))) (-.f64 1 x))

Compiler

Compiled 792 to 698 computations (11.9% saved)

simplify98.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

212 → 212

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4934	3797
1	4934	3797

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

5.0b	(-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x))
0.1b	(pow.f64 (cbrt.f64 (pow.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 3)) 3)
0.1b	(pow.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 3)
0.0b	(/.f64 1 (+.f64 1 x))
0.1b	(pow.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 3)
5.0b	(-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x))
20.8b	(cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 3)) 3))
20.8b	(cbrt.f64 (pow.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 3))

rewrite158.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

287×	`*-un-lft-identity_binary64_419`
278×	`add-sqr-sqrt_binary64_441`
262×	`cbrt-prod_binary64_450`
225×	`times-frac_binary64_425`
141×	`unpow-prod-down_binary64_498` `cube-prod_binary64_447`
90×	`distribute-lft-out--_binary64_371`
81×	`difference-of-squares_binary64_388`
62×	`add-cube-cbrt_binary64_454`
37×	`div-inv_binary64_416`
27×	`distribute-lft-out_binary64_370`
13×	`cancel-sign-sub-inv_binary64_385`
12×	`cube-div_binary64_448`
9×	`cbrt-div_binary64_451`
6×	`add-log-exp_binary64_458`
5×	`unpow3_binary64_485` `cube-mult_binary64_449` `sqr-pow_binary64_391` `add-cbrt-cube_binary64_455` `add-exp-log_binary64_457` `pow1_binary64_480`
4×	`flip3--_binary64_423` `flip--_binary64_394` `frac-sub_binary64_428`
3×	`pow-unpow_binary64_496`
2×	`pow1/3_binary64_501` `rem-cbrt-cube_binary64_443`
1×	`sub-neg_binary64_412` `rem-cube-cbrt_binary64_442` `pow-exp_binary64_487` `pow-to-exp_binary64_488` `pow-pow_binary64_491` `diff-log_binary64_511`

Counts

4 → 294

Calls

8 calls:

41.0ms	(cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 3)) 3))
27.0ms	(pow.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 3)
23.0ms	(cbrt.f64 (pow.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 3))
21.0ms	(-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x))
0.0ms	(/.f64 1 (+.f64 1 x))

series163.0ms (0.3%)

Counts

4 → 48

Calls

4 calls:

47.0ms	(pow.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 3)
42.0ms	(cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 3)) 3))
38.0ms	(-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x))
35.0ms	(cbrt.f64 (pow.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 3))

Compiler

Compiled 764 to 702 computations (8.1% saved)

simplify151.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

342 → 342

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4875	7582
1	4875	7582

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(/.f64 1 (pow.f64 x 4))
0.1b	(/.f64 (/.f64 1 x) x)
0.1b	(pow.f64 (+.f64 (-.f64 (pow.f64 (/.f64 1 x) 3) (+.f64 (/.f64 (/.f64 1 x) x) (/.f64 1 (pow.f64 x 4)))) (/.f64 1 (pow.f64 x 5))) 3)
0.0b	(/.f64 1 (pow.f64 x 5))
0.3b	(pow.f64 (/.f64 1 x) 3)
10.2b	(+.f64 (-.f64 (pow.f64 (/.f64 1 x) 3) (+.f64 (/.f64 (/.f64 1 x) x) (/.f64 1 (pow.f64 x 4)))) (/.f64 1 (pow.f64 x 5)))
11.8b	(-.f64 (pow.f64 (/.f64 1 x) 3) (+.f64 (/.f64 (/.f64 1 x) x) (/.f64 1 (pow.f64 x 4))))
13.3b	(cbrt.f64 (pow.f64 (+.f64 (-.f64 (pow.f64 (/.f64 1 x) 3) (+.f64 (/.f64 (/.f64 1 x) x) (/.f64 1 (pow.f64 x 4)))) (/.f64 1 (pow.f64 x 5))) 3))

rewrite297.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

113×	`*-un-lft-identity_binary64_419`
46×	`distribute-lft-out_binary64_370`
41×	`add-sqr-sqrt_binary64_441`
30×	`times-frac_binary64_425`
28×	`cbrt-prod_binary64_450`
27×	`unpow-prod-down_binary64_498` `cube-prod_binary64_447`
25×	`div-inv_binary64_416`
24×	`add-cube-cbrt_binary64_454`
21×	`distribute-lft-out--_binary64_371`
18×	`add-log-exp_binary64_458`
17×	`cube-div_binary64_448`
14×	`cancel-sign-sub-inv_binary64_385`
13×	`frac-add_binary64_427`
9×	`add-exp-log_binary64_457` `frac-sub_binary64_428`
8×	`difference-of-squares_binary64_388` `associate-+l+_binary64_352`
7×	`cbrt-div_binary64_451` `add-cbrt-cube_binary64_455`
6×	`pow1_binary64_480`
5×	`flip3-+_binary64_422` `sum-log_binary64_510` `flip-+_binary64_393`
4×	`pow-exp_binary64_487` `diff-log_binary64_511`
3×	`sqr-pow_binary64_391` `flip3--_binary64_423` `pow-pow_binary64_491` `pow-unpow_binary64_496` `flip--_binary64_394`
2×	`sub-neg_binary64_412` `unpow3_binary64_485` `cube-mult_binary64_449` `rem-cube-cbrt_binary64_442` `div-exp_binary64_470`
1×	`1-exp_binary64_463` `pow1/3_binary64_501` `inv-pow_binary64_504` `associate-+l-_binary64_354` `rem-cbrt-cube_binary64_443` `rec-exp_binary64_469` `pow-to-exp_binary64_488` `pow-flip_binary64_493` `associate--r+_binary64_355` `+-commutative_binary64_349` `cbrt-undiv_binary64_453`

Counts

4 → 163

Calls

8 calls:

98.0ms	(cbrt.f64 (pow.f64 (+.f64 (-.f64 (pow.f64 (/.f64 1 x) 3) (+.f64 (/.f64 (/.f64 1 x) x) (/.f64 1 (pow.f64 x 4)))) (/.f64 1 (pow.f64 x 5))) 3))
91.0ms	(+.f64 (-.f64 (pow.f64 (/.f64 1 x) 3) (+.f64 (/.f64 (/.f64 1 x) x) (/.f64 1 (pow.f64 x 4)))) (/.f64 1 (pow.f64 x 5)))
77.0ms	(-.f64 (pow.f64 (/.f64 1 x) 3) (+.f64 (/.f64 (/.f64 1 x) x) (/.f64 1 (pow.f64 x 4))))
6.0ms	(pow.f64 (/.f64 1 x) 3)
0.0ms	(/.f64 1 (pow.f64 x 5))

series232.0ms (0.5%)

Counts

4 → 36

Calls

4 calls:

99.0ms	(-.f64 (pow.f64 (/.f64 1 x) 3) (+.f64 (/.f64 (/.f64 1 x) x) (/.f64 1 (pow.f64 x 4))))
51.0ms	(cbrt.f64 (pow.f64 (+.f64 (-.f64 (pow.f64 (/.f64 1 x) 3) (+.f64 (/.f64 (/.f64 1 x) x) (/.f64 1 (pow.f64 x 4)))) (/.f64 1 (pow.f64 x 5))) 3))
47.0ms	(+.f64 (-.f64 (pow.f64 (/.f64 1 x) 3) (+.f64 (/.f64 (/.f64 1 x) x) (/.f64 1 (pow.f64 x 4)))) (/.f64 1 (pow.f64 x 5)))
34.0ms	(pow.f64 (/.f64 1 x) 3)

Compiler

Compiled 796 to 709 computations (10.9% saved)

simplify117.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

199 → 199

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4930	6399
1	4930	6399

prune16.7s (34.3%)

Pruning

449 alts after pruning (436 fresh and 13 done)

	Pruned	Kept	Total
New	705	219	924
Fresh	31	217	248
Picked	0	0	0
Done	1	13	14
Total	737	449	1186

Error

Counts

1186 → 449

Compiler

Compiled 10167 to 7729 computations (24% saved)

simplify430.0ms (0.9%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	5033	28799

regimes1.4s (2.9%)

Compiler: Compiled 12721 to 10470 computations (17.7% saved)

bsearch0.0ms (0%)

regimes23.0ms (0%)

Compiler: Compiled 77 to 69 computations (10.4% saved)

bsearch0.0ms (0%)

regimes18.0ms (0%)

Compiler: Compiled 63 to 58 computations (7.9% saved)

bsearch0.0ms (0%)

regimes36.0ms (0.1%)

Compiler: Compiled 56 to 52 computations (7.1% saved)

bsearch30.0ms (0.1%)

Steps

Iters	Range		Point
10	0.2185704300273734	274467703246.95303	1.0086083486822843
9	-1.4289971973058317	-2.8914593887814526e-07	-1.0167819694186992

Compiler

Compiled 1 to 1 computations (0% saved)

regimes31.0ms (0.1%)

Compiler: Compiled 35 to 34 computations (2.9% saved)

bsearch27.0ms (0.1%)

Steps

Iters	Range		Point
10	0.2185704300273734	274467703246.95303	0.7684734012841025
9	-1.4289971973058317	-2.8914593887814526e-07	-1.0167819694186992

Compiler

Compiled 1 to 1 computations (0% saved)

regimes25.0ms (0.1%)

Compiler: Compiled 18 to 20 computations (-11.1% saved)

bsearch27.0ms (0.1%)

Steps

Iters	Range		Point
10	0.2185704300273734	274467703246.95303	0.7684734012841025
9	-1.4289971973058317	-2.8914593887814526e-07	-1.0167819694186992

Compiler

Compiled 1 to 1 computations (0% saved)

regimes22.0ms (0%)

Compiler: Compiled 13 to 16 computations (-23.1% saved)

bsearch32.0ms (0.1%)

Steps

Iters	Range		Point
10	1.2110931096732706e+101	1.1414902824291895e+112	4.556559595766306e+102
9	-1.4289971973058317	-2.8914593887814526e-07	-1.0167819694186992

Compiler

Compiled 1 to 1 computations (0% saved)

regimes10.0ms (0%)

Accuracy

Total 0.1b remaining (99%)

Threshold costs 0.1b (99%)

Compiler

Compiled 5 to 8 computations (-60% saved)

bsearch7.0ms (0%)

Compiler: Compiled 107 to 84 computations (21.5% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	85	147
1	85	147

end0.0ms (0%)

sample13.6s (27.9%)

Algorithm

1×

intervals

Results

147.0ms	2009×	body	512	valid
121.0ms	4510×	body	128	valid
52.0ms	1015×	body	256	valid
44.0ms	466×	body	1024	valid
0.0ms	2×	body	128	invalid

Compiler

Compiled 13038 to 10724 computations (17.7% saved)

Pareto

0.5308921486366188