Details

analyze167.0ms (2.4%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	681	19
1	681	19
0	1	1
1	1	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

Symmetry

Compiler

Compiled 14 to 11 computations (21.4% saved)

sample25.0ms (0.4%)

Algorithm

1×

intervals

Results

8.0ms	69×	body	1024	valid
4.0ms	130×	body	128	valid
3.0ms	34×	body	512	valid
1.0ms	20×	body	256	valid
0.0ms	3×	body	2048	valid

Compiler

Compiled 27 to 22 computations (18.5% saved)

simplify80.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	681	19
1	681	19

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

31.2b

Counts

2 → 1

Compiler

Compiled 26 to 20 computations (23.1% saved)

localize12.0ms (0.2%)

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.7b	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))

rewrite275.0ms (4%)

Algorithm

1×	rewrite-expression-head

Error

30.6b

Rules

148×	`*-un-lft-identity_binary64_3829`
88×	`times-frac_binary64_3835`
85×	`add-sqr-sqrt_binary64_3851`
37×	`add-cube-cbrt_binary64_3864`
34×	`cancel-sign-sub-inv_binary64_3795`
27×	`distribute-lft-out_binary64_3780`
22×	`difference-of-squares_binary64_3798` `distribute-lft-out--_binary64_3781`
11×	`associate-/r*_binary64_3773`
9×	`difference-of-sqr-1_binary64_3799`
7×	`add-exp-log_binary64_3867` `add-cbrt-cube_binary64_3865` `associate-/l*_binary64_3774`
6×	`associate-/r/_binary64_3775`
5×	`add-log-exp_binary64_3868`
3×	`pow1_binary64_3890` `flip3--_binary64_3833` `flip--_binary64_3804` `div-inv_binary64_3826`
2×	`div-exp_binary64_3880` `cbrt-undiv_binary64_3863` `frac-2neg_binary64_3840` `clear-num_binary64_3828` `flip3-+_binary64_3832` `flip-+_binary64_3803` `associate-/l/_binary64_3776`
1×	`diff-log_binary64_3921` `frac-sub_binary64_3838` `sub-neg_binary64_3822`

Counts

3 → 147

Calls

3 calls:

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

Compiler

Compiled 3337 to 2419 computations (27.5% saved)

series159.0ms (2.3%)

Error

0.0b

Counts

3 → 36

Calls

3 calls:

