Details

analyze133.0ms (5.6%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	20
1	13	20
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
25%	74.9%	0.1%	3
25%	74.9%	0.1%	4
43.7%	56.2%	0.1%	5
46.8%	53.1%	0.1%	6
78%	21.9%	0.1%	7
82.7%	17.2%	0.1%	8
89%	10.9%	0.1%	9
91.3%	8.6%	0.1%	10
94.4%	5.5%	0.1%	11
95.6%	4.3%	0.1%	12
97.2%	2.7%	0.1%	13
97.8%	2.1%	0.1%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample14.0ms (0.6%)

Algorithm

1×

intervals

Results

5.0ms

256×

body

128

valid

Compiler

Compiled 15 to 15 computations (0% saved)

simplify7.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	10	10
1	10	10

prune2.0ms (0.1%)

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 → 1

Compiler

Compiled 14 to 12 computations (14.3% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite45.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

31×	`*-un-lft-identity_binary64_10649`
16×	`times-frac_binary64_10655`
11×	`add-cube-cbrt_binary64_10684` `add-sqr-sqrt_binary64_10671`
10×	`distribute-lft-out_binary64_10600`
4×	`associate-/l_binary64_10594` `associate-/r_binary64_10593`
3×	`add-exp-log_binary64_10687` `add-cbrt-cube_binary64_10685`
2×	`flip3-+_binary64_10652` `associate-/l/_binary64_10596` `flip-+_binary64_10623` `associate-/r/_binary64_10595`
1×	`pow1_binary64_10710` `div-exp_binary64_10700` `add-log-exp_binary64_10688` `cbrt-undiv_binary64_10683` `frac-2neg_binary64_10660` `clear-num_binary64_10648` `div-inv_binary64_10646`

Counts

1 → 40

Calls

1 calls:

8.0ms

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

Compiler

Compiled 618 to 329 computations (46.8% saved)

series104.0ms (4.4%)

Error

0.0b

Counts

1 → 18

Calls

1 calls:

88.0ms

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

Compiler

Compiled 489 to 360 computations (26.4% saved)

simplify78.0ms (3.3%)

Algorithm

1×	egg-herbie

Counts

58 → 58

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	4948	978
1	4948	978

prune46.0ms (1.9%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	56	2	58
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	57	2	59

Error

Counts

59 → 2

Compiler

Compiled 808 to 426 computations (47.3% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite37.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

18×	`*-un-lft-identity_binary64_10649`
12×	`times-frac_binary64_10655`
10×	`add-cube-cbrt_binary64_10684` `add-sqr-sqrt_binary64_10671`
4×	`distribute-lft-out_binary64_10600` `associate-/r*_binary64_10593`
3×	`add-exp-log_binary64_10687` `add-cbrt-cube_binary64_10685` `associate-/l*_binary64_10594`
2×	`associate-/r/_binary64_10595`
1×	`pow1_binary64_10710` `div-exp_binary64_10700` `add-log-exp_binary64_10688` `cbrt-undiv_binary64_10683` `frac-2neg_binary64_10660` `clear-num_binary64_10648` `div-inv_binary64_10646` `flip3-+_binary64_10652` `flip-+_binary64_10623`

Counts

1 → 33

Calls

1 calls:

5.0ms

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

Compiler

Compiled 602 to 398 computations (33.9% saved)

series66.0ms (2.8%)

Error

Counts

1 → 11

Calls

1 calls:

57.0ms

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

Compiler

Compiled 353 to 242 computations (31.4% saved)

simplify99.0ms (4.2%)

Algorithm

1×	egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 0 (88.0ms)

Iter	Nodes	Cost
0	4919	512
1	4919	512

prune33.0ms (1.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

Counts

46 → 2

Compiler

Compiled 712 to 449 computations (36.9% saved)

localize12.0ms (0.5%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (.f64 y y) (-.f64 (.f64 1 1) (*.f64 y 1)))
3.2b	(/.f64 (+.f64 y x) (+.f64 1 (pow.f64 y 3)))
18.1b	(.f64 (/.f64 (+.f64 y x) (+.f64 1 (pow.f64 y 3))) (+.f64 (.f64 y y) (-.f64 (.f64 1 1) (.f64 y 1))))

rewrite201.0ms (8.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

59×	`*-un-lft-identity_binary64_10649`
33×	`times-frac_binary64_10655`
28×	`add-sqr-sqrt_binary64_10671`
23×	`add-cube-cbrt_binary64_10684`
22×	`associate-l_binary64_10590`
18×	`distribute-lft-out_binary64_10600`
10×	`add-exp-log_binary64_10687` `add-cbrt-cube_binary64_10685`
8×	`add-log-exp_binary64_10688`
6×	`flip3-+_binary64_10652` `flip-+_binary64_10623`
5×	`pow1_binary64_10710`
4×	`associate-/r/_binary64_10595` `associate-/l_binary64_10594` `associate-/r_binary64_10593`
3×	`associate-r_binary64_10589`
2×	`div-exp_binary64_10700` `prod-exp_binary64_10698` `cbrt-unprod_binary64_10682` `cbrt-undiv_binary64_10683` `frac-times_binary64_10659` `unswap-sqr_binary64_10617` `associate-*r/_binary64_10591` `div-inv_binary64_10646` `associate-/l/_binary64_10596` `sum-log_binary64_10740` `associate-+r+_binary64_10581`
1×	`pow-prod-down_binary64_10720` `distribute-rgt-in_binary64_10599` `distribute-lft-in_binary64_10598` `associate-l/_binary64_10592` `-commutative_binary64_10580` `frac-2neg_binary64_10660` `clear-num_binary64_10648` `diff-log_binary64_10741` `associate-+r-_binary64_10583` `sub-neg_binary64_10642` `cancel-sign-sub-inv_binary64_10615` `+-commutative_binary64_10579`

Counts

3 → 102

Calls

3 calls:

23.0ms	(.f64 (/.f64 (+.f64 y x) (+.f64 1 (pow.f64 y 3))) (+.f64 (.f64 y y) (-.f64 (.f64 1 1) (.f64 y 1))))
10.0ms	(/.f64 (+.f64 y x) (+.f64 1 (pow.f64 y 3)))
8.0ms	(+.f64 (.f64 y y) (-.f64 (.f64 1 1) (*.f64 y 1)))

Compiler

Compiled 3414 to 2183 computations (36.1% saved)

series434.0ms (18.3%)

Error

Counts

3 → 43

Calls

3 calls:

212.0ms	(.f64 (/.f64 (+.f64 y x) (+.f64 1 (pow.f64 y 3))) (+.f64 (.f64 y y) (-.f64 (.f64 1 1) (.f64 y 1))))
134.0ms	(/.f64 (+.f64 y x) (+.f64 1 (pow.f64 y 3)))
47.0ms	(+.f64 (.f64 y y) (-.f64 (.f64 1 1) (*.f64 y 1)))

Compiler

Compiled 2127 to 1611 computations (24.3% saved)

simplify82.0ms (3.4%)

Algorithm

1×	egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5166	3203

prune170.0ms (7.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

147 → 2

Compiler

Compiled 3687 to 2246 computations (39.1% saved)

regimes111.0ms (4.7%)

Accuracy

Total 0.0b remaining (91.2%)

Threshold costs 0.0b (91.2%)

Compiler

Compiled 905 to 694 computations (23.3% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	16
1	11	16

end0.0ms (0%)

sample689.0ms (29%)

Algorithm

1×

intervals

Results

179.0ms

8000×

body

128

valid

Compiler

Compiled 293 to 226 computations (22.9% saved)

Details

analyze133.0ms (5.6%)

sample14.0ms (0.6%)

simplify7.0ms (0.3%)

prune2.0ms (0.1%)

localize4.0ms (0.2%)

rewrite45.0ms (1.9%)

series104.0ms (4.4%)

simplify78.0ms (3.3%)

prune46.0ms (1.9%)

localize6.0ms (0.2%)

rewrite37.0ms (1.6%)

series66.0ms (2.8%)

simplify99.0ms (4.2%)

prune33.0ms (1.4%)

localize12.0ms (0.5%)

rewrite201.0ms (8.4%)

series434.0ms (18.3%)

simplify82.0ms (3.4%)

prune170.0ms (7.2%)

regimes111.0ms (4.7%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample689.0ms (29%)

Profiling