Details

analyze2.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
100%	0%	0%	1

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample27.0ms (0.1%)

Algorithm

1×

intervals

Results

11.0ms	61×	body	1024	valid
4.0ms	144×	body	128	valid
2.0ms	28×	body	512	valid
1.0ms	17×	body	256	valid
1.0ms	6×	body	2048	valid

Compiler

Compiled 18 to 18 computations (0% saved)

simplify99.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

3 → 3

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	71	13
1	71	13

prune2.0ms (0%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Kept	Total
New	3	3
Fresh	3	3
Picked	0	0
Done	0	0
Total	6	6

Error

28.1b

Counts

6 → 3

Compiler

Compiled 9 to 8 computations (11.1% saved)

localize6.0ms (0%)

Local error

Found 6 expressions with local error:

2.6b	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
0.6b	(cbrt.f64 x)
0.3b	(cbrt.f64 (+.f64 x 1))
0.3b	(cbrt.f64 (+.f64 x 1))
0.6b	(cbrt.f64 x)
2.6b	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

rewrite17.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`cbrt-prod_binary64_109`
16×	`*-un-lft-identity_binary64_78`
15×	`add-sqr-sqrt_binary64_100`
7×	`add-cube-cbrt_binary64_113`
6×	`cancel-sign-sub-inv_binary64_44`
5×	`add-log-exp_binary64_117`
4×	`difference-of-squares_binary64_47`
3×	`add-cbrt-cube_binary64_114` `distribute-lft-out--_binary64_30` `add-exp-log_binary64_116` `pow1_binary64_139`
2×	`cbrt-div_binary64_110` `pow1/3_binary64_160` `distribute-lft-out_binary64_29`
1×	`flip-+_binary64_52` `flip3--_binary64_82` `diff-log_binary64_170` `flip--_binary64_53` `sub-neg_binary64_71` `flip3-+_binary64_81`

Counts

3 → 49

Calls

6 calls:

9.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
3.0ms	(cbrt.f64 (+.f64 x 1))
1.0ms	(cbrt.f64 x)
0.0ms	(cbrt.f64 (+.f64 x 1))
0.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

series210.0ms (0.4%)

Counts

3 → 21

Calls

3 calls:

84.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
77.0ms	(cbrt.f64 x)
48.0ms	(cbrt.f64 (+.f64 x 1))

Compiler

Compiled 428 to 386 computations (9.8% saved)

simplify80.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4867	957
1	4867	957

prune308.0ms (0.6%)

Pruning

50 alts after pruning (49 fresh and 1 done)

	Pruned	Kept	Total
New	23	47	70
Fresh	0	2	2
Picked	0	0	0
Done	0	1	1
Total	23	50	73

Error

7.3b

Counts

73 → 50

Compiler

Compiled 1444 to 1062 computations (26.5% saved)

localize7.0ms (0%)

Local error

Found 6 expressions with local error:

2.6b	(+.f64 (cbrt.f64 (+.f64 x 1)) (neg.f64 (cbrt.f64 x)))
0.6b	(cbrt.f64 x)
0.3b	(cbrt.f64 (+.f64 x 1))
0.3b	(cbrt.f64 (+.f64 x 1))
0.6b	(cbrt.f64 x)
2.6b	(+.f64 (cbrt.f64 (+.f64 x 1)) (neg.f64 (cbrt.f64 x)))

rewrite20.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`*-un-lft-identity_binary64_78`
11×	`cbrt-prod_binary64_109`
7×	`add-log-exp_binary64_117`
6×	`distribute-lft-out_binary64_29`
5×	`add-sqr-sqrt_binary64_100` `add-cube-cbrt_binary64_113`
3×	`add-cbrt-cube_binary64_114` `add-exp-log_binary64_116` `distribute-rgt-neg-in_binary64_36` `pow1_binary64_139`
2×	`cbrt-div_binary64_110` `flip-+_binary64_52` `pow1/3_binary64_160` `sum-log_binary64_169` `flip3-+_binary64_81`
1×	`+-commutative_binary64_8` `associate-+r-_binary64_12` `neg-sub0_binary64_73` `unsub-neg_binary64_72` `neg-log_binary64_171`

Counts

3 → 43

Calls

6 calls:

13.0ms	(+.f64 (cbrt.f64 (+.f64 x 1)) (neg.f64 (cbrt.f64 x)))
3.0ms	(cbrt.f64 (+.f64 x 1))
1.0ms	(cbrt.f64 x)
0.0ms	(cbrt.f64 (+.f64 x 1))
0.0ms	(cbrt.f64 x)

series206.0ms (0.4%)

Counts

3 → 21

Calls

3 calls:

83.0ms	(+.f64 (cbrt.f64 (+.f64 x 1)) (neg.f64 (cbrt.f64 x)))
79.0ms	(cbrt.f64 x)
43.0ms	(cbrt.f64 (+.f64 x 1))

Compiler

Compiled 444 to 402 computations (9.5% saved)

simplify86.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	4887	815
1	4887	815

localize4.0ms (0%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 x)
0.0b	(-.f64 1 (cbrt.f64 x))
0.0b	(-.f64 1 (cbrt.f64 x))
0.6b	(cbrt.f64 x)

rewrite8.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary64_100`
9×	`*-un-lft-identity_binary64_78`
8×	`cbrt-prod_binary64_109`
6×	`cancel-sign-sub-inv_binary64_44`
5×	`add-cube-cbrt_binary64_113`
4×	`add-log-exp_binary64_117` `difference-of-squares_binary64_47`
2×	`add-cbrt-cube_binary64_114` `add-exp-log_binary64_116` `pow1_binary64_139`
1×	`distribute-lft-out--_binary64_30` `flip3--_binary64_82` `diff-log_binary64_170` `pow1/3_binary64_160` `flip--_binary64_53` `sub-neg_binary64_71`

Counts

2 → 33

Calls

4 calls:

5.0ms	(-.f64 1 (cbrt.f64 x))
1.0ms	(cbrt.f64 x)
0.0ms	(-.f64 1 (cbrt.f64 x))
0.0ms	(cbrt.f64 x)

series147.0ms (0.3%)

Counts

2 → 6

Calls

2 calls:

74.0ms	(cbrt.f64 x)
72.0ms	(-.f64 1 (cbrt.f64 x))

Compiler

Compiled 84 to 84 computations (0% saved)

simplify63.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

39 → 39

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5158	327

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(*.f64 (pow.f64 x 3) 5/81)
0.0b	(-.f64 1/3 (*.f64 x 1/9))
0.0b	(-.f64 (+.f64 1 (+.f64 (.f64 (pow.f64 x 3) 5/81) (.f64 x (-.f64 1/3 (*.f64 x 1/9))))) (cbrt.f64 x))
0.0b	(+.f64 1 (+.f64 (.f64 (pow.f64 x 3) 5/81) (.f64 x (-.f64 1/3 (*.f64 x 1/9)))))
0.2b	(.f64 x (-.f64 1/3 (.f64 x 1/9)))
0.4b	(*.f64 x 1/9)
0.6b	(cbrt.f64 x)
5.8b	(+.f64 (.f64 (pow.f64 x 3) 5/81) (.f64 x (-.f64 1/3 (*.f64 x 1/9))))

rewrite23.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-sqr-sqrt_binary64_100`
9×	`add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
8×	`add-cbrt-cube_binary64_114` `add-exp-log_binary64_116` `pow1_binary64_139`
6×	`associate-l_binary64_19` `add-log-exp_binary64_117` `associate-r_binary64_18`
4×	`distribute-lft-in_binary64_27` `associate-+r+_binary64_10` `distribute-rgt-in_binary64_28` `cancel-sign-sub-inv_binary64_44` `sub-neg_binary64_71`
3×	`cbrt-prod_binary64_109`
2×	`-commutative_binary64_9` `cbrt-unprod_binary64_111` `prod-exp_binary64_127` `pow-prod-down_binary64_149` `unswap-sqr_binary64_46` `associate-r/_binary64_20`
1×	`+-commutative_binary64_8` `flip-+_binary64_52` `flip3--_binary64_82` `pow1/3_binary64_160` `flip--_binary64_53` `sum-log_binary64_169` `flip3-+_binary64_81`

Counts

4 → 68

Calls

8 calls:

6.0ms	(+.f64 (.f64 (pow.f64 x 3) 5/81) (.f64 x (-.f64 1/3 (*.f64 x 1/9))))
6.0ms	(.f64 x (-.f64 1/3 (.f64 x 1/9)))
4.0ms	(*.f64 x 1/9)
1.0ms	(cbrt.f64 x)
0.0ms	(+.f64 1 (+.f64 (.f64 (pow.f64 x 3) 5/81) (.f64 x (-.f64 1/3 (*.f64 x 1/9)))))

series179.0ms (0.3%)

Counts

4 → 17

Calls

4 calls:

70.0ms	(cbrt.f64 x)
49.0ms	(.f64 x (-.f64 1/3 (.f64 x 1/9)))
41.0ms	(+.f64 (.f64 (pow.f64 x 3) 5/81) (.f64 x (-.f64 1/3 (*.f64 x 1/9))))
18.0ms	(*.f64 x 1/9)

Compiler

Compiled 512 to 437 computations (14.6% saved)

simplify81.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	5038	961

localize9.0ms (0%)

Local error

Found 8 expressions with local error:

2.0b	(log.f64 (exp.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))
0.6b	(cbrt.f64 x)
0.3b	(cbrt.f64 (+.f64 x 1))
0.0b	(exp.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))
0.3b	(cbrt.f64 (+.f64 x 1))
0.6b	(cbrt.f64 x)
2.0b	(log.f64 (exp.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))
2.6b	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

rewrite34.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`cbrt-prod_binary64_109`
28×	`add-sqr-sqrt_binary64_100` `*-un-lft-identity_binary64_78`
12×	`add-cube-cbrt_binary64_113` `cancel-sign-sub-inv_binary64_44`
11×	`log-pow_binary64_167`
10×	`log-prod_binary64_164` `exp-prod_binary64_130`
8×	`difference-of-squares_binary64_47`
7×	`exp-sum_binary64_124`
6×	`add-log-exp_binary64_117` `distribute-lft-out--_binary64_30`
5×	`pow1_binary64_139`
4×	`add-cbrt-cube_binary64_114` `add-exp-log_binary64_116`
3×	`distribute-lft-out_binary64_29`
2×	`cbrt-div_binary64_110` `pow1/3_binary64_160` `sub-neg_binary64_71`
1×	`flip-+_binary64_52` `flip3--_binary64_82` `diff-log_binary64_170` `flip--_binary64_53` `exp-diff_binary64_126` `rem-log-exp_binary64_119` `log-div_binary64_165` `flip3-+_binary64_81`

Counts

4 → 79

Calls

8 calls:

12.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
11.0ms	(log.f64 (exp.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))
3.0ms	(cbrt.f64 (+.f64 x 1))
1.0ms	(cbrt.f64 x)
0.0ms	(exp.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))

series336.0ms (0.7%)

Counts

4 → 30

Calls

4 calls:

125.0ms	(log.f64 (exp.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))
82.0ms	(cbrt.f64 x)
82.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
46.0ms	(cbrt.f64 (+.f64 x 1))

Compiler

Compiled 691 to 633 computations (8.4% saved)

simplify90.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4916	1610
1	4916	1610

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(cbrt.f64 (+.f64 x 1))
0.3b	(*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))
0.1b	(/.f64 (-.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (pow.f64 x 2/3)) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))
0.0b	(+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
0.3b	(cbrt.f64 (+.f64 x 1))
0.6b	(cbrt.f64 x)
2.8b	(pow.f64 x 2/3)
15.0b	(-.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (pow.f64 x 2/3))

rewrite29.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-sqr-sqrt_binary64_100` `*-un-lft-identity_binary64_78`
10×	`add-cube-cbrt_binary64_113`
7×	`unpow-prod-down_binary64_157` `cbrt-prod_binary64_109` `cancel-sign-sub-inv_binary64_44`
6×	`add-log-exp_binary64_117`
5×	`add-exp-log_binary64_116` `pow1_binary64_139`
4×	`add-cbrt-cube_binary64_114`
3×	`sqr-pow_binary64_50` `pow-unpow_binary64_155` `difference-of-squares_binary64_47`
2×	`cbrt-div_binary64_110` `pow1/3_binary64_160`
1×	`pow-exp_binary64_146` `pow-to-exp_binary64_147` `flip-+_binary64_52` `flip3--_binary64_82` `diff-log_binary64_170` `pow-pow_binary64_150` `flip--_binary64_53` `distribute-lft-out_binary64_29` `sub-neg_binary64_71` `flip3-+_binary64_81`

Counts

4 → 63

Calls

8 calls:

17.0ms	(-.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (pow.f64 x 2/3))
3.0ms	(cbrt.f64 (+.f64 x 1))
2.0ms	(pow.f64 x 2/3)
1.0ms	(cbrt.f64 x)
0.0ms	(+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

series285.0ms (0.6%)

Counts

4 → 23

Calls

4 calls:

84.0ms	(-.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (pow.f64 x 2/3))
75.0ms	(pow.f64 x 2/3)
73.0ms	(cbrt.f64 x)
52.0ms	(cbrt.f64 (+.f64 x 1))

Compiler

Compiled 859 to 726 computations (15.5% saved)

simplify116.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (101.0ms)

Iter	Nodes	Cost
0	4839	983
1	4839	983

prune4.4s (8.5%)

Pruning

212 alts after pruning (206 fresh and 6 done)

	Pruned	Kept	Total
New	214	169	383
Fresh	7	37	44
Picked	0	0	0
Done	0	6	6
Total	221	212	433

Error

0.5b

Counts

433 → 212

Compiler

Compiled 8887 to 6654 computations (25.1% saved)

localize8.0ms (0%)

Local error

Found 6 expressions with local error:

2.6b	(+.f64 (cbrt.f64 (+.f64 x 1)) (neg.f64 (*.f64 1 (cbrt.f64 x))))
0.6b	(cbrt.f64 x)
0.3b	(cbrt.f64 (+.f64 x 1))
0.3b	(cbrt.f64 (+.f64 x 1))
0.6b	(cbrt.f64 x)
2.6b	(+.f64 (cbrt.f64 (+.f64 x 1)) (neg.f64 (*.f64 1 (cbrt.f64 x))))

rewrite15.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`*-un-lft-identity_binary64_78`
7×	`add-log-exp_binary64_117` `cbrt-prod_binary64_109`
5×	`add-sqr-sqrt_binary64_100` `add-cube-cbrt_binary64_113`
3×	`add-cbrt-cube_binary64_114` `add-exp-log_binary64_116` `distribute-lft-out_binary64_29` `pow1_binary64_139`
2×	`cbrt-div_binary64_110` `flip-+_binary64_52` `pow1/3_binary64_160` `sum-log_binary64_169` `flip3-+_binary64_81`
1×	`+-commutative_binary64_8` `associate-+r-_binary64_12` `neg-sub0_binary64_73` `unsub-neg_binary64_72` `distribute-rgt-neg-in_binary64_36` `neg-log_binary64_171`

Counts

3 → 41

Calls

6 calls:

8.0ms	(+.f64 (cbrt.f64 (+.f64 x 1)) (neg.f64 (*.f64 1 (cbrt.f64 x))))
3.0ms	(cbrt.f64 (+.f64 x 1))
1.0ms	(cbrt.f64 x)
0.0ms	(cbrt.f64 (+.f64 x 1))
0.0ms	(+.f64 (cbrt.f64 (+.f64 x 1)) (neg.f64 (*.f64 1 (cbrt.f64 x))))

series206.0ms (0.4%)

Counts

3 → 21

Calls

3 calls:

81.0ms	(cbrt.f64 x)
80.0ms	(+.f64 (cbrt.f64 (+.f64 x 1)) (neg.f64 (*.f64 1 (cbrt.f64 x))))
44.0ms	(cbrt.f64 (+.f64 x 1))

Compiler

Compiled 476 to 434 computations (8.8% saved)

simplify83.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

62 → 62

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4838	805
1	4838	805

localize4.0ms (0%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 x)
0.0b	(+.f64 1 (neg.f64 (cbrt.f64 x)))
0.0b	(+.f64 1 (neg.f64 (cbrt.f64 x)))
0.6b	(cbrt.f64 x)

rewrite11.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`*-un-lft-identity_binary64_78`
6×	`add-log-exp_binary64_117`
3×	`add-sqr-sqrt_binary64_100` `add-cube-cbrt_binary64_113` `cbrt-prod_binary64_109`
2×	`add-cbrt-cube_binary64_114` `add-exp-log_binary64_116` `distribute-lft-out_binary64_29` `pow1_binary64_139` `sum-log_binary64_169`
1×	`+-commutative_binary64_8` `associate-+r-_binary64_12` `flip-+_binary64_52` `pow1/3_binary64_160` `neg-sub0_binary64_73` `unsub-neg_binary64_72` `distribute-rgt-neg-in_binary64_36` `neg-log_binary64_171` `flip3-+_binary64_81`

Counts

2 → 27

Calls

4 calls:

9.0ms	(+.f64 1 (neg.f64 (cbrt.f64 x)))
1.0ms	(cbrt.f64 x)
0.0ms	(+.f64 1 (neg.f64 (cbrt.f64 x)))
0.0ms	(cbrt.f64 x)

series143.0ms (0.3%)

Counts

2 → 6

Calls

2 calls:

75.0ms	(+.f64 1 (neg.f64 (cbrt.f64 x)))
68.0ms	(cbrt.f64 x)

Compiler

Compiled 90 to 90 computations (0% saved)

simplify51.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

33 → 33

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5071	233

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(-.f64 (*.f64 x 1/3) (cbrt.f64 x))
0.0b	(+.f64 (*.f64 x 5/81) -1/9)
0.0b	(+.f64 1 (+.f64 (-.f64 (.f64 x 1/3) (cbrt.f64 x)) (.f64 (.f64 x x) (+.f64 (.f64 x 5/81) -1/9))))
0.0b	(+.f64 (-.f64 (.f64 x 1/3) (cbrt.f64 x)) (.f64 (.f64 x x) (+.f64 (.f64 x 5/81) -1/9)))
0.3b	(log.f64 (exp.f64 (+.f64 1 (+.f64 (-.f64 (.f64 x 1/3) (cbrt.f64 x)) (.f64 (.f64 x x) (+.f64 (.f64 x 5/81) -1/9))))))
0.3b	(*.f64 x 1/3)
0.3b	(*.f64 x 5/81)
0.6b	(cbrt.f64 x)

rewrite25.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`add-sqr-sqrt_binary64_100`
13×	`*-un-lft-identity_binary64_78`
11×	`add-cube-cbrt_binary64_113`
9×	`pow1_binary64_139`
8×	`add-cbrt-cube_binary64_114` `add-exp-log_binary64_116`
6×	`associate-l_binary64_19` `associate-r_binary64_18`
5×	`log-pow_binary64_167`
4×	`add-log-exp_binary64_117` `log-prod_binary64_164` `exp-prod_binary64_130`
3×	`cbrt-prod_binary64_109`
2×	`*-commutative_binary64_9` `cbrt-unprod_binary64_111` `prod-exp_binary64_127` `pow-prod-down_binary64_149` `unswap-sqr_binary64_46`
1×	`associate-+l-_binary64_13` `exp-sum_binary64_124` `associate-+r-_binary64_12` `pow1/3_binary64_160` `exp-diff_binary64_126` `rem-log-exp_binary64_119` `log-div_binary64_165` `distribute-lft-out_binary64_29`

Counts

4 → 65

Calls

8 calls:

10.0ms	(log.f64 (exp.f64 (+.f64 1 (+.f64 (-.f64 (.f64 x 1/3) (cbrt.f64 x)) (.f64 (.f64 x x) (+.f64 (.f64 x 5/81) -1/9))))))
4.0ms	(*.f64 x 5/81)
4.0ms	(*.f64 x 1/3)
1.0ms	(cbrt.f64 x)
0.0ms	(+.f64 (-.f64 (.f64 x 1/3) (cbrt.f64 x)) (.f64 (.f64 x x) (+.f64 (.f64 x 5/81) -1/9)))

series309.0ms (0.6%)

Counts

4 → 15

Calls

4 calls:

187.0ms	(log.f64 (exp.f64 (+.f64 1 (+.f64 (-.f64 (.f64 x 1/3) (cbrt.f64 x)) (.f64 (.f64 x x) (+.f64 (.f64 x 5/81) -1/9))))))
84.0ms	(cbrt.f64 x)
20.0ms	(*.f64 x 1/3)
18.0ms	(*.f64 x 5/81)

Compiler

Compiled 536 to 446 computations (16.8% saved)

simplify75.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

80 → 80

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5107	969

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(cbrt.f64 (+.f64 x 1))
0.1b	(*.f64 (sqrt.f64 (cbrt.f64 (+.f64 x 1))) (sqrt.f64 (cbrt.f64 (+.f64 x 1))))
0.0b	(sqrt.f64 (cbrt.f64 (+.f64 x 1)))
0.0b	(sqrt.f64 (cbrt.f64 (+.f64 x 1)))
0.3b	(cbrt.f64 (+.f64 x 1))
0.3b	(cbrt.f64 (+.f64 x 1))
0.6b	(cbrt.f64 x)
7.1b	(+.f64 (*.f64 (sqrt.f64 (cbrt.f64 (+.f64 x 1))) (sqrt.f64 (cbrt.f64 (+.f64 x 1)))) (neg.f64 (cbrt.f64 x)))

rewrite31.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`cbrt-prod_binary64_109` `*-un-lft-identity_binary64_78`
8×	`add-log-exp_binary64_117`
7×	`add-sqr-sqrt_binary64_100` `add-cube-cbrt_binary64_113`
4×	`add-cbrt-cube_binary64_114` `cbrt-div_binary64_110` `add-exp-log_binary64_116` `pow1_binary64_139`
3×	`flip-+_binary64_52` `pow1/3_binary64_160` `flip3-+_binary64_81`
2×	`distribute-lft-out_binary64_29` `sum-log_binary64_169`
1×	`+-commutative_binary64_8` `associate-+r-_binary64_12` `neg-sub0_binary64_73` `unsub-neg_binary64_72` `neg-log_binary64_171`

Counts

4 → 53

Calls

8 calls:

19.0ms	(+.f64 (*.f64 (sqrt.f64 (cbrt.f64 (+.f64 x 1))) (sqrt.f64 (cbrt.f64 (+.f64 x 1)))) (neg.f64 (cbrt.f64 x)))
3.0ms	(cbrt.f64 (+.f64 x 1))
3.0ms	(cbrt.f64 (+.f64 x 1))
1.0ms	(cbrt.f64 x)
0.0ms	(sqrt.f64 (cbrt.f64 (+.f64 x 1)))

series257.0ms (0.5%)

Counts

4 → 30

Calls

4 calls:

84.0ms	(+.f64 (*.f64 (sqrt.f64 (cbrt.f64 (+.f64 x 1))) (sqrt.f64 (cbrt.f64 (+.f64 x 1)))) (neg.f64 (cbrt.f64 x)))
81.0ms	(cbrt.f64 x)
47.0ms	(cbrt.f64 (+.f64 x 1))
45.0ms	(cbrt.f64 (+.f64 x 1))

Compiler

Compiled 807 to 719 computations (10.9% saved)

simplify89.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	4809	1072
1	4809	1072

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(cbrt.f64 (cbrt.f64 (+.f64 x 1)))
0.3b	(cbrt.f64 (cbrt.f64 (+.f64 x 1)))
0.2b	(*.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (cbrt.f64 (+.f64 x 1))))
0.2b	(.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (cbrt.f64 (+.f64 x 1))))
0.3b	(cbrt.f64 (+.f64 x 1))
0.3b	(cbrt.f64 (+.f64 x 1))
0.6b	(cbrt.f64 x)
20.1b	(-.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 x))

