Details

analyze3.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
50%	50%	0%	2
75%	25%	0%	3
87.5%	12.5%	0%	4
93.7%	6.2%	0%	5
96.8%	3.1%	0%	6
98.4%	1.6%	0%	7
99.2%	0.8%	0%	8
99.6%	0.4%	0%	9
99.8%	0.2%	0%	10
99.9%	0.1%	0%	11
99.9%	0%	0%	12
99.9%	0%	0%	13
99.9%	0%	0%	14

Compiler

Compiled 6 to 6 computations (0% saved)

sample10.0ms (0%)

Algorithm

1×

intervals

Results

5.0ms

256×

body

128

valid

Compiler

Compiled 11 to 12 computations (-9.1% saved)

simplify100.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	10	4
1	10	4

prune4.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

2 → 2

Compiler

Compiled 3 to 3 computations (0% saved)

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite11.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`add-sqr-sqrt_binary64_9989`
13×	`cancel-sign-sub-inv_binary64_9933`
12×	`*-un-lft-identity_binary64_9967`
11×	`times-frac_binary64_9973`
8×	`add-cube-cbrt_binary64_10002`
3×	`difference-of-squares_binary64_9936` `add-log-exp_binary64_10006`
2×	`div-inv_binary64_9964` `distribute-lft-out--_binary64_9919`
1×	`flip--_binary64_9942` `add-cbrt-cube_binary64_10003` `flip3--_binary64_9971` `sub-neg_binary64_9960` `add-exp-log_binary64_10005` `diff-log_binary64_10059` `pow1_binary64_10028`

Counts

1 → 29

Calls

2 calls:

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

series23.0ms (0.1%)

Counts

1 → 6

Calls

1 calls:

23.0ms

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

Compiler

Compiled 21 to 22 computations (-4.8% saved)

simplify53.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

35 → 35

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4580	182
1	4580	182

localize3.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite5.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`add-sqr-sqrt_binary64_9989` `*-un-lft-identity_binary64_9967`
3×	`add-log-exp_binary64_10006` `cancel-sign-sub-inv_binary64_9933`
2×	`add-cube-cbrt_binary64_10002`
1×	`flip--_binary64_9942` `add-cbrt-cube_binary64_10003` `flip3--_binary64_9971` `sub-neg_binary64_9960` `difference-of-squares_binary64_9936` `add-exp-log_binary64_10005` `diff-log_binary64_10059` `distribute-lft-out--_binary64_9919` `pow1_binary64_10028`

Counts

1 → 16

Calls

2 calls:

4.0ms	(-.f64 x 1/3)
0.0ms	(-.f64 x 1/3)

series20.0ms (0%)

Counts

1 → 6

Calls

1 calls:

20.0ms

(-.f64 x 1/3)

Compiler

Compiled 21 to 22 computations (-4.8% saved)

simplify126.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

22 → 22

Iterations

Useful iterations: 0 (118.0ms)

Iter	Nodes	Cost
0	4802	124
1	4802	124

