Details

analyze2.0s (16%)

Algorithm

2×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4865	176
1	4865	176
0	5	5
1	5	5

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
0%	99.8%	0.2%	8
0%	99.8%	0.2%	8
2.3%	97.4%	0.2%	9
2.3%	97.4%	0.2%	9
4.7%	95.1%	0.2%	10
4.7%	95.1%	0.2%	10
12.7%	87.1%	0.2%	11
12.7%	87.1%	0.2%	11
15.9%	83.9%	0.2%	12
15.9%	83.9%	0.2%	12
24.9%	74.9%	0.2%	13
24.9%	74.9%	0.2%	13
33.2%	66.5%	0.2%	14
33.2%	66.5%	0.2%	14

Compiler

Compiled 24 to 22 computations (8.3% saved)

sample353.0ms (2.8%)

Algorithm

2×

intervals

Results

19.0ms	512×	body	128	valid
3.0ms	54×	body	128	invalid

Compiler

Compiled 3407 to 4538 computations (-33.2% saved)

simplify361.0ms (2.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (355.0ms)

Iter	Nodes	Cost
0	4977	16
1	4977	16

prune3.0ms (0%)

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

11.9b

Counts

2 → 1

Compiler

Compiled 22 to 20 computations (9.1% saved)

localize14.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a)))
0.0b	(*.f64 y (-.f64 z t))
12.1b	(/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a))

rewrite98.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

17×	`add-sqr-sqrt_binary64_13740` `*-un-lft-identity_binary64_13718`
10×	`add-exp-log_binary64_13756` `add-cbrt-cube_binary64_13754`
9×	`add-cube-cbrt_binary64_13753`
6×	`cancel-sign-sub-inv_binary64_13684`
5×	`pow1_binary64_13779` `add-log-exp_binary64_13757` `times-frac_binary64_13724` `associate-/r_binary64_13662` `associate-r*_binary64_13658`
4×	`associate-*r/_binary64_13660` `distribute-rgt-in_binary64_13668` `distribute-lft-in_binary64_13667`
3×	`difference-of-squares_binary64_13687` `distribute-lft-out--_binary64_13670` `flip3--_binary64_13722` `flip--_binary64_13693` `associate-l_binary64_13659`
2×	`prod-exp_binary64_13767` `div-exp_binary64_13769` `cbrt-undiv_binary64_13752` `cbrt-unprod_binary64_13751` `associate-/l/_binary64_13665` `associate-/r/_binary64_13664` `sub-neg_binary64_13711`
1×	`frac-2neg_binary64_13729` `clear-num_binary64_13717` `div-inv_binary64_13715` `associate-/l_binary64_13663` `pow-prod-down_binary64_13789` `unswap-sqr_binary64_13686` `-commutative_binary64_13649` `sum-log_binary64_13809` `flip3-+_binary64_13721` `flip-+_binary64_13692` `distribute-lft-out_binary64_13669` `+-commutative_binary64_13648`

Counts

3 → 71

Calls

3 calls:

10.0ms	(/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a))
8.0ms	(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a)))
7.0ms	(*.f64 y (-.f64 z t))

Compiler

Compiled 1337 to 337 computations (74.8% saved)

series1.3s (10.5%)

Error

0.2b

Counts

3 → 88

Calls

3 calls:

678.0ms	(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a)))
420.0ms	(/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a))
140.0ms	(*.f64 y (-.f64 z t))

Compiler

Compiled 4394 to 2524 computations (42.6% saved)

simplify74.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

159 → 159

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5058	3543

prune152.0ms (1.2%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	154	5	159
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	155	5	160

Error

Counts

160 → 5

Compiler

Compiled 3117 to 628 computations (79.9% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 x (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a))))
0.0b	(/.f64 (-.f64 z t) (-.f64 z a))
2.7b	(*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))

rewrite133.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