rewrite36.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`cbrt-prod_binary64_109`
13×	`*-un-lft-identity_binary64_78`
9×	`add-sqr-sqrt_binary64_100` `add-cube-cbrt_binary64_113`
6×	`add-log-exp_binary64_117` `cancel-sign-sub-inv_binary64_44`
4×	`add-cbrt-cube_binary64_114` `cbrt-div_binary64_110` `add-exp-log_binary64_116` `pow1_binary64_139`
3×	`pow1/3_binary64_160`
2×	`flip-+_binary64_52` `distribute-lft-out_binary64_29` `flip3-+_binary64_81`
1×	`flip3--_binary64_82` `diff-log_binary64_170` `flip--_binary64_53` `sub-neg_binary64_71`

Counts

4 → 56

Calls

8 calls:

23.0ms	(-.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 x))
3.0ms	(cbrt.f64 (+.f64 x 1))
3.0ms	(cbrt.f64 (+.f64 x 1))
1.0ms	(cbrt.f64 x)
0.0ms	(.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (cbrt.f64 (+.f64 x 1))))

series260.0ms (0.5%)

Counts

4 → 30

Calls

4 calls:

89.0ms	(-.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 x))
74.0ms	(cbrt.f64 x)
50.0ms	(cbrt.f64 (+.f64 x 1))
46.0ms	(cbrt.f64 (+.f64 x 1))

