Details

analyze246.0ms (8.4%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5080	25
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
50%	50%	0%	2
50%	50%	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 18 to 15 computations (16.7% saved)

sample18.0ms (0.6%)

Algorithm

1×

intervals

Results

10.0ms

256×

body

128

valid

Compiler

Compiled 35 to 30 computations (14.3% saved)

simplify170.0ms (5.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (163.0ms)

Iter	Nodes	Cost
0	5080	25

prune5.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Compiler

Compiled 34 to 28 computations (17.6% saved)

localize13.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 x (/.f64 (+.f64 162377988252285/70368744177664 (.f64 x 609359547581365/2251799813685248)) (+.f64 1 (.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)) x))))
0.0b	(+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))
0.1b	(.f64 (+.f64 8937753748486939/9007199254740992 (.f64 x 3228900788839551/72057594037927936)) x)
14.3b	(/.f64 (+.f64 162377988252285/70368744177664 (.f64 x 609359547581365/2251799813685248)) (+.f64 1 (.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)) x)))

rewrite245.0ms (8.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

28×	`add-sqr-sqrt_binary64_2146`
23×	`*-un-lft-identity_binary64_2124`
21×	`add-cube-cbrt_binary64_2159`
19×	`times-frac_binary64_2130`
15×	`cancel-sign-sub-inv_binary64_2090`
8×	`add-exp-log_binary64_2162` `add-log-exp_binary64_2163` `add-cbrt-cube_binary64_2160`
6×	`pow1_binary64_2185`
5×	`flip3-+_binary64_2127` `flip-+_binary64_2098`
4×	`associate-/r/_binary64_2070`
3×	`associate-/l_binary64_2069` `associate-/r_binary64_2068` `associate-l_binary64_2065` `associate-r_binary64_2064`
2×	`div-inv_binary64_2121` `associate-/l/_binary64_2071` `associate-*l/_binary64_2067` `difference-of-squares_binary64_2093`
1×	`div-exp_binary64_2175` `cbrt-undiv_binary64_2158` `frac-2neg_binary64_2135` `clear-num_binary64_2123` `pow-prod-down_binary64_2195` `prod-exp_binary64_2173` `cbrt-unprod_binary64_2157` `unswap-sqr_binary64_2092` `*-commutative_binary64_2055` `sum-log_binary64_2215` `+-commutative_binary64_2054` `diff-log_binary64_2216` `flip3--_binary64_2128` `sub-neg_binary64_2117` `flip--_binary64_2099` `distribute-lft-out--_binary64_2076`

Counts

4 → 91

Calls

4 calls:

15.0ms	(-.f64 x (/.f64 (+.f64 162377988252285/70368744177664 (.f64 x 609359547581365/2251799813685248)) (+.f64 1 (.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)) x))))
7.0ms	(/.f64 (+.f64 162377988252285/70368744177664 (.f64 x 609359547581365/2251799813685248)) (+.f64 1 (.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)) x)))
6.0ms	(.f64 (+.f64 8937753748486939/9007199254740992 (.f64 x 3228900788839551/72057594037927936)) x)
3.0ms	(+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))

Compiler

Compiled 2822 to 2245 computations (20.4% saved)

series264.0ms (9%)

Error

Counts

4 → 34

Calls

4 calls:

85.0ms	(-.f64 x (/.f64 (+.f64 162377988252285/70368744177664 (.f64 x 609359547581365/2251799813685248)) (+.f64 1 (.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)) x))))
54.0ms	(.f64 (+.f64 8937753748486939/9007199254740992 (.f64 x 3228900788839551/72057594037927936)) x)
47.0ms	(/.f64 (+.f64 162377988252285/70368744177664 (.f64 x 609359547581365/2251799813685248)) (+.f64 1 (.f64 (+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936)) x)))
46.0ms	(+.f64 8937753748486939/9007199254740992 (*.f64 x 3228900788839551/72057594037927936))

Compiler

Compiled 1092 to 902 computations (17.4% saved)

simplify107.0ms (3.7%)

Algorithm

1×	egg-herbie

Counts

125 → 125

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	5178	2724

prune181.0ms (6.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	124	1	125
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	124	2	126

Error

Counts

126 → 2

Compiler

Compiled 2766 to 2135 computations (22.8% saved)

localize6.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 1913600308823862514215888482863/633825300114114700748351602688 (*.f64 10848001841832438315400971766275290790594666485/5708990770823839524233143877797980545530986496 x))
0.0b	(+.f64 (.f64 x (-.f64 1913600308823862514215888482863/633825300114114700748351602688 (.f64 10848001841832438315400971766275290790594666485/5708990770823839524233143877797980545530986496 x))) -162377988252285/70368744177664)
0.2b	(.f64 x (-.f64 1913600308823862514215888482863/633825300114114700748351602688 (.f64 10848001841832438315400971766275290790594666485/5708990770823839524233143877797980545530986496 x)))
0.2b	(*.f64 10848001841832438315400971766275290790594666485/5708990770823839524233143877797980545530986496 x)

