Details

analyze718.0ms (7.1%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3819	52
1	3819	52
0	3	3
1	3	3

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
12.5%	87.4%	0.1%	4
12.5%	87.4%	0.1%	5
15.6%	84.3%	0.1%	6
32.8%	67.1%	0.1%	7
38.2%	61.6%	0.1%	8
46%	53.8%	0.1%	9
62.6%	37.3%	0.1%	10
67.2%	32.7%	0.1%	11
71.1%	28.8%	0.1%	12
81.6%	18.2%	0.1%	13
84.1%	15.7%	0.1%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample17.0ms (0.2%)

Algorithm

1×

intervals

Results

7.0ms

256×

body

128

valid

Compiler

Compiled 19 to 20 computations (-5.3% saved)

simplify230.0ms (2.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (222.0ms)

Iter	Nodes	Cost
0	3019	13
1	3019	13

prune2.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

6.4b

Counts

2 → 1

Compiler

Compiled 18 to 16 computations (11.1% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

6.4b	(/.f64 (+.f64 x y) (-.f64 1 (/.f64 y z)))

rewrite114.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

5.2b

Rules

55×	`add-sqr-sqrt_binary64_17491`
53×	`*-un-lft-identity_binary64_17469`
42×	`times-frac_binary64_17475`
20×	`difference-of-squares_binary64_17438`
15×	`add-cube-cbrt_binary64_17504`
9×	`distribute-lft-out_binary64_17420`
8×	`associate-/r*_binary64_17413`
5×	`distribute-lft-out--_binary64_17421`
4×	`associate-/l*_binary64_17414`
3×	`add-exp-log_binary64_17507` `add-cbrt-cube_binary64_17505`
2×	`associate-/l/_binary64_17416` `associate-/r/_binary64_17415`
1×	`pow1_binary64_17530` `div-exp_binary64_17520` `add-log-exp_binary64_17508` `cbrt-undiv_binary64_17503` `frac-2neg_binary64_17480` `clear-num_binary64_17468` `div-inv_binary64_17466` `flip3-+_binary64_17472` `flip-+_binary64_17443` `flip3--_binary64_17473` `flip--_binary64_17444`

Counts

1 → 60

Calls

1 calls:

24.0ms

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

Compiler

Compiled 1216 to 500 computations (58.9% saved)

series267.0ms (2.6%)

Error

0.0b

Counts

1 → 23

Calls

1 calls:

231.0ms

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

Compiler

Compiled 966 to 662 computations (31.5% saved)

simplify89.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	5383	1942

prune107.0ms (1.1%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	79	4	83
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	80	4	84

Error

0.0b

Counts

84 → 4

Compiler

Compiled 1555 to 607 computations (61% saved)

localize11.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (/.f64 y (-.f64 1 (/.f64 y z))) (/.f64 x (-.f64 1 (/.f64 y z))))
1.2b	(/.f64 x (-.f64 1 (/.f64 y z)))
6.3b	(/.f64 y (-.f64 1 (/.f64 y z)))

rewrite266.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

111×	`add-sqr-sqrt_binary64_17491`
99×	`*-un-lft-identity_binary64_17469`
88×	`times-frac_binary64_17475`
40×	`difference-of-squares_binary64_17438`
31×	`add-cube-cbrt_binary64_17504`
16×	`associate-/r*_binary64_17413`
12×	`distribute-lft-out--_binary64_17421`
11×	`distribute-lft-out_binary64_17420`
8×	`associate-/r/_binary64_17415`
7×	`add-exp-log_binary64_17507` `add-cbrt-cube_binary64_17505`
6×	`associate-/l*_binary64_17414`
5×	`add-log-exp_binary64_17508`
4×	`div-inv_binary64_17466` `flip3--_binary64_17473` `flip--_binary64_17444`
3×	`pow1_binary64_17530` `distribute-rgt-out_binary64_17422`
2×	`div-exp_binary64_17520` `cbrt-undiv_binary64_17503` `frac-2neg_binary64_17480` `clear-num_binary64_17468`
1×	`sum-log_binary64_17560` `frac-add_binary64_17477` `flip3-+_binary64_17472` `flip-+_binary64_17443` `+-commutative_binary64_17399`

Counts

3 → 124

Calls

3 calls:

69.0ms	(+.f64 (/.f64 y (-.f64 1 (/.f64 y z))) (/.f64 x (-.f64 1 (/.f64 y z))))
19.0ms	(/.f64 y (-.f64 1 (/.f64 y z)))
13.0ms	(/.f64 x (-.f64 1 (/.f64 y z)))

Compiler

Compiled 3194 to 1557 computations (51.3% saved)

series566.0ms (5.6%)

Error

0.0b

Counts

3 → 56

Calls

3 calls:

296.0ms	(+.f64 (/.f64 y (-.f64 1 (/.f64 y z))) (/.f64 x (-.f64 1 (/.f64 y z))))
145.0ms	(/.f64 x (-.f64 1 (/.f64 y z)))
80.0ms	(/.f64 y (-.f64 1 (/.f64 y z)))

Compiler

Compiled 2505 to 1701 computations (32.1% saved)

simplify109.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

180 → 180

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	5449	3540

prune202.0ms (2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	180	0	180
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	180	4	184

Error

0.0b

Counts

184 → 4

Compiler

Compiled 3930 to 1753 computations (55.4% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.2b	(*.f64 (/.f64 y z) (/.f64 y z))
5.3b	(/.f64 (+.f64 y x) (-.f64 1 (*.f64 (/.f64 y z) (/.f64 y z))))
10.6b	(.f64 (/.f64 (+.f64 y x) (-.f64 1 (.f64 (/.f64 y z) (/.f64 y z)))) (+.f64 1 (/.f64 y z)))

rewrite319.0ms (3.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

86×	`*-un-lft-identity_binary64_17469`
81×	`times-frac_binary64_17475`
79×	`add-sqr-sqrt_binary64_17491`
53×	`add-cube-cbrt_binary64_17504`
39×	`associate-l_binary64_17410`
22×	`add-exp-log_binary64_17507` `add-cbrt-cube_binary64_17505`
18×	`difference-of-squares_binary64_17438`
17×	`associate-r_binary64_17409`
13×	`swap-sqr_binary64_17436`
12×	`pow1_binary64_17530` `distribute-lft-out_binary64_17420`
6×	`div-exp_binary64_17520` `prod-exp_binary64_17518` `cbrt-unprod_binary64_17502` `cbrt-undiv_binary64_17503` `unswap-sqr_binary64_17437` `div-inv_binary64_17466`
5×	`associate-/r*_binary64_17413`
4×	`associate-/r/_binary64_17415` `associate-/l*_binary64_17414`
3×	`add-log-exp_binary64_17508` `flip3-+_binary64_17472` `frac-times_binary64_17479` `flip-+_binary64_17443` `associate-*r/_binary64_17411`
2×	`pow-prod-down_binary64_17540` `associate-l/_binary64_17412` `flip3--_binary64_17473` `flip--_binary64_17444` `-commutative_binary64_17400` `associate-/l/_binary64_17416`
1×	`distribute-rgt-in_binary64_17419` `distribute-lft-in_binary64_17418` `frac-2neg_binary64_17480` `clear-num_binary64_17468` `pow2_binary64_17550` `pow-prod-up_binary64_17539` `pow-plus_binary64_17532` `pow-sqr_binary64_17442`

Counts

3 → 164

Calls

3 calls:

38.0ms	(.f64 (/.f64 (+.f64 y x) (-.f64 1 (.f64 (/.f64 y z) (/.f64 y z)))) (+.f64 1 (/.f64 y z)))
18.0ms	(*.f64 (/.f64 y z) (/.f64 y z))
15.0ms	(/.f64 (+.f64 y x) (-.f64 1 (*.f64 (/.f64 y z) (/.f64 y z))))

Compiler

Compiled 5007 to 1787 computations (64.3% saved)

series819.0ms (8%)

Error

0.0b

Counts

3 → 45

Calls

3 calls:

413.0ms	(.f64 (/.f64 (+.f64 y x) (-.f64 1 (.f64 (/.f64 y z) (/.f64 y z)))) (+.f64 1 (/.f64 y z)))
251.0ms	(/.f64 (+.f64 y x) (-.f64 1 (*.f64 (/.f64 y z) (/.f64 y z))))
96.0ms	(*.f64 (/.f64 y z) (/.f64 y z))

Compiler

Compiled 2608 to 1920 computations (26.4% saved)

simplify96.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

209 → 209

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5393	4537

prune270.0ms (2.7%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	209	0	209
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	209	4	213

Error

0.0b

Counts

213 → 4

Compiler

Compiled 5216 to 2214 computations (57.6% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (+.f64 y x))
0.0b	(sqrt.f64 (+.f64 x y))
1.3b	(/.f64 (-.f64 1 (/.f64 y z)) (sqrt.f64 (+.f64 y x)))
1.5b	(/.f64 (sqrt.f64 (+.f64 x y)) (/.f64 (-.f64 1 (/.f64 y z)) (sqrt.f64 (+.f64 y x))))

rewrite1.3s (12.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

1066×	`times-frac_binary64_17475`
882×	`*-un-lft-identity_binary64_17469`
864×	`add-sqr-sqrt_binary64_17491`
552×	`sqrt-prod_binary64_17485`
350×	`add-cube-cbrt_binary64_17504`
256×	`difference-of-squares_binary64_17438`
138×	`distribute-lft-out_binary64_17420`
69×	`associate-/r*_binary64_17413`
64×	`distribute-lft-out--_binary64_17421`
24×	`sqrt-div_binary64_17486`
19×	`associate-/r/_binary64_17415`
15×	`associate-/l*_binary64_17414`
12×	`flip3-+_binary64_17472` `flip-+_binary64_17443`
11×	`add-exp-log_binary64_17507` `add-cbrt-cube_binary64_17505`
10×	`div-inv_binary64_17466`
6×	`pow1_binary64_17530`
4×	`div-exp_binary64_17520` `add-log-exp_binary64_17508` `cbrt-undiv_binary64_17503` `associate-/l/_binary64_17416`
2×	`frac-2neg_binary64_17480` `clear-num_binary64_17468` `pow1/2_binary64_17549` `sqrt-pow1_binary64_17487` `rem-sqrt-square_binary64_17482`
1×	`div-sub_binary64_17474` `flip3--_binary64_17473` `flip--_binary64_17444`

Counts

4 → 640

Calls

4 calls:

56.0ms	(/.f64 (sqrt.f64 (+.f64 x y)) (/.f64 (-.f64 1 (/.f64 y z)) (sqrt.f64 (+.f64 y x))))
26.0ms	(/.f64 (-.f64 1 (/.f64 y z)) (sqrt.f64 (+.f64 y x)))
3.0ms	(sqrt.f64 (+.f64 y x))
3.0ms	(sqrt.f64 (+.f64 x y))

Compiler

Compiled 21379 to 6857 computations (67.9% saved)

series586.0ms (5.7%)

Error

0.0b

Counts

4 → 54

Calls

4 calls:

242.0ms	(/.f64 (sqrt.f64 (+.f64 x y)) (/.f64 (-.f64 1 (/.f64 y z)) (sqrt.f64 (+.f64 y x))))
220.0ms	(/.f64 (-.f64 1 (/.f64 y z)) (sqrt.f64 (+.f64 y x)))
44.0ms	(sqrt.f64 (+.f64 x y))
38.0ms	(sqrt.f64 (+.f64 y x))

Compiler

Compiled 2757 to 1897 computations (31.2% saved)

simplify337.0ms (3.3%)

Algorithm

1×	egg-herbie

Counts

694 → 694

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	5056	24461

prune952.0ms (9.3%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	694	0	694
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	694	4	698

Error

0.0b

Counts

698 → 4

Compiler

Compiled 18210 to 5752 computations (68.4% saved)

regimes991.0ms (9.7%)

Accuracy

Total 0.5b remaining (99.4%)

Threshold costs 0.5b (99.4%)

Compiler

Compiled 4588 to 3271 computations (28.7% saved)

bsearch3.0ms (0%)

Compiler: Compiled 9 to 8 computations (11.1% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	84	70
1	84	70

end0.0ms (0%)

sample1.8s (17.6%)

Algorithm

1×

intervals

Results

300.0ms	7999×	body	128	valid
0.0ms	1×	body	1024	valid

Compiler

Compiled 1211 to 854 computations (29.5% saved)

Details

analyze718.0ms (7.1%)

sample17.0ms (0.2%)

simplify230.0ms (2.3%)

prune2.0ms (0%)

localize6.0ms (0.1%)

rewrite114.0ms (1.1%)

series267.0ms (2.6%)

simplify89.0ms (0.9%)

prune107.0ms (1.1%)

localize11.0ms (0.1%)

rewrite266.0ms (2.6%)

series566.0ms (5.6%)

simplify109.0ms (1.1%)

prune202.0ms (2%)

localize10.0ms (0.1%)

rewrite319.0ms (3.1%)

series819.0ms (8%)

simplify96.0ms (0.9%)

prune270.0ms (2.7%)

localize11.0ms (0.1%)

rewrite1.3s (12.6%)

series586.0ms (5.7%)

simplify337.0ms (3.3%)

prune952.0ms (9.3%)

regimes991.0ms (9.7%)

bsearch3.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample1.8s (17.6%)

Profiling