Compiler

Compiled 937 to 823 computations (12.2% saved)

simplify88.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4810	1096
1	4810	1096

prune8.3s (16.2%)

Pruning

327 alts after pruning (316 fresh and 11 done)

	Pruned	Kept	Total
New	213	131	344
Fresh	16	185	201
Picked	0	0	0
Done	0	11	11
Total	229	327	556

Error

0.5b

Counts

556 → 327

Compiler

Compiled 11485 to 8796 computations (23.4% saved)

localize9.0ms (0%)

Local error

Found 6 expressions with local error:

2.6b	(+.f64 (cbrt.f64 (+.f64 x 1)) (neg.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 x))))
0.6b	(cbrt.f64 x)
0.3b	(cbrt.f64 (+.f64 x 1))
0.3b	(cbrt.f64 (+.f64 x 1))
0.6b	(cbrt.f64 x)
2.6b	(+.f64 (cbrt.f64 (+.f64 x 1)) (neg.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 x))))

rewrite16.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`*-un-lft-identity_binary64_78`
9×	`cbrt-prod_binary64_109`
7×	`add-log-exp_binary64_117`
5×	`add-sqr-sqrt_binary64_100` `add-cube-cbrt_binary64_113` `distribute-lft-out_binary64_29`
3×	`add-cbrt-cube_binary64_114` `add-exp-log_binary64_116` `pow1_binary64_139`
2×	`cbrt-div_binary64_110` `flip-+_binary64_52` `pow1/3_binary64_160` `distribute-rgt-neg-in_binary64_36` `sum-log_binary64_169` `flip3-+_binary64_81`
1×	`+-commutative_binary64_8` `associate-+r-_binary64_12` `neg-sub0_binary64_73` `unsub-neg_binary64_72` `neg-log_binary64_171`

