Details

analyze5.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	50%	50%	3
25%	25%	50%	4
37.5%	12.5%	50%	5
43.7%	6.2%	50%	6
46.9%	3.1%	50%	7
48.4%	1.6%	50%	8
49.2%	0.8%	50%	9
49.6%	0.4%	50%	10
49.8%	0.2%	50%	11
49.9%	0.1%	50%	12
49.9%	0%	50%	13
49.9%	0%	50%	14

Compiler

Compiled 13 to 12 computations (7.7% saved)

sample83.0ms (1.7%)

Algorithm

1×

intervals

Results

51.0ms	135×	body	1024	valid
13.0ms	59×	body	512	valid
5.0ms	10×	body	2048	valid
4.0ms	29×	body	256	valid
1.0ms	23×	body	128	valid

Compiler

Compiled 25 to 24 computations (4% saved)

simplify328.0ms (6.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (232.0ms)

Iter	Nodes	Cost
0	4005	15
1	4005	15

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

58.1b

Counts

2 → 1

Compiler

Compiled 20 to 18 computations (10% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite145.0ms (2.9%)

Algorithm

1×	rewrite-expression-head

Error

57.9b

Rules

78×	`*-un-lft-identity_binary64_3488`
52×	`add-sqr-sqrt_binary64_3510`
48×	`times-frac_binary64_3494`
30×	`log-prod_binary64_3574`
25×	`add-cube-cbrt_binary64_3523`
18×	`difference-of-squares_binary64_3457`
13×	`distribute-lft-out_binary64_3439`
9×	`distribute-lft-out--_binary64_3440`
7×	`add-exp-log_binary64_3526`
6×	`associate-/r*_binary64_3432`
4×	`associate-/r/_binary64_3434` `add-cbrt-cube_binary64_3524` `associate-/l*_binary64_3433`
3×	`pow1_binary64_3549`
2×	`div-inv_binary64_3485` `flip3--_binary64_3492` `flip--_binary64_3463` `div-exp_binary64_3539` `rem-log-exp_binary64_3529` `add-log-exp_binary64_3527` `associate-/l/_binary64_3435`
1×	`log-pow_binary64_3577` `log-div_binary64_3575` `cbrt-undiv_binary64_3522` `frac-2neg_binary64_3499` `clear-num_binary64_3487` `flip3-+_binary64_3491` `flip-+_binary64_3462`

Counts

2 → 91

Calls

2 calls:

8.0ms	(/.f64 (+.f64 1 x) (-.f64 1 x))
8.0ms	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))

Compiler

Compiled 1776 to 1426 computations (19.7% saved)

series76.0ms (1.5%)

Error

0.0b

Counts

2 → 14

Calls

2 calls:

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

Compiler

Compiled 338 to 315 computations (6.8% saved)

simplify75.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5617	1927

prune100.0ms (2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	104	1	105
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	105	1	106

Error

0.0b

Counts

106 → 1

Compiler

Compiled 1763 to 1398 computations (20.7% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2/5 (pow.f64 x 5)))
0.1b	(*.f64 2/7 (pow.f64 x 7))
0.1b	(*.f64 2/5 (pow.f64 x 5))
0.1b	(*.f64 2/3 (pow.f64 x 3))

rewrite183.0ms (3.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

31×	`add-sqr-sqrt_binary64_3510`
26×	`associate-r_binary64_3428`
19×	`add-exp-log_binary64_3526`
14×	`add-cube-cbrt_binary64_3523` `*-un-lft-identity_binary64_3488`
12×	`unpow-prod-down_binary64_3567`
10×	`add-cbrt-cube_binary64_3524` `unswap-sqr_binary64_3456`
9×	`prod-exp_binary64_3537` `associate-l_binary64_3429`
6×	`add-log-exp_binary64_3527` `sqr-pow_binary64_3460`
4×	`pow1_binary64_3549` `cube-prod_binary64_3516`
3×	`pow-to-exp_binary64_3557` `pow-exp_binary64_3556` `cbrt-unprod_binary64_3521` `*-commutative_binary64_3419`
1×	`unpow3_binary64_3554` `cube-mult_binary64_3518` `sum-log_binary64_3579` `flip3-+_binary64_3491` `flip-+_binary64_3462` `+-commutative_binary64_3418`

Counts

4 → 92

Calls

4 calls:

8.0ms	(*.f64 2/5 (pow.f64 x 5))
7.0ms	(*.f64 2/3 (pow.f64 x 3))
6.0ms	(+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2/5 (pow.f64 x 5)))
5.0ms	(*.f64 2/7 (pow.f64 x 7))

Compiler

Compiled 2761 to 2097 computations (24% saved)

series242.0ms (4.8%)

Error

0.0b

Counts

4 → 15

Calls

4 calls:

100.0ms	(+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2/5 (pow.f64 x 5)))
49.0ms	(*.f64 2/7 (pow.f64 x 7))
45.0ms	(*.f64 2/5 (pow.f64 x 5))
33.0ms	(*.f64 2/3 (pow.f64 x 3))

Compiler

Compiled 930 to 740 computations (20.4% saved)

simplify69.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5362	1186

prune159.0ms (3.2%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	107	0	107
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	107	1	108

Error

0.0b

Counts

108 → 1

Compiler

Compiled 2916 to 2182 computations (25.2% saved)

regimes243.0ms (4.9%)

Accuracy

Total 0.1b remaining (98.1%)

Threshold costs 0.1b (98.1%)

Compiler

Compiled 3026 to 2577 computations (14.8% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	29	34
1	29	34

end0.0ms (0%)

sample3.3s (65.3%)

Algorithm

1×

intervals

Results

1.5s	4027×	body	1024	valid
421.0ms	1974×	body	512	valid
221.0ms	400×	body	2048	valid
124.0ms	979×	body	256	valid
36.0ms	620×	body	128	valid

Compiler

Compiled 717 to 612 computations (14.6% saved)

Details

analyze5.0ms (0.1%)

sample83.0ms (1.7%)

simplify328.0ms (6.5%)

prune3.0ms (0.1%)

localize7.0ms (0.1%)

rewrite145.0ms (2.9%)

series76.0ms (1.5%)

simplify75.0ms (1.5%)

prune100.0ms (2%)

localize14.0ms (0.3%)

rewrite183.0ms (3.7%)

series242.0ms (4.8%)

simplify69.0ms (1.4%)

prune159.0ms (3.2%)

regimes243.0ms (4.9%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample3.3s (65.3%)

Profiling