Details

analyze223.0ms (5.5%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	14
1	7	14
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
25%	74.9%	0.1%	4
43.7%	56.2%	0.1%	5
65.6%	34.3%	0.1%	6
76.5%	23.4%	0.1%	7
82%	18%	0.1%	8
87.8%	12.1%	0.1%	9
90.7%	9.2%	0.1%	10
93.8%	6.1%	0.1%	11
95.3%	4.6%	0.1%	12
96.8%	3.1%	0.1%	13
97.6%	2.3%	0.1%	14

Compiler

Compiled 6 to 5 computations (16.7% saved)

sample22.0ms (0.5%)

Algorithm

1×

intervals

Results

8.0ms

256×

body

128

valid

Compiler

Compiled 11 to 11 computations (0% saved)

simplify13.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	6	7
1	6	7

prune3.0ms (0.1%)

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

0.0b

Counts

2 → 1

Compiler

Compiled 10 to 8 computations (20% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b	(/.f64 x (+.f64 y x))

rewrite58.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

18×	`*-un-lft-identity_binary64_9285`
12×	`times-frac_binary64_9291`
10×	`add-cube-cbrt_binary64_9320` `add-sqr-sqrt_binary64_9307`
4×	`distribute-lft-out_binary64_9236` `associate-/r*_binary64_9229`
3×	`add-exp-log_binary64_9323` `add-cbrt-cube_binary64_9321` `associate-/l*_binary64_9230`
2×	`associate-/r/_binary64_9231`
1×	`pow1_binary64_9346` `div-exp_binary64_9336` `add-log-exp_binary64_9324` `cbrt-undiv_binary64_9319` `frac-2neg_binary64_9296` `clear-num_binary64_9284` `div-inv_binary64_9282` `flip3-+_binary64_9288` `flip-+_binary64_9259`

Counts

1 → 33

Calls

1 calls:

10.0ms

(/.f64 x (+.f64 y x))

Compiler

Compiled 404 to 116 computations (71.3% saved)

series156.0ms (3.8%)

Error

0.0b

Counts

1 → 21

Calls

1 calls:

125.0ms

(/.f64 x (+.f64 y x))

Compiler

Compiled 537 to 397 computations (26.1% saved)

simplify99.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

54 → 54

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	5090	719

prune57.0ms (1.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	52	2	54
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	52	3	55

Error

Counts

55 → 3

Compiler

Compiled 584 to 183 computations (68.7% saved)

localize12.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 x (+.f64 x y))
0.1b	(pow.f64 (/.f64 x (+.f64 x y)) 3)
15.6b	(cbrt.f64 (pow.f64 (/.f64 x (+.f64 x y)) 3))

rewrite262.0ms (6.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

78×	`*-un-lft-identity_binary64_9285`
60×	`times-frac_binary64_9291`
46×	`add-cube-cbrt_binary64_9320` `add-sqr-sqrt_binary64_9307`
42×	`cbrt-prod_binary64_9316`
36×	`unpow-prod-down_binary64_9364` `cube-prod_binary64_9313`
16×	`distribute-lft-out_binary64_9236`
10×	`associate-/r/_binary64_9231`
8×	`add-exp-log_binary64_9323` `add-cbrt-cube_binary64_9321`
5×	`div-inv_binary64_9282` `flip3-+_binary64_9288` `flip-+_binary64_9259`
4×	`pow1_binary64_9346` `associate-/r*_binary64_9229`
3×	`add-log-exp_binary64_9324` `pow-unpow_binary64_9362` `associate-/l*_binary64_9230`
2×	`cube-div_binary64_9314` `unpow3_binary64_9351` `cube-mult_binary64_9315` `sqr-pow_binary64_9257` `div-exp_binary64_9336` `pow-exp_binary64_9353` `rem-cube-cbrt_binary64_9308` `cbrt-undiv_binary64_9319`
1×	`pow1/3_binary64_9367` `cbrt-div_binary64_9317` `rem-cbrt-cube_binary64_9309` `pow-pow_binary64_9357` `pow-to-exp_binary64_9354` `frac-2neg_binary64_9296` `clear-num_binary64_9284`

Counts

3 → 141

Calls

3 calls:

18.0ms	(cbrt.f64 (pow.f64 (/.f64 x (+.f64 x y)) 3))
13.0ms	(pow.f64 (/.f64 x (+.f64 x y)) 3)
10.0ms	(/.f64 x (+.f64 x y))

Compiler

Compiled 2470 to 1006 computations (59.3% saved)

series579.0ms (14.2%)

Error

Counts

3 → 63

Calls

3 calls:

203.0ms	(pow.f64 (/.f64 x (+.f64 x y)) 3)
149.0ms	(cbrt.f64 (pow.f64 (/.f64 x (+.f64 x y)) 3))
130.0ms	(/.f64 x (+.f64 x y))

Compiler

Compiled 2051 to 1637 computations (20.2% saved)

simplify110.0ms (2.7%)

Algorithm

1×	egg-herbie

Counts

204 → 204

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5339	3232

prune238.0ms (5.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	204	0	204
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	204	3	207

Error

Counts

207 → 3

Compiler

Compiled 2732 to 1077 computations (60.6% saved)

localize12.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b	(-.f64 1 (/.f64 y x))
0.1b	(*.f64 (/.f64 y x) (-.f64 1 (/.f64 y x)))

rewrite502.0ms (12.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

52×	`add-sqr-sqrt_binary64_9307`
41×	`times-frac_binary64_9291`
39×	`*-un-lft-identity_binary64_9285` `cancel-sign-sub-inv_binary64_9251`
31×	`add-cube-cbrt_binary64_9320`
14×	`distribute-rgt-in_binary64_9235` `distribute-lft-in_binary64_9234`
13×	`associate-l_binary64_9226`
8×	`associate-r_binary64_9225` `difference-of-squares_binary64_9254`
7×	`add-exp-log_binary64_9323` `add-cbrt-cube_binary64_9321`
4×	`pow1_binary64_9346` `add-log-exp_binary64_9324` `div-inv_binary64_9282`
3×	`flip3--_binary64_9289` `flip--_binary64_9260` `sub-neg_binary64_9278`
2×	`prod-exp_binary64_9334` `cbrt-unprod_binary64_9318` `frac-times_binary64_9295` `unswap-sqr_binary64_9253` `associate-*r/_binary64_9227` `distribute-lft-out--_binary64_9237`
1×	`pow-prod-down_binary64_9356` `div-exp_binary64_9336` `cbrt-undiv_binary64_9319` `associate-l/_binary64_9228` `-commutative_binary64_9216` `diff-log_binary64_9377`

Counts

2 → 98

Calls

2 calls:

32.0ms	(*.f64 (/.f64 y x) (-.f64 1 (/.f64 y x)))
14.0ms	(-.f64 1 (/.f64 y x))

Compiler

Compiled 2031 to 878 computations (56.8% saved)

series381.0ms (9.3%)

Error

Counts

2 → 24

Calls

2 calls:

254.0ms	(*.f64 (/.f64 y x) (-.f64 1 (/.f64 y x)))
100.0ms	(-.f64 1 (/.f64 y x))

Compiler

Compiled 636 to 462 computations (27.4% saved)

simplify159.0ms (3.9%)

Algorithm

1×	egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (119.0ms)

Iter	Nodes	Cost
0	4967	1648
1	4967	1648

prune149.0ms (3.6%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	122	0	122
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	122	3	125

Error

Counts

125 → 3

Compiler

Compiled 1807 to 843 computations (53.3% saved)

regimes115.0ms (2.8%)

Accuracy

Total 0.0b remaining (81.6%)

Threshold costs 0.0b (81.6%)

Compiler

Compiled 416 to 262 computations (37% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	6	7

end0.0ms (0%)

sample921.0ms (22.6%)

Algorithm

1×

intervals

Results

270.0ms

8000×

body

128

valid

Compiler

Compiled 145 to 93 computations (35.9% saved)

Details

analyze223.0ms (5.5%)

sample22.0ms (0.5%)

simplify13.0ms (0.3%)

prune3.0ms (0.1%)

localize7.0ms (0.2%)

rewrite58.0ms (1.4%)

series156.0ms (3.8%)

simplify99.0ms (2.4%)

prune57.0ms (1.4%)

localize12.0ms (0.3%)

rewrite262.0ms (6.4%)

series579.0ms (14.2%)

simplify110.0ms (2.7%)

prune238.0ms (5.8%)

localize12.0ms (0.3%)

rewrite502.0ms (12.3%)

series381.0ms (9.3%)

simplify159.0ms (3.9%)

prune149.0ms (3.6%)

regimes115.0ms (2.8%)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample921.0ms (22.6%)

Profiling