Details

analyze3.0ms (0.1%)

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.4%)

Algorithm

1×

intervals

Results

5.0ms

256×

body

128

valid

Compiler

Compiled 11 to 12 computations (-9.1% saved)

simplify173.0ms (8.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	8	4
1	8	4

prune5.0ms (0.2%)

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

Merged error: 0.0b

Counts

2 → 1

Compiler

Compiled 16 to 16 computations (0% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite9.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

4×	`*-un-lft-identity_binary64_7991`
3×	`add-log-exp_binary64_8030`
2×	`distribute-lft-out_binary64_7942`
1×	`pow1_binary64_8052` `add-cbrt-cube_binary64_8027` `add-cube-cbrt_binary64_8026` `+-commutative_binary64_7921` `flip-+_binary64_7965` `add-sqr-sqrt_binary64_8013` `sum-log_binary64_8082` `flip3-+_binary64_7994` `add-exp-log_binary64_8029` `div-inv_binary64_7988`

Counts

1 → 13

Calls

1 calls:

8.0ms

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

series27.0ms (1.3%)

Counts

1 → 3

Calls

1 calls:

27.0ms

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

simplify103.0ms (4.8%)

Algorithm

1×	egg-herbie

Counts

16 → 16

Iterations

Useful iterations: 0 (95.0ms)

Iter	Nodes	Cost
0	4937	105
1	4937	105

prune21.0ms (1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	14	2	16
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	14	3	17

Merged error: 0.0b

Counts

17 → 3

Compiler

Compiled 158 to 132 computations (16.5% saved)

localize10.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 1/9 (*.f64 x (-.f64 x 1/3)))
0.0b	(-.f64 x 1/3)
0.2b	(*.f64 x (-.f64 x 1/3))
21.9b	(/.f64 (+.f64 (pow.f64 x 3) 1/27) (+.f64 1/9 (*.f64 x (-.f64 x 1/3))))

rewrite39.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Rules

32×	`*-un-lft-identity_binary64_7991`
26×	`add-sqr-sqrt_binary64_8013`
20×	`add-cube-cbrt_binary64_8026`
15×	`cancel-sign-sub-inv_binary64_7957`
12×	`times-frac_binary64_7997`
8×	`add-cbrt-cube_binary64_8027` `add-log-exp_binary64_8030` `distribute-rgt-in_binary64_7941` `distribute-lft-in_binary64_7940` `associate-+r+_binary64_7923` `add-exp-log_binary64_8029`
6×	`pow1_binary64_8052`
5×	`associate-r_binary64_7931` `sub-neg_binary64_7984`
4×	`associate-/l*_binary64_7936` `distribute-lft-out_binary64_7942`
3×	`flip-+_binary64_7965` `associate-l_binary64_7932` `associate-/r*_binary64_7935` `flip3-+_binary64_7994`
2×	`flip--_binary64_7966` `associate-/l/_binary64_7938` `associate-/r/_binary64_7937` `flip3--_binary64_7995` `distribute-lft-out--_binary64_7943` `difference-of-squares_binary64_7960` `associate-*r/_binary64_7933`
1×	`cbrt-unprod_binary64_8024` `*-commutative_binary64_7922` `+-commutative_binary64_7921` `frac-2neg_binary64_8002` `clear-num_binary64_7990` `cbrt-undiv_binary64_8025` `prod-exp_binary64_8040` `pow-prod-down_binary64_8062` `diff-log_binary64_8083` `sum-log_binary64_8082` `div-exp_binary64_8042` `div-inv_binary64_7988` `unswap-sqr_binary64_7959`

Counts

4 → 100

Calls

4 calls:

12.0ms	(/.f64 (+.f64 (pow.f64 x 3) 1/27) (+.f64 1/9 (*.f64 x (-.f64 x 1/3))))
8.0ms	(*.f64 x (-.f64 x 1/3))
6.0ms	(+.f64 1/9 (*.f64 x (-.f64 x 1/3)))
4.0ms	(-.f64 x 1/3)

series276.0ms (12.9%)

Counts

4 → 12

Calls

4 calls:

173.0ms	(/.f64 (+.f64 (pow.f64 x 3) 1/27) (+.f64 1/9 (*.f64 x (-.f64 x 1/3))))
57.0ms	(*.f64 x (-.f64 x 1/3))
26.0ms	(-.f64 x 1/3)
20.0ms	(+.f64 1/9 (*.f64 x (-.f64 x 1/3)))

simplify89.0ms (4.1%)

Algorithm

1×	egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	5456	1706

prune148.0ms (6.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	111	1	112
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	112	3	115

Merged error: 0b

Counts

115 → 3

Compiler

Compiled 2179 to 1694 computations (22.3% saved)

localize11.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 x 1/3)
0.2b	(*.f64 x (-.f64 x 1/3))
0.4b	(/.f64 1 (+.f64 1/9 (*.f64 x (-.f64 x 1/3))))
21.9b	(.f64 (+.f64 (pow.f64 x 3) 1/27) (/.f64 1 (+.f64 1/9 (.f64 x (-.f64 x 1/3)))))

rewrite49.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`add-sqr-sqrt_binary64_8013`
32×	`*-un-lft-identity_binary64_7991`
25×	`add-cube-cbrt_binary64_8026`
20×	`associate-r_binary64_7931` `times-frac_binary64_7997`
19×	`add-exp-log_binary64_8029`
13×	`add-cbrt-cube_binary64_8027`
9×	`pow1_binary64_8052` `cancel-sign-sub-inv_binary64_7957`
7×	`associate-l_binary64_7932`
6×	`add-log-exp_binary64_8030`
5×	`prod-exp_binary64_8040`
4×	`flip-+_binary64_7965` `associate-/r/_binary64_7937` `distribute-rgt-in_binary64_7941` `flip3-+_binary64_7994` `distribute-lft-in_binary64_7940` `div-exp_binary64_8042` `unswap-sqr_binary64_7959`
3×	`cbrt-unprod_binary64_8024` `associate-/r_binary64_7935` `associate-/l_binary64_7936` `sub-neg_binary64_7984` `associate-*r/_binary64_7933`
2×	`-commutative_binary64_7922` `1-exp_binary64_8035` `flip--_binary64_7966` `cbrt-undiv_binary64_8025` `flip3--_binary64_7995` `associate-l/_binary64_7934` `pow-prod-down_binary64_8062` `distribute-lft-out--_binary64_7943` `difference-of-squares_binary64_7960` `rec-exp_binary64_8041` `div-inv_binary64_7988` `frac-times_binary64_8001`
1×	`inv-pow_binary64_8076` `pow-flip_binary64_8065` `un-div-inv_binary64_7989` `frac-2neg_binary64_8002` `clear-num_binary64_7990` `distribute-lft-out_binary64_7942` `diff-log_binary64_8083`

Counts

4 → 122

Calls

4 calls:

19.0ms	(.f64 (+.f64 (pow.f64 x 3) 1/27) (/.f64 1 (+.f64 1/9 (.f64 x (-.f64 x 1/3)))))
8.0ms	(*.f64 x (-.f64 x 1/3))
6.0ms	(/.f64 1 (+.f64 1/9 (*.f64 x (-.f64 x 1/3))))
4.0ms	(-.f64 x 1/3)

series294.0ms (13.7%)

Counts

4 → 12

Calls

4 calls:

180.0ms	(.f64 (+.f64 (pow.f64 x 3) 1/27) (/.f64 1 (+.f64 1/9 (.f64 x (-.f64 x 1/3)))))
51.0ms	(*.f64 x (-.f64 x 1/3))
38.0ms	(/.f64 1 (+.f64 1/9 (*.f64 x (-.f64 x 1/3))))
25.0ms	(-.f64 x 1/3)

simplify98.0ms (4.5%)

Algorithm

1×	egg-herbie

Counts

134 → 134

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	5377	2111

prune185.0ms (8.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	134	0	134
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	134	3	137

Merged error: 0b

Counts

137 → 3

Compiler

Compiled 2762 to 2204 computations (20.2% saved)

localize6.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 x 1/3)
0.5b	(pow.f64 (+.f64 x 1/3) 3)
21.3b	(cbrt.f64 (pow.f64 (+.f64 x 1/3) 3))

rewrite19.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`*-un-lft-identity_binary64_7991`
14×	`cbrt-prod_binary64_8022`
9×	`add-cube-cbrt_binary64_8026` `add-sqr-sqrt_binary64_8013`
8×	`cube-prod_binary64_8019` `unpow-prod-down_binary64_8070`
5×	`add-log-exp_binary64_8030` `distribute-lft-out_binary64_7942`
4×	`pow1_binary64_8052` `add-cbrt-cube_binary64_8027` `cube-div_binary64_8020` `add-exp-log_binary64_8029`
3×	`flip-+_binary64_7965` `pow-unpow_binary64_8068` `flip3-+_binary64_7994`
2×	`cube-mult_binary64_8021` `sqr-pow_binary64_7963` `unpow3_binary64_8057` `cbrt-div_binary64_8023`
1×	`pow-exp_binary64_8059` `pow1/3_binary64_8073` `pow-to-exp_binary64_8060` `+-commutative_binary64_7921` `rem-cbrt-cube_binary64_8015` `pow-pow_binary64_8063` `sum-log_binary64_8082` `rem-cube-cbrt_binary64_8014`

Counts

3 → 64

Calls

3 calls:

6.0ms	(cbrt.f64 (pow.f64 (+.f64 x 1/3) 3))
5.0ms	(pow.f64 (+.f64 x 1/3) 3)
3.0ms	(+.f64 x 1/3)

series73.0ms (3.4%)

Counts

3 → 9

Calls

3 calls:

25.0ms	(+.f64 x 1/3)
24.0ms	(cbrt.f64 (pow.f64 (+.f64 x 1/3) 3))
24.0ms	(pow.f64 (+.f64 x 1/3) 3)

simplify67.0ms (3.1%)

Algorithm

1×	egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5236	639

prune69.0ms (3.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	73	0	73
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	73	3	76

Merged error: 0b

Counts

76 → 3

Compiler

Compiled 755 to 633 computations (16.2% saved)

regimes19.0ms (0.9%)

Compiler: Compiled 64 to 60 computations (6.3% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	4
1	8	4

end0.0ms (0%)

sample340.0ms (15.8%)

Algorithm

1×

intervals

Results

157.0ms

8000×

body

128

valid

Compiler

Compiled 35 to 34 computations (2.9% saved)

Details

analyze3.0ms (0.1%)

sample10.0ms (0.4%)

simplify173.0ms (8.1%)

prune5.0ms (0.2%)

localize3.0ms (0.2%)

rewrite9.0ms (0.4%)

series27.0ms (1.3%)

simplify103.0ms (4.8%)

prune21.0ms (1%)

localize10.0ms (0.4%)

rewrite39.0ms (1.8%)

series276.0ms (12.9%)

simplify89.0ms (4.1%)

prune148.0ms (6.9%)

localize11.0ms (0.5%)

rewrite49.0ms (2.3%)

series294.0ms (13.7%)

simplify98.0ms (4.5%)

prune185.0ms (8.6%)

localize6.0ms (0.3%)

rewrite19.0ms (0.9%)

series73.0ms (3.4%)

simplify67.0ms (3.1%)

prune69.0ms (3.2%)

regimes19.0ms (0.9%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample340.0ms (15.8%)

Profiling