Details

analyze5.0s (11.4%)

Algorithm

1×

Search

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

Compiler

Compiled 96 to 64 computations (33.3% saved)

sample641.0ms (1.4%)

Algorithm

1×

intervals

Results

391.0ms	1867×	body	128	invalid
50.0ms	256×	body	128	valid

Compiler

Compiled 191 to 143 computations (25.1% saved)

simplify207.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5147	142

prune6.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 25.0b

Counts

2 → 1

Compiler

Compiled 190 to 126 computations (33.7% saved)

localize70.0ms (0.2%)

Local error

Found 4 expressions with local error:

7.6b	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
8.1b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
8.2b	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
8.7b	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))

rewrite79.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`flip--_binary64_10718` `flip3--_binary64_10747`
20×	`add-sqr-sqrt_binary64_10765`
16×	`frac-times_binary64_10753`
12×	`associate-r_binary64_10683` `add-cube-cbrt_binary64_10778` `-un-lft-identity_binary64_10743` `associate-l*_binary64_10684` `add-cbrt-cube_binary64_10779` `add-exp-log_binary64_10781` `pow1_binary64_10804`
8×	`associate-r/_binary64_10685` `distribute-rgt-in_binary64_10693` `sub-neg_binary64_10736` `associate-l/_binary64_10686` `distribute-lft-in_binary64_10692` `cancel-sign-sub-inv_binary64_10709`
4×	`unswap-sqr_binary64_10711` `cbrt-unprod_binary64_10776` `*-commutative_binary64_10674` `prod-exp_binary64_10792` `add-log-exp_binary64_10782` `pow-prod-down_binary64_10814`

Counts

4 → 120

Calls

4 calls:

12.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
12.0ms	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
12.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
11.0ms	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))

series1.8s (4%)

Counts

4 → 12

Calls

4 calls:

443.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
440.0ms	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
437.0ms	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
430.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))

simplify58.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 0 (18.0ms)

Iter	Nodes	Cost
0	5036	4424

prune1.9s (4.4%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	110	22	132
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	111	22	133

Merged error: 18.3b

Counts

133 → 22

Compiler

Compiled 69789 to 34155 computations (51.1% saved)

localize72.0ms (0.2%)

Local error

Found 4 expressions with local error:

7.7b	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (neg.f64 (.f64 c i)))
8.1b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
8.2b	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
10.2b	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (.f64 a b))

