Details

analyze887.0ms (14.4%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5065	133
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
9.4%	90.4%	0.2%	8
9.4%	90.4%	0.2%	9
10.9%	88.9%	0.2%	10
25.9%	73.9%	0.2%	11
47.1%	52.7%	0.2%	12
55.3%	44.5%	0.2%	13
59.2%	40.6%	0.2%	14

Compiler

Compiled 18 to 15 computations (16.7% saved)

sample23.0ms (0.4%)

Algorithm

1×

intervals

Results

11.0ms

256×

body

128

valid

Compiler

Compiled 35 to 33 computations (5.7% saved)

simplify56.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5059	19

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

2.2b

Counts

2 → 2

Compiler

Compiled 43 to 36 computations (16.3% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 x (/.f64 y (-.f64 z (/.f64 (.f64 y t) (.f64 2 z)))))
3.6b	(/.f64 (.f64 y t) (.f64 2 z))
5.9b	(/.f64 y (-.f64 z (/.f64 (.f64 y t) (.f64 2 z))))

rewrite164.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

0.5b

Rules

41×	`add-sqr-sqrt_binary64_12717`
38×	`*-un-lft-identity_binary64_12695`
32×	`times-frac_binary64_12701`
22×	`add-cube-cbrt_binary64_12730`
21×	`cancel-sign-sub-inv_binary64_12661`
17×	`add-exp-log_binary64_12733` `add-cbrt-cube_binary64_12731`
9×	`difference-of-squares_binary64_12664`
8×	`distribute-lft-out--_binary64_12647`
6×	`associate-/r*_binary64_12639`
5×	`div-exp_binary64_12746` `add-log-exp_binary64_12734` `cbrt-undiv_binary64_12729`
4×	`associate-/r/_binary64_12641` `associate-/l*_binary64_12640` `prod-exp_binary64_12744` `cbrt-unprod_binary64_12728`
3×	`pow1_binary64_12756` `div-inv_binary64_12692` `flip3--_binary64_12699` `flip--_binary64_12670`
2×	`frac-2neg_binary64_12706` `clear-num_binary64_12694`
1×	`diff-log_binary64_12787` `sub-neg_binary64_12688`

Counts

3 → 93

Calls

3 calls:

13.0ms	(-.f64 x (/.f64 y (-.f64 z (/.f64 (.f64 y t) (.f64 2 z)))))
7.0ms	(/.f64 y (-.f64 z (/.f64 (.f64 y t) (.f64 2 z))))
6.0ms	(/.f64 (.f64 y t) (.f64 2 z))

Compiler

Compiled 2351 to 1192 computations (49.3% saved)

series707.0ms (11.5%)

Error

0.0b

Counts

3 → 49

Calls

3 calls:

338.0ms	(-.f64 x (/.f64 y (-.f64 z (/.f64 (.f64 y t) (.f64 2 z)))))
172.0ms	(/.f64 (.f64 y t) (.f64 2 z))
163.0ms	(/.f64 y (-.f64 z (/.f64 (.f64 y t) (.f64 2 z))))

Compiler

Compiled 1591 to 1246 computations (21.7% saved)

simplify66.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

142 → 142

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5225	2741

prune134.0ms (2.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	140	2	142
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	141	3	144

Error

Counts

144 → 3

Compiler

Compiled 2451 to 1177 computations (52% saved)

localize15.0ms (0.3%)

Local error

Found 4 expressions with local error:

4.5b	(/.f64 y (*.f64 (/.f64 z t) 2))
12.9b	(cbrt.f64 (-.f64 z (/.f64 y (*.f64 (/.f64 z t) 2))))
12.9b	(cbrt.f64 (-.f64 z (/.f64 y (*.f64 (/.f64 z t) 2))))
12.9b	(cbrt.f64 (-.f64 z (/.f64 y (*.f64 (/.f64 z t) 2))))

rewrite180.0ms (2.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

15×	`cbrt-prod_binary64_12726` `add-sqr-sqrt_binary64_12717` `*-un-lft-identity_binary64_12695`
13×	`add-exp-log_binary64_12733` `add-cbrt-cube_binary64_12731`
9×	`add-cube-cbrt_binary64_12730`
6×	`cbrt-div_binary64_12727`
4×	`pow1_binary64_12756` `add-log-exp_binary64_12734` `div-exp_binary64_12746` `cbrt-undiv_binary64_12729`
3×	`pow1/3_binary64_12777` `flip3--_binary64_12699` `flip--_binary64_12670` `difference-of-squares_binary64_12664` `distribute-lft-out--_binary64_12647` `times-frac_binary64_12701` `associate-/l*_binary64_12640`
2×	`prod-exp_binary64_12744` `cbrt-unprod_binary64_12728`
1×	`frac-2neg_binary64_12706` `clear-num_binary64_12694` `div-inv_binary64_12692` `associate-l/_binary64_12638` `associate-/r/_binary64_12641` `associate-/r_binary64_12639`

Counts

4 → 69

Calls

4 calls:

8.0ms	(cbrt.f64 (-.f64 z (/.f64 y (*.f64 (/.f64 z t) 2))))
6.0ms	(/.f64 y (*.f64 (/.f64 z t) 2))
6.0ms	(cbrt.f64 (-.f64 z (/.f64 y (*.f64 (/.f64 z t) 2))))
6.0ms	(cbrt.f64 (-.f64 z (/.f64 y (*.f64 (/.f64 z t) 2))))

Compiler

Compiled 3323 to 1874 computations (43.6% saved)

series1.4s (23.4%)

Error

Counts

4 → 60

Calls

4 calls:

386.0ms	(cbrt.f64 (-.f64 z (/.f64 y (*.f64 (/.f64 z t) 2))))
381.0ms	(cbrt.f64 (-.f64 z (/.f64 y (*.f64 (/.f64 z t) 2))))
355.0ms	(cbrt.f64 (-.f64 z (/.f64 y (*.f64 (/.f64 z t) 2))))
184.0ms	(/.f64 y (*.f64 (/.f64 z t) 2))

Compiler

Compiled 8103 to 5699 computations (29.7% saved)

simplify67.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	4995	2895
1	4995	2895

prune276.0ms (4.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	129	3	132

Error

Counts

132 → 3

Compiler

Compiled 5800 to 3285 computations (43.4% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 -2 (/.f64 z t))
0.0b	(-.f64 x (*.f64 -2 (/.f64 z t)))

rewrite47.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

15×	`add-sqr-sqrt_binary64_12717`
13×	`associate-r_binary64_12635`
10×	`add-cube-cbrt_binary64_12730` `*-un-lft-identity_binary64_12695` `times-frac_binary64_12701`
7×	`add-exp-log_binary64_12733` `add-cbrt-cube_binary64_12731`
4×	`add-log-exp_binary64_12734` `pow1_binary64_12756`
3×	`associate-l_binary64_12636`
2×	`prod-exp_binary64_12744` `cbrt-unprod_binary64_12728` `unswap-sqr_binary64_12663`
1×	`diff-log_binary64_12787` `flip3--_binary64_12699` `sub-neg_binary64_12688` `flip--_binary64_12670` `cancel-sign-sub-inv_binary64_12661` `pow-prod-down_binary64_12766` `div-exp_binary64_12746` `cbrt-undiv_binary64_12729` `associate-r/_binary64_12637` `div-inv_binary64_12692` `-commutative_binary64_12626`

Counts

2 → 44

Calls

2 calls:

7.0ms	(*.f64 -2 (/.f64 z t))
3.0ms	(-.f64 x (*.f64 -2 (/.f64 z t)))

Compiler

Compiled 624 to 326 computations (47.8% saved)

series277.0ms (4.5%)

Error

Counts

2 → 24

Calls

2 calls:

181.0ms	(-.f64 x (*.f64 -2 (/.f64 z t)))
85.0ms	(*.f64 -2 (/.f64 z t))

Compiler

Compiled 365 to 346 computations (5.2% saved)

simplify59.0ms (1%)

Algorithm

1×	egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5062	687

prune45.0ms (0.7%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	68	0	68
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	68	3	71

Error

Counts

71 → 3

Compiler

Compiled 682 to 332 computations (51.3% saved)

regimes410.0ms (6.7%)

Accuracy

Total 1.0b remaining (99.8%)

Threshold costs 1.0b (99.8%)

Compiler

Compiled 4650 to 3448 computations (25.8% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	39	19
1	39	19

end0.0ms (0%)

sample1.3s (20.9%)

Algorithm

1×

intervals

Results

368.0ms

8000×

body

128

valid

Compiler

Compiled 799 to 595 computations (25.5% saved)

Details

analyze887.0ms (14.4%)

sample23.0ms (0.4%)

simplify56.0ms (0.9%)

prune5.0ms (0.1%)

localize9.0ms (0.1%)

rewrite164.0ms (2.7%)

series707.0ms (11.5%)

simplify66.0ms (1.1%)

prune134.0ms (2.2%)

localize15.0ms (0.3%)

rewrite180.0ms (2.9%)

series1.4s (23.4%)

simplify67.0ms (1.1%)

prune276.0ms (4.5%)

localize5.0ms (0.1%)

rewrite47.0ms (0.8%)

series277.0ms (4.5%)

simplify59.0ms (1%)

prune45.0ms (0.7%)

regimes410.0ms (6.7%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample1.3s (20.9%)

Profiling