Counts

3 → 42

Calls

6 calls:

9.0ms	(+.f64 (cbrt.f64 (+.f64 x 1)) (neg.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 x))))
3.0ms	(cbrt.f64 (+.f64 x 1))
1.0ms	(cbrt.f64 x)
0.0ms	(cbrt.f64 (+.f64 x 1))
0.0ms	(+.f64 (cbrt.f64 (+.f64 x 1)) (neg.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 x))))

series204.0ms (0.4%)

Counts

3 → 21

Calls

3 calls:

82.0ms	(+.f64 (cbrt.f64 (+.f64 x 1)) (neg.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 x))))
73.0ms	(cbrt.f64 x)
49.0ms	(cbrt.f64 (+.f64 x 1))

Compiler

Compiled 492 to 450 computations (8.5% saved)

simplify102.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

63 → 63

Iterations

Useful iterations: 0 (89.0ms)

Iter	Nodes	Cost
0	4991	804
1	4991	804

localize4.0ms (0%)

Local error

Found 4 expressions with local error:

2.3b	(pow.f64 x 1/3)
0.0b	(-.f64 1 (pow.f64 x 1/3))
0.0b	(-.f64 1 (pow.f64 x 1/3))
2.3b	(pow.f64 x 1/3)

rewrite10.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-sqr-sqrt_binary64_100`
11×	`*-un-lft-identity_binary64_78`
8×	`unpow-prod-down_binary64_157`
7×	`cancel-sign-sub-inv_binary64_44`
6×	`add-cube-cbrt_binary64_113` `difference-of-squares_binary64_47`
4×	`add-log-exp_binary64_117` `sqr-pow_binary64_50`
3×	`add-exp-log_binary64_116` `pow-unpow_binary64_155` `pow1_binary64_139`
2×	`add-cbrt-cube_binary64_114`
1×	`pow-exp_binary64_146` `pow-to-exp_binary64_147` `distribute-lft-out--_binary64_30` `flip3--_binary64_82` `diff-log_binary64_170` `pow-pow_binary64_150` `flip--_binary64_53` `unpow1/3_binary64_145` `sub-neg_binary64_71`

Counts

2 → 43

Calls

4 calls:

6.0ms	(-.f64 1 (pow.f64 x 1/3))
2.0ms	(pow.f64 x 1/3)
0.0ms	(-.f64 1 (pow.f64 x 1/3))
0.0ms	(pow.f64 x 1/3)

series138.0ms (0.3%)

Counts

2 → 6

Calls

2 calls:

72.0ms	(-.f64 1 (pow.f64 x 1/3))
66.0ms	(pow.f64 x 1/3)

Compiler

Compiled 92 to 92 computations (0% saved)

simplify58.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

49 → 49

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5292	380

localize10.0ms (0%)

Local error

Found 8 expressions with local error:

4.6b	(log.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x 1) 1/3) (cbrt.f64 x))))
1.2b	(pow.f64 (+.f64 x 1) 1/3)
0.6b	(cbrt.f64 x)
0.0b	(exp.f64 (-.f64 (pow.f64 (+.f64 x 1) 1/3) (cbrt.f64 x)))
0.6b	(cbrt.f64 x)
1.2b	(pow.f64 (+.f64 x 1) 1/3)
4.6b	(log.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x 1) 1/3) (cbrt.f64 x))))
14.9b	(-.f64 (pow.f64 (+.f64 x 1) 1/3) (cbrt.f64 x))

rewrite35.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

33×	`add-sqr-sqrt_binary64_100`
19×	`*-un-lft-identity_binary64_78`
15×	`cbrt-prod_binary64_109`
13×	`add-cube-cbrt_binary64_113`
12×	`difference-of-squares_binary64_47` `cancel-sign-sub-inv_binary64_44`
11×	`log-pow_binary64_167`
10×	`log-prod_binary64_164` `exp-prod_binary64_130`
8×	`unpow-prod-down_binary64_157`
7×	`exp-sum_binary64_124`
6×	`add-log-exp_binary64_117` `pow1_binary64_139`
5×	`sqr-pow_binary64_50` `add-exp-log_binary64_116`
4×	`add-cbrt-cube_binary64_114`
3×	`pow-unpow_binary64_155`
2×	`distribute-lft-out--_binary64_30` `sub-neg_binary64_71`
1×	`pow-exp_binary64_146` `pow-to-exp_binary64_147` `flip3--_binary64_82` `diff-log_binary64_170` `pow1/3_binary64_160` `pow-pow_binary64_150` `flip--_binary64_53` `exp-diff_binary64_126` `rem-log-exp_binary64_119` `log-div_binary64_165` `unpow1/3_binary64_145` `distribute-lft-out_binary64_29`

Counts

4 → 84

Calls

8 calls:

11.0ms	(log.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x 1) 1/3) (cbrt.f64 x))))
10.0ms	(-.f64 (pow.f64 (+.f64 x 1) 1/3) (cbrt.f64 x))
5.0ms	(pow.f64 (+.f64 x 1) 1/3)
4.0ms	(cbrt.f64 x)
0.0ms	(exp.f64 (-.f64 (pow.f64 (+.f64 x 1) 1/3) (cbrt.f64 x)))

series328.0ms (0.6%)

Counts

4 → 30

Calls

4 calls:

125.0ms	(log.f64 (exp.f64 (-.f64 (pow.f64 (+.f64 x 1) 1/3) (cbrt.f64 x))))
82.0ms	(-.f64 (pow.f64 (+.f64 x 1) 1/3) (cbrt.f64 x))
77.0ms	(cbrt.f64 x)
44.0ms	(pow.f64 (+.f64 x 1) 1/3)

Compiler

Compiled 697 to 639 computations (8.3% saved)

simplify111.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 0 (91.0ms)

Iter	Nodes	Cost
0	5194	1649

localize21.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(-.f64 1/3 (*.f64 x 1/9))
0.0b	(-.f64 1/3 (*.f64 x 1/9))
0.0b	(-.f64 (+.f64 1 (+.f64 (.f64 (pow.f64 x 3) 5/81) (.f64 (.f64 (cbrt.f64 (.f64 x (-.f64 1/3 (.f64 x 1/9)))) (cbrt.f64 (.f64 x (-.f64 1/3 (.f64 x 1/9))))) (cbrt.f64 (.f64 x (-.f64 1/3 (*.f64 x 1/9))))))) (cbrt.f64 x))
0.0b	(+.f64 1 (+.f64 (.f64 (pow.f64 x 3) 5/81) (.f64 (.f64 (cbrt.f64 (.f64 x (-.f64 1/3 (.f64 x 1/9)))) (cbrt.f64 (.f64 x (-.f64 1/3 (.f64 x 1/9))))) (cbrt.f64 (.f64 x (-.f64 1/3 (*.f64 x 1/9)))))))
5.8b	(+.f64 (.f64 (pow.f64 x 3) 5/81) (.f64 (.f64 (cbrt.f64 (.f64 x (-.f64 1/3 (.f64 x 1/9)))) (cbrt.f64 (.f64 x (-.f64 1/3 (.f64 x 1/9))))) (cbrt.f64 (.f64 x (-.f64 1/3 (*.f64 x 1/9))))))
13.9b	(cbrt.f64 (.f64 x (-.f64 1/3 (.f64 x 1/9))))
13.9b	(cbrt.f64 (.f64 x (-.f64 1/3 (.f64 x 1/9))))
13.9b	(cbrt.f64 (.f64 x (-.f64 1/3 (.f64 x 1/9))))

rewrite27.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`cbrt-div_binary64_110` `add-log-exp_binary64_117` `associate-*r/_binary64_20`
4×	`add-cbrt-cube_binary64_114` `add-sqr-sqrt_binary64_100` `add-cube-cbrt_binary64_113` `add-exp-log_binary64_116` `*-un-lft-identity_binary64_78` `pow1_binary64_139`
3×	`flip3--_binary64_82` `pow1/3_binary64_160` `flip--_binary64_53` `cbrt-prod_binary64_109`
1×	`+-commutative_binary64_8` `flip-+_binary64_52` `sum-log_binary64_169` `flip3-+_binary64_81`

Counts

4 → 44

Calls

8 calls:

7.0ms	(cbrt.f64 (.f64 x (-.f64 1/3 (.f64 x 1/9))))
6.0ms	(+.f64 (.f64 (pow.f64 x 3) 5/81) (.f64 (.f64 (cbrt.f64 (.f64 x (-.f64 1/3 (.f64 x 1/9)))) (cbrt.f64 (.f64 x (-.f64 1/3 (.f64 x 1/9))))) (cbrt.f64 (.f64 x (-.f64 1/3 (*.f64 x 1/9))))))
4.0ms	(cbrt.f64 (.f64 x (-.f64 1/3 (.f64 x 1/9))))
4.0ms	(cbrt.f64 (.f64 x (-.f64 1/3 (.f64 x 1/9))))
0.0ms	(+.f64 1 (+.f64 (.f64 (pow.f64 x 3) 5/81) (.f64 (.f64 (cbrt.f64 (.f64 x (-.f64 1/3 (.f64 x 1/9)))) (cbrt.f64 (.f64 x (-.f64 1/3 (.f64 x 1/9))))) (cbrt.f64 (.f64 x (-.f64 1/3 (*.f64 x 1/9)))))))

series247.0ms (0.5%)

Counts

4 → 20

Calls

4 calls:

69.0ms	(cbrt.f64 (.f64 x (-.f64 1/3 (.f64 x 1/9))))
62.0ms	(cbrt.f64 (.f64 x (-.f64 1/3 (.f64 x 1/9))))
61.0ms	(cbrt.f64 (.f64 x (-.f64 1/3 (.f64 x 1/9))))
55.0ms	(+.f64 (.f64 (pow.f64 x 3) 5/81) (.f64 (.f64 (cbrt.f64 (.f64 x (-.f64 1/3 (.f64 x 1/9)))) (cbrt.f64 (.f64 x (-.f64 1/3 (.f64 x 1/9))))) (cbrt.f64 (.f64 x (-.f64 1/3 (*.f64 x 1/9))))))

Compiler

Compiled 1424 to 1199 computations (15.8% saved)

simplify67.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4907	1079
1	4907	1079

localize30.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.1b	(/.f64 1 (pow.f64 x 5))
0.0b	(/.f64 1 (pow.f64 x 8))
0.0b	(-.f64 (.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x)))) (*.f64 1/9 (cbrt.f64 (/.f64 1 (pow.f64 x 5)))))
0.0b	(+.f64 (cbrt.f64 x) (+.f64 (-.f64 (.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x)))) (.f64 1/9 (cbrt.f64 (/.f64 1 (pow.f64 x 5))))) (.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8))))))
5.0b	(+.f64 (-.f64 (.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x)))) (.f64 1/9 (cbrt.f64 (/.f64 1 (pow.f64 x 5))))) (.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8)))))
16.6b	(cbrt.f64 (/.f64 1 (pow.f64 x 8)))
24.0b	(cbrt.f64 (/.f64 1 (pow.f64 x 5)))
27.5b	(cbrt.f64 (/.f64 1 (*.f64 x x)))

rewrite37.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

57×	`cbrt-prod_binary64_109`
45×	`times-frac_binary64_84`
34×	`add-sqr-sqrt_binary64_100` `add-cube-cbrt_binary64_113` `*-un-lft-identity_binary64_78`
18×	`unpow-prod-down_binary64_157`
9×	`add-log-exp_binary64_117`
8×	`cbrt-div_binary64_110`
6×	`sqr-pow_binary64_50`
5×	`associate-*r/_binary64_20`
4×	`add-cbrt-cube_binary64_114` `add-exp-log_binary64_116` `pow1_binary64_139`
3×	`frac-add_binary64_86` `pow1/3_binary64_160` `div-inv_binary64_75`
2×	`associate-+l+_binary64_11` `sum-log_binary64_169`
1×	`+-commutative_binary64_8` `associate-+l-_binary64_13` `flip-+_binary64_52` `frac-sub_binary64_87` `flip3--_binary64_82` `diff-log_binary64_170` `flip--_binary64_53` `cancel-sign-sub-inv_binary64_44` `sub-neg_binary64_71` `flip3-+_binary64_81`

Counts

4 → 102

Calls

8 calls:

10.0ms	(+.f64 (-.f64 (.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x)))) (.f64 1/9 (cbrt.f64 (/.f64 1 (pow.f64 x 5))))) (.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8)))))
5.0ms	(cbrt.f64 (/.f64 1 (pow.f64 x 8)))
4.0ms	(cbrt.f64 (/.f64 1 (pow.f64 x 5)))
4.0ms	(cbrt.f64 (/.f64 1 (*.f64 x x)))
0.0ms	(+.f64 (cbrt.f64 x) (+.f64 (-.f64 (.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x)))) (.f64 1/9 (cbrt.f64 (/.f64 1 (pow.f64 x 5))))) (.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8))))))

series599.0ms (1.2%)

Counts

4 → 12

Calls

4 calls:

317.0ms	(+.f64 (-.f64 (.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x)))) (.f64 1/9 (cbrt.f64 (/.f64 1 (pow.f64 x 5))))) (.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8)))))
108.0ms	(cbrt.f64 (/.f64 1 (pow.f64 x 5)))
94.0ms	(cbrt.f64 (/.f64 1 (pow.f64 x 8)))
80.0ms	(cbrt.f64 (/.f64 1 (*.f64 x x)))

Compiler

Compiled 888 to 756 computations (14.9% saved)

simplify67.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	4989	2768
1	4989	2768

prune12.8s (25%)

Pruning

428 alts after pruning (413 fresh and 15 done)

	Pruned	Kept	Total
New	293	111	404
Fresh	9	302	311
Picked	0	0	0
Done	1	15	16
Total	303	428	731

Error

0.5b

Counts

731 → 428

Compiler

Compiled 7982 to 5922 computations (25.8% saved)

simplify391.0ms (0.8%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4988	25265
1	4988	25265

regimes1.8s (3.6%)

Compiler: Compiled 11603 to 9482 computations (18.3% saved)

bsearch62.0ms (0.1%)

Steps

Iters	Range		Point
8	0.2406162153613975	6833.649514992604	576.7628552642777
10	-2090.8631177825723	-5.2942506143874373e-14	-1.0054527956503754

Compiler

Compiled 1 to 1 computations (0% saved)

regimes1.6s (3.1%)

Compiler: Compiled 8685 to 7107 computations (18.2% saved)

bsearch45.0ms (0.1%)

Steps

Iters	Range		Point
8	0.2406162153613975	6833.649514992604	2693.05771023905
6	-8703.399857529706	-2090.8631177825723	-4332.041001643122

Compiler

Compiled 1 to 1 computations (0% saved)

regimes930.0ms (1.8%)

Compiler: Compiled 5810 to 4779 computations (17.7% saved)

bsearch46.0ms (0.1%)

Steps

Iters	Range		Point
7	6833.649514992604	775890.5294789503	63605.802848912346
9	-4019658213.1612353	-8703.399857529706	-105352.56770425299

Compiler

Compiled 1 to 1 computations (0% saved)

regimes471.0ms (0.9%)

Compiler: Compiled 2546 to 2139 computations (16% saved)

bsearch36.0ms (0.1%)

Steps

Iters	Range		Point
8	876018.2765282592	24580944763.40327	56905652.54357344
9	-4019658213.1612353	-8703.399857529706	-25266815.562077403

Compiler

Compiled 1 to 1 computations (0% saved)

regimes266.0ms (0.5%)

Compiler: Compiled 1294 to 1102 computations (14.8% saved)

bsearch33.0ms (0.1%)

Steps

Iters	Range		Point
8	876018.2765282592	24580944763.40327	18145458.081923485
9	-4019658213.1612353	-8703.399857529706	-13625869.572864452

Compiler

Compiled 1 to 1 computations (0% saved)

regimes155.0ms (0.3%)

Compiler: Compiled 705 to 609 computations (13.6% saved)

bsearch29.0ms (0.1%)

Steps

Iters	Range		Point
8	876018.2765282592	24580944763.40327	19112764.660132885
9	-4019658213.1612353	-8703.399857529706	-30197579.700860236

Compiler

Compiled 1 to 1 computations (0% saved)

regimes157.0ms (0.3%)

Compiler: Compiled 691 to 598 computations (13.5% saved)

bsearch27.0ms (0.1%)

Steps

Iters	Range		Point
8	876018.2765282592	24580944763.40327	21047377.816551685
9	-4019658213.1612353	-8703.399857529706	-50261857.06093893

Compiler

Compiled 1 to 1 computations (0% saved)

regimes46.0ms (0.1%)

Compiler: Compiled 151 to 130 computations (13.9% saved)

bsearch31.0ms (0.1%)

Steps

Iters	Range		Point
8	0.2406162153613975	6833.649514992604	1.257388279530115
10	-2090.8631177825723	-5.2942506143874373e-14	-1.0054527956503754

Compiler

Compiled 1 to 1 computations (0% saved)

regimes36.0ms (0.1%)

Compiler: Compiled 88 to 80 computations (9.1% saved)

bsearch30.0ms (0.1%)

Steps

Iters	Range		Point
8	0.2406162153613975	6833.649514992604	1.0270220023312078
10	-2090.8631177825723	-5.2942506143874373e-14	-1.0054527956503754

Compiler

Compiled 1 to 1 computations (0% saved)

regimes29.0ms (0.1%)

Compiler: Compiled 52 to 50 computations (3.8% saved)

bsearch28.0ms (0.1%)

Steps

Iters	Range		Point
8	0.2406162153613975	6833.649514992604	1.0270220023312078
10	-2090.8631177825723	-5.2942506143874373e-14	-1.0054527956503754

Compiler

Compiled 1 to 1 computations (0% saved)

regimes28.0ms (0.1%)

Compiler: Compiled 44 to 43 computations (2.3% saved)

bsearch30.0ms (0.1%)

Steps

Iters	Range		Point
8	0.2406162153613975	6833.649514992604	1.0270220023312078
10	-2090.8631177825723	-5.2942506143874373e-14	-1.0054527956503754

Compiler

Compiled 1 to 1 computations (0% saved)

regimes10.0ms (0%)

Compiler: Compiled 28 to 29 computations (-3.6% saved)

bsearch0.0ms (0%)

regimes7.0ms (0%)

Accuracy

Total 0.2b remaining (30.5%)

Threshold costs 0.2b (30.5%)

Compiler

Compiled 4 to 6 computations (-50% saved)

bsearch29.0ms (0.1%)

Compiler: Compiled 581 to 447 computations (23.1% saved)

simplify13.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	327	651
1	327	651

end0.0ms (0%)

sample13.1s (25.5%)

Algorithm

1×

intervals

Results

207.0ms	2044×	body	1024	valid
110.0ms	4234×	body	128	valid
77.0ms	967×	body	512	valid
29.0ms	224×	body	2048	valid
27.0ms	531×	body	256	valid

Compiler

Compiled 12449 to 10148 computations (18.5% saved)

Pareto

0.7147049842773671