rewrite121.0ms (4.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

12×	`add-sqr-sqrt_binary64_2146`
8×	`pow1_binary64_2185` `add-exp-log_binary64_2162` `add-log-exp_binary64_2163` `add-cbrt-cube_binary64_2160` `add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
6×	`associate-l_binary64_2065` `associate-r_binary64_2064`
5×	`sub-neg_binary64_2117` `cancel-sign-sub-inv_binary64_2090`
4×	`distribute-rgt-in_binary64_2074` `distribute-lft-in_binary64_2073` `associate-+l+_binary64_2057`
2×	`pow-prod-down_binary64_2195` `prod-exp_binary64_2173` `cbrt-unprod_binary64_2157` `unswap-sqr_binary64_2092` `-commutative_binary64_2055` `flip3--_binary64_2128` `associate-r/_binary64_2066` `flip--_binary64_2099`
1×	`sum-log_binary64_2215` `flip3-+_binary64_2127` `flip-+_binary64_2098` `+-commutative_binary64_2054` `diff-log_binary64_2216`

Counts

4 → 69

Calls

4 calls:

8.0ms	(-.f64 1913600308823862514215888482863/633825300114114700748351602688 (*.f64 10848001841832438315400971766275290790594666485/5708990770823839524233143877797980545530986496 x))
6.0ms	(+.f64 (.f64 x (-.f64 1913600308823862514215888482863/633825300114114700748351602688 (.f64 10848001841832438315400971766275290790594666485/5708990770823839524233143877797980545530986496 x))) -162377988252285/70368744177664)
6.0ms	(.f64 x (-.f64 1913600308823862514215888482863/633825300114114700748351602688 (.f64 10848001841832438315400971766275290790594666485/5708990770823839524233143877797980545530986496 x)))
4.0ms	(*.f64 10848001841832438315400971766275290790594666485/5708990770823839524233143877797980545530986496 x)

Compiler

Compiled 1091 to 862 computations (21% saved)

series251.0ms (8.6%)

Error

Counts

4 → 24

Calls

4 calls:

84.0ms	(+.f64 (.f64 x (-.f64 1913600308823862514215888482863/633825300114114700748351602688 (.f64 10848001841832438315400971766275290790594666485/5708990770823839524233143877797980545530986496 x))) -162377988252285/70368744177664)
78.0ms	(.f64 x (-.f64 1913600308823862514215888482863/633825300114114700748351602688 (.f64 10848001841832438315400971766275290790594666485/5708990770823839524233143877797980545530986496 x)))
48.0ms	(-.f64 1913600308823862514215888482863/633825300114114700748351602688 (*.f64 10848001841832438315400971766275290790594666485/5708990770823839524233143877797980545530986496 x))
17.0ms	(*.f64 10848001841832438315400971766275290790594666485/5708990770823839524233143877797980545530986496 x)

Compiler

Compiled 504 to 439 computations (12.9% saved)

simplify110.0ms (3.8%)

Algorithm

1×	egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4919	983
1	4919	983

prune72.0ms (2.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

95 → 2

Compiler

Compiled 1147 to 888 computations (22.6% saved)

regimes70.0ms (2.4%)

Accuracy

Total 0.0b remaining (84.1%)

Threshold costs 0.0b (84.1%)

Compiler

Compiled 558 to 474 computations (15.1% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	35	75
1	35	75

end0.0ms (0%)

sample1.0s (35.5%)

Algorithm

1×

intervals

Results

391.0ms

8000×

body

128

valid

Compiler

Compiled 303 to 257 computations (15.2% saved)

Details

analyze246.0ms (8.4%)

sample18.0ms (0.6%)

simplify170.0ms (5.8%)

prune5.0ms (0.2%)

localize13.0ms (0.5%)

rewrite245.0ms (8.4%)

series264.0ms (9%)

simplify107.0ms (3.7%)

prune181.0ms (6.2%)

localize6.0ms (0.2%)

rewrite121.0ms (4.1%)

series251.0ms (8.6%)

simplify110.0ms (3.8%)

prune72.0ms (2.5%)

regimes70.0ms (2.4%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.0s (35.5%)

Profiling