76×	`add-sqr-sqrt_binary64_13740`
71×	`*-un-lft-identity_binary64_13718`
51×	`times-frac_binary64_13724`
31×	`associate-r_binary64_13658`
27×	`add-cube-cbrt_binary64_13753`
22×	`difference-of-squares_binary64_13687` `distribute-lft-out--_binary64_13670`
10×	`add-exp-log_binary64_13756` `add-cbrt-cube_binary64_13754`
5×	`pow1_binary64_13779` `add-log-exp_binary64_13757` `associate-/l_binary64_13663` `associate-/r_binary64_13662`
4×	`associate-/r/_binary64_13664`
3×	`associate-l_binary64_13659` `flip3--_binary64_13722` `flip--_binary64_13693`
2×	`div-exp_binary64_13769` `prod-exp_binary64_13767` `cbrt-unprod_binary64_13751` `cbrt-undiv_binary64_13752` `unswap-sqr_binary64_13686` `div-inv_binary64_13715` `associate-/l/_binary64_13665`
1×	`pow-prod-down_binary64_13789` `associate-r/_binary64_13660` `-commutative_binary64_13649` `frac-2neg_binary64_13729` `div-sub_binary64_13723` `clear-num_binary64_13717` `sum-log_binary64_13809` `flip3-+_binary64_13721` `flip-+_binary64_13692` `+-commutative_binary64_13648`

Counts

3 → 113

Calls

3 calls:

15.0ms	(*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))
8.0ms	(/.f64 (-.f64 z t) (-.f64 z a))
4.0ms	(+.f64 x (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a))))

Compiler

Compiled 2369 to 535 computations (77.4% saved)

series1.5s (11.4%)

Error

Counts

3 → 102

Calls

3 calls:

690.0ms	(+.f64 x (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a))))
395.0ms	(*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))
251.0ms	(/.f64 (-.f64 z t) (-.f64 z a))

Compiler

Compiled 5529 to 3311 computations (40.1% saved)

simplify92.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

215 → 215

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5020	4803

prune195.0ms (1.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	215	0	215
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	215	5	220

Error

Counts

220 → 5

Compiler

Compiled 4309 to 1075 computations (75.1% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 x (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t))))
0.0b	(/.f64 (-.f64 z a) (-.f64 z t))
2.8b	(/.f64 y (/.f64 (-.f64 z a) (-.f64 z t)))

rewrite287.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

218×	`times-frac_binary64_13724`
197×	`*-un-lft-identity_binary64_13718`
195×	`add-sqr-sqrt_binary64_13740`
91×	`add-cube-cbrt_binary64_13753`
52×	`difference-of-squares_binary64_13687` `distribute-lft-out--_binary64_13670`
36×	`associate-/r*_binary64_13662`
11×	`associate-/r/_binary64_13664`
10×	`add-exp-log_binary64_13756` `add-cbrt-cube_binary64_13754`
8×	`associate-/l*_binary64_13663`
6×	`div-inv_binary64_13715` `flip3--_binary64_13722` `flip--_binary64_13693`
5×	`add-log-exp_binary64_13757`
4×	`div-exp_binary64_13769` `cbrt-undiv_binary64_13752`
3×	`pow1_binary64_13779`
2×	`frac-2neg_binary64_13729` `clear-num_binary64_13717` `associate-/l/_binary64_13665`
1×	`div-sub_binary64_13723` `sum-log_binary64_13809` `flip3-+_binary64_13721` `flip-+_binary64_13692` `distribute-lft-out_binary64_13669` `+-commutative_binary64_13648`

Counts

3 → 206

Calls

3 calls:

30.0ms	(+.f64 x (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t))))
12.0ms	(/.f64 y (/.f64 (-.f64 z a) (-.f64 z t)))
9.0ms	(/.f64 (-.f64 z a) (-.f64 z t))

Compiler

Compiled 4812 to 1041 computations (78.4% saved)

series1.4s (11.3%)

Error

Counts

3 → 95

Calls

3 calls:

672.0ms	(+.f64 x (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t))))
433.0ms	(/.f64 y (/.f64 (-.f64 z a) (-.f64 z t)))
239.0ms	(/.f64 (-.f64 z a) (-.f64 z t))

Compiler

Compiled 5038 to 3000 computations (40.5% saved)

simplify98.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

301 → 301

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5528	7973