63.0ms	(-.f64 (/.f64 x (+.f64 x 1)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
35.0ms	(/.f64 (+.f64 x 1) (-.f64 x 1))
28.0ms	(/.f64 x (+.f64 x 1))

Compiler

Compiled 1090 to 899 computations (17.5% saved)

simplify85.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

183 → 183

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4960	3142
1	4960	3142

prune188.0ms (2.7%)

Pruning

4 alts after pruning (4 fresh and 0 done)

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

Error

0.0b

Counts

184 → 4

Compiler

Compiled 3452 to 2427 computations (29.7% saved)

localize9.0ms (0.1%)

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.7b	(/.f64 1 (*.f64 x x))
6.4b	(-.f64 (-.f64 (/.f64 -3 x) (/.f64 1 (*.f64 x x))) (/.f64 3 (pow.f64 x 3)))

rewrite352.0ms (5.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

95×	`times-frac_binary64_3835`
83×	`add-sqr-sqrt_binary64_3851`
72×	`*-un-lft-identity_binary64_3829`
57×	`add-cube-cbrt_binary64_3864`
54×	`cancel-sign-sub-inv_binary64_3795`
22×	`unpow-prod-down_binary64_3908` `cube-prod_binary64_3857`
20×	`add-exp-log_binary64_3867`
13×	`associate-/r*_binary64_3773`
12×	`pow1_binary64_3890`
11×	`add-log-exp_binary64_3868` `add-cbrt-cube_binary64_3865` `difference-of-squares_binary64_3798`
9×	`div-inv_binary64_3826`
8×	`sqr-pow_binary64_3801` `cube-mult_binary64_3859` `distribute-lft-out--_binary64_3781` `associate--l+_binary64_3766`
7×	`unpow3_binary64_3895` `div-exp_binary64_3880`
6×	`pow-flip_binary64_3903` `associate-/l*_binary64_3774`
5×	`frac-sub_binary64_3838`
4×	`diff-log_binary64_3921`
3×	`flip3--_binary64_3833` `flip--_binary64_3804` `sub-neg_binary64_3822` `prod-exp_binary64_3878` `cbrt-undiv_binary64_3863`
2×	`distribute-rgt-out--_binary64_3783` `1-exp_binary64_3873` `rec-exp_binary64_3879` `frac-2neg_binary64_3840` `clear-num_binary64_3828`
1×	`associate--l-_binary64_3767` `inv-pow_binary64_3914` `pow2_binary64_3910` `pow-prod-down_binary64_3900` `pow-prod-up_binary64_3899` `pow-plus_binary64_3892` `pow-sqr_binary64_3802` `cbrt-unprod_binary64_3862` `pow-to-exp_binary64_3898` `pow-exp_binary64_3897`

Counts

4 → 198

Calls

4 calls:

41.0ms	(-.f64 (-.f64 (/.f64 -3 x) (/.f64 1 (*.f64 x x))) (/.f64 3 (pow.f64 x 3)))
10.0ms	(-.f64 (/.f64 -3 x) (/.f64 1 (*.f64 x x)))
5.0ms	(/.f64 3 (pow.f64 x 3))
5.0ms	(/.f64 1 (*.f64 x x))

Compiler

Compiled 4755 to 3345 computations (29.7% saved)

series172.0ms (2.5%)

Error

0.0b

Counts

4 → 19

Calls

4 calls:

59.0ms	(-.f64 (-.f64 (/.f64 -3 x) (/.f64 1 (*.f64 x x))) (/.f64 3 (pow.f64 x 3)))
44.0ms	(-.f64 (/.f64 -3 x) (/.f64 1 (*.f64 x x)))
35.0ms	(/.f64 3 (pow.f64 x 3))
20.0ms	(/.f64 1 (*.f64 x x))

Compiler

Compiled 694 to 588 computations (15.3% saved)

simplify85.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

217 → 217

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4941	3035
1	4941	3035

prune237.0ms (3.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	217	0	217
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	217	4	221

Error

0.0b

Counts

221 → 4

Compiler

Compiled 4133 to 2894 computations (30% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (+.f64 1 x) x)
0.0b	(/.f64 (+.f64 x 1) (-.f64 x 1))
0.1b	(/.f64 1 (/.f64 (+.f64 1 x) x))
2.7b	(-.f64 (/.f64 1 (/.f64 (+.f64 1 x) x)) (/.f64 (+.f64 x 1) (-.f64 x 1)))

rewrite473.0ms (6.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

203×	`*-un-lft-identity_binary64_3829`
189×	`times-frac_binary64_3835`
156×	`add-sqr-sqrt_binary64_3851`
87×	`add-cube-cbrt_binary64_3864`
34×	`cancel-sign-sub-inv_binary64_3795`
33×	`distribute-lft-out_binary64_3780`
28×	`difference-of-squares_binary64_3798`
26×	`associate-/r*_binary64_3773`
19×	`add-exp-log_binary64_3867`
17×	`distribute-lft-out--_binary64_3781`
13×	`add-cbrt-cube_binary64_3865`
11×	`associate-/l*_binary64_3774`
9×	`difference-of-sqr-1_binary64_3799` `div-inv_binary64_3826` `div-exp_binary64_3880`
6×	`add-log-exp_binary64_3868`
5×	`pow1_binary64_3890` `associate-/r/_binary64_3775` `cbrt-undiv_binary64_3863`
4×	`associate-/l/_binary64_3776`
3×	`flip3--_binary64_3833` `flip--_binary64_3804` `frac-2neg_binary64_3840` `clear-num_binary64_3828`
2×	`1-exp_binary64_3873` `rec-exp_binary64_3879` `flip3-+_binary64_3832` `flip-+_binary64_3803`
1×	`diff-log_binary64_3921` `frac-sub_binary64_3838` `sub-neg_binary64_3822` `inv-pow_binary64_3914` `pow-flip_binary64_3903`

Counts

4 → 238

Calls

4 calls:

85.0ms	(-.f64 (/.f64 1 (/.f64 (+.f64 1 x) x)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
8.0ms	(/.f64 1 (/.f64 (+.f64 1 x) x))
8.0ms	(/.f64 (+.f64 x 1) (-.f64 x 1))
5.0ms	(/.f64 (+.f64 1 x) x)

Compiler

Compiled 6049 to 4511 computations (25.4% saved)

series199.0ms (2.9%)

Error

0.0b

Counts

4 → 42

Calls

4 calls:

64.0ms	(-.f64 (/.f64 1 (/.f64 (+.f64 1 x) x)) (/.f64 (+.f64 x 1) (-.f64 x 1)))
38.0ms	(/.f64 (+.f64 1 x) x)
33.0ms	(/.f64 (+.f64 x 1) (-.f64 x 1))
32.0ms	(/.f64 1 (/.f64 (+.f64 1 x) x))

Compiler

Compiled 1343 to 1120 computations (16.6% saved)

simplify96.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

280 → 280

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5134	4889

prune349.0ms (5.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	279	1	280
Fresh	1	1	2
Picked	0	1	1
Done	0	1	1
Total	280	4	284

Error

0.0b

Counts

284 → 4

Compiler

Compiled 5807 to 4171 computations (28.2% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (-.f64 (+.f64 x -1) (.f64 (+.f64 1 x) (/.f64 (+.f64 1 x) x))) (/.f64 (+.f64 (.f64 x x) -1) x))
0.0b	(*.f64 (+.f64 1 x) (/.f64 (+.f64 1 x) x))
2.4b	(-.f64 (+.f64 x -1) (*.f64 (+.f64 1 x) (/.f64 (+.f64 1 x) x)))
15.3b	(/.f64 (+.f64 (*.f64 x x) -1) x)

rewrite633.0ms (9.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

121×	`times-frac_binary64_3835`
79×	`*-un-lft-identity_binary64_3829`
76×	`add-sqr-sqrt_binary64_3851`
71×	`add-cube-cbrt_binary64_3864`
21×	`flip3-+_binary64_3832` `flip-+_binary64_3803`
20×	`frac-sub_binary64_3838`
19×	`associate-/r*_binary64_3773`
16×	`add-exp-log_binary64_3867` `add-cbrt-cube_binary64_3865` `difference-of-sqr--1_binary64_3800` `associate-r_binary64_3769`
14×	`associate-/l/_binary64_3776`
10×	`frac-times_binary64_3839` `associate-*l/_binary64_3772`
9×	`add-log-exp_binary64_3868`
7×	`div-inv_binary64_3826` `associate-/l*_binary64_3774`
6×	`pow1_binary64_3890`
5×	`div-exp_binary64_3880` `cbrt-undiv_binary64_3863` `associate-*r/_binary64_3771`
4×	`associate-l_binary64_3770` `distribute-lft-out_binary64_3780`
2×	`frac-2neg_binary64_3840` `clear-num_binary64_3828` `diff-log_binary64_3921` `flip3--_binary64_3833` `flip--_binary64_3804` `prod-exp_binary64_3878` `cbrt-unprod_binary64_3862` `unswap-sqr_binary64_3797`
1×	`sum-log_binary64_3920` `sub-neg_binary64_3822` `cancel-sign-sub-inv_binary64_3795` `associate--l+_binary64_3766` `pow-prod-down_binary64_3900` `*-commutative_binary64_3760` `div-sub_binary64_3834` `associate-/r/_binary64_3775`

Counts

4 → 192

Calls

4 calls:

16.0ms	(/.f64 (-.f64 (+.f64 x -1) (.f64 (+.f64 1 x) (/.f64 (+.f64 1 x) x))) (/.f64 (+.f64 (.f64 x x) -1) x))
12.0ms	(*.f64 (+.f64 1 x) (/.f64 (+.f64 1 x) x))
7.0ms	(-.f64 (+.f64 x -1) (*.f64 (+.f64 1 x) (/.f64 (+.f64 1 x) x)))
6.0ms	(/.f64 (+.f64 (*.f64 x x) -1) x)

Compiler

Compiled 7392 to 4774 computations (35.4% saved)

series218.0ms (3.2%)

Error

Counts

4 → 33

Calls

4 calls:

69.0ms	(*.f64 (+.f64 1 x) (/.f64 (+.f64 1 x) x))
62.0ms	(/.f64 (+.f64 (*.f64 x x) -1) x)
42.0ms	(/.f64 (-.f64 (+.f64 x -1) (.f64 (+.f64 1 x) (/.f64 (+.f64 1 x) x))) (/.f64 (+.f64 (.f64 x x) -1) x))
20.0ms	(-.f64 (+.f64 x -1) (*.f64 (+.f64 1 x) (/.f64 (+.f64 1 x) x)))

Compiler

Compiled 1100 to 823 computations (25.2% saved)

simplify104.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

225 → 225

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	6511	7186

prune402.0ms (5.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	224	1	225
Fresh	0	1	1
Picked	1	0	1
Done	0	2	2
Total	225	4	229

Error

Counts

229 → 4

Compiler

Compiled 7209 to 4729 computations (34.4% saved)

regimes320.0ms (4.7%)

Accuracy

Total 0.0b remaining (86.1%)

Threshold costs 0.0b (86.1%)

Compiler

Compiled 3495 to 2684 computations (23.2% saved)

bsearch41.0ms (0.6%)

Steps

Iters	Range		Point
8	75.20925313225364	1759821.7654700067	171369.6908751599
8	-2.691178179491502e+88	-2.807000092921484e+85	-2.660453270019914e+88

Compiler

Compiled 1 to 1 computations (0% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	77	54
1	77	54

Removed

()

end0.0ms (0%)

sample2.1s (31.1%)

Algorithm

1×

intervals

Results

249.0ms	1957×	body	1024	valid
143.0ms	4309×	body	128	valid
96.0ms	1005×	body	512	valid
32.0ms	524×	body	256	valid
31.0ms	205×	body	2048	valid

Compiler

Compiled 1692 to 1300 computations (23.2% saved)

Details

analyze167.0ms (2.4%)

sample25.0ms (0.4%)

simplify80.0ms (1.2%)

prune3.0ms (0%)

localize12.0ms (0.2%)

rewrite275.0ms (4%)

series159.0ms (2.3%)

simplify85.0ms (1.2%)

prune188.0ms (2.7%)

localize9.0ms (0.1%)

rewrite352.0ms (5.2%)

series172.0ms (2.5%)

simplify85.0ms (1.2%)

prune237.0ms (3.5%)

localize9.0ms (0.1%)

rewrite473.0ms (6.9%)

series199.0ms (2.9%)

simplify96.0ms (1.4%)

prune349.0ms (5.1%)

localize11.0ms (0.2%)

rewrite633.0ms (9.3%)

series218.0ms (3.2%)

simplify104.0ms (1.5%)

prune402.0ms (5.9%)

regimes320.0ms (4.7%)

bsearch41.0ms (0.6%)

simplify3.0ms (0%)

end0.0ms (0%)

sample2.1s (31.1%)

Profiling