Details

analyze4.0ms (0.1%)

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)

sample24.0ms (0.7%)

Algorithm

1×

intervals

Results

8.0ms	66×	body	1024	valid
4.0ms	141×	body	128	valid
3.0ms	28×	body	512	valid
1.0ms	8×	body	2048	valid
1.0ms	13×	body	256	valid

Compiler

Compiled 27 to 22 computations (18.5% saved)

simplify173.0ms (5.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	681	19
1	681	19

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

28.2b

Counts

2 → 1

Compiler

Compiled 26 to 20 computations (23.1% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite176.0ms (5.5%)

Algorithm

1×	rewrite-expression-head

Error

27.7b

Rules

103×	`*-un-lft-identity_binary64_4511`
60×	`times-frac_binary64_4517`
51×	`add-sqr-sqrt_binary64_4533`
34×	`cancel-sign-sub-inv_binary64_4477`
23×	`add-cube-cbrt_binary64_4546`
19×	`distribute-lft-out_binary64_4462`
17×	`distribute-lft-out--_binary64_4463`
12×	`difference-of-squares_binary64_4480`
4×	`add-log-exp_binary64_4550` `add-exp-log_binary64_4549` `add-cbrt-cube_binary64_4547` `difference-of-sqr-1_binary64_4481` `associate-/r/_binary64_4457` `associate-/r*_binary64_4455`
3×	`associate-/l*_binary64_4456`
2×	`pow1_binary64_4572` `flip3--_binary64_4515` `flip--_binary64_4486` `div-inv_binary64_4508`
1×	`diff-log_binary64_4603` `frac-sub_binary64_4520` `sub-neg_binary64_4504` `div-exp_binary64_4562` `cbrt-undiv_binary64_4545` `frac-2neg_binary64_4522` `clear-num_binary64_4510` `flip3-+_binary64_4514` `flip-+_binary64_4485`

Counts

2 → 92

Calls

2 calls:

38.0ms	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
5.0ms	(/.f64 x (+.f64 x 1))

Compiler

Compiled 2121 to 1535 computations (27.6% saved)

series116.0ms (3.6%)

Error

0.0b

Counts

2 → 24

Calls

2 calls:

61.0ms	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
33.0ms	(/.f64 x (+.f64 x 1))

Compiler

Compiled 688 to 569 computations (17.3% saved)

simplify69.0ms (2.2%)

Algorithm

1×	egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5194	1933

prune103.0ms (3.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	115	1	116
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	115	2	117

Error

0.0b

Counts

117 → 2

Compiler

Compiled 2050 to 1418 computations (30.8% saved)

localize16.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 1 (pow.f64 x 4))
0.4b	(/.f64 3 (pow.f64 x 3))
0.6b	(/.f64 1 (*.f64 x x))
10.2b	(+.f64 (/.f64 3 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 4)))

rewrite346.0ms (10.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

62×	`times-frac_binary64_4517`
54×	`*-un-lft-identity_binary64_4511`
47×	`add-cube-cbrt_binary64_4546` `add-sqr-sqrt_binary64_4533`
29×	`add-exp-log_binary64_4549`
24×	`unpow-prod-down_binary64_4590`
20×	`associate-/r*_binary64_4455`
13×	`add-cbrt-cube_binary64_4547` `div-exp_binary64_4562`
12×	`pow1_binary64_4572` `cube-prod_binary64_4539`
9×	`associate-/l*_binary64_4456`
8×	`sqr-pow_binary64_4483`
7×	`pow-flip_binary64_4585`
6×	`add-log-exp_binary64_4550`
5×	`1-exp_binary64_4555` `rec-exp_binary64_4561`
4×	`div-inv_binary64_4508` `cbrt-undiv_binary64_4545` `pow-to-exp_binary64_4580` `pow-exp_binary64_4579` `unpow3_binary64_4577` `cube-mult_binary64_4541`
3×	`distribute-lft-out_binary64_4462` `prod-exp_binary64_4560` `frac-2neg_binary64_4522` `clear-num_binary64_4510`
2×	`inv-pow_binary64_4596`
1×	`sum-log_binary64_4602` `frac-add_binary64_4519` `flip3-+_binary64_4514` `flip-+_binary64_4485` `+-commutative_binary64_4441` `pow2_binary64_4592` `pow-prod-down_binary64_4582` `pow-prod-up_binary64_4581` `pow-plus_binary64_4574` `pow-sqr_binary64_4484` `cbrt-unprod_binary64_4544`

Counts

4 → 165

Calls

4 calls:

46.0ms	(+.f64 (/.f64 3 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 4)))
8.0ms	(/.f64 1 (pow.f64 x 4))
5.0ms	(/.f64 3 (pow.f64 x 3))
5.0ms	(/.f64 1 (*.f64 x x))

Compiler

Compiled 4628 to 3414 computations (26.2% saved)

series169.0ms (5.3%)

Error

0.0b

Counts

4 → 15

Calls

4 calls:

71.0ms	(+.f64 (/.f64 3 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 4)))
34.0ms	(/.f64 3 (pow.f64 x 3))
31.0ms	(/.f64 1 (pow.f64 x 4))
19.0ms	(/.f64 1 (*.f64 x x))

Compiler

Compiled 864 to 686 computations (20.6% saved)

simplify77.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

180 → 180

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5123	2048

prune259.0ms (8.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

0.0b

Counts

182 → 2

Compiler

Compiled 4498 to 3234 computations (28.1% saved)

regimes168.0ms (5.2%)

Accuracy

Total 0.4b remaining (94.6%)

Threshold costs 0.4b (94.6%)

Compiler

Compiled 1635 to 1292 computations (21% saved)

bsearch2.0ms (0.1%)

Compiler: Compiled 13 to 10 computations (23.1% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	139	95
1	139	95

end0.0ms (0%)

sample1.5s (46.4%)

Algorithm

1×

intervals

Results

250.0ms	1963×	body	1024	valid
140.0ms	4313×	body	128	valid
97.0ms	989×	body	512	valid
42.0ms	232×	body	2048	valid
31.0ms	503×	body	256	valid

Compiler

Compiled 853 to 673 computations (21.1% saved)

Details

analyze4.0ms (0.1%)

sample24.0ms (0.7%)

simplify173.0ms (5.4%)

prune2.0ms (0.1%)

localize6.0ms (0.2%)

rewrite176.0ms (5.5%)

series116.0ms (3.6%)

simplify69.0ms (2.2%)

prune103.0ms (3.2%)

localize16.0ms (0.5%)

rewrite346.0ms (10.8%)

series169.0ms (5.3%)

simplify77.0ms (2.4%)

prune259.0ms (8.1%)

regimes168.0ms (5.2%)

bsearch2.0ms (0.1%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample1.5s (46.4%)

Profiling