Details

analyze18.0ms (0.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	100%	0%	3
75%	25%	0%	4
87.5%	12.5%	0%	5
93.7%	6.2%	0%	6
96.8%	3.1%	0%	7
98.4%	1.6%	0%	8
99.2%	0.8%	0%	9
99.6%	0.4%	0%	10
99.8%	0.2%	0%	11
99.9%	0.1%	0%	12
99.9%	0%	0%	13
99.9%	0%	0%	14

Compiler

Compiled 14 to 11 computations (21.4% saved)

sample46.0ms (0.4%)

Algorithm

1×

intervals

Results

16.0ms	74×	body	1024	valid
6.0ms	119×	body	128	valid
4.0ms	28×	body	512	valid
4.0ms	15×	body	2048	valid
2.0ms	20×	body	256	valid

Compiler

Compiled 27 to 22 computations (18.5% saved)

simplify292.0ms (2.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (143.0ms)

Iter	Nodes	Cost
0	681	19
1	681	19

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

33.5b

Counts

2 → 1

Compiler

Compiled 26 to 20 computations (23.1% saved)

localize13.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (+.f64 x 1) (-.f64 x 1))
0.0b	(/.f64 x (+.f64 x 1))
2.9b	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))

rewrite491.0ms (4.7%)

Algorithm

1×	rewrite-expression-head

Error

33.0b

Rules

148×	`*-un-lft-identity_binary64_5193`
88×	`times-frac_binary64_5199`
85×	`add-sqr-sqrt_binary64_5215`
37×	`add-cube-cbrt_binary64_5228`
34×	`cancel-sign-sub-inv_binary64_5159`
27×	`distribute-lft-out_binary64_5144`
22×	`difference-of-squares_binary64_5162` `distribute-lft-out--_binary64_5145`
11×	`associate-/r*_binary64_5137`
9×	`difference-of-sqr-1_binary64_5163`
7×	`add-exp-log_binary64_5231` `add-cbrt-cube_binary64_5229` `associate-/l*_binary64_5138`
6×	`associate-/r/_binary64_5139`
5×	`add-log-exp_binary64_5232`
3×	`pow1_binary64_5254` `flip3--_binary64_5197` `flip--_binary64_5168` `div-inv_binary64_5190`
2×	`div-exp_binary64_5244` `cbrt-undiv_binary64_5227` `frac-2neg_binary64_5204` `clear-num_binary64_5192` `flip3-+_binary64_5196` `flip-+_binary64_5167` `associate-/l/_binary64_5140`
1×	`diff-log_binary64_5285` `frac-sub_binary64_5202` `sub-neg_binary64_5186`

Counts

3 → 147

Calls

3 calls:

79.0ms	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
15.0ms	(/.f64 (+.f64 x 1) (-.f64 x 1))
10.0ms	(/.f64 x (+.f64 x 1))

Compiler

Compiled 3337 to 2419 computations (27.5% saved)

series279.0ms (2.6%)

Error

0.0b

Counts

3 → 34

Calls

3 calls:

108.0ms	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
56.0ms	(/.f64 (+.f64 x 1) (-.f64 x 1))
54.0ms	(/.f64 x (+.f64 x 1))

Compiler

Compiled 1038 to 855 computations (17.6% saved)

simplify169.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

181 → 181

Iterations

Useful iterations: 0 (108.0ms)

Iter	Nodes	Cost
0	5709	3020

