Details

analyze481.0ms (8%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
25%	75%	0%	3
25%	50%	25%	4
25%	37.5%	37.5%	5
25%	31.2%	43.8%	6
25%	28.1%	46.9%	7
25%	26.5%	48.5%	8
25%	25.8%	49.2%	9
25%	25.4%	49.6%	10
25%	25.2%	49.8%	11
25%	25.1%	49.9%	12
25%	25%	50%	13
25%	25%	50%	14

Compiler

Compiled 10 to 8 computations (20% saved)

sample97.0ms (1.6%)

Algorithm

1×

intervals

Results

37.0ms	138×	body	2048	nan
18.0ms	256×	body	128	valid
13.0ms	63×	body	1024	nan
5.0ms	31×	body	512	nan
1.0ms	10×	body	256	nan
1.0ms	19×	body	128	nan

Compiler

Compiled 19 to 16 computations (15.8% saved)

simplify415.0ms (6.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (268.0ms)

Iter	Nodes	Cost
0	4922	14
1	4922	14

prune9.0ms (0.2%)

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

34.1b

Counts

2 → 1

Compiler

Compiled 18 to 14 computations (22.2% saved)

localize14.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1)))
0.0b	(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1))))
31.8b	(sqrt.f64 (-.f64 (*.f64 x x) 1))

rewrite128.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

10×	`*-un-lft-identity_binary64_3488`
7×	`add-sqr-sqrt_binary64_3510`
6×	`sqrt-prod_binary64_3504`
5×	`pow1_binary64_3549` `add-log-exp_binary64_3527` `add-cube-cbrt_binary64_3523`
4×	`add-exp-log_binary64_3526` `log-prod_binary64_3574`
3×	`add-cbrt-cube_binary64_3524`
2×	`sqrt-div_binary64_3505` `difference-of-squares_binary64_3457` `flip3-+_binary64_3491` `log-div_binary64_3575` `flip-+_binary64_3462` `distribute-lft-out_binary64_3439`
1×	`pow1/2_binary64_3568` `sqrt-pow1_binary64_3506` `flip3--_binary64_3492` `flip--_binary64_3463` `difference-of-sqr-1_binary64_3458` `rem-sqrt-square_binary64_3501` `log-pow_binary64_3577` `rem-log-exp_binary64_3529` `sum-log_binary64_3579` `+-commutative_binary64_3418`

Counts

3 → 45

Calls

3 calls:

13.0ms	(+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1)))
12.0ms	(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1))))
8.0ms	(sqrt.f64 (-.f64 (*.f64 x x) 1))

Compiler

Compiled 804 to 493 computations (38.7% saved)

series239.0ms (4%)

Error

Counts

3 → 18

Calls

3 calls:

92.0ms	(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1))))
59.0ms	(+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1)))
50.0ms	(sqrt.f64 (-.f64 (*.f64 x x) 1))

Compiler

Compiled 506 to 442 computations (12.6% saved)

simplify124.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

63 → 63

Iterations

Useful iterations: 0 (96.0ms)

Iter	Nodes	Cost
0	5038	944

prune102.0ms (1.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	62	1	63
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	62	2	64

Error

Counts

64 → 2

Compiler

Compiled 844 to 548 computations (35.1% saved)

localize13.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(log.f64 (+.f64 x (-.f64 x (/.f64 1/2 x))))
0.0b	(+.f64 x (-.f64 x (/.f64 1/2 x)))

rewrite119.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

20×	`*-un-lft-identity_binary64_3488`
14×	`associate-+r+_binary64_3420`
13×	`cancel-sign-sub-inv_binary64_3454`
10×	`add-cube-cbrt_binary64_3523` `add-sqr-sqrt_binary64_3510`
9×	`times-frac_binary64_3494`
7×	`add-log-exp_binary64_3527`
5×	`log-prod_binary64_3574`
4×	`distribute-lft-out_binary64_3439`
3×	`pow1_binary64_3549` `add-exp-log_binary64_3526`
2×	`sum-log_binary64_3579` `add-cbrt-cube_binary64_3524` `flip3-+_binary64_3491` `flip-+_binary64_3462` `distribute-lft-out--_binary64_3440` `log-div_binary64_3575`
1×	`diff-log_binary64_3580` `associate-+r-_binary64_3422` `sub-neg_binary64_3481` `div-inv_binary64_3485` `+-commutative_binary64_3418` `log-pow_binary64_3577` `rem-log-exp_binary64_3529`

Counts

2 → 45

Calls

2 calls:

21.0ms	(+.f64 x (-.f64 x (/.f64 1/2 x)))
17.0ms	(log.f64 (+.f64 x (-.f64 x (/.f64 1/2 x))))

Compiler

Compiled 729 to 480 computations (34.2% saved)

series162.0ms (2.7%)

Error

Counts

2 → 10

Calls

2 calls:

94.0ms	(+.f64 x (-.f64 x (/.f64 1/2 x)))
57.0ms	(log.f64 (+.f64 x (-.f64 x (/.f64 1/2 x))))

Compiler

Compiled 231 to 207 computations (10.4% saved)

simplify114.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

55 → 55

Iterations

Useful iterations: 0 (92.0ms)

Iter	Nodes	Cost
0	4787	626
1	4787	626

prune79.0ms (1.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	55	0	55
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	55	2	57

Error

Counts

57 → 2

Compiler

Compiled 710 to 448 computations (36.9% saved)

regimes162.0ms (2.7%)

Accuracy

Total 0.1b remaining (98.2%)

Threshold costs 0.1b (98.2%)

Compiler

Compiled 517 to 392 computations (24.2% saved)

bsearch0.0ms (0%)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	23	19
1	23	19

end0.0ms (0%)

sample3.7s (62.3%)

Algorithm

1×

intervals

Results

1.3s	4043×	body	2048	nan
631.0ms	8000×	body	128	valid
492.0ms	2024×	body	1024	nan
179.0ms	1028×	body	512	nan
57.0ms	492×	body	256	nan
30.0ms	519×	body	128	nan
3.0ms	7×	body	4096	nan

Compiler

Compiled 151 to 117 computations (22.5% saved)

Details

analyze481.0ms (8%)

sample97.0ms (1.6%)

simplify415.0ms (6.9%)

prune9.0ms (0.2%)

localize14.0ms (0.2%)

rewrite128.0ms (2.1%)

series239.0ms (4%)

simplify124.0ms (2.1%)

prune102.0ms (1.7%)

localize13.0ms (0.2%)

rewrite119.0ms (2%)

series162.0ms (2.7%)

simplify114.0ms (1.9%)

prune79.0ms (1.3%)

regimes162.0ms (2.7%)

bsearch0.0ms (0%)

simplify5.0ms (0.1%)

end0.0ms (0%)

sample3.7s (62.3%)

Profiling