Details

analyze1.5s (10.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	99.6%	0.4%	8
0%	99.6%	0.4%	9
0%	99.6%	0.4%	10
0%	99.6%	0.4%	11
0%	99.6%	0.4%	12
0%	99.6%	0.4%	13
0%	99.6%	0.4%	14

Compiler

Compiled 16 to 16 computations (0% saved)

sample46.0ms (0.3%)

Algorithm

1×

intervals

Results

12.0ms	256×	body	128	valid
9.0ms	181×	body	128	invalid

Compiler

Compiled 31 to 39 computations (-25.8% saved)

simplify103.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	67	22
1	67	22

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

0.0b

Counts

2 → 1

Compiler

Compiled 30 to 30 computations (0% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))
0.0b	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
0.0b	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
0.0b	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))

rewrite19.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-log-exp_binary64_4550`
9×	`sum-log_binary64_4602`
2×	`pow1_binary64_4572` `add-cbrt-cube_binary64_4547` `add-exp-log_binary64_4549` `flip-+_binary64_4485` `flip3-+_binary64_4514` `+-commutative_binary64_4441` `*-un-lft-identity_binary64_4511` `associate-+l+_binary64_4444` `add-sqr-sqrt_binary64_4533` `add-cube-cbrt_binary64_4546`

Counts

2 → 27

Calls

4 calls:

9.0ms	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))
7.0ms	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
0.0ms	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))
0.0ms	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))

series782.0ms (5.6%)

Counts

2 → 84

Calls

2 calls:

491.0ms	(+.f64 (+.f64 (+.f64 (.f64 x y) (.f64 z t)) (.f64 a b)) (.f64 c i))
291.0ms	(+.f64 (+.f64 (.f64 x y) (.f64 z t)) (*.f64 a b))

Compiler

Compiled 1546 to 1718 computations (-11.1% saved)

simplify69.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4904	1846
1	4904	1846

prune84.0ms (0.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	110	1	111
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	110	2	112

Error

0.0b

Counts

112 → 2

Compiler

Compiled 1604 to 117 computations (92.7% saved)

localize15.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(sqrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))
0.0b	(+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t)))
0.0b	(+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t)))
0.0b	(+.f64 (.f64 (sqrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (.f64 z t)))) (sqrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (.f64 z t))))) (.f64 c i))
0.0b	(+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t)))
0.0b	(sqrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))
0.0b	(sqrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))
0.2b	(.f64 (sqrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (.f64 z t)))) (sqrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t)))))

rewrite48.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`add-sqr-sqrt_binary64_4533`
24×	`sqrt-prod_binary64_4527`
21×	`pow1_binary64_4572`
16×	`sqrt-div_binary64_4528`
14×	`*-un-lft-identity_binary64_4511` `add-cube-cbrt_binary64_4546`
10×	`pow1/2_binary64_4591` `sqrt-pow1_binary64_4529`
9×	`flip-+_binary64_4485` `flip3-+_binary64_4514` `add-log-exp_binary64_4550`
8×	`swap-sqr_binary64_4478`
6×	`add-cbrt-cube_binary64_4547` `add-exp-log_binary64_4549` `associate-l_binary64_4452` `associate-r_binary64_4451`
5×	`pow-prod-up_binary64_4581`
4×	`unswap-sqr_binary64_4479` `rem-sqrt-square_binary64_4524` `frac-times_binary64_4521`
3×	`pow-sqr_binary64_4484` `sum-log_binary64_4602` `pow-prod-down_binary64_4582`
2×	`associate-r/_binary64_4453` `associate-l/_binary64_4454`
1×	`sqr-abs_binary64_4526` `pow-plus_binary64_4574` `sqrt-unprod_binary64_4531` `pow2_binary64_4592` `+-commutative_binary64_4441` `associate-+r+_binary64_4443` `prod-exp_binary64_4560` `cbrt-unprod_binary64_4544` `rem-square-sqrt_binary64_4523` `*-commutative_binary64_4442`

Counts

4 → 101

Calls

8 calls:

17.0ms	(.f64 (sqrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (.f64 z t)))) (sqrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t)))))
6.0ms	(+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t)))
6.0ms	(sqrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))
6.0ms	(sqrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))
0.0ms	(+.f64 (.f64 (sqrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (.f64 z t)))) (sqrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (.f64 z t))))) (.f64 c i))

series1.1s (7.7%)

Counts

4 → 120

Calls

4 calls:

307.0ms	(.f64 (sqrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (.f64 z t)))) (sqrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t)))))
302.0ms	(+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t)))
232.0ms	(sqrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))
224.0ms	(sqrt.f64 (+.f64 (.f64 a b) (+.f64 (.f64 x y) (*.f64 z t))))

Compiler

Compiled 5304 to 4176 computations (21.3% saved)

simplify83.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

221 → 221

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	4967	4099
1	4967	4099

prune171.0ms (1.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

0.0b

Counts

223 → 2

Compiler

Compiled 6067 to 540 computations (91.1% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	88	295
1	88	295

regimes349.0ms (2.5%)

Compiler: Compiled 2476 to 2852 computations (-15.2% saved)

bsearch0.0ms (0%)

regimes726.0ms (5.2%)

Compiler: Compiled 868 to 1820 computations (-109.7% saved)

bsearch60.0ms (0.4%)

Steps

Iters	Range		Point
8	3.112658140884866e+34	8.4167363612109415e+37	5.4601817202938685e+37
7	-8.674014523022917e+17	-5489505723934663.0	-2.7129334744167018e+17

Compiler

Compiled 3 to 9 computations (-200% saved)

regimes635.0ms (4.6%)

Compiler: Compiled 736 to 1664 computations (-126.1% saved)

bsearch57.0ms (0.4%)

Steps

Iters	Range		Point
8	3.112658140884866e+34	8.4167363612109415e+37	7.278883847136083e+35
9	-1.4765505955677117e+58	-2.090203453332167e+52	-4.0563271152084345e+56

Compiler

Compiled 3 to 9 computations (-200% saved)

regimes506.0ms (3.6%)

Compiler: Compiled 604 to 1508 computations (-149.7% saved)

bsearch53.0ms (0.4%)

Steps

Iters	Range		Point
7	7.479676094517861e+49	2.053733585638362e+51	2.0258307511909915e+51
7	-3.57152121899098e+151	-1.6768234274420795e+150	-3.686821135771392e+150

Compiler

Compiled 3 to 9 computations (-200% saved)

regimes883.0ms (6.3%)

Compiler: Compiled 472 to 1352 computations (-186.4% saved)

bsearch188.0ms (1.4%)

Steps

Iters	Range		Point
8	8.08023501633163e+89	4.087455846605901e+94	1.12637621579885e+90
9	10.856209795343881	667187349.9728045	15.50754778208336
10	8.062204170276139e-94	2.2562577860555847e-75	1.1394012057089724e-92
9	6.0315939916539e-296	9.52630957515089e-291	5.0192236041753155e-295
10	-6.427862533880389e-70	-2.7683988410029494e-80	-7.665063518406412e-75
8	-2789968.200293365	-1307.4507701219732	-3617.6822000964817

Compiler

Compiled 3 to 9 computations (-200% saved)

regimes966.0ms (6.9%)

Compiler: Compiled 388 to 1220 computations (-214.4% saved)

bsearch121.0ms (0.9%)

Steps

Iters	Range		Point
8	3.112658140884866e+34	8.4167363612109415e+37	3.535054415999451e+35
7	1.8449412007023908e-146	4.160152727279859e-144	1.9362121089733716e-146
10	1.6746416817398496e-190	1.3568581037991401e-176	1.3390339677214344e-176
9	-1.4765505955677117e+58	-2.090203453332167e+52	-8.921018102024512e+54

Compiler

Compiled 3 to 9 computations (-200% saved)

regimes672.0ms (4.8%)

Compiler: Compiled 304 to 1088 computations (-257.9% saved)

bsearch134.0ms (1%)

Steps

Iters	Range		Point
10	2.4809778113917007e+41	8.19190258755051e+53	8.036089838350377e+53
7	1.8449412007023908e-146	4.160152727279859e-144	1.8753648367927177e-146
10	1.6746416817398496e-190	1.3568581037991401e-176	1.303385695566023e-176
10	-1.7159686585955414e+129	-3.479727123248889e+119	-1.3735403014533352e+125

Compiler

Compiled 3 to 9 computations (-200% saved)

regimes879.0ms (6.3%)

Compiler: Compiled 220 to 956 computations (-334.5% saved)

bsearch190.0ms (1.4%)

Steps

Iters	Range		Point
10	3.939800411650556e+189	4.223150950967557e+206	4.0013104649089415e+189
4	2.368624300687987e+130	4.0890124171329764e+130	3.8202017739384467e+130
5	2.707162365283595e+18	5.635988934446512e+18	3.802218275024958e+18
5	3.8386475292932287e-28	9.370044056836594e-28	4.194571575027767e-28
10	1.826388840397321e-80	4.731050419478808e-66	6.451850220937613e-71
6	2.461831005277196e-161	2.465033336637735e-160	2.508347268279416e-161
0	-0.0	4.9406564584125e-324	0.0
9	-4.7255542739648255e-110	-5.004866398188237e-119	-1.9127922628299423e-112
6	-2271470501755806.5	-168383593796548.97	-2161035170348433.5

Compiler

Compiled 3 to 9 computations (-200% saved)

regimes657.0ms (4.7%)

Compiler: Compiled 166 to 776 computations (-367.5% saved)

bsearch200.0ms (1.4%)

Steps

Iters	Range		Point
5	4.263744956446186e+65	1.6766947759567e+66	1.3902746931727136e+66
2	6.980130436111073e+49	7.819670048886519e+49	7.504842694095727e+49
8	4.955802818035129e-81	1.4945047841856806e-78	4.590367693747697e-79
10	1.9062328890878743e-137	1.3392706767958703e-126	3.9286844900081155e-133
7	1.9731789248835326e-209	3.254478593270867e-208	5.7816080669312e-209
7	-2.0369605669209512e-104	-6.271671306622535e-106	-7.719004521702518e-105
8	-3.250002701232415e-12	-1.4874119174613852e-15	-2.3396180967583755e-14
9	-4.6487600783172856e+100	-4.594822439474452e+93	-3.4290688400102296e+94

Compiler

Compiled 3 to 9 computations (-200% saved)

regimes372.0ms (2.7%)

Compiler: Compiled 118 to 614 computations (-420.3% saved)

bsearch91.0ms (0.7%)

Steps

Iters	Range		Point
10	3.939800411650556e+189	4.223150950967557e+206	4.0013104649089415e+189
4	2.368624300687987e+130	4.0890124171329764e+130	4.03525028849407e+130
5	2.707162365283595e+18	5.635988934446512e+18	5.258383448328799e+18
6	-2271470501755806.5	-168383593796548.97	-570401006626526.9

Compiler

Compiled 3 to 9 computations (-200% saved)

regimes98.0ms (0.7%)

Compiler: Compiled 76 to 470 computations (-518.4% saved)

bsearch0.0ms (0%)

regimes77.0ms (0.6%)

Compiler: Compiled 40 to 344 computations (-760% saved)

bsearch0.0ms (0%)

regimes68.0ms (0.5%)

Accuracy

Total 0.0b remaining (16.4%)

Threshold costs 0.0b (16.4%)

Compiler

Compiled 32 to 272 computations (-750% saved)

bsearch18.0ms (0.1%)

Compiler: Compiled 532 to 288 computations (45.9% saved)

simplify12.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	190	735
1	190	735

end0.0ms (0%)

sample1.9s (13.8%)

Algorithm

1×

intervals

Results

399.0ms	8000×	body	128	valid
274.0ms	5463×	body	128	invalid

Compiler

Compiled 723 to 538 computations (25.6% saved)

Pareto

0.28153698804010013

Details

analyze1.5s (10.6%)

sample46.0ms (0.3%)

simplify103.0ms (0.7%)

prune2.0ms (0%)

localize12.0ms (0.1%)

rewrite19.0ms (0.1%)

series782.0ms (5.6%)

simplify69.0ms (0.5%)

prune84.0ms (0.6%)

localize15.0ms (0.1%)

rewrite48.0ms (0.3%)

series1.1s (7.7%)

simplify83.0ms (0.6%)

prune171.0ms (1.2%)

simplify6.0ms (0%)

regimes349.0ms (2.5%)

bsearch0.0ms (0%)

regimes726.0ms (5.2%)

bsearch60.0ms (0.4%)

regimes635.0ms (4.6%)

bsearch57.0ms (0.4%)

regimes506.0ms (3.6%)

bsearch53.0ms (0.4%)

regimes883.0ms (6.3%)

bsearch188.0ms (1.4%)

regimes966.0ms (6.9%)

bsearch121.0ms (0.9%)

regimes672.0ms (4.8%)

bsearch134.0ms (1%)

regimes879.0ms (6.3%)

bsearch190.0ms (1.4%)

regimes657.0ms (4.7%)

bsearch200.0ms (1.4%)

regimes372.0ms (2.7%)

bsearch91.0ms (0.7%)

regimes98.0ms (0.7%)

bsearch0.0ms (0%)

regimes77.0ms (0.6%)

bsearch0.0ms (0%)

regimes68.0ms (0.5%)

bsearch18.0ms (0.1%)

simplify12.0ms (0.1%)

end0.0ms (0%)

sample1.9s (13.8%)

Profiling