prune325.0ms (3.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	179	2	181
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	179	3	182

Error

0.0b

Counts

182 → 3

Compiler

Compiled 3322 to 2328 computations (29.9% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (/.f64 -3 x) (/.f64 1 (*.f64 x x)))
0.1b	(/.f64 3 (pow.f64 x 3))
0.3b	(/.f64 1 (*.f64 x x))
4.6b	(-.f64 (-.f64 (/.f64 -3 x) (/.f64 1 (*.f64 x x))) (/.f64 3 (pow.f64 x 3)))

rewrite733.0ms (6.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

95×	`times-frac_binary64_5199`
83×	`add-sqr-sqrt_binary64_5215`
72×	`*-un-lft-identity_binary64_5193`
57×	`add-cube-cbrt_binary64_5228`
54×	`cancel-sign-sub-inv_binary64_5159`
22×	`unpow-prod-down_binary64_5272` `cube-prod_binary64_5221`
20×	`add-exp-log_binary64_5231`
13×	`associate-/r*_binary64_5137`
12×	`pow1_binary64_5254`
11×	`add-log-exp_binary64_5232` `add-cbrt-cube_binary64_5229` `difference-of-squares_binary64_5162`
9×	`div-inv_binary64_5190`
8×	`sqr-pow_binary64_5165` `cube-mult_binary64_5223` `distribute-lft-out--_binary64_5145` `associate--l+_binary64_5130`
7×	`unpow3_binary64_5259` `div-exp_binary64_5244`
6×	`pow-flip_binary64_5267` `associate-/l*_binary64_5138`
5×	`frac-sub_binary64_5202`
4×	`diff-log_binary64_5285`
3×	`flip3--_binary64_5197` `flip--_binary64_5168` `sub-neg_binary64_5186` `prod-exp_binary64_5242` `cbrt-undiv_binary64_5227`
2×	`distribute-rgt-out--_binary64_5147` `1-exp_binary64_5237` `rec-exp_binary64_5243` `frac-2neg_binary64_5204` `clear-num_binary64_5192`
1×	`associate--l-_binary64_5131` `inv-pow_binary64_5278` `pow2_binary64_5274` `pow-prod-down_binary64_5264` `pow-prod-up_binary64_5263` `pow-plus_binary64_5256` `pow-sqr_binary64_5166` `cbrt-unprod_binary64_5226` `pow-to-exp_binary64_5262` `pow-exp_binary64_5261`

Counts

4 → 198

Calls

4 calls:

87.0ms	(-.f64 (-.f64 (/.f64 -3 x) (/.f64 1 (*.f64 x x))) (/.f64 3 (pow.f64 x 3)))
23.0ms	(-.f64 (/.f64 -3 x) (/.f64 1 (*.f64 x x)))
11.0ms	(/.f64 3 (pow.f64 x 3))
10.0ms	(/.f64 1 (*.f64 x x))

Compiler

Compiled 4755 to 3345 computations (29.7% saved)

series308.0ms (2.9%)

Error

0.0b

Counts

4 → 19

Calls

4 calls:

106.0ms	(-.f64 (-.f64 (/.f64 -3 x) (/.f64 1 (*.f64 x x))) (/.f64 3 (pow.f64 x 3)))
77.0ms	(-.f64 (/.f64 -3 x) (/.f64 1 (*.f64 x x)))
57.0ms	(/.f64 3 (pow.f64 x 3))
37.0ms	(/.f64 1 (*.f64 x x))

Compiler

Compiled 694 to 588 computations (15.3% saved)

simplify173.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

217 → 217

Iterations

Useful iterations: 0 (105.0ms)

Iter	Nodes	Cost
0	4941	3035
1	4941	3035

prune519.0ms (4.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	215	2	217
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	216	4	220

Error

Counts

220 → 4

Compiler

Compiled 4111 to 2881 computations (29.9% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (/.f64 -3 x) (+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3))))
0.1b	(/.f64 3 (pow.f64 x 3))
0.3b	(/.f64 1 (*.f64 x x))
5.8b	(+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3)))

