Details

analyze2.0ms (0.2%)

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)

sample9.0ms (0.7%)

Algorithm

1×

intervals

Results

4.0ms

256×

body

128

valid

Compiler

Compiled 11 to 12 computations (-9.1% saved)

simplify89.0ms (7.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	8	4
1	8	4

prune3.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.0b

Counts

2 → 1

Compiler

Compiled 6 to 6 computations (0% saved)

localize2.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b	(+.f64 x 1/3)

rewrite4.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`add-log-exp_binary64_5232` `*-un-lft-identity_binary64_5193`
1×	`add-cbrt-cube_binary64_5229` `add-cube-cbrt_binary64_5228` `sum-log_binary64_5284` `flip-+_binary64_5167` `distribute-lft-out_binary64_5144` `add-exp-log_binary64_5231` `+-commutative_binary64_5123` `flip3-+_binary64_5196` `add-sqr-sqrt_binary64_5215` `pow1_binary64_5254`

Counts

1 → 12

Calls

1 calls:

3.0ms

(+.f64 x 1/3)

series13.0ms (1.1%)

Counts

1 → 5

Calls

1 calls:

13.0ms

(+.f64 x 1/3)

Compiler

Compiled 28 to 29 computations (-3.6% saved)

simplify90.0ms (7.5%)

Algorithm

1×	egg-herbie

Counts

17 → 17

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	4799	109
1	4799	109

prune12.0ms (1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	15	2	17
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	15	3	18

Merged error: 0b

Counts

18 → 3

Compiler

Compiled 121 to 96 computations (20.7% saved)

localize4.0ms (0.3%)

Local error

Found 3 expressions with local error:

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

rewrite24.0ms (2%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`*-un-lft-identity_binary64_5193`
26×	`sqrt-prod_binary64_5209`
25×	`add-sqr-sqrt_binary64_5215`
18×	`pow1_binary64_5254`
12×	`sqrt-div_binary64_5210`
11×	`add-cube-cbrt_binary64_5228` `swap-sqr_binary64_5160`
8×	`flip-+_binary64_5167` `pow1/2_binary64_5273` `distribute-lft-out_binary64_5144` `sqrt-pow1_binary64_5211` `flip3-+_binary64_5196`
7×	`associate-l_binary64_5134` `add-log-exp_binary64_5232` `associate-r_binary64_5133`
5×	`add-cbrt-cube_binary64_5229` `pow-prod-up_binary64_5263` `add-exp-log_binary64_5231`
4×	`frac-times_binary64_5203` `unswap-sqr_binary64_5161`
3×	`pow-prod-down_binary64_5264` `pow-sqr_binary64_5166`
2×	`associate-l/_binary64_5136` `sum-log_binary64_5284` `+-commutative_binary64_5123` `rem-sqrt-square_binary64_5206` `associate-r/_binary64_5135`
1×	`pow-plus_binary64_5256` `pow2_binary64_5274` `*-commutative_binary64_5124` `rem-square-sqrt_binary64_5205` `prod-exp_binary64_5242` `sqrt-unprod_binary64_5213` `cbrt-unprod_binary64_5226` `sqr-abs_binary64_5208`

Counts

3 → 87

Calls

3 calls:

11.0ms	(*.f64 (sqrt.f64 (+.f64 x 1/3)) (sqrt.f64 (+.f64 x 1/3)))
3.0ms	(+.f64 x 1/3)
3.0ms	(+.f64 x 1/3)

series48.0ms (4%)

Counts

3 → 15

Calls

3 calls:

18.0ms	(+.f64 x 1/3)
16.0ms	(+.f64 x 1/3)
14.0ms	(*.f64 (sqrt.f64 (+.f64 x 1/3)) (sqrt.f64 (+.f64 x 1/3)))

Compiler

Compiled 180 to 167 computations (7.2% saved)

simplify61.0ms (5.1%)

Algorithm

1×	egg-herbie

Counts

102 → 102

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5934	792

prune72.0ms (6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	102	0	102
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	102	3	105

Merged error: 0b

Counts

105 → 3

Compiler

Compiled 1043 to 830 computations (20.4% saved)

localize8.0ms (0.7%)

Local error

Found 4 expressions with local error:

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

rewrite32.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Rules

32×	`*-un-lft-identity_binary64_5193`
26×	`add-sqr-sqrt_binary64_5215`
20×	`add-cube-cbrt_binary64_5228`
15×	`cancel-sign-sub-inv_binary64_5159`
12×	`times-frac_binary64_5199`
8×	`add-cbrt-cube_binary64_5229` `add-log-exp_binary64_5232` `distribute-rgt-in_binary64_5143` `add-exp-log_binary64_5231` `distribute-lft-in_binary64_5142` `associate-+r+_binary64_5125`
6×	`pow1_binary64_5254`
5×	`sub-neg_binary64_5186` `associate-r_binary64_5133`
4×	`associate-/l*_binary64_5138` `distribute-lft-out_binary64_5144`
3×	`associate-l_binary64_5134` `flip-+_binary64_5167` `flip3-+_binary64_5196` `associate-/r*_binary64_5137`
2×	`distribute-lft-out--_binary64_5145` `flip3--_binary64_5197` `flip--_binary64_5168` `difference-of-squares_binary64_5162` `associate-/l/_binary64_5140` `associate-/r/_binary64_5139` `associate-*r/_binary64_5135`
1×	`pow-prod-down_binary64_5264` `sum-log_binary64_5284` `*-commutative_binary64_5124` `div-inv_binary64_5190` `cbrt-undiv_binary64_5227` `clear-num_binary64_5192` `+-commutative_binary64_5123` `div-exp_binary64_5244` `diff-log_binary64_5285` `prod-exp_binary64_5242` `unswap-sqr_binary64_5161` `cbrt-unprod_binary64_5226` `frac-2neg_binary64_5204`

Counts

4 → 100

Calls

4 calls:

10.0ms	(/.f64 (+.f64 (pow.f64 x 3) 1/27) (+.f64 1/9 (*.f64 x (-.f64 x 1/3))))
7.0ms	(*.f64 x (-.f64 x 1/3))
4.0ms	(+.f64 1/9 (*.f64 x (-.f64 x 1/3)))
4.0ms	(-.f64 x 1/3)

series153.0ms (12.7%)

Counts

4 → 23

Calls

4 calls:

64.0ms	(+.f64 1/9 (*.f64 x (-.f64 x 1/3)))
52.0ms	(/.f64 (+.f64 (pow.f64 x 3) 1/27) (+.f64 1/9 (*.f64 x (-.f64 x 1/3))))
19.0ms	(-.f64 x 1/3)
18.0ms	(*.f64 x (-.f64 x 1/3))

Compiler

Compiled 423 to 379 computations (10.4% saved)

simplify69.0ms (5.7%)

Algorithm

1×	egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5100	1786

prune125.0ms (10.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	123	0	123
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	123	3	126

Merged error: 0b

Counts

126 → 3

Compiler

Compiled 2240 to 1726 computations (22.9% saved)

regimes34.0ms (2.8%)

Compiler: Compiled 112 to 109 computations (2.7% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	4
1	5	4

end0.0ms (0%)

sample347.0ms (28.8%)

Algorithm

1×

intervals

Results

145.0ms

8000×

body

128

valid

Compiler

Compiled 51 to 50 computations (2% saved)

Details

analyze2.0ms (0.2%)

sample9.0ms (0.7%)

simplify89.0ms (7.4%)

prune3.0ms (0.2%)

localize2.0ms (0.2%)

rewrite4.0ms (0.3%)

series13.0ms (1.1%)

simplify90.0ms (7.5%)

prune12.0ms (1%)

localize4.0ms (0.3%)

rewrite24.0ms (2%)

series48.0ms (4%)

simplify61.0ms (5.1%)

prune72.0ms (6%)

localize8.0ms (0.7%)

rewrite32.0ms (2.7%)

series153.0ms (12.7%)

simplify69.0ms (5.7%)

prune125.0ms (10.4%)

regimes34.0ms (2.8%)

bsearch0.0ms (0%)

simplify2.0ms (0.2%)

end0.0ms (0%)

sample347.0ms (28.8%)

Profiling