rewrite77.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-sqr-sqrt_binary64_10765`
15×	`add-cbrt-cube_binary64_10779` `add-exp-log_binary64_10781` `pow1_binary64_10804`
14×	`flip--_binary64_10718` `flip3--_binary64_10747`
13×	`associate-r_binary64_10683`
12×	`associate-l_binary64_10684`
11×	`add-cube-cbrt_binary64_10778` `*-un-lft-identity_binary64_10743`
8×	`associate-*l/_binary64_10686` `frac-times_binary64_10753`
6×	`cbrt-unprod_binary64_10776` `prod-exp_binary64_10792` `pow-prod-down_binary64_10814`
4×	`associate-r/_binary64_10685` `distribute-rgt-in_binary64_10693` `sub-neg_binary64_10736` `-commutative_binary64_10674` `add-log-exp_binary64_10782` `distribute-lft-in_binary64_10692` `cancel-sign-sub-inv_binary64_10709`
3×	`unswap-sqr_binary64_10711`
1×	`distribute-lft-neg-in_binary64_10700` `neg-mul-1_binary64_10739` `distribute-rgt-neg-in_binary64_10701` `distribute-rgt-neg-out_binary64_10703`

Counts

4 → 104

Calls

4 calls:

12.0ms	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
12.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
9.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (.f64 a b))
9.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (neg.f64 (.f64 c i)))

series1.4s (3.1%)

Counts

4 → 12

Calls

4 calls:

438.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
427.0ms	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
260.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (neg.f64 (.f64 c i)))
248.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (.f64 a b))

simplify79.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5139	3152

prune613.0ms (1.4%)

Pruning

24 alts after pruning (23 fresh and 1 done)

	Pruned	Kept	Total
New	112	4	116
Fresh	2	19	21
Picked	0	1	1
Done	0	0	0
Total	114	24	138

Merged error: 17.1b

Counts

138 → 24

Compiler

Compiled 25863 to 8707 computations (66.3% saved)

localize77.0ms (0.2%)

Local error

Found 4 expressions with local error:

6.9b	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
7.6b	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
8.2b	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
8.7b	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))

rewrite88.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`flip--_binary64_10718` `flip3--_binary64_10747`
20×	`add-sqr-sqrt_binary64_10765`
16×	`frac-times_binary64_10753`
12×	`associate-r_binary64_10683` `add-cube-cbrt_binary64_10778` `-un-lft-identity_binary64_10743` `associate-l*_binary64_10684` `add-cbrt-cube_binary64_10779` `add-exp-log_binary64_10781` `pow1_binary64_10804`
8×	`associate-r/_binary64_10685` `distribute-rgt-in_binary64_10693` `sub-neg_binary64_10736` `associate-l/_binary64_10686` `distribute-lft-in_binary64_10692` `cancel-sign-sub-inv_binary64_10709`
4×	`unswap-sqr_binary64_10711` `cbrt-unprod_binary64_10776` `*-commutative_binary64_10674` `prod-exp_binary64_10792` `add-log-exp_binary64_10782` `pow-prod-down_binary64_10814`

Counts

4 → 120

Calls

4 calls:

12.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
11.0ms	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
11.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
11.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))

series1.7s (3.9%)

Counts

4 → 12

Calls

4 calls:

430.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
429.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
427.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
422.0ms	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))

simplify59.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 0 (18.0ms)

Iter	Nodes	Cost
0	5063	4418

prune1.4s (3.2%)

Pruning

29 alts after pruning (28 fresh and 1 done)

	Pruned	Kept	Total
New	125	7	132
Fresh	1	21	22
Picked	1	0	1
Done	0	1	1
Total	127	29	156

Merged error: 15.5b

Counts

156 → 29

Compiler

Compiled 56610 to 24609 computations (56.5% saved)

localize75.0ms (0.2%)

Local error

Found 4 expressions with local error:

8.2b	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 b y4) (*.f64 i y5)))
8.2b	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 b y4) (*.f64 i y5)))
8.2b	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 b y4) (*.f64 i y5)))
8.7b	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))

rewrite94.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`flip--_binary64_10718` `flip3--_binary64_10747`
20×	`add-sqr-sqrt_binary64_10765`
16×	`frac-times_binary64_10753`
12×	`associate-r_binary64_10683` `add-cube-cbrt_binary64_10778` `-un-lft-identity_binary64_10743` `associate-l*_binary64_10684` `add-cbrt-cube_binary64_10779` `add-exp-log_binary64_10781` `pow1_binary64_10804`
8×	`associate-r/_binary64_10685` `distribute-rgt-in_binary64_10693` `sub-neg_binary64_10736` `associate-l/_binary64_10686` `distribute-lft-in_binary64_10692` `cancel-sign-sub-inv_binary64_10709`
4×	`unswap-sqr_binary64_10711` `cbrt-unprod_binary64_10776` `*-commutative_binary64_10674` `prod-exp_binary64_10792` `add-log-exp_binary64_10782` `pow-prod-down_binary64_10814`

Counts

4 → 120

Calls

4 calls:

18.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 b y4) (*.f64 i y5)))
12.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
12.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 b y4) (*.f64 i y5)))
12.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 b y4) (*.f64 i y5)))

series1.8s (4.1%)

Counts

4 → 12

Calls

4 calls:

459.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 b y4) (*.f64 i y5)))
452.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 b y4) (*.f64 i y5)))
451.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
444.0ms	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 b y4) (*.f64 i y5)))

simplify88.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5204	4394

prune617.0ms (1.4%)

Pruning

30 alts after pruning (29 fresh and 1 done)

	Pruned	Kept	Total
New	129	3	132
Fresh	1	26	27
Picked	1	0	1
Done	0	1	1
Total	131	30	161

Merged error: 15.5b

Counts

161 → 30

Compiler

Compiled 29192 to 7020 computations (76% saved)

regimes2.6s (5.8%)

Compiler: Compiled 54048 to 32032 computations (40.7% saved)

bsearch1.1s (2.6%)

Steps

Iters	Range		Point
6	1.3123921614679578e-39	1.0245999321258193e-38	1.329364111948279e-39
9	3.190232146160737e-144	5.526379212542001e-136	2.4150655656591963e-136
7	-4.5015735550519016e+32	-9.955307339198158e+30	-8.0847633956827005e+31

Compiler

Compiled 1 to 16 computations (-1500% saved)

simplify52.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	1462	637
1	1462	637

end0.0ms (0%)

sample22.4s (50.8%)

Algorithm

1×

intervals

Results

13.1s	64193×	body	128	invalid
1.7s	8000×	body	128	valid

Compiler

Compiled 4604 to 2337 computations (49.2% saved)

Details

analyze5.0s (11.4%)

sample641.0ms (1.4%)

simplify207.0ms (0.5%)

prune6.0ms (0%)

localize70.0ms (0.2%)

rewrite79.0ms (0.2%)

series1.8s (4%)

simplify58.0ms (0.1%)

prune1.9s (4.4%)

localize72.0ms (0.2%)

rewrite77.0ms (0.2%)

series1.4s (3.1%)

simplify79.0ms (0.2%)

prune613.0ms (1.4%)

localize77.0ms (0.2%)

rewrite88.0ms (0.2%)

series1.7s (3.9%)

simplify59.0ms (0.1%)

prune1.4s (3.2%)

localize75.0ms (0.2%)

rewrite94.0ms (0.2%)

series1.8s (4.1%)

simplify88.0ms (0.2%)

prune617.0ms (1.4%)

regimes2.6s (5.8%)

bsearch1.1s (2.6%)

simplify52.0ms (0.1%)

end0.0ms (0%)

sample22.4s (50.8%)

Profiling