rewrite454.0ms (4.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

49×	`*-un-lft-identity_binary64_5193`
44×	`times-frac_binary64_5199`
37×	`add-sqr-sqrt_binary64_5215`
32×	`add-cube-cbrt_binary64_5228`
20×	`add-exp-log_binary64_5231`
13×	`associate-/r*_binary64_5137`
12×	`pow1_binary64_5254` `unpow-prod-down_binary64_5272` `cube-prod_binary64_5221`
11×	`add-log-exp_binary64_5232` `add-cbrt-cube_binary64_5229`
8×	`distribute-lft-out_binary64_5144`
7×	`div-exp_binary64_5244`
6×	`cube-mult_binary64_5223` `pow-flip_binary64_5267` `associate-/l*_binary64_5138` `cancel-sign-sub-inv_binary64_5159`
5×	`div-inv_binary64_5190`
4×	`unpow3_binary64_5259` `sqr-pow_binary64_5165`
3×	`prod-exp_binary64_5242` `cbrt-undiv_binary64_5227` `frac-sub_binary64_5202` `distribute-lft-out--_binary64_5145`
2×	`sum-log_binary64_5284` `frac-add_binary64_5201` `flip3-+_binary64_5196` `flip-+_binary64_5167` `1-exp_binary64_5237` `rec-exp_binary64_5243` `frac-2neg_binary64_5204` `clear-num_binary64_5192` `diff-log_binary64_5285` `difference-of-squares_binary64_5162`
1×	`+-commutative_binary64_5123` `inv-pow_binary64_5278` `pow2_binary64_5274` `pow-prod-down_binary64_5264` `pow-prod-up_binary64_5263` `pow-plus_binary64_5256` `pow-sqr_binary64_5166` `cbrt-unprod_binary64_5226` `pow-to-exp_binary64_5262` `pow-exp_binary64_5261` `flip3--_binary64_5197` `sub-neg_binary64_5186` `flip--_binary64_5168` `associate--r+_binary64_5129`

Counts

4 → 139

Calls

4 calls:

63.0ms	(-.f64 (/.f64 -3 x) (+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3))))
37.0ms	(+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3)))
10.0ms	(/.f64 3 (pow.f64 x 3))
9.0ms	(/.f64 1 (*.f64 x x))

Compiler

Compiled 3301 to 2302 computations (30.3% saved)

series353.0ms (3.3%)

Error

Counts

4 → 19

Calls

4 calls:

118.0ms	(+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3)))
104.0ms	(-.f64 (/.f64 -3 x) (+.f64 (/.f64 1 (*.f64 x x)) (/.f64 3 (pow.f64 x 3))))
62.0ms	(/.f64 3 (pow.f64 x 3))
39.0ms	(/.f64 1 (*.f64 x x))

Compiler

Compiled 681 to 575 computations (15.6% saved)

simplify198.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

158 → 158

Iterations

Useful iterations: 0 (144.0ms)

Iter	Nodes	Cost
0	4967	2341
1	4967	2341