prune276.0ms (2.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	301	0	301
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	301	5	306

Error

Counts

306 → 5

Compiler

Compiled 6570 to 1137 computations (82.7% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 x (/.f64 1 (/.f64 (-.f64 z a) (*.f64 (-.f64 z t) y))))
0.0b	(*.f64 (-.f64 z t) y)
0.6b	(/.f64 1 (/.f64 (-.f64 z a) (*.f64 (-.f64 z t) y)))
12.1b	(/.f64 (-.f64 z a) (*.f64 (-.f64 z t) y))

rewrite188.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

58×	`times-frac_binary64_13724`
45×	`*-un-lft-identity_binary64_13718`
44×	`add-sqr-sqrt_binary64_13740`
32×	`add-exp-log_binary64_13756`
28×	`add-cube-cbrt_binary64_13753`
20×	`add-cbrt-cube_binary64_13754`
14×	`div-exp_binary64_13769`
12×	`associate-l/_binary64_13661` `associate-/r_binary64_13662`
11×	`associate-/r/_binary64_13664`
8×	`associate-/l*_binary64_13663`
7×	`pow1_binary64_13779` `cbrt-undiv_binary64_13752` `difference-of-squares_binary64_13687` `distribute-lft-out--_binary64_13670` `div-inv_binary64_13715` `flip3--_binary64_13722` `flip--_binary64_13693`
6×	`add-log-exp_binary64_13757`
5×	`prod-exp_binary64_13767` `associate-l_binary64_13659`
3×	`cbrt-unprod_binary64_13751` `1-exp_binary64_13762` `rec-exp_binary64_13768` `associate-r_binary64_13658`
2×	`frac-2neg_binary64_13729` `clear-num_binary64_13717` `associate-/l/_binary64_13665` `distribute-lft-out_binary64_13669`
1×	`div-sub_binary64_13723` `inv-pow_binary64_13803` `pow-flip_binary64_13792` `pow-prod-down_binary64_13789` `unswap-sqr_binary64_13686` `*-commutative_binary64_13649` `sum-log_binary64_13809` `flip3-+_binary64_13721` `flip-+_binary64_13692` `+-commutative_binary64_13648`

Counts

4 → 137

Calls

4 calls:

15.0ms	(+.f64 x (/.f64 1 (/.f64 (-.f64 z a) (*.f64 (-.f64 z t) y))))
12.0ms	(/.f64 1 (/.f64 (-.f64 z a) (*.f64 (-.f64 z t) y)))
9.0ms	(/.f64 (-.f64 z a) (*.f64 (-.f64 z t) y))
7.0ms	(*.f64 (-.f64 z t) y)

Compiler

Compiled 3022 to 995 computations (67.1% saved)

series1.7s (13.3%)

Error

Counts

4 → 110

Calls

4 calls:

677.0ms	(+.f64 x (/.f64 1 (/.f64 (-.f64 z a) (*.f64 (-.f64 z t) y))))
412.0ms	(/.f64 1 (/.f64 (-.f64 z a) (*.f64 (-.f64 z t) y)))
365.0ms	(/.f64 (-.f64 z a) (*.f64 (-.f64 z t) y))
137.0ms	(*.f64 (-.f64 z t) y)

Compiler

Compiled 5684 to 3406 computations (40.1% saved)

simplify78.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

247 → 247

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5213	5465

prune218.0ms (1.7%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	247	0	247
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	247	5	252

Error

Counts

252 → 5

Compiler

Compiled 4841 to 1168 computations (75.9% saved)

regimes705.0ms (5.5%)

Accuracy

Total 0.8b remaining (99.6%)

Threshold costs 0.8b (99.6%)

Compiler

Compiled 5566 to 4296 computations (22.8% saved)

bsearch59.0ms (0.5%)

Steps

Iters	Range		Point
10	4.705439099401362e-20	8.904120395053561e-07	1.5516949149729753e-09
10	-2.0316415606622904e+89	-1.0704054611799317e+71	-1.0867585865650249e+71

Compiler

Compiled 1 to 5 computations (-400% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	77	72
1	77	72

end0.0ms (0%)

sample1.4s (10.8%)

Algorithm

1×

intervals

Results

317.0ms	7997×	body	128	valid
29.0ms	775×	body	128	invalid
0.0ms	2×	body	1024	valid
0.0ms	1×	body	256	valid

Compiler

Compiled 843 to 643 computations (23.7% saved)

Details

analyze2.0s (16%)

sample353.0ms (2.8%)

simplify361.0ms (2.8%)

prune3.0ms (0%)

localize14.0ms (0.1%)

rewrite98.0ms (0.8%)

series1.3s (10.5%)

simplify74.0ms (0.6%)

prune152.0ms (1.2%)

localize9.0ms (0.1%)

rewrite133.0ms (1%)

series1.5s (11.4%)

simplify92.0ms (0.7%)

prune195.0ms (1.5%)

localize10.0ms (0.1%)

rewrite287.0ms (2.3%)

series1.4s (11.3%)

simplify98.0ms (0.8%)

prune276.0ms (2.2%)

localize10.0ms (0.1%)

rewrite188.0ms (1.5%)

series1.7s (13.3%)

simplify78.0ms (0.6%)

prune218.0ms (1.7%)

regimes705.0ms (5.5%)

bsearch59.0ms (0.5%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.4s (10.8%)

Profiling