Details

analyze679.0ms (21.8%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	70
1	23	70
0	4	4
1	4	4

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
6.2%	93.6%	0.2%	9
12.5%	87.3%	0.2%	10
15.6%	80.3%	4.1%	11
31.2%	63.9%	4.9%	12
39%	50.9%	10.1%	13
44.8%	44.4%	10.7%	14

Compiler

Compiled 8 to 8 computations (0% saved)

sample32.0ms (1%)

Algorithm

1×

intervals

Results

6.0ms	256×	body	128	valid
1.0ms	32×	body	128	invalid

Compiler

Compiled 15 to 19 computations (-26.7% saved)

simplify8.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	11	10
1	11	10

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

0.0b

Counts

2 → 1

Compiler

Compiled 14 to 14 computations (0% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b	(+.f64 (.f64 x y) (.f64 z t))

rewrite17.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

3×	`add-log-exp_binary64_2163`
1×	`sum-log_binary64_2215` `pow1_binary64_2185` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160` `add-cube-cbrt_binary64_2159` `add-sqr-sqrt_binary64_2146` `flip3-+_binary64_2127` `*-un-lft-identity_binary64_2124` `flip-+_binary64_2098` `+-commutative_binary64_2054`

Counts

1 → 11

Calls

1 calls:

4.0ms

(+.f64 (*.f64 x y) (*.f64 z t))

Compiler

Compiled 178 to 42 computations (76.4% saved)

series144.0ms (4.6%)

Error

0.0b

Counts

1 → 24

Calls

1 calls:

133.0ms

(+.f64 (*.f64 x y) (*.f64 z t))

Compiler

Compiled 324 to 235 computations (27.5% saved)

simplify94.0ms (3%)

Algorithm

1×	egg-herbie

Counts

35 → 35

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	4831	355
1	4831	355

prune18.0ms (0.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	34	1	35
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	34	2	36

Error

0.0b

Counts

36 → 2

Compiler

Compiled 289 to 51 computations (82.4% saved)

localize8.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (.f64 t z) (.f64 x y))
0.3b	(pow.f64 (+.f64 (.f64 t z) (.f64 x y)) 3)
35.7b	(cbrt.f64 (pow.f64 (+.f64 (.f64 t z) (.f64 x y)) 3))

rewrite64.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

12×	`cbrt-prod_binary64_2155`
9×	`add-cube-cbrt_binary64_2159` `add-sqr-sqrt_binary64_2146` `*-un-lft-identity_binary64_2124`
6×	`unpow-prod-down_binary64_2203` `cube-prod_binary64_2152`
5×	`add-log-exp_binary64_2163`
4×	`pow1_binary64_2185` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160` `cube-div_binary64_2153`
3×	`flip3-+_binary64_2127` `flip-+_binary64_2098` `pow-unpow_binary64_2201`
2×	`cbrt-div_binary64_2156` `unpow3_binary64_2190` `cube-mult_binary64_2154` `sqr-pow_binary64_2096`
1×	`pow1/3_binary64_2206` `rem-cbrt-cube_binary64_2148` `pow-pow_binary64_2196` `pow-to-exp_binary64_2193` `pow-exp_binary64_2192` `rem-cube-cbrt_binary64_2147` `sum-log_binary64_2215` `+-commutative_binary64_2054`

Counts

3 → 59

Calls

3 calls:

6.0ms	(+.f64 (.f64 t z) (.f64 x y))
5.0ms	(cbrt.f64 (pow.f64 (+.f64 (.f64 t z) (.f64 x y)) 3))
5.0ms	(pow.f64 (+.f64 (.f64 t z) (.f64 x y)) 3)

Compiler

Compiled 1234 to 391 computations (68.3% saved)

series607.0ms (19.5%)

Error

0.0b

Counts

3 → 96

Calls

3 calls:

259.0ms	(pow.f64 (+.f64 (.f64 t z) (.f64 x y)) 3)
137.0ms	(+.f64 (.f64 t z) (.f64 x y))
128.0ms	(cbrt.f64 (pow.f64 (+.f64 (.f64 t z) (.f64 x y)) 3))

Compiler

Compiled 3468 to 2755 computations (20.6% saved)

simplify96.0ms (3.1%)

Algorithm

1×	egg-herbie

Counts

155 → 155

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5270	2954

prune102.0ms (3.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

0.0b

Counts

157 → 2

Compiler

Compiled 2378 to 635 computations (73.3% saved)

regimes83.0ms (2.7%)

Accuracy

Total 0.0b remaining (12.6%)

Threshold costs 0.0b (12.6%)

Compiler

Compiled 363 to 325 computations (10.5% saved)

bsearch0.0ms (0%)

simplify23.0ms (0.7%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	10
1	11	10

Compiler

Compiled 28 to 28 computations (0% saved)

end0.0ms (0%)

sample1.1s (36.4%)

Algorithm

1×

intervals

Results

220.0ms	8000×	body	128	valid
43.0ms	1438×	body	128	invalid

Compiler

Compiled 62 to 56 computations (9.7% saved)

Details

analyze679.0ms (21.8%)

sample32.0ms (1%)

simplify8.0ms (0.3%)

prune2.0ms (0.1%)

localize5.0ms (0.2%)

rewrite17.0ms (0.6%)

series144.0ms (4.6%)

simplify94.0ms (3%)

prune18.0ms (0.6%)

localize8.0ms (0.3%)

rewrite64.0ms (2.1%)

series607.0ms (19.5%)

simplify96.0ms (3.1%)

prune102.0ms (3.3%)

regimes83.0ms (2.7%)

bsearch0.0ms (0%)

simplify23.0ms (0.7%)

end0.0ms (0%)

sample1.1s (36.4%)

Profiling