Details

analyze1.7s (16.7%)

Algorithm

2×	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%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	7
9.4%	90.4%	0.2%	8
9.4%	90.4%	0.2%	8
9.4%	90.4%	0.2%	9
9.4%	90.4%	0.2%	9
10.9%	88.9%	0.2%	10
10.9%	88.9%	0.2%	10
25.9%	73.9%	0.2%	11
25.9%	73.9%	0.2%	11
47.1%	52.7%	0.2%	12
47.1%	52.7%	0.2%	12
55.3%	44.5%	0.2%	13
55.3%	44.5%	0.2%	13
59.2%	40.6%	0.2%	14
59.2%	40.6%	0.2%	14

Compiler

Compiled 36 to 30 computations (16.7% saved)

sample157.0ms (1.5%)

Algorithm

2×

intervals

Results

23.0ms

512×

body

128

valid

Compiler

Compiled 4661 to 4916 computations (-5.5% saved)

simplify58.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5059	19

prune6.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.5b

Counts

2 → 2

Compiler

Compiled 43 to 36 computations (16.3% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite199.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

0.5b

Rules

45×	`add-sqr-sqrt_binary64_11353`
42×	`*-un-lft-identity_binary64_11331`
33×	`times-frac_binary64_11337`
26×	`cancel-sign-sub-inv_binary64_11297`
24×	`add-cube-cbrt_binary64_11366`
18×	`add-exp-log_binary64_11369` `add-cbrt-cube_binary64_11367`
10×	`difference-of-squares_binary64_11300`
9×	`distribute-lft-out--_binary64_11283`
8×	`add-log-exp_binary64_11370`
6×	`associate-/r*_binary64_11275`
5×	`div-exp_binary64_11382` `cbrt-undiv_binary64_11365`
4×	`pow1_binary64_11392` `div-inv_binary64_11328` `flip3--_binary64_11335` `associate-/r/_binary64_11277` `flip--_binary64_11306` `associate-/l*_binary64_11276` `prod-exp_binary64_11380` `cbrt-unprod_binary64_11364`
2×	`frac-2neg_binary64_11342` `clear-num_binary64_11330` `diff-log_binary64_11423` `sub-neg_binary64_11324`

Counts

4 → 111

Calls

4 calls:

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

Compiler

Compiled 2761 to 1404 computations (49.1% saved)

series1.2s (11.6%)

Error

0.0b

Counts

4 → 88

Calls

4 calls:

421.0ms	(-.f64 x (/.f64 y (-.f64 z (/.f64 (.f64 y t) (.f64 2 z)))))
254.0ms	(/.f64 y (-.f64 z (/.f64 (.f64 y t) (.f64 2 z))))
245.0ms	(-.f64 z (/.f64 (.f64 y t) (.f64 2 z)))
188.0ms	(/.f64 (.f64 y t) (.f64 2 z))

Compiler

Compiled 3174 to 2384 computations (24.9% saved)

simplify86.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

199 → 199

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4951	4190
1	4951	4190

prune212.0ms (2.1%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	194	5	199
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	196	5	201

Error

0.0b

Counts

201 → 5

Compiler

Compiled 3675 to 1673 computations (54.5% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 z (*.f64 1/2 (/.f64 y (/.f64 z t))))
0.0b	(-.f64 x (/.f64 y (-.f64 z (*.f64 1/2 (/.f64 y (/.f64 z t))))))
4.2b	(/.f64 y (/.f64 z t))
4.4b	(/.f64 y (-.f64 z (*.f64 1/2 (/.f64 y (/.f64 z t)))))

rewrite198.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

94×	`times-frac_binary64_11337`
66×	`add-sqr-sqrt_binary64_11353`
63×	`*-un-lft-identity_binary64_11331`
61×	`add-cube-cbrt_binary64_11366`
16×	`associate-/r*_binary64_11275` `cancel-sign-sub-inv_binary64_11297`
11×	`add-exp-log_binary64_11369` `add-cbrt-cube_binary64_11367`
8×	`add-log-exp_binary64_11370`
7×	`div-inv_binary64_11328`
6×	`associate-/l*_binary64_11276`
5×	`associate-/r/_binary64_11277`
4×	`pow1_binary64_11392` `div-exp_binary64_11382` `cbrt-undiv_binary64_11365` `flip3--_binary64_11335` `flip--_binary64_11306`
2×	`frac-2neg_binary64_11342` `clear-num_binary64_11330` `diff-log_binary64_11423` `sub-neg_binary64_11324` `difference-of-squares_binary64_11300`
1×	`distribute-lft-out--_binary64_11283`

Counts

4 → 140

Calls

4 calls:

9.0ms	(-.f64 x (/.f64 y (-.f64 z (*.f64 1/2 (/.f64 y (/.f64 z t))))))
6.0ms	(/.f64 y (/.f64 z t))
5.0ms	(/.f64 y (-.f64 z (*.f64 1/2 (/.f64 y (/.f64 z t)))))
3.0ms	(-.f64 z (*.f64 1/2 (/.f64 y (/.f64 z t))))

Compiler

Compiled 3432 to 1446 computations (57.9% saved)

series1.2s (11.4%)

Error

0.0b

Counts

4 → 88

Calls

4 calls:

407.0ms	(-.f64 x (/.f64 y (-.f64 z (*.f64 1/2 (/.f64 y (/.f64 z t))))))
269.0ms	(-.f64 z (*.f64 1/2 (/.f64 y (/.f64 z t))))
262.0ms	(/.f64 y (-.f64 z (*.f64 1/2 (/.f64 y (/.f64 z t)))))
161.0ms	(/.f64 y (/.f64 z t))

Compiler

Compiled 3174 to 2384 computations (24.9% saved)

simplify85.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

228 → 228

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5019	4612

prune216.0ms (2.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	228	0	228
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	228	5	233

Error

0.0b

Counts

233 → 5

Compiler

Compiled 4380 to 1853 computations (57.7% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 x (/.f64 1 (/.f64 (-.f64 z (*.f64 1/2 (/.f64 y (/.f64 z t)))) y)))
0.7b	(/.f64 1 (/.f64 (-.f64 z (*.f64 1/2 (/.f64 y (/.f64 z t)))) y))
4.2b	(/.f64 y (/.f64 z t))
4.3b	(/.f64 (-.f64 z (*.f64 1/2 (/.f64 y (/.f64 z t)))) y)

rewrite452.0ms (4.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

231×	`times-frac_binary64_11337`
145×	`add-sqr-sqrt_binary64_11353`
136×	`*-un-lft-identity_binary64_11331`
131×	`add-cube-cbrt_binary64_11366`
44×	`cancel-sign-sub-inv_binary64_11297`
29×	`associate-/r*_binary64_11275`
22×	`add-exp-log_binary64_11369`
16×	`add-cbrt-cube_binary64_11367` `div-inv_binary64_11328`
11×	`div-exp_binary64_11382`
9×	`associate-/l*_binary64_11276`
7×	`cbrt-undiv_binary64_11365`
6×	`add-log-exp_binary64_11370`
5×	`pow1_binary64_11392` `difference-of-squares_binary64_11300`
3×	`frac-2neg_binary64_11342` `clear-num_binary64_11330` `associate-/r/_binary64_11277`
2×	`flip3--_binary64_11335` `associate-/l/_binary64_11278` `flip--_binary64_11306` `1-exp_binary64_11375` `rec-exp_binary64_11381` `distribute-lft-out--_binary64_11283`
1×	`div-sub_binary64_11336` `inv-pow_binary64_11416` `pow-flip_binary64_11405` `diff-log_binary64_11423` `sub-neg_binary64_11324`

Counts

4 → 238

Calls

4 calls:

19.0ms	(-.f64 x (/.f64 1 (/.f64 (-.f64 z (*.f64 1/2 (/.f64 y (/.f64 z t)))) y)))
10.0ms	(/.f64 1 (/.f64 (-.f64 z (*.f64 1/2 (/.f64 y (/.f64 z t)))) y))
6.0ms	(/.f64 y (/.f64 z t))
5.0ms	(/.f64 (-.f64 z (*.f64 1/2 (/.f64 y (/.f64 z t)))) y)

Compiler

Compiled 6864 to 3455 computations (49.7% saved)

series1.2s (12.1%)

Error

0.0b

Counts

4 → 88

Calls

4 calls:

405.0ms	(-.f64 x (/.f64 1 (/.f64 (-.f64 z (*.f64 1/2 (/.f64 y (/.f64 z t)))) y)))
340.0ms	(/.f64 (-.f64 z (*.f64 1/2 (/.f64 y (/.f64 z t)))) y)
264.0ms	(/.f64 1 (/.f64 (-.f64 z (*.f64 1/2 (/.f64 y (/.f64 z t)))) y))
150.0ms	(/.f64 y (/.f64 z t))

Compiler

Compiled 3224 to 2492 computations (22.7% saved)

simplify123.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

326 → 326

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	4944	7683
1	4944	7683

prune390.0ms (3.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	324	2	326
Fresh	2	1	3
Picked	0	1	1
Done	0	1	1
Total	326	5	331

Error

0.0b

Counts

331 → 5

Compiler

Compiled 7010 to 3264 computations (53.4% saved)

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(-.f64 x (/.f64 1 (+.f64 (*.f64 -1/2 (/.f64 t z)) (/.f64 z y))))
0.7b	(/.f64 1 (+.f64 (*.f64 -1/2 (/.f64 t z)) (/.f64 z y)))

rewrite120.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

24×	`add-sqr-sqrt_binary64_11353`
21×	`*-un-lft-identity_binary64_11331`
20×	`times-frac_binary64_11337`
17×	`add-cube-cbrt_binary64_11366`
16×	`cancel-sign-sub-inv_binary64_11297`
6×	`add-exp-log_binary64_11369` `associate-/r/_binary64_11277`
4×	`add-log-exp_binary64_11370` `add-cbrt-cube_binary64_11367`
3×	`pow1_binary64_11392` `div-inv_binary64_11328` `associate-/l_binary64_11276` `associate-/r_binary64_11275` `difference-of-squares_binary64_11300`
2×	`div-exp_binary64_11382` `associate-*r/_binary64_11273` `frac-add_binary64_11339` `flip3-+_binary64_11334` `flip-+_binary64_11305` `distribute-lft-out--_binary64_11283`
1×	`inv-pow_binary64_11416` `pow-flip_binary64_11405` `1-exp_binary64_11375` `rec-exp_binary64_11381` `cbrt-undiv_binary64_11365` `frac-2neg_binary64_11342` `clear-num_binary64_11330` `diff-log_binary64_11423` `flip3--_binary64_11335` `sub-neg_binary64_11324` `flip--_binary64_11306`

Counts

2 → 66

Calls

2 calls:

15.0ms	(-.f64 x (/.f64 1 (+.f64 (*.f64 -1/2 (/.f64 t z)) (/.f64 z y))))
10.0ms	(/.f64 1 (+.f64 (*.f64 -1/2 (/.f64 t z)) (/.f64 z y)))

Compiler

Compiled 1719 to 915 computations (46.8% saved)

series731.0ms (7.1%)

Error

0.0b

Counts

2 → 61

Calls

2 calls:

396.0ms	(-.f64 x (/.f64 1 (+.f64 (*.f64 -1/2 (/.f64 t z)) (/.f64 z y))))
278.0ms	(/.f64 1 (+.f64 (*.f64 -1/2 (/.f64 t z)) (/.f64 z y)))

Compiler

Compiled 2318 to 1811 computations (21.9% saved)

simplify72.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5282	2944

prune127.0ms (1.2%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	125	2	127
Fresh	1	1	2
Picked	0	1	1
Done	0	2	2
Total	126	6	132

Error

Counts

132 → 6

Compiler

Compiled 2344 to 1161 computations (50.5% saved)

regimes423.0ms (4.1%)

Accuracy

Total 0.1b remaining (98.3%)

Threshold costs 0.1b (98.3%)

Compiler

Compiled 4350 to 3322 computations (23.6% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	36	19
1	36	19

end0.0ms (0%)

sample1.3s (12.3%)

Algorithm

1×

intervals

Results

378.0ms

8000×

body

128

valid

Compiler

Compiled 749 to 575 computations (23.2% saved)

Details

analyze1.7s (16.7%)

sample157.0ms (1.5%)

simplify58.0ms (0.6%)

prune6.0ms (0.1%)

localize10.0ms (0.1%)

rewrite199.0ms (1.9%)

series1.2s (11.6%)

simplify86.0ms (0.8%)

prune212.0ms (2.1%)

localize10.0ms (0.1%)

rewrite198.0ms (1.9%)

series1.2s (11.4%)

simplify85.0ms (0.8%)

prune216.0ms (2.1%)

localize12.0ms (0.1%)

rewrite452.0ms (4.4%)

series1.2s (12.1%)

simplify123.0ms (1.2%)

prune390.0ms (3.8%)

localize9.0ms (0.1%)

rewrite120.0ms (1.2%)

series731.0ms (7.1%)

simplify72.0ms (0.7%)

prune127.0ms (1.2%)

regimes423.0ms (4.1%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.3s (12.3%)

Profiling