prune294.0ms (2.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	158	0	158
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	158	4	162

Error

Counts

162 → 4

Compiler

Compiled 3064 to 2154 computations (29.7% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (+.f64 -3 (/.f64 -1 x)) (/.f64 3 (*.f64 x x)))
0.0b	(+.f64 -3 (/.f64 -1 x))
0.3b	(.f64 (/.f64 1 x) (-.f64 (+.f64 -3 (/.f64 -1 x)) (/.f64 3 (.f64 x x))))
0.3b	(/.f64 3 (*.f64 x x))

rewrite401.0ms (3.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

35×	`add-sqr-sqrt_binary64_5215`
33×	`*-un-lft-identity_binary64_5193`
25×	`times-frac_binary64_5199`
21×	`cancel-sign-sub-inv_binary64_5159`
20×	`add-cube-cbrt_binary64_5228`
18×	`add-exp-log_binary64_5231`
14×	`add-cbrt-cube_binary64_5229`
13×	`associate-l_binary64_5134`
11×	`add-log-exp_binary64_5232`
9×	`distribute-rgt-in_binary64_5143` `distribute-lft-in_binary64_5142`
7×	`associate-r_binary64_5133`
6×	`pow1_binary64_5254` `frac-sub_binary64_5202`
5×	`prod-exp_binary64_5242` `div-inv_binary64_5190`
4×	`div-exp_binary64_5244` `flip3-+_binary64_5196` `frac-times_binary64_5203` `flip-+_binary64_5167` `associate-*r/_binary64_5135` `difference-of-squares_binary64_5162` `distribute-lft-out--_binary64_5145`
3×	`cbrt-undiv_binary64_5227` `cbrt-unprod_binary64_5226` `associate-/l*_binary64_5138` `flip3--_binary64_5197` `flip--_binary64_5168` `unswap-sqr_binary64_5161` `sub-neg_binary64_5186` `associate--l+_binary64_5130` `distribute-lft-out_binary64_5144`
2×	`sum-log_binary64_5284` `diff-log_binary64_5285`
1×	`frac-2neg_binary64_5204` `clear-num_binary64_5192` `associate-/r_binary64_5137` `pow-prod-down_binary64_5264` `1-exp_binary64_5237` `rec-exp_binary64_5243` `associate-l/_binary64_5136` `*-commutative_binary64_5124` `+-commutative_binary64_5123`

Counts

4 → 124

Calls

4 calls:

41.0ms	(.f64 (/.f64 1 x) (-.f64 (+.f64 -3 (/.f64 -1 x)) (/.f64 3 (.f64 x x))))
22.0ms	(-.f64 (+.f64 -3 (/.f64 -1 x)) (/.f64 3 (*.f64 x x)))
12.0ms	(+.f64 -3 (/.f64 -1 x))
8.0ms	(/.f64 3 (*.f64 x x))

Compiler

Compiled 3181 to 2253 computations (29.2% saved)

series267.0ms (2.5%)

Error

Counts

4 → 23

Calls

4 calls:

102.0ms	(.f64 (/.f64 1 x) (-.f64 (+.f64 -3 (/.f64 -1 x)) (/.f64 3 (.f64 x x))))
55.0ms	(-.f64 (+.f64 -3 (/.f64 -1 x)) (/.f64 3 (*.f64 x x)))
45.0ms	(/.f64 3 (*.f64 x x))
34.0ms	(+.f64 -3 (/.f64 -1 x))

Compiler

Compiled 755 to 632 computations (16.3% saved)

simplify189.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 0 (132.0ms)

Iter	Nodes	Cost
0	4953	2628
1	4953	2628

prune301.0ms (2.9%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	147	0	147
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	147	4	151

Error

Counts

151 → 4

Compiler

Compiled 2836 to 2046 computations (27.9% saved)

regimes603.0ms (5.7%)

Accuracy

Total 0.1b remaining (83.5%)

Threshold costs 0.1b (83.5%)

Compiler

Compiled 3028 to 2365 computations (21.9% saved)

bsearch78.0ms (0.7%)

Steps

Iters	Range		Point
11	3.7702102456980775e-24	133902.46453234853	9825.804894356363
10	-7986717814960.666	-0.37241564947277683	-0.9915391036973327

Compiler

Compiled 1 to 1 computations (0% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	110	62
1	110	62

end0.0ms (0%)

sample4.0s (37.7%)

Algorithm

1×

intervals

Results

476.0ms	2003×	body	1024	valid
269.0ms	4311×	body	128	valid
182.0ms	993×	body	512	valid
58.0ms	198×	body	2048	valid
58.0ms	495×	body	256	valid

Compiler

Compiled 1499 to 1172 computations (21.8% saved)

Details

analyze18.0ms (0.2%)

sample46.0ms (0.4%)

simplify292.0ms (2.8%)

prune5.0ms (0%)

localize13.0ms (0.1%)

rewrite491.0ms (4.7%)

series279.0ms (2.6%)

simplify169.0ms (1.6%)

prune325.0ms (3.1%)

localize19.0ms (0.2%)

rewrite733.0ms (6.9%)

series308.0ms (2.9%)

simplify173.0ms (1.6%)

prune519.0ms (4.9%)

localize18.0ms (0.2%)

rewrite454.0ms (4.3%)

series353.0ms (3.3%)

simplify198.0ms (1.9%)

prune294.0ms (2.8%)

localize18.0ms (0.2%)

rewrite401.0ms (3.8%)

series267.0ms (2.5%)

simplify189.0ms (1.8%)

prune301.0ms (2.9%)

regimes603.0ms (5.7%)

bsearch78.0ms (0.7%)

simplify7.0ms (0.1%)

end0.0ms (0%)

sample4.0s (37.7%)

Profiling