prune67.0ms (0.2%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	43	14	57
Fresh	0	0	0
Picked	0	0	0
Done	0	2	2
Total	43	16	59

Error

Counts

59 → 16

Compiler

Compiled 225 to 187 computations (16.9% saved)

localize7.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite5.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`add-sqr-sqrt_binary64_9989` `*-un-lft-identity_binary64_9967`
3×	`add-log-exp_binary64_10006` `cancel-sign-sub-inv_binary64_9933`
2×	`add-cube-cbrt_binary64_10002`
1×	`flip--_binary64_9942` `add-cbrt-cube_binary64_10003` `flip3--_binary64_9971` `sub-neg_binary64_9960` `difference-of-squares_binary64_9936` `add-exp-log_binary64_10005` `diff-log_binary64_10059` `distribute-lft-out--_binary64_9919` `pow1_binary64_10028`

Counts

1 → 16

Calls

2 calls:

4.0ms	(-.f64 x 1/3)
0.0ms	(-.f64 x 1/3)

series21.0ms (0.1%)

Counts

1 → 6

Calls

1 calls:

21.0ms

(-.f64 x 1/3)

Compiler

Compiled 39 to 40 computations (-2.6% saved)

simplify125.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

22 → 22

Iterations

Useful iterations: 0 (117.0ms)

Iter	Nodes	Cost
0	4802	124
1	4802	124

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite10.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`add-sqr-sqrt_binary64_9989`
13×	`cancel-sign-sub-inv_binary64_9933`
12×	`*-un-lft-identity_binary64_9967`
11×	`times-frac_binary64_9973`
8×	`add-cube-cbrt_binary64_10002`
3×	`difference-of-squares_binary64_9936` `add-log-exp_binary64_10006`
2×	`div-inv_binary64_9964` `distribute-lft-out--_binary64_9919`
1×	`flip--_binary64_9942` `add-cbrt-cube_binary64_10003` `flip3--_binary64_9971` `sub-neg_binary64_9960` `add-exp-log_binary64_10005` `diff-log_binary64_10059` `pow1_binary64_10028`

Counts

1 → 29

Calls

2 calls:

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

series21.0ms (0.1%)

Counts

1 → 6

Calls

1 calls:

21.0ms

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

Compiler

Compiled 39 to 40 computations (-2.6% saved)

simplify55.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

35 → 35

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4580	182
1	4580	182

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite10.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`add-sqr-sqrt_binary64_9989`
13×	`cancel-sign-sub-inv_binary64_9933`
12×	`*-un-lft-identity_binary64_9967`
11×	`times-frac_binary64_9973`
8×	`add-cube-cbrt_binary64_10002`
3×	`difference-of-squares_binary64_9936` `add-log-exp_binary64_10006`
2×	`div-inv_binary64_9964` `distribute-lft-out--_binary64_9919`
1×	`flip--_binary64_9942` `add-cbrt-cube_binary64_10003` `flip3--_binary64_9971` `sub-neg_binary64_9960` `add-exp-log_binary64_10005` `diff-log_binary64_10059` `pow1_binary64_10028`

Counts

1 → 29

Calls

2 calls:

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

series24.0ms (0.1%)

Counts

1 → 6

Calls

1 calls:

24.0ms

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

Compiler

Compiled 39 to 40 computations (-2.6% saved)

simplify53.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

35 → 35

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4580	182
1	4580	182

localize6.0ms (0%)

Local error

Found 6 expressions with local error:

0.5b	(log.f64 (exp.f64 (-.f64 x 1/3)))
0.0b	(exp.f64 (-.f64 x 1/3))
0.0b	(-.f64 x 1/3)
0.0b	(-.f64 x 1/3)
0.0b	(exp.f64 (-.f64 x 1/3))
0.5b	(log.f64 (exp.f64 (-.f64 x 1/3)))

rewrite17.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`add-sqr-sqrt_binary64_9989` `*-un-lft-identity_binary64_9967`
10×	`exp-prod_binary64_10019`
9×	`add-cube-cbrt_binary64_10002` `cancel-sign-sub-inv_binary64_9933`
8×	`add-log-exp_binary64_10006` `exp-sum_binary64_10013`
7×	`log-prod_binary64_10053`
6×	`log-pow_binary64_10056`
4×	`pow1_binary64_10028`
3×	`add-cbrt-cube_binary64_10003` `sub-neg_binary64_9960` `difference-of-squares_binary64_9936` `add-exp-log_binary64_10005` `distribute-lft-out--_binary64_9919`
2×	`diff-log_binary64_10059` `exp-diff_binary64_10015` `rem-exp-log_binary64_10007`
1×	`flip--_binary64_9942` `log-div_binary64_10054` `flip3--_binary64_9971` `rem-log-exp_binary64_10008`

Counts

3 → 57

Calls

6 calls:

5.0ms	(log.f64 (exp.f64 (-.f64 x 1/3)))
5.0ms	(exp.f64 (-.f64 x 1/3))
4.0ms	(-.f64 x 1/3)
0.0ms	(-.f64 x 1/3)
0.0ms	(exp.f64 (-.f64 x 1/3))

series128.0ms (0.3%)

Counts

3 → 16

Calls

3 calls:

85.0ms	(log.f64 (exp.f64 (-.f64 x 1/3)))
22.0ms	(exp.f64 (-.f64 x 1/3))
21.0ms	(-.f64 x 1/3)

Compiler

Compiled 146 to 146 computations (0% saved)

simplify70.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4925	479
1	4925	479

localize7.0ms (0%)

Local error

Found 6 expressions with local error:

21.9b	(cbrt.f64 (pow.f64 (-.f64 x 1/3) 3))
0.5b	(pow.f64 (-.f64 x 1/3) 3)
0.0b	(-.f64 x 1/3)
0.0b	(-.f64 x 1/3)
0.5b	(pow.f64 (-.f64 x 1/3) 3)
21.9b	(cbrt.f64 (pow.f64 (-.f64 x 1/3) 3))

rewrite18.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64_9989` `*-un-lft-identity_binary64_9967`
16×	`cbrt-prod_binary64_9998`
10×	`cube-prod_binary64_9995` `unpow-prod-down_binary64_10046` `add-cube-cbrt_binary64_10002`
5×	`difference-of-squares_binary64_9936` `add-log-exp_binary64_10006` `distribute-lft-out--_binary64_9919`
4×	`add-cbrt-cube_binary64_10003` `cube-div_binary64_9996` `add-exp-log_binary64_10005` `pow1_binary64_10028`
3×	`flip--_binary64_9942` `flip3--_binary64_9971` `pow-unpow_binary64_10044` `cancel-sign-sub-inv_binary64_9933`
2×	`cbrt-div_binary64_9999` `cube-mult_binary64_9997` `sqr-pow_binary64_9939` `unpow3_binary64_10033`
1×	`pow1/3_binary64_10049` `pow-to-exp_binary64_10036` `sub-neg_binary64_9960` `diff-log_binary64_10059` `rem-cbrt-cube_binary64_9991` `pow-exp_binary64_10035` `pow-pow_binary64_10039` `rem-cube-cbrt_binary64_9990`

Counts

3 → 72

Calls

6 calls:

5.0ms	(cbrt.f64 (pow.f64 (-.f64 x 1/3) 3))
5.0ms	(pow.f64 (-.f64 x 1/3) 3)
4.0ms	(-.f64 x 1/3)
0.0ms	(-.f64 x 1/3)
0.0ms	(pow.f64 (-.f64 x 1/3) 3)

series87.0ms (0.2%)

Counts

3 → 24

Calls

3 calls:

35.0ms	(pow.f64 (-.f64 x 1/3) 3)
31.0ms	(cbrt.f64 (pow.f64 (-.f64 x 1/3) 3))
20.0ms	(-.f64 x 1/3)

Compiler

Compiled 194 to 184 computations (5.2% saved)

simplify67.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5115	837

prune1.3s (3.2%)

Pruning

84 alts after pruning (77 fresh and 7 done)

	Pruned	Kept	Total
New	191	70	261
Fresh	2	7	9
Picked	0	0	0
Done	0	7	7
Total	193	84	277

Error

Counts

277 → 84

Compiler

Compiled 1926 to 1630 computations (15.4% saved)

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite10.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`add-sqr-sqrt_binary64_9989`
13×	`cancel-sign-sub-inv_binary64_9933`
12×	`*-un-lft-identity_binary64_9967`
11×	`times-frac_binary64_9973`
8×	`add-cube-cbrt_binary64_10002`
3×	`difference-of-squares_binary64_9936` `add-log-exp_binary64_10006`
2×	`div-inv_binary64_9964` `distribute-lft-out--_binary64_9919`
1×	`flip--_binary64_9942` `add-cbrt-cube_binary64_10003` `flip3--_binary64_9971` `sub-neg_binary64_9960` `add-exp-log_binary64_10005` `diff-log_binary64_10059` `pow1_binary64_10028`

Counts

1 → 29

Calls

2 calls:

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

series20.0ms (0.1%)

Counts

1 → 6

Calls

1 calls:

20.0ms

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

Compiler

Compiled 57 to 58 computations (-1.8% saved)

simplify54.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

35 → 35

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	4580	182
1	4580	182

localize9.0ms (0%)

Local error

Found 4 expressions with local error:

16.1b	(/.f64 (-.f64 (*.f64 x x) 1/9) (+.f64 x 1/3))
0.0b	(+.f64 x 1/3)
0.0b	(+.f64 x 1/3)
16.1b	(/.f64 (-.f64 (*.f64 x x) 1/9) (+.f64 x 1/3))

rewrite17.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`*-un-lft-identity_binary64_9967`
17×	`add-sqr-sqrt_binary64_9989`
16×	`times-frac_binary64_9973`
12×	`add-cube-cbrt_binary64_10002`
6×	`distribute-lft-out_binary64_9918`
5×	`difference-of-squares_binary64_9936`
4×	`add-cbrt-cube_binary64_10003` `associate-/l_binary64_9912` `add-log-exp_binary64_10006` `add-exp-log_binary64_10005` `associate-/r_binary64_9911`
2×	`flip3-+_binary64_9970` `associate-/l/_binary64_9914` `flip-+_binary64_9941` `pow1_binary64_10028` `associate-/r/_binary64_9913`
1×	`flip--_binary64_9942` `div-exp_binary64_10018` `cbrt-undiv_binary64_10001` `flip3--_binary64_9971` `div-sub_binary64_9972` `+-commutative_binary64_9897` `sum-log_binary64_10058` `div-inv_binary64_9964` `frac-2neg_binary64_9978` `clear-num_binary64_9966`

Counts

2 → 53

Calls

4 calls:

9.0ms	(/.f64 (-.f64 (*.f64 x x) 1/9) (+.f64 x 1/3))
3.0ms	(+.f64 x 1/3)
0.0ms	(+.f64 x 1/3)
0.0ms	(/.f64 (-.f64 (*.f64 x x) 1/9) (+.f64 x 1/3))

series71.0ms (0.2%)

Counts

2 → 12

Calls

2 calls:

51.0ms	(/.f64 (-.f64 (*.f64 x x) 1/9) (+.f64 x 1/3))
19.0ms	(+.f64 x 1/3)

Compiler

Compiled 132 to 116 computations (12.1% saved)

simplify93.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

65 → 65

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	4935	938
1	4935	938

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite5.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`add-sqr-sqrt_binary64_9989` `*-un-lft-identity_binary64_9967`
3×	`add-log-exp_binary64_10006` `cancel-sign-sub-inv_binary64_9933`
2×	`add-cube-cbrt_binary64_10002`
1×	`flip--_binary64_9942` `add-cbrt-cube_binary64_10003` `flip3--_binary64_9971` `sub-neg_binary64_9960` `difference-of-squares_binary64_9936` `add-exp-log_binary64_10005` `diff-log_binary64_10059` `distribute-lft-out--_binary64_9919` `pow1_binary64_10028`

Counts

1 → 16

Calls

2 calls:

4.0ms	(-.f64 x 1/3)
0.0ms	(-.f64 x 1/3)

series20.0ms (0.1%)

Counts

1 → 6

Calls

1 calls:

20.0ms

(-.f64 x 1/3)

Compiler

Compiled 57 to 58 computations (-1.8% saved)

simplify116.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

22 → 22

Iterations

Useful iterations: 0 (108.0ms)

Iter	Nodes	Cost
0	4802	124
1	4802	124

localize9.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(*.f64 (cbrt.f64 (-.f64 x 1/3)) (cbrt.f64 (pow.f64 (-.f64 x 1/3) 2)))
0.0b	(pow.f64 (-.f64 x 1/3) 2)
0.0b	(-.f64 x 1/3)
0.0b	(-.f64 x 1/3)
0.0b	(pow.f64 (-.f64 x 1/3) 2)
0.1b	(*.f64 (cbrt.f64 (-.f64 x 1/3)) (cbrt.f64 (pow.f64 (-.f64 x 1/3) 2)))
0.3b	(cbrt.f64 (-.f64 x 1/3))
16.6b	(cbrt.f64 (pow.f64 (-.f64 x 1/3) 2))

rewrite35.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

45×	`cbrt-prod_binary64_9998`
40×	`add-sqr-sqrt_binary64_9989`
24×	`*-un-lft-identity_binary64_9967`
17×	`unpow-prod-down_binary64_10046`
14×	`add-cube-cbrt_binary64_10002`
13×	`associate-r_binary64_9907`
10×	`unswap-sqr_binary64_9935`
8×	`associate-l_binary64_9908`
7×	`unpow2_binary64_10032` `add-exp-log_binary64_10005` `pow1_binary64_10028`
5×	`difference-of-squares_binary64_9936` `sqr-pow_binary64_9939` `distribute-lft-out--_binary64_9919`
4×	`cbrt-div_binary64_9999` `add-cbrt-cube_binary64_10003` `pow1/3_binary64_10049` `add-log-exp_binary64_10006`
3×	`pow-unpow_binary64_10044`
2×	`flip--_binary64_9942` `associate-*l/_binary64_9910` `flip3--_binary64_9971` `pow-prod-down_binary64_10038`
1×	`prod-exp_binary64_10016` `cbrt-unprod_binary64_10000` `pow-to-exp_binary64_10036` `cube-unmult_binary64_10004` `rem-3cbrt-rft_binary64_9993` `pow-exp_binary64_10035` `*-commutative_binary64_9898` `pow-pow_binary64_10039`

Counts

4 → 100

Calls

8 calls:

15.0ms	(*.f64 (cbrt.f64 (-.f64 x 1/3)) (cbrt.f64 (pow.f64 (-.f64 x 1/3) 2)))
5.0ms	(pow.f64 (-.f64 x 1/3) 2)
5.0ms	(cbrt.f64 (pow.f64 (-.f64 x 1/3) 2))
3.0ms	(cbrt.f64 (-.f64 x 1/3))
0.0ms	(-.f64 x 1/3)

series216.0ms (0.5%)

Counts

4 → 30

Calls

4 calls:

78.0ms	(cbrt.f64 (pow.f64 (-.f64 x 1/3) 2))
53.0ms	(pow.f64 (-.f64 x 1/3) 2)
48.0ms	(cbrt.f64 (-.f64 x 1/3))
36.0ms	(*.f64 (cbrt.f64 (-.f64 x 1/3)) (cbrt.f64 (pow.f64 (-.f64 x 1/3) 2)))

Compiler

Compiled 629 to 571 computations (9.2% saved)

simplify96.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	5237	1599

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

1.0b	(/.f64 1 (sqrt.f64 3))
0.1b	(*.f64 (+.f64 (sqrt.f64 x) (/.f64 1 (sqrt.f64 3))) (-.f64 (sqrt.f64 x) (/.f64 1 (sqrt.f64 3))))
0.0b	(-.f64 (sqrt.f64 x) (/.f64 1 (sqrt.f64 3)))
0.0b	(+.f64 (sqrt.f64 x) (/.f64 1 (sqrt.f64 3)))
0.0b	(-.f64 (sqrt.f64 x) (/.f64 1 (sqrt.f64 3)))
0.1b	(*.f64 (+.f64 (sqrt.f64 x) (/.f64 1 (sqrt.f64 3))) (-.f64 (sqrt.f64 x) (/.f64 1 (sqrt.f64 3))))
1.0b	(/.f64 1 (sqrt.f64 3))
1.0b	(/.f64 1 (sqrt.f64 3))

rewrite84.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

125×	`add-sqr-sqrt_binary64_9989`
106×	`times-frac_binary64_9973`
92×	`*-un-lft-identity_binary64_9967`
75×	`add-cube-cbrt_binary64_10002`
69×	`sqrt-prod_binary64_9983`
66×	`cancel-sign-sub-inv_binary64_9933`
23×	`distribute-lft-in_binary64_9916` `distribute-rgt-in_binary64_9917`
20×	`difference-of-squares_binary64_9936`
15×	`associate-r_binary64_9907`
14×	`add-exp-log_binary64_10005`
12×	`associate-/r*_binary64_9911`
10×	`add-cbrt-cube_binary64_10003` `pow1_binary64_10028`
8×	`div-inv_binary64_9964`
6×	`associate-/l*_binary64_9912` `add-log-exp_binary64_10006` `pow-flip_binary64_10041`
5×	`associate-l_binary64_9908`
4×	`flip--_binary64_9942` `frac-times_binary64_9977` `div-exp_binary64_10018` `flip3--_binary64_9971` `distribute-lft-out--_binary64_9919`
3×	`flip3-+_binary64_9970` `sub-neg_binary64_9960` `flip-+_binary64_9941`
2×	`1-exp_binary64_10011` `cbrt-undiv_binary64_10001` `associate-l/_binary64_9910` `distribute-lft-out_binary64_9918` `pow1/2_binary64_10047` `rec-exp_binary64_10017` `inv-pow_binary64_10052` `sqrt-pow1_binary64_9985` `associate-r/_binary64_9909` `frac-2neg_binary64_9978` `clear-num_binary64_9966`
1×	`prod-exp_binary64_10016` `cbrt-unprod_binary64_10000` `pow-prod-down_binary64_10038` `diff-log_binary64_10059` `unswap-sqr_binary64_9935` `*-commutative_binary64_9898`

Counts

4 → 221

Calls

8 calls:

34.0ms	(*.f64 (+.f64 (sqrt.f64 x) (/.f64 1 (sqrt.f64 3))) (-.f64 (sqrt.f64 x) (/.f64 1 (sqrt.f64 3))))
14.0ms	(-.f64 (sqrt.f64 x) (/.f64 1 (sqrt.f64 3)))
8.0ms	(/.f64 1 (sqrt.f64 3))
5.0ms	(/.f64 1 (sqrt.f64 3))
0.0ms	(+.f64 (sqrt.f64 x) (/.f64 1 (sqrt.f64 3)))

series82.0ms (0.2%)

Counts

4 → 6

Calls

4 calls:

60.0ms	(*.f64 (+.f64 (sqrt.f64 x) (/.f64 1 (sqrt.f64 3))) (-.f64 (sqrt.f64 x) (/.f64 1 (sqrt.f64 3))))
22.0ms	(-.f64 (sqrt.f64 x) (/.f64 1 (sqrt.f64 3)))
0.0ms	(/.f64 1 (sqrt.f64 3))
0.0ms	(/.f64 1 (sqrt.f64 3))

Compiler

Compiled 196 to 192 computations (2% saved)

simplify120.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

227 → 227

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4792	3555
1	4792	3555

prune6.4s (16.1%)

Pruning

209 alts after pruning (198 fresh and 11 done)

	Pruned	Kept	Total
New	348	131	479
Fresh	5	67	72
Picked	0	0	0
Done	1	11	12
Total	354	209	563

Error

Counts

563 → 209

Compiler

Compiled 7833 to 6397 computations (18.3% saved)

localize7.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite11.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`add-sqr-sqrt_binary64_9989`
13×	`cancel-sign-sub-inv_binary64_9933`
12×	`*-un-lft-identity_binary64_9967`
11×	`times-frac_binary64_9973`
8×	`add-cube-cbrt_binary64_10002`
3×	`difference-of-squares_binary64_9936` `add-log-exp_binary64_10006`
2×	`div-inv_binary64_9964` `distribute-lft-out--_binary64_9919`
1×	`flip--_binary64_9942` `add-cbrt-cube_binary64_10003` `flip3--_binary64_9971` `sub-neg_binary64_9960` `add-exp-log_binary64_10005` `diff-log_binary64_10059` `pow1_binary64_10028`

Counts

1 → 29

Calls

2 calls:

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

series21.0ms (0.1%)

Counts

1 → 6

Calls

1 calls:

21.0ms

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

Compiler

Compiled 75 to 76 computations (-1.3% saved)

simplify50.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

35 → 35

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	4580	182
1	4580	182

localize10.0ms (0%)

Local error

Found 6 expressions with local error:

16.1b	(/.f64 (+.f64 x 1/3) (-.f64 (*.f64 x x) 1/9))
0.1b	(/.f64 1 (/.f64 (+.f64 x 1/3) (-.f64 (*.f64 x x) 1/9)))
0.0b	(+.f64 x 1/3)
0.0b	(+.f64 x 1/3)
0.1b	(/.f64 1 (/.f64 (+.f64 x 1/3) (-.f64 (*.f64 x x) 1/9)))
16.1b	(/.f64 (+.f64 x 1/3) (-.f64 (*.f64 x x) 1/9))

rewrite47.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

146×	`times-frac_binary64_9973`
116×	`*-un-lft-identity_binary64_9967`
93×	`add-sqr-sqrt_binary64_9989`
72×	`add-cube-cbrt_binary64_10002`
26×	`associate-/r*_binary64_9911`
22×	`distribute-lft-out_binary64_9918`
21×	`difference-of-squares_binary64_9936`
16×	`add-exp-log_binary64_10005`
11×	`associate-/r/_binary64_9913`
10×	`add-cbrt-cube_binary64_10003`
8×	`div-exp_binary64_10018`
7×	`associate-/l*_binary64_9912`
6×	`div-inv_binary64_9964`
5×	`flip--_binary64_9942` `flip3--_binary64_9971` `add-log-exp_binary64_10006`
4×	`cbrt-undiv_binary64_10001` `pow1_binary64_10028`
2×	`flip3-+_binary64_9970` `1-exp_binary64_10011` `associate-/l/_binary64_9914` `rec-exp_binary64_10017` `flip-+_binary64_9941` `frac-2neg_binary64_9978` `clear-num_binary64_9966`
1×	`inv-pow_binary64_10052` `+-commutative_binary64_9897` `sum-log_binary64_10058` `pow-flip_binary64_10041`

Counts

3 → 164

Calls

6 calls:

14.0ms	(/.f64 1 (/.f64 (+.f64 x 1/3) (-.f64 (*.f64 x x) 1/9)))
13.0ms	(/.f64 (+.f64 x 1/3) (-.f64 (*.f64 x x) 1/9))
3.0ms	(+.f64 x 1/3)
0.0ms	(+.f64 x 1/3)
0.0ms	(/.f64 1 (/.f64 (+.f64 x 1/3) (-.f64 (*.f64 x x) 1/9)))

series122.0ms (0.3%)

Counts

3 → 24

Calls

3 calls:

59.0ms	(/.f64 1 (/.f64 (+.f64 x 1/3) (-.f64 (*.f64 x x) 1/9)))
42.0ms	(/.f64 (+.f64 x 1/3) (-.f64 (*.f64 x x) 1/9))
20.0ms	(+.f64 x 1/3)

Compiler

Compiled 355 to 325 computations (8.5% saved)

simplify115.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

188 → 188

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	4903	3968
1	4903	3968

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

21.9b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (*.f64 x x) 1/9) (+.f64 x 1/3)) 3))
16.1b	(/.f64 (-.f64 (*.f64 x x) 1/9) (+.f64 x 1/3))
0.5b	(pow.f64 (/.f64 (-.f64 (*.f64 x x) 1/9) (+.f64 x 1/3)) 3)
0.0b	(+.f64 x 1/3)
0.0b	(+.f64 x 1/3)
0.5b	(pow.f64 (/.f64 (-.f64 (*.f64 x x) 1/9) (+.f64 x 1/3)) 3)
16.1b	(/.f64 (-.f64 (*.f64 x x) 1/9) (+.f64 x 1/3))
21.9b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (*.f64 x x) 1/9) (+.f64 x 1/3)) 3))

rewrite58.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

96×	`*-un-lft-identity_binary64_9967`
80×	`times-frac_binary64_9973`
73×	`add-sqr-sqrt_binary64_9989`
52×	`add-cube-cbrt_binary64_10002`
50×	`cbrt-prod_binary64_9998`
44×	`cube-prod_binary64_9995` `unpow-prod-down_binary64_10046`
22×	`distribute-lft-out_binary64_9918`
21×	`difference-of-squares_binary64_9936`
10×	`associate-/r/_binary64_9913`
9×	`add-cbrt-cube_binary64_10003` `add-exp-log_binary64_10005`
6×	`flip3-+_binary64_9970` `flip-+_binary64_9941` `add-log-exp_binary64_10006`
5×	`div-inv_binary64_9964` `pow1_binary64_10028`
4×	`associate-/l_binary64_9912` `associate-/r_binary64_9911`
3×	`pow-unpow_binary64_10044`
2×	`div-exp_binary64_10018` `cube-div_binary64_9996` `cbrt-undiv_binary64_10001` `associate-/l/_binary64_9914` `cube-mult_binary64_9997` `sqr-pow_binary64_9939` `unpow3_binary64_10033` `pow-exp_binary64_10035` `rem-cube-cbrt_binary64_9990`
1×	`flip--_binary64_9942` `cbrt-div_binary64_9999` `pow1/3_binary64_10049` `flip3--_binary64_9971` `pow-to-exp_binary64_10036` `div-sub_binary64_9972` `+-commutative_binary64_9897` `sum-log_binary64_10058` `frac-2neg_binary64_9978` `rem-cbrt-cube_binary64_9991` `clear-num_binary64_9966` `pow-pow_binary64_10039`

Counts

4 → 177

Calls

8 calls:

15.0ms	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (*.f64 x x) 1/9) (+.f64 x 1/3)) 3))
11.0ms	(pow.f64 (/.f64 (-.f64 (*.f64 x x) 1/9) (+.f64 x 1/3)) 3)
9.0ms	(/.f64 (-.f64 (*.f64 x x) 1/9) (+.f64 x 1/3))
3.0ms	(+.f64 x 1/3)
0.0ms	(+.f64 x 1/3)

series176.0ms (0.4%)

Counts

4 → 30

Calls

4 calls:

59.0ms	(/.f64 (-.f64 (*.f64 x x) 1/9) (+.f64 x 1/3))
52.0ms	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (*.f64 x x) 1/9) (+.f64 x 1/3)) 3))
42.0ms	(pow.f64 (/.f64 (-.f64 (*.f64 x x) 1/9) (+.f64 x 1/3)) 3)
22.0ms	(+.f64 x 1/3)

Compiler

Compiled 357 to 330 computations (7.6% saved)

simplify116.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

207 → 207

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	5181	3855

localize10.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(cbrt.f64 (-.f64 x 1/3))
0.1b	(*.f64 (cbrt.f64 (-.f64 x 1/3)) (cbrt.f64 (cbrt.f64 (pow.f64 (-.f64 x 1/3) 6))))
0.0b	(-.f64 x 1/3)
0.0b	(-.f64 x 1/3)
0.3b	(cbrt.f64 (-.f64 x 1/3))
0.8b	(pow.f64 (-.f64 x 1/3) 6)
9.4b	(cbrt.f64 (pow.f64 (-.f64 x 1/3) 6))
16.6b	(cbrt.f64 (cbrt.f64 (pow.f64 (-.f64 x 1/3) 6)))

rewrite23.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

35×	`cbrt-prod_binary64_9998`
20×	`add-sqr-sqrt_binary64_9989` `*-un-lft-identity_binary64_9967`
15×	`unpow-prod-down_binary64_10046`
12×	`add-cube-cbrt_binary64_10002`
5×	`add-exp-log_binary64_10005` `pow1_binary64_10028`
4×	`add-cbrt-cube_binary64_10003` `difference-of-squares_binary64_9936` `add-log-exp_binary64_10006` `distribute-lft-out--_binary64_9919`
3×	`pow1/3_binary64_10049` `pow-unpow_binary64_10044` `sqr-pow_binary64_9939`
2×	`cbrt-div_binary64_9999`
1×	`flip--_binary64_9942` `flip3--_binary64_9971` `pow-to-exp_binary64_10036` `pow-exp_binary64_10035` `pow-pow_binary64_10039`

Counts

4 → 71

Calls

8 calls:

5.0ms	(cbrt.f64 (cbrt.f64 (pow.f64 (-.f64 x 1/3) 6)))
5.0ms	(pow.f64 (-.f64 x 1/3) 6)
4.0ms	(cbrt.f64 (pow.f64 (-.f64 x 1/3) 6))
3.0ms	(cbrt.f64 (-.f64 x 1/3))
0.0ms	(-.f64 x 1/3)

series218.0ms (0.6%)

Counts

4 → 36

Calls

4 calls:

80.0ms	(cbrt.f64 (cbrt.f64 (pow.f64 (-.f64 x 1/3) 6)))
50.0ms	(cbrt.f64 (-.f64 x 1/3))
47.0ms	(cbrt.f64 (pow.f64 (-.f64 x 1/3) 6))
41.0ms	(pow.f64 (-.f64 x 1/3) 6)

Compiler

Compiled 813 to 728 computations (10.5% saved)

simplify102.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	4898	1329
1	4898	1329

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(pow.f64 (-.f64 x 1/3) 2)
0.0b	(-.f64 x 1/3)
0.0b	(-.f64 x 1/3)
0.0b	(-.f64 x 1/3)
0.3b	(cbrt.f64 (-.f64 x 1/3))
0.3b	(cbrt.f64 (-.f64 x 1/3))
0.7b	(*.f64 (cbrt.f64 (-.f64 x 1/3)) (fabs.f64 (cbrt.f64 (-.f64 x 1/3))))
16.6b	(cbrt.f64 (pow.f64 (-.f64 x 1/3) 2))

rewrite29.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`cbrt-prod_binary64_9998`
23×	`add-sqr-sqrt_binary64_9989`
19×	`*-un-lft-identity_binary64_9967`
11×	`add-cube-cbrt_binary64_10002`
8×	`associate-l_binary64_9908`
6×	`cbrt-div_binary64_9999` `add-exp-log_binary64_10005` `pow1_binary64_10028`
5×	`add-cbrt-cube_binary64_10003` `unpow-prod-down_binary64_10046`
4×	`difference-of-squares_binary64_9936` `add-log-exp_binary64_10006` `distribute-lft-out--_binary64_9919`
3×	`flip--_binary64_9942` `pow1/3_binary64_10049` `flip3--_binary64_9971` `associate-r_binary64_9907`
2×	`associate-*l/_binary64_9910` `unswap-sqr_binary64_9935`
1×	`prod-exp_binary64_10016` `cbrt-unprod_binary64_10000` `unpow2_binary64_10032` `pow-prod-down_binary64_10038` `sqr-pow_binary64_9939` `*-commutative_binary64_9898`

Counts

4 → 74

Calls

8 calls:

8.0ms	(*.f64 (cbrt.f64 (-.f64 x 1/3)) (fabs.f64 (cbrt.f64 (-.f64 x 1/3))))
5.0ms	(cbrt.f64 (pow.f64 (-.f64 x 1/3) 2))
3.0ms	(cbrt.f64 (-.f64 x 1/3))
3.0ms	(cbrt.f64 (-.f64 x 1/3))
0.0ms	(-.f64 x 1/3)

series258.0ms (0.7%)

Counts

4 → 25

Calls

4 calls:

86.0ms	(*.f64 (cbrt.f64 (-.f64 x 1/3)) (fabs.f64 (cbrt.f64 (-.f64 x 1/3))))
79.0ms	(cbrt.f64 (pow.f64 (-.f64 x 1/3) 2))
48.0ms	(cbrt.f64 (-.f64 x 1/3))
45.0ms	(cbrt.f64 (-.f64 x 1/3))

Compiler

Compiled 1102 to 990 computations (10.2% saved)

simplify90.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4943	1469
1	4943	1469

prune14.7s (37.1%)

Pruning

394 alts after pruning (379 fresh and 15 done)

	Pruned	Kept	Total
New	434	202	636
Fresh	16	177	193
Picked	0	0	0
Done	1	15	16
Total	451	394	845

Error

Counts

845 → 394

Compiler

Compiled 7689 to 5928 computations (22.9% saved)

simplify593.0ms (1.5%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	3359	17538
1	3359	17538

regimes1.6s (4%)

Compiler: Compiled 9423 to 7956 computations (15.6% saved)

bsearch0.0ms (0%)

regimes25.0ms (0.1%)

Accuracy

Total 0.0b remaining (100%)

Threshold costs 0.0b (100%)

Compiler

Compiled 7 to 11 computations (-57.1% saved)

bsearch23.0ms (0.1%)

Steps

Iters	Range		Point
10	8.461330883091591e-10	149758.5279483946	0.338908377908406
8	-98.98942464161404	-0.004185610438705886	-0.3298994590856481

Compiler

Compiled 16 to 14 computations (12.5% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	17	20
1	17	20

end0.0ms (0%)

sample11.3s (28.7%)

Algorithm

1×

intervals

Results

151.0ms

8000×

body

128

valid

Compiler

Compiled 9472 to 8000 computations (15.5% saved)

Pareto

0.7695176090227294