Details

analyze2.0s (8.4%)

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 30 to 24 computations (20% saved)

sample97.0ms (0.4%)

Algorithm

1×

intervals

Results

33.0ms	385×	body	128	invalid
19.0ms	256×	body	128	valid

Compiler

Compiled 59 to 56 computations (5.1% saved)

simplify445.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

602×	`unsub-neg_binary64_17463`
371×	`exp-prod_binary64_17521`
368×	`cube-prod_binary64_17497`
357×	`sub-neg_binary64_17462`
342×	`distribute-neg-in_binary64_17430`
331×	`neg-mul-1_binary64_17465`
268×	`cancel-sign-sub-inv_binary64_17435`
266×	`+-commutative_binary64_17399`
249×	`distribute-rgt-neg-in_binary64_17427`
224×	`associate-+l+_binary64_17402`
218×	`distribute-lft-neg-in_binary64_17426`
204×	`distribute-rgt-neg-out_binary64_17429`
203×	`neg-sub0_binary64_17464`
171×	`swap-sqr_binary64_17436`
167×	`associate--r+_binary64_17405`
165×	`associate-+l-_binary64_17404`
158×	`*-commutative_binary64_17400`
154×	`associate--l+_binary64_17406`
149×	`distribute-lft-neg-out_binary64_17428`
142×	`associate-r_binary64_17409`
140×	`distribute-neg-out_binary64_17431` `distribute-rgt-in_binary64_17419` `associate-l_binary64_17410`
112×	`distribute-rgt1-in_binary64_17425`
99×	`associate-+r-_binary64_17403`
95×	`remove-double-neg_binary64_17457`
86×	`associate--r-_binary64_17408`
72×	`distribute-lft-in_binary64_17418`
61×	`associate-+r+_binary64_17401`
56×	`sub0-neg_binary64_17456`
55×	`associate--l-_binary64_17407`
52×	`sqr-neg_binary64_17483`
35×	`mul0-rgt_binary64_17452` `mul0-lft_binary64_17451`
29×	`+-rgt-identity_binary64_17454`
28×	`distribute-rgt-out_binary64_17422`
17×	`--rgt-identity_binary64_17455`
10×	`distribute-rgt-out--_binary64_17423`
9×	`distribute-lft1-in_binary64_17424` `distribute-lft-out_binary64_17420`
8×	`cancel-sign-sub_binary64_17434`
6×	`+-lft-identity_binary64_17453`
5×	`pow-plus_binary64_17532`
3×	`cube-unmult_binary64_17506`
1×	`exp-lft-sqr_binary64_17524` `exp-diff_binary64_17517` `1-exp_binary64_17513` `pow-sqr_binary64_17442` `sqr-pow_binary64_17441` `distribute-lft-out--_binary64_17421` `count-2_binary64_17417`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64_17732` `erf-erfc_binary64_17731` `erf-odd_binary64_17730` `if-if-and-not_binary64_17729` `if-if-and_binary64_17728` `if-if-or-not_binary64_17727` `if-if-or_binary64_17726` `if-not_binary64_17725` `if-same_binary64_17724` `if-false_binary64_17723` `if-true_binary64_17722` `not-gte_binary64_17721` `not-lte_binary64_17720` `not-gt_binary64_17719` `not-lt_binary64_17718` `gte-same_binary64_17717` `lte-same_binary64_17716` `gt-same_binary64_17715` `lt-same_binary64_17714` `sinh---cosh_binary64_17661` `sinh-+-cosh_binary64_17660` `sinh-cosh_binary64_17659` `tanh-def-c_binary64_17658` `tanh-def-b_binary64_17657` `tanh-def-a_binary64_17656` `cosh-def_binary64_17655` `sinh-def_binary64_17654` `tan-neg_binary64_17601` `cos-neg_binary64_17600` `sin-neg_binary64_17599` `tan-0_binary64_17598` `cos-0_binary64_17597` `sin-0_binary64_17596` `hang-m-tan_binary64_17595` `hang-p-tan_binary64_17594` `hang-m0-tan_binary64_17593` `hang-p0-tan_binary64_17592` `hang-0m-tan_binary64_17591` `hang-0p-tan_binary64_17590` `tan-+PI/2_binary64_17589` `tan-+PI_binary64_17588` `tan-PI_binary64_17587` `tan-PI/3_binary64_17586` `tan-PI/4_binary64_17585` `tan-PI/6_binary64_17584` `cos-+PI/2_binary64_17583` `cos-+PI_binary64_17582` `cos-PI_binary64_17581` `cos-PI/2_binary64_17580` `cos-PI/3_binary64_17579` `cos-PI/4_binary64_17578` `cos-PI/6_binary64_17577` `sin-+PI/2_binary64_17576` `sin-+PI_binary64_17575` `sin-PI_binary64_17574` `sin-PI/2_binary64_17573` `sin-PI/3_binary64_17572` `sin-PI/4_binary64_17571` `sin-PI/6_binary64_17570` `sub-1-sin_binary64_17569` `sub-1-cos_binary64_17568` `-1-add-sin_binary64_17567` `-1-add-cos_binary64_17566` `1-sub-sin_binary64_17565` `1-sub-cos_binary64_17564` `cos-sin-sum_binary64_17563` `log-E_binary64_17559` `log-pow_binary64_17558` `log-rec_binary64_17557` `log-div_binary64_17556` `log-prod_binary64_17555` `pow-base-0_binary64_17553` `unpow1/3_binary64_17536` `unpow3_binary64_17535` `unpow2_binary64_17534` `unpow1/2_binary64_17533` `exp-to-pow_binary64_17531` `pow-base-1_binary64_17529` `unpow0_binary64_17528` `unpow1_binary64_17527` `unpow-1_binary64_17526` `exp-lft-cube_binary64_17525` `exp-cbrt_binary64_17523` `exp-sqrt_binary64_17522` `div-exp_binary64_17520` `rec-exp_binary64_17519` `prod-exp_binary64_17518` `exp-neg_binary64_17516` `exp-sum_binary64_17515` `e-exp-1_binary64_17514` `exp-1-e_binary64_17512` `exp-0_binary64_17511` `rem-log-exp_binary64_17510` `rem-exp-log_binary64_17509` `cube-mult_binary64_17499` `cube-div_binary64_17498` `cube-neg_binary64_17496` `rem-3cbrt-rft_binary64_17495` `rem-3cbrt-lft_binary64_17494` `rem-cbrt-cube_binary64_17493` `rem-cube-cbrt_binary64_17492` `sqr-abs_binary64_17484` `rem-sqrt-square_binary64_17482` `rem-square-sqrt_binary64_17481` `times-frac_binary64_17475` `div-sub_binary64_17474` `mul-1-neg_binary64_17461` `/-rgt-identity_binary64_17460` `-rgt-identity_binary64_17459` `-lft-identity_binary64_17458` `div0_binary64_17450` `-inverses_binary64_17449` `+-inverses_binary64_17448` `lft-mult-inverse_binary64_17447` `rgt-mult-inverse_binary64_17446` `remove-double-div_binary64_17445` `difference-of-sqr--1_binary64_17440` `difference-of-sqr-1_binary64_17439` `difference-of-squares_binary64_17438` `unswap-sqr_binary64_17437` `distribute-neg-frac_binary64_17433` `distribute-frac-neg_binary64_17432` `associate-/l/_binary64_17416` `associate-/r/_binary64_17415` `associate-/l_binary64_17414` `associate-/r_binary64_17413` `associate-l/_binary64_17412` `associate-*r/_binary64_17411`

Counts

1 → 4

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	43
1	55	43
2	125	43
3	407	43
4	1015	43
5	2397	43
6	2787	43
7	3710	43

prune7.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

11.2b

Counts

5 → 1

Compiler

Compiled 145 to 54 computations (62.8% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(-.f64 (.f64 c a) (.f64 y i))
3.5b	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
4.9b	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
5.8b	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))

rewrite175.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

11.1b

Rules

16×	`add-sqr-sqrt_binary64_17491`
10×	`pow1_binary64_17530` `add-exp-log_binary64_17507` `add-cbrt-cube_binary64_17505` `add-cube-cbrt_binary64_17504` `*-un-lft-identity_binary64_17469`
9×	`associate-l_binary64_17410` `associate-r_binary64_17409`
7×	`sub-neg_binary64_17462` `cancel-sign-sub-inv_binary64_17435`
6×	`add-log-exp_binary64_17508` `distribute-rgt-in_binary64_17419` `distribute-lft-in_binary64_17418` `associate-*r/_binary64_17411`
4×	`flip3--_binary64_17473` `flip--_binary64_17444`
3×	`pow-prod-down_binary64_17540` `prod-exp_binary64_17518` `cbrt-unprod_binary64_17502` `unswap-sqr_binary64_17437` `*-commutative_binary64_17400`
1×	`diff-log_binary64_17561`

Counts

4 → 84

Calls

4 calls:

7.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
7.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
6.0ms	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))
4.0ms	(-.f64 (.f64 c a) (.f64 y i))

Compiler

Compiled 3151 to 425 computations (86.5% saved)

series1.7s (6.9%)

Error

2.6b

Counts

4 → 105

Calls

4 calls:

448.0ms	(.f64 x (-.f64 (.f64 y z) (*.f64 t a)))
446.0ms	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))
408.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
252.0ms	(-.f64 (.f64 c a) (.f64 y i))

Compiler

Compiled 7671 to 3912 computations (49% saved)

simplify284.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

371×	`distribute-rgt-in_binary64_17419`
365×	`distribute-lft-in_binary64_17418`
294×	`cancel-sign-sub-inv_binary64_17435`
290×	`associate-l_binary64_17410`
250×	`associate-r_binary64_17409`
213×	`exp-prod_binary64_17521`
154×	`unsub-neg_binary64_17463`
142×	`distribute-rgt-neg-in_binary64_17427`
139×	`neg-sub0_binary64_17464` `sqr-pow_binary64_17441`
136×	`neg-mul-1_binary64_17465`
121×	`distribute-lft-neg-in_binary64_17426`
111×	`*-lft-identity_binary64_17458`
108×	`*-rgt-identity_binary64_17459` `difference-of-squares_binary64_17438`
104×	`sub-neg_binary64_17462`
96×	`*-commutative_binary64_17400`
78×	`unswap-sqr_binary64_17437`
72×	`pow-sqr_binary64_17442`
66×	`swap-sqr_binary64_17436`
63×	`cube-prod_binary64_17497`
60×	`exp-sum_binary64_17515`
53×	`distribute-lft-neg-out_binary64_17428`
35×	`mul0-rgt_binary64_17452` `mul0-lft_binary64_17451` `distribute-rgt-neg-out_binary64_17429`
34×	`log-prod_binary64_17555`
32×	`+-commutative_binary64_17399`
25×	`exp-diff_binary64_17517`
18×	`distribute-rgt-out_binary64_17422`
17×	`associate-+r-_binary64_17403`
13×	`unpow3_binary64_17535` `associate-+r+_binary64_17401`
12×	`cube-mult_binary64_17499` `div-sub_binary64_17474` `sub0-neg_binary64_17456` `+-rgt-identity_binary64_17454` `associate-+l-_binary64_17404`
11×	`times-frac_binary64_17475` `associate-+l+_binary64_17402`
9×	`cube-unmult_binary64_17506`
8×	`distribute-lft-out_binary64_17420`
5×	`mul-1-neg_binary64_17461`
3×	`sqr-neg_binary64_17483`
2×	`distribute-rgt-out--_binary64_17423`
1×	`div-exp_binary64_17520` `prod-exp_binary64_17518` `1-exp_binary64_17513` `exp-1-e_binary64_17512` `rem-log-exp_binary64_17510` `associate-/l/_binary64_17416` `associate-/l_binary64_17414` `associate-/r_binary64_17413` `associate-*r/_binary64_17411`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64_17732` `erf-erfc_binary64_17731` `erf-odd_binary64_17730` `if-if-and-not_binary64_17729` `if-if-and_binary64_17728` `if-if-or-not_binary64_17727` `if-if-or_binary64_17726` `if-not_binary64_17725` `if-same_binary64_17724` `if-false_binary64_17723` `if-true_binary64_17722` `not-gte_binary64_17721` `not-lte_binary64_17720` `not-gt_binary64_17719` `not-lt_binary64_17718` `gte-same_binary64_17717` `lte-same_binary64_17716` `gt-same_binary64_17715` `lt-same_binary64_17714` `sinh---cosh_binary64_17661` `sinh-+-cosh_binary64_17660` `sinh-cosh_binary64_17659` `tanh-def-c_binary64_17658` `tanh-def-b_binary64_17657` `tanh-def-a_binary64_17656` `cosh-def_binary64_17655` `sinh-def_binary64_17654` `tan-neg_binary64_17601` `cos-neg_binary64_17600` `sin-neg_binary64_17599` `tan-0_binary64_17598` `cos-0_binary64_17597` `sin-0_binary64_17596` `hang-m-tan_binary64_17595` `hang-p-tan_binary64_17594` `hang-m0-tan_binary64_17593` `hang-p0-tan_binary64_17592` `hang-0m-tan_binary64_17591` `hang-0p-tan_binary64_17590` `tan-+PI/2_binary64_17589` `tan-+PI_binary64_17588` `tan-PI_binary64_17587` `tan-PI/3_binary64_17586` `tan-PI/4_binary64_17585` `tan-PI/6_binary64_17584` `cos-+PI/2_binary64_17583` `cos-+PI_binary64_17582` `cos-PI_binary64_17581` `cos-PI/2_binary64_17580` `cos-PI/3_binary64_17579` `cos-PI/4_binary64_17578` `cos-PI/6_binary64_17577` `sin-+PI/2_binary64_17576` `sin-+PI_binary64_17575` `sin-PI_binary64_17574` `sin-PI/2_binary64_17573` `sin-PI/3_binary64_17572` `sin-PI/4_binary64_17571` `sin-PI/6_binary64_17570` `sub-1-sin_binary64_17569` `sub-1-cos_binary64_17568` `-1-add-sin_binary64_17567` `-1-add-cos_binary64_17566` `1-sub-sin_binary64_17565` `1-sub-cos_binary64_17564` `cos-sin-sum_binary64_17563` `log-E_binary64_17559` `log-pow_binary64_17558` `log-rec_binary64_17557` `log-div_binary64_17556` `pow-base-0_binary64_17553` `unpow1/3_binary64_17536` `unpow2_binary64_17534` `unpow1/2_binary64_17533` `pow-plus_binary64_17532` `exp-to-pow_binary64_17531` `pow-base-1_binary64_17529` `unpow0_binary64_17528` `unpow1_binary64_17527` `unpow-1_binary64_17526` `exp-lft-cube_binary64_17525` `exp-lft-sqr_binary64_17524` `exp-cbrt_binary64_17523` `exp-sqrt_binary64_17522` `rec-exp_binary64_17519` `exp-neg_binary64_17516` `e-exp-1_binary64_17514` `exp-0_binary64_17511` `rem-exp-log_binary64_17509` `cube-div_binary64_17498` `cube-neg_binary64_17496` `rem-3cbrt-rft_binary64_17495` `rem-3cbrt-lft_binary64_17494` `rem-cbrt-cube_binary64_17493` `rem-cube-cbrt_binary64_17492` `sqr-abs_binary64_17484` `rem-sqrt-square_binary64_17482` `rem-square-sqrt_binary64_17481` `/-rgt-identity_binary64_17460` `remove-double-neg_binary64_17457` `--rgt-identity_binary64_17455` `+-lft-identity_binary64_17453` `div0_binary64_17450` `-inverses_binary64_17449` `+-inverses_binary64_17448` `lft-mult-inverse_binary64_17447` `rgt-mult-inverse_binary64_17446` `remove-double-div_binary64_17445` `difference-of-sqr--1_binary64_17440` `difference-of-sqr-1_binary64_17439` `cancel-sign-sub_binary64_17434` `distribute-neg-frac_binary64_17433` `distribute-frac-neg_binary64_17432` `distribute-neg-out_binary64_17431` `distribute-neg-in_binary64_17430` `distribute-rgt1-in_binary64_17425` `distribute-lft1-in_binary64_17424` `distribute-lft-out--_binary64_17421` `count-2_binary64_17417` `associate-/r/_binary64_17415` `associate-l/_binary64_17412` `associate--r-_binary64_17408` `associate--l-_binary64_17407` `associate--l+_binary64_17406` `associate--r+_binary64_17405`

Counts

189 → 338

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	196	2626
1	476	2443
2	1565	2443
3	3680	2443

prune442.0ms (1.8%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	319	19	338
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	320	19	339

Error

4.6b

Counts

339 → 19

Compiler

Compiled 12023 to 1280 computations (89.4% saved)

localize28.0ms (0.1%)

Local error

Found 4 expressions with local error:

3.5b	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
4.1b	(.f64 (.f64 y z) x)
4.2b	(.f64 (neg.f64 t) (.f64 a x))
5.8b	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))

rewrite168.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

4.6b

Rules

18×	`pow1_binary64_17530` `add-exp-log_binary64_17507` `add-cbrt-cube_binary64_17505`
17×	`associate-l_binary64_17410`
16×	`add-sqr-sqrt_binary64_17491`
12×	`add-cube-cbrt_binary64_17504` `*-un-lft-identity_binary64_17469`
10×	`associate-r_binary64_17409`
8×	`pow-prod-down_binary64_17540` `prod-exp_binary64_17518` `cbrt-unprod_binary64_17502`
4×	`add-log-exp_binary64_17508` `sub-neg_binary64_17462` `distribute-rgt-in_binary64_17419` `cancel-sign-sub-inv_binary64_17435` `distribute-lft-in_binary64_17418` `associate-r/_binary64_17411` `-commutative_binary64_17400`
3×	`distribute-rgt-neg-in_binary64_17427` `distribute-lft-neg-in_binary64_17426`
2×	`unswap-sqr_binary64_17437` `flip3--_binary64_17473` `flip--_binary64_17444`
1×	`distribute-lft-neg-out_binary64_17428` `neg-mul-1_binary64_17465`

Counts

4 → 92

Calls

4 calls:

7.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
7.0ms	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))
6.0ms	(.f64 (neg.f64 t) (.f64 a x))
5.0ms	(.f64 (.f64 y z) x)

Compiler

Compiled 3579 to 514 computations (85.6% saved)

series1.2s (5.1%)

Error

2.0b

Counts

4 → 72

Calls

4 calls:

424.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
402.0ms	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))
171.0ms	(.f64 (neg.f64 t) (.f64 a x))
162.0ms	(.f64 (.f64 y z) x)

Compiler

Compiled 6171 to 3192 computations (48.3% saved)

simplify292.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

396×	`associate-l_binary64_17410`
339×	`associate-r_binary64_17409`
292×	`neg-sub0_binary64_17464`
277×	`neg-mul-1_binary64_17465`
272×	`distribute-rgt-in_binary64_17419`
270×	`unsub-neg_binary64_17463`
268×	`distribute-lft-in_binary64_17418`
228×	`exp-prod_binary64_17521`
177×	`distribute-lft-neg-out_binary64_17428`
130×	`distribute-rgt-neg-in_binary64_17427`
127×	`distribute-rgt-neg-out_binary64_17429`
126×	`cube-prod_binary64_17497`
124×	`*-commutative_binary64_17400`
113×	`cancel-sign-sub-inv_binary64_17435`
111×	`log-prod_binary64_17555`
104×	`distribute-lft-neg-in_binary64_17426`
94×	`sub-neg_binary64_17462`
67×	`sqr-pow_binary64_17441`
66×	`swap-sqr_binary64_17436`
51×	`exp-sum_binary64_17515`
33×	`*-lft-identity_binary64_17458`
31×	`*-rgt-identity_binary64_17459` `+-commutative_binary64_17399`
27×	`unswap-sqr_binary64_17437`
25×	`unpow3_binary64_17535`
21×	`exp-diff_binary64_17517` `cube-mult_binary64_17499` `associate-+r+_binary64_17401`
18×	`pow-sqr_binary64_17442`
17×	`associate-+l+_binary64_17402`
14×	`cube-unmult_binary64_17506` `associate-+r-_binary64_17403`
10×	`sqr-neg_binary64_17483` `div-sub_binary64_17474`
8×	`mul-1-neg_binary64_17461` `associate-+l-_binary64_17404`
7×	`difference-of-squares_binary64_17438`
4×	`cube-neg_binary64_17496`
3×	`exp-neg_binary64_17516`
2×	`remove-double-neg_binary64_17457` `+-rgt-identity_binary64_17454` `cancel-sign-sub_binary64_17434` `distribute-rgt-out--_binary64_17423` `associate-/l*_binary64_17414`
1×	`prod-exp_binary64_17518` `1-exp_binary64_17513` `exp-1-e_binary64_17512` `rem-log-exp_binary64_17510` `distribute-neg-in_binary64_17430` `associate-/l/_binary64_17416` `associate-*r/_binary64_17411`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64_17732` `erf-erfc_binary64_17731` `erf-odd_binary64_17730` `if-if-and-not_binary64_17729` `if-if-and_binary64_17728` `if-if-or-not_binary64_17727` `if-if-or_binary64_17726` `if-not_binary64_17725` `if-same_binary64_17724` `if-false_binary64_17723` `if-true_binary64_17722` `not-gte_binary64_17721` `not-lte_binary64_17720` `not-gt_binary64_17719` `not-lt_binary64_17718` `gte-same_binary64_17717` `lte-same_binary64_17716` `gt-same_binary64_17715` `lt-same_binary64_17714` `sinh---cosh_binary64_17661` `sinh-+-cosh_binary64_17660` `sinh-cosh_binary64_17659` `tanh-def-c_binary64_17658` `tanh-def-b_binary64_17657` `tanh-def-a_binary64_17656` `cosh-def_binary64_17655` `sinh-def_binary64_17654` `tan-neg_binary64_17601` `cos-neg_binary64_17600` `sin-neg_binary64_17599` `tan-0_binary64_17598` `cos-0_binary64_17597` `sin-0_binary64_17596` `hang-m-tan_binary64_17595` `hang-p-tan_binary64_17594` `hang-m0-tan_binary64_17593` `hang-p0-tan_binary64_17592` `hang-0m-tan_binary64_17591` `hang-0p-tan_binary64_17590` `tan-+PI/2_binary64_17589` `tan-+PI_binary64_17588` `tan-PI_binary64_17587` `tan-PI/3_binary64_17586` `tan-PI/4_binary64_17585` `tan-PI/6_binary64_17584` `cos-+PI/2_binary64_17583` `cos-+PI_binary64_17582` `cos-PI_binary64_17581` `cos-PI/2_binary64_17580` `cos-PI/3_binary64_17579` `cos-PI/4_binary64_17578` `cos-PI/6_binary64_17577` `sin-+PI/2_binary64_17576` `sin-+PI_binary64_17575` `sin-PI_binary64_17574` `sin-PI/2_binary64_17573` `sin-PI/3_binary64_17572` `sin-PI/4_binary64_17571` `sin-PI/6_binary64_17570` `sub-1-sin_binary64_17569` `sub-1-cos_binary64_17568` `-1-add-sin_binary64_17567` `-1-add-cos_binary64_17566` `1-sub-sin_binary64_17565` `1-sub-cos_binary64_17564` `cos-sin-sum_binary64_17563` `log-E_binary64_17559` `log-pow_binary64_17558` `log-rec_binary64_17557` `log-div_binary64_17556` `pow-base-0_binary64_17553` `unpow1/3_binary64_17536` `unpow2_binary64_17534` `unpow1/2_binary64_17533` `pow-plus_binary64_17532` `exp-to-pow_binary64_17531` `pow-base-1_binary64_17529` `unpow0_binary64_17528` `unpow1_binary64_17527` `unpow-1_binary64_17526` `exp-lft-cube_binary64_17525` `exp-lft-sqr_binary64_17524` `exp-cbrt_binary64_17523` `exp-sqrt_binary64_17522` `div-exp_binary64_17520` `rec-exp_binary64_17519` `e-exp-1_binary64_17514` `exp-0_binary64_17511` `rem-exp-log_binary64_17509` `cube-div_binary64_17498` `rem-3cbrt-rft_binary64_17495` `rem-3cbrt-lft_binary64_17494` `rem-cbrt-cube_binary64_17493` `rem-cube-cbrt_binary64_17492` `sqr-abs_binary64_17484` `rem-sqrt-square_binary64_17482` `rem-square-sqrt_binary64_17481` `times-frac_binary64_17475` `/-rgt-identity_binary64_17460` `sub0-neg_binary64_17456` `--rgt-identity_binary64_17455` `+-lft-identity_binary64_17453` `mul0-rgt_binary64_17452` `mul0-lft_binary64_17451` `div0_binary64_17450` `-inverses_binary64_17449` `+-inverses_binary64_17448` `lft-mult-inverse_binary64_17447` `rgt-mult-inverse_binary64_17446` `remove-double-div_binary64_17445` `difference-of-sqr--1_binary64_17440` `difference-of-sqr-1_binary64_17439` `distribute-neg-frac_binary64_17433` `distribute-frac-neg_binary64_17432` `distribute-neg-out_binary64_17431` `distribute-rgt1-in_binary64_17425` `distribute-lft1-in_binary64_17424` `distribute-rgt-out_binary64_17422` `distribute-lft-out--_binary64_17421` `distribute-lft-out_binary64_17420` `count-2_binary64_17417` `associate-/r/_binary64_17415` `associate-/r_binary64_17413` `associate-*l/_binary64_17412` `associate--r-_binary64_17408` `associate--l-_binary64_17407` `associate--l+_binary64_17406` `associate--r+_binary64_17405`

Counts

164 → 310

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	209	2138
1	517	1940
2	1848	1940
3	3961	1940

prune416.0ms (1.7%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	306	4	310
Fresh	3	15	18
Picked	1	0	1
Done	0	0	0
Total	310	19	329

Error

3.4b

Counts

329 → 19

Compiler

Compiled 11995 to 1365 computations (88.6% saved)

localize262.0ms (1.1%)

Local error

Found 4 expressions with local error:

2.6b	(.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (.f64 (.f64 a x) (neg.f64 (cbrt.f64 t))))
3.5b	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
4.1b	(.f64 (.f64 y z) x)
5.8b	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))

rewrite182.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

3.4b

Rules

34×	`pow1_binary64_17530` `add-exp-log_binary64_17507`
28×	`add-cbrt-cube_binary64_17505`
20×	`pow-prod-down_binary64_17540` `prod-exp_binary64_17518` `cbrt-unprod_binary64_17502`
13×	`add-sqr-sqrt_binary64_17491`
10×	`associate-r_binary64_17409`
9×	`add-cube-cbrt_binary64_17504` `*-un-lft-identity_binary64_17469`
8×	`associate-l_binary64_17410`
4×	`add-log-exp_binary64_17508` `sub-neg_binary64_17462` `distribute-rgt-in_binary64_17419` `cancel-sign-sub-inv_binary64_17435` `distribute-lft-in_binary64_17418` `associate-r/_binary64_17411` `-commutative_binary64_17400`
2×	`unswap-sqr_binary64_17437` `flip3--_binary64_17473` `flip--_binary64_17444` `distribute-rgt-neg-out_binary64_17429`

Counts

4 → 95

Calls

4 calls:

13.0ms	(.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (.f64 (.f64 a x) (neg.f64 (cbrt.f64 t))))
7.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
6.0ms	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))
5.0ms	(.f64 (.f64 y z) x)

Compiler

Compiled 4462 to 537 computations (88% saved)

series1.3s (5.5%)

Error

2.0b

Counts

4 → 72

Calls

4 calls:

449.0ms	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))
432.0ms	(.f64 b (-.f64 (.f64 c z) (*.f64 t i)))
211.0ms	(.f64 (.f64 (cbrt.f64 t) (cbrt.f64 t)) (.f64 (.f64 a x) (neg.f64 (cbrt.f64 t))))
151.0ms	(.f64 (.f64 y z) x)

Compiler

Compiled 7335 to 3512 computations (52.1% saved)

simplify639.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

514×	`associate-l_binary64_17410`
421×	`associate-r_binary64_17409`
412×	`distribute-rgt-neg-out_binary64_17429`
308×	`distribute-rgt-in_binary64_17419`
304×	`distribute-lft-in_binary64_17418`
303×	`distribute-lft-neg-out_binary64_17428`
145×	`distribute-rgt-neg-in_binary64_17427`
132×	`distribute-lft-neg-in_binary64_17426`
123×	`log-prod_binary64_17555`
121×	`exp-prod_binary64_17521`
117×	`*-commutative_binary64_17400`
109×	`swap-sqr_binary64_17436` `cancel-sign-sub-inv_binary64_17435`
97×	`cube-prod_binary64_17497`
74×	`neg-sub0_binary64_17464`
73×	`sqr-pow_binary64_17441`
67×	`neg-mul-1_binary64_17465`
56×	`unswap-sqr_binary64_17437`
33×	`*-lft-identity_binary64_17458`
31×	`*-rgt-identity_binary64_17459`
30×	`sub-neg_binary64_17462`
24×	`pow-sqr_binary64_17442`
22×	`+-commutative_binary64_17399`
18×	`cube-unmult_binary64_17506`
13×	`associate-+r+_binary64_17401`
11×	`unpow3_binary64_17535`
9×	`exp-diff_binary64_17517` `exp-sum_binary64_17515` `sqr-neg_binary64_17483` `associate-+l+_binary64_17402`
8×	`cube-mult_binary64_17499`
7×	`mul-1-neg_binary64_17461`
6×	`exp-neg_binary64_17516` `difference-of-squares_binary64_17438`
5×	`div-sub_binary64_17474` `remove-double-neg_binary64_17457`
4×	`cube-neg_binary64_17496`
2×	`log-pow_binary64_17558` `pow-plus_binary64_17532` `unsub-neg_binary64_17463` `+-rgt-identity_binary64_17454` `distribute-neg-in_binary64_17430` `distribute-rgt-out--_binary64_17423` `associate-+r-_binary64_17403`
1×	`prod-exp_binary64_17518` `1-exp_binary64_17513` `exp-1-e_binary64_17512` `rem-log-exp_binary64_17510` `rem-3cbrt-rft_binary64_17495` `rem-3cbrt-lft_binary64_17494` `rem-cube-cbrt_binary64_17492` `cancel-sign-sub_binary64_17434` `distribute-frac-neg_binary64_17432` `count-2_binary64_17417`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64_17732` `erf-erfc_binary64_17731` `erf-odd_binary64_17730` `if-if-and-not_binary64_17729` `if-if-and_binary64_17728` `if-if-or-not_binary64_17727` `if-if-or_binary64_17726` `if-not_binary64_17725` `if-same_binary64_17724` `if-false_binary64_17723` `if-true_binary64_17722` `not-gte_binary64_17721` `not-lte_binary64_17720` `not-gt_binary64_17719` `not-lt_binary64_17718` `gte-same_binary64_17717` `lte-same_binary64_17716` `gt-same_binary64_17715` `lt-same_binary64_17714` `sinh---cosh_binary64_17661` `sinh-+-cosh_binary64_17660` `sinh-cosh_binary64_17659` `tanh-def-c_binary64_17658` `tanh-def-b_binary64_17657` `tanh-def-a_binary64_17656` `cosh-def_binary64_17655` `sinh-def_binary64_17654` `tan-neg_binary64_17601` `cos-neg_binary64_17600` `sin-neg_binary64_17599` `tan-0_binary64_17598` `cos-0_binary64_17597` `sin-0_binary64_17596` `hang-m-tan_binary64_17595` `hang-p-tan_binary64_17594` `hang-m0-tan_binary64_17593` `hang-p0-tan_binary64_17592` `hang-0m-tan_binary64_17591` `hang-0p-tan_binary64_17590` `tan-+PI/2_binary64_17589` `tan-+PI_binary64_17588` `tan-PI_binary64_17587` `tan-PI/3_binary64_17586` `tan-PI/4_binary64_17585` `tan-PI/6_binary64_17584` `cos-+PI/2_binary64_17583` `cos-+PI_binary64_17582` `cos-PI_binary64_17581` `cos-PI/2_binary64_17580` `cos-PI/3_binary64_17579` `cos-PI/4_binary64_17578` `cos-PI/6_binary64_17577` `sin-+PI/2_binary64_17576` `sin-+PI_binary64_17575` `sin-PI_binary64_17574` `sin-PI/2_binary64_17573` `sin-PI/3_binary64_17572` `sin-PI/4_binary64_17571` `sin-PI/6_binary64_17570` `sub-1-sin_binary64_17569` `sub-1-cos_binary64_17568` `-1-add-sin_binary64_17567` `-1-add-cos_binary64_17566` `1-sub-sin_binary64_17565` `1-sub-cos_binary64_17564` `cos-sin-sum_binary64_17563` `log-E_binary64_17559` `log-rec_binary64_17557` `log-div_binary64_17556` `pow-base-0_binary64_17553` `unpow1/3_binary64_17536` `unpow2_binary64_17534` `unpow1/2_binary64_17533` `exp-to-pow_binary64_17531` `pow-base-1_binary64_17529` `unpow0_binary64_17528` `unpow1_binary64_17527` `unpow-1_binary64_17526` `exp-lft-cube_binary64_17525` `exp-lft-sqr_binary64_17524` `exp-cbrt_binary64_17523` `exp-sqrt_binary64_17522` `div-exp_binary64_17520` `rec-exp_binary64_17519` `e-exp-1_binary64_17514` `exp-0_binary64_17511` `rem-exp-log_binary64_17509` `cube-div_binary64_17498` `rem-cbrt-cube_binary64_17493` `sqr-abs_binary64_17484` `rem-sqrt-square_binary64_17482` `rem-square-sqrt_binary64_17481` `times-frac_binary64_17475` `/-rgt-identity_binary64_17460` `sub0-neg_binary64_17456` `--rgt-identity_binary64_17455` `+-lft-identity_binary64_17453` `mul0-rgt_binary64_17452` `mul0-lft_binary64_17451` `div0_binary64_17450` `-inverses_binary64_17449` `+-inverses_binary64_17448` `lft-mult-inverse_binary64_17447` `rgt-mult-inverse_binary64_17446` `remove-double-div_binary64_17445` `difference-of-sqr--1_binary64_17440` `difference-of-sqr-1_binary64_17439` `distribute-neg-frac_binary64_17433` `distribute-neg-out_binary64_17431` `distribute-rgt1-in_binary64_17425` `distribute-lft1-in_binary64_17424` `distribute-rgt-out_binary64_17422` `distribute-lft-out--_binary64_17421` `distribute-lft-out_binary64_17420` `associate-/l/_binary64_17416` `associate-/r/_binary64_17415` `associate-/l_binary64_17414` `associate-/r_binary64_17413` `associate-l/_binary64_17412` `associate-*r/_binary64_17411` `associate--r-_binary64_17408` `associate--l-_binary64_17407` `associate--l+_binary64_17406` `associate--r+_binary64_17405` `associate-+l-_binary64_17404`

Counts

167 → 343

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	229	2676
1	586	1998
2	2175	1998

prune492.0ms (2%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	341	2	343
Fresh	2	16	18
Picked	1	0	1
Done	0	0	0
Total	344	18	362

Error

3.4b

Counts

362 → 18

Compiler

Compiled 14902 to 1434 computations (90.4% saved)

localize35.0ms (0.1%)

Local error

Found 4 expressions with local error:

5.8b	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))
6.1b	(cbrt.f64 (.f64 j (-.f64 (.f64 a c) (*.f64 i y))))
6.1b	(cbrt.f64 (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
6.1b	(cbrt.f64 (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))

rewrite136.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

3.4b

Rules

8×	`associate-*r/_binary64_17411` `add-sqr-sqrt_binary64_17491`
6×	`pow1_binary64_17530` `add-exp-log_binary64_17507` `add-cbrt-cube_binary64_17505` `add-cube-cbrt_binary64_17504` `cbrt-div_binary64_17501` `*-un-lft-identity_binary64_17469`
4×	`add-log-exp_binary64_17508` `flip3--_binary64_17473` `flip--_binary64_17444`
3×	`pow1/3_binary64_17551` `cbrt-prod_binary64_17500` `associate-l_binary64_17410` `associate-r_binary64_17409`
2×	`sub-neg_binary64_17462` `distribute-rgt-in_binary64_17419` `cancel-sign-sub-inv_binary64_17435` `distribute-lft-in_binary64_17418`
1×	`pow-prod-down_binary64_17540` `prod-exp_binary64_17518` `cbrt-unprod_binary64_17502` `unswap-sqr_binary64_17437` `*-commutative_binary64_17400`

Counts

4 → 57

Calls

4 calls:

7.0ms	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))
5.0ms	(cbrt.f64 (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
5.0ms	(cbrt.f64 (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
5.0ms	(cbrt.f64 (.f64 j (-.f64 (.f64 a c) (*.f64 i y))))

Compiler

Compiled 3519 to 369 computations (89.5% saved)

series2.8s (11.6%)

Error

3.4b

Counts

4 → 93

Calls

4 calls:

741.0ms	(cbrt.f64 (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
727.0ms	(cbrt.f64 (.f64 j (-.f64 (.f64 a c) (*.f64 i y))))
715.0ms	(cbrt.f64 (.f64 j (-.f64 (.f64 c a) (*.f64 y i))))
457.0ms	(.f64 j (-.f64 (.f64 c a) (*.f64 y i)))

Compiler

Compiled 15741 to 8092 computations (48.6% saved)

simplify462.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

416×	`associate-/l*_binary64_17414`
382×	`times-frac_binary64_17475`
263×	`associate-/r*_binary64_17413`
212×	`associate-*l/_binary64_17412`
193×	`distribute-rgt-in_binary64_17419`
191×	`distribute-lft-in_binary64_17418`
167×	`distribute-rgt-neg-in_binary64_17427`
162×	`associate-/r/_binary64_17415`
157×	`associate-r_binary64_17409`
149×	`associate-l_binary64_17410`
148×	`distribute-lft-neg-in_binary64_17426`
139×	`cancel-sign-sub-inv_binary64_17435`
97×	`distribute-neg-frac_binary64_17433`
95×	`*-commutative_binary64_17400`
72×	`exp-sum_binary64_17515`
71×	`sub-neg_binary64_17462`
65×	`sqr-pow_binary64_17441`
63×	`log-prod_binary64_17555`
53×	`distribute-lft-neg-out_binary64_17428`
49×	`neg-mul-1_binary64_17465` `associate-*r/_binary64_17411`
47×	`neg-sub0_binary64_17464`
39×	`exp-prod_binary64_17521`
30×	`unsub-neg_binary64_17463`
25×	`+-commutative_binary64_17399`
23×	`pow-sqr_binary64_17442`
22×	`associate-/l/_binary64_17416`
21×	`distribute-rgt-neg-out_binary64_17429`
17×	`*-rgt-identity_binary64_17459`
16×	`*-lft-identity_binary64_17458` `distribute-rgt-out_binary64_17422`
14×	`log-div_binary64_17556`
13×	`exp-diff_binary64_17517` `distribute-neg-out_binary64_17431` `distribute-lft-out_binary64_17420`
12×	`unpow1/3_binary64_17536` `cube-prod_binary64_17497` `div-sub_binary64_17474` `distribute-neg-in_binary64_17430`
10×	`swap-sqr_binary64_17436` `associate--r-_binary64_17408` `associate-+l+_binary64_17402`
8×	`unpow3_binary64_17535` `cube-mult_binary64_17499` `associate--l+_binary64_17406`
6×	`unswap-sqr_binary64_17437`
5×	`log-rec_binary64_17557` `cube-unmult_binary64_17506` `remove-double-neg_binary64_17457` `--rgt-identity_binary64_17455` `associate-+r+_binary64_17401`
4×	`mul-1-neg_binary64_17461` `difference-of-squares_binary64_17438`
3×	`exp-to-pow_binary64_17531`
2×	`rem-3cbrt-lft_binary64_17494` `/-rgt-identity_binary64_17460` `distribute-lft-out--_binary64_17421`
1×	`log-pow_binary64_17558` `pow-plus_binary64_17532` `div-exp_binary64_17520` `rec-exp_binary64_17519` `prod-exp_binary64_17518` `1-exp_binary64_17513` `exp-1-e_binary64_17512` `rem-log-exp_binary64_17510` `rem-exp-log_binary64_17509` `+-rgt-identity_binary64_17454` `distribute-rgt-out--_binary64_17423` `associate-+r-_binary64_17403`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64_17732` `erf-erfc_binary64_17731` `erf-odd_binary64_17730` `if-if-and-not_binary64_17729` `if-if-and_binary64_17728` `if-if-or-not_binary64_17727` `if-if-or_binary64_17726` `if-not_binary64_17725` `if-same_binary64_17724` `if-false_binary64_17723` `if-true_binary64_17722` `not-gte_binary64_17721` `not-lte_binary64_17720` `not-gt_binary64_17719` `not-lt_binary64_17718` `gte-same_binary64_17717` `lte-same_binary64_17716` `gt-same_binary64_17715` `lt-same_binary64_17714` `sinh---cosh_binary64_17661` `sinh-+-cosh_binary64_17660` `sinh-cosh_binary64_17659` `tanh-def-c_binary64_17658` `tanh-def-b_binary64_17657` `tanh-def-a_binary64_17656` `cosh-def_binary64_17655` `sinh-def_binary64_17654` `tan-neg_binary64_17601` `cos-neg_binary64_17600` `sin-neg_binary64_17599` `tan-0_binary64_17598` `cos-0_binary64_17597` `sin-0_binary64_17596` `hang-m-tan_binary64_17595` `hang-p-tan_binary64_17594` `hang-m0-tan_binary64_17593` `hang-p0-tan_binary64_17592` `hang-0m-tan_binary64_17591` `hang-0p-tan_binary64_17590` `tan-+PI/2_binary64_17589` `tan-+PI_binary64_17588` `tan-PI_binary64_17587` `tan-PI/3_binary64_17586` `tan-PI/4_binary64_17585` `tan-PI/6_binary64_17584` `cos-+PI/2_binary64_17583` `cos-+PI_binary64_17582` `cos-PI_binary64_17581` `cos-PI/2_binary64_17580` `cos-PI/3_binary64_17579` `cos-PI/4_binary64_17578` `cos-PI/6_binary64_17577` `sin-+PI/2_binary64_17576` `sin-+PI_binary64_17575` `sin-PI_binary64_17574` `sin-PI/2_binary64_17573` `sin-PI/3_binary64_17572` `sin-PI/4_binary64_17571` `sin-PI/6_binary64_17570` `sub-1-sin_binary64_17569` `sub-1-cos_binary64_17568` `-1-add-sin_binary64_17567` `-1-add-cos_binary64_17566` `1-sub-sin_binary64_17565` `1-sub-cos_binary64_17564` `cos-sin-sum_binary64_17563` `log-E_binary64_17559` `pow-base-0_binary64_17553` `unpow2_binary64_17534` `unpow1/2_binary64_17533` `pow-base-1_binary64_17529` `unpow0_binary64_17528` `unpow1_binary64_17527` `unpow-1_binary64_17526` `exp-lft-cube_binary64_17525` `exp-lft-sqr_binary64_17524` `exp-cbrt_binary64_17523` `exp-sqrt_binary64_17522` `exp-neg_binary64_17516` `e-exp-1_binary64_17514` `exp-0_binary64_17511` `cube-div_binary64_17498` `cube-neg_binary64_17496` `rem-3cbrt-rft_binary64_17495` `rem-cbrt-cube_binary64_17493` `rem-cube-cbrt_binary64_17492` `sqr-abs_binary64_17484` `sqr-neg_binary64_17483` `rem-sqrt-square_binary64_17482` `rem-square-sqrt_binary64_17481` `sub0-neg_binary64_17456` `+-lft-identity_binary64_17453` `mul0-rgt_binary64_17452` `mul0-lft_binary64_17451` `div0_binary64_17450` `*-inverses_binary64_17449` `+-inverses_binary64_17448` `lft-mult-inverse_binary64_17447` `rgt-mult-inverse_binary64_17446` `remove-double-div_binary64_17445` `difference-of-sqr--1_binary64_17440` `difference-of-sqr-1_binary64_17439` `cancel-sign-sub_binary64_17434` `distribute-frac-neg_binary64_17432` `distribute-rgt1-in_binary64_17425` `distribute-lft1-in_binary64_17424` `count-2_binary64_17417` `associate--l-_binary64_17407` `associate--r+_binary64_17405` `associate-+l-_binary64_17404`

Counts

150 → 316

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	215	3465
1	538	3311
2	1693	3235

prune610.0ms (2.5%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	316	0	316
Fresh	0	17	17
Picked	0	1	1
Done	0	0	0
Total	316	18	334

Error

3.4b

Counts

334 → 18

Compiler

Compiled 19284 to 2306 computations (88% saved)

regimes4.5s (18.5%)

Accuracy

Total 6.8b remaining (84.6%)

Threshold costs 0b (0%)

Compiler

Compiled 43326 to 30348 computations (30% saved)

bsearch165.0ms (0.7%)

Steps

Iters	Range		Point
7	2.8245544505851863e+18	4.089909810097361e+20	1.4043242301565923e+20
10	-8.673634936339502e+97	-4.344624423866672e+83	-9.349718374632037e+83

Compiler

Compiled 1 to 9 computations (-800% saved)

simplify83.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

200×	`neg-mul-1_binary64_17465` `neg-sub0_binary64_17464`
198×	`unsub-neg_binary64_17463`
172×	`distribute-rgt-neg-out_binary64_17429`
161×	`distribute-rgt-neg-in_binary64_17427`
137×	`distribute-neg-out_binary64_17431`
130×	`distribute-lft-neg-out_binary64_17428`
114×	`distribute-lft-neg-in_binary64_17426`
109×	`cancel-sign-sub-inv_binary64_17435`
72×	`remove-double-neg_binary64_17457`
70×	`sub-neg_binary64_17462`
64×	`*-commutative_binary64_17400`
53×	`distribute-neg-in_binary64_17430` `+-commutative_binary64_17399`
1×	`if-if-or-not_binary64_17727` `sqr-neg_binary64_17483` `--rgt-identity_binary64_17455`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `if-if-and-not_binary64_17729` `if-if-and_binary64_17728` `if-if-or_binary64_17726` `if-not_binary64_17725` `if-same_binary64_17724` `if-false_binary64_17723` `if-true_binary64_17722` `tan-0_binary64_17598` `cos-0_binary64_17597` `sin-0_binary64_17596` `unpow1_binary64_17527` `e-exp-1_binary64_17514` `1-exp_binary64_17513` `exp-1-e_binary64_17512` `exp-0_binary64_17511` `sqr-abs_binary64_17484` `mul-1-neg_binary64_17461` `/-rgt-identity_binary64_17460` `-rgt-identity_binary64_17459` `-lft-identity_binary64_17458` `sub0-neg_binary64_17456` `+-rgt-identity_binary64_17454` `+-lft-identity_binary64_17453` `cancel-sign-sub_binary64_17434` `distribute-neg-frac_binary64_17433` `distribute-frac-neg_binary64_17432`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	48	111
1	109	109
2	163	109
3	237	109
4	316	109
5	382	109
6	494	109
7	701	109
8	638	109
9	690	109
10	751	109
11	818	109
12	887	109
13	937	109
14	966	109
15	979	109
16	984	109
17	985	109
18	985	109

Proof

(=> (if real (<= f64 h0 -934971837463203700304146687499152373404002683149012079229991128538128020070341804032) (+ f64 (- f64 (+ f64 (* f64 (* f64 h1 h2) h3) (* f64 (neg f64 h0) (* f64 h4 h3))) (- f64 (* f64 h2 (* f64 h5 h6)) (* f64 h0 (* f64 h7 h5)))) (* f64 h8 (- f64 (* f64 h6 h4) (* f64 h1 h7)))) (if real (<= f64 h0 140432423015659225088) (+ f64 (- f64 (* f64 h3 (- f64 (* f64 h1 h2) (* f64 h0 h4))) (* f64 h5 (- f64 (* f64 h6 h2) (* f64 h0 h7)))) (- f64 (* f64 h4 (* f64 h8 h6)) (* f64 h7 (* f64 h8 h1)))) (+ f64 (- f64 (+ f64 (* f64 (* f64 h1 h2) h3) (* f64 (neg f64 h0) (* f64 h4 h3))) (- f64 (* f64 h2 (* f64 h5 h6)) (* f64 h0 (* f64 h7 h5)))) (* f64 h8 (- f64 (* f64 h6 h4) (* f64 h1 h7)))))))
if-if-or-not_binary64_17727 =>
(if real (or real (<= f64 h0 -934971837463203700304146687499152373404002683149012079229991128538128020070341804032) (not real (<= f64 h0 140432423015659225088))) (+ f64 (=> (- f64 (+ f64 (* f64 (* f64 h1 h2) h3) (* f64 (neg f64 h0) (* f64 h4 h3))) (- f64 (* f64 h2 (* f64 h5 h6)) (* f64 h0 (* f64 h7 h5))))) (* f64 h8 (- f64 (* f64 h6 h4) (* f64 h1 h7)))) (+ f64 (- f64 (* f64 h3 (- f64 (* f64 h1 h2) (* f64 h0 h4))) (* f64 h5 (- f64 (* f64 h6 h2) (* f64 h0 h7)))) (- f64 (* f64 h4 (* f64 h8 h6)) (* f64 h7 (* f64 h8 h1)))))
sub-neg_binary64_17462 =>
(if real (or real (<= f64 h0 -934971837463203700304146687499152373404002683149012079229991128538128020070341804032) (not real (<= f64 h0 140432423015659225088))) (+ f64 (+ f64 (+ f64 (* f64 (* f64 h1 h2) h3) (* f64 (neg f64 h0) (* f64 h4 h3))) (neg f64 (- f64 (* f64 h2 (* f64 h5 h6)) (* f64 h0 (* f64 h7 h5))))) (* f64 h8 (- f64 (* f64 h6 h4) (* f64 h1 h7)))) (+ f64 (=> (- f64 (* f64 h3 (- f64 (* f64 h1 h2) (* f64 h0 h4))) (* f64 h5 (- f64 (* f64 h6 h2) (* f64 h0 h7))))) (- f64 (* f64 h4 (* f64 h8 h6)) (* f64 h7 (* f64 h8 h1)))))
sub-neg_binary64_17462 =>
(if real (or real (<= f64 h0 -934971837463203700304146687499152373404002683149012079229991128538128020070341804032) (not real (<= f64 h0 140432423015659225088))) (+ f64 (+ f64 (+ f64 (* f64 (* f64 h1 h2) h3) (* f64 (neg f64 h0) (* f64 h4 h3))) (neg f64 (=> (- f64 (* f64 h2 (* f64 h5 h6)) (* f64 h0 (* f64 h7 h5)))))) (* f64 h8 (- f64 (* f64 h6 h4) (* f64 h1 h7)))) (+ f64 (+ f64 (* f64 h3 (- f64 (* f64 h1 h2) (* f64 h0 h4))) (neg f64 (* f64 h5 (- f64 (* f64 h6 h2) (* f64 h0 h7))))) (- f64 (* f64 h4 (* f64 h8 h6)) (* f64 h7 (* f64 h8 h1)))))
sub-neg_binary64_17462 =>
(if real (or real (<= f64 h0 -934971837463203700304146687499152373404002683149012079229991128538128020070341804032) (not real (<= f64 h0 140432423015659225088))) (+ f64 (+ f64 (+ f64 (* f64 (* f64 h1 h2) h3) (=> (* f64 (neg f64 h0) (* f64 h4 h3)))) (neg f64 (+ f64 (* f64 h2 (* f64 h5 h6)) (neg f64 (* f64 h0 (* f64 h7 h5)))))) (* f64 h8 (- f64 (* f64 h6 h4) (* f64 h1 h7)))) (+ f64 (+ f64 (* f64 h3 (- f64 (* f64 h1 h2) (* f64 h0 h4))) (neg f64 (* f64 h5 (- f64 (* f64 h6 h2) (* f64 h0 h7))))) (- f64 (* f64 h4 (* f64 h8 h6)) (* f64 h7 (* f64 h8 h1)))))
distribute-lft-neg-out_binary64_17428 =>
(if real (or real (<= f64 h0 -934971837463203700304146687499152373404002683149012079229991128538128020070341804032) (not real (<= f64 h0 140432423015659225088))) (+ f64 (+ f64 (+ f64 (* f64 (* f64 h1 h2) h3) (neg f64 (* f64 h0 (* f64 h4 h3)))) (neg f64 (+ f64 (* f64 h2 (* f64 h5 h6)) (neg f64 (* f64 h0 (* f64 h7 h5)))))) (* f64 h8 (- f64 (* f64 h6 h4) (* f64 h1 h7)))) (+ f64 (+ f64 (* f64 h3 (- f64 (* f64 h1 h2) (* f64 h0 h4))) (neg f64 (* f64 h5 (- f64 (* f64 h6 h2) (* f64 h0 h7))))) (- f64 (* f64 h4 (=> (* f64 h8 h6))) (* f64 h7 (* f64 h8 h1)))))
*-commutative_binary64_17400 =>
(if real (or real (<= f64 h0 -934971837463203700304146687499152373404002683149012079229991128538128020070341804032) (not real (<= f64 h0 140432423015659225088))) (+ f64 (+ f64 (+ f64 (* f64 (* f64 h1 h2) h3) (neg f64 (* f64 h0 (* f64 h4 h3)))) (neg f64 (+ f64 (* f64 h2 (* f64 h5 h6)) (neg f64 (* f64 h0 (* f64 h7 h5)))))) (* f64 h8 (- f64 (=> (* f64 h6 h4)) (* f64 h1 h7)))) (+ f64 (+ f64 (* f64 h3 (- f64 (* f64 h1 h2) (* f64 h0 h4))) (neg f64 (* f64 h5 (- f64 (* f64 h6 h2) (* f64 h0 h7))))) (- f64 (* f64 h4 (* f64 h6 h8)) (* f64 h7 (* f64 h8 h1)))))
*-commutative_binary64_17400 =>
(if real (or real (<= f64 h0 -934971837463203700304146687499152373404002683149012079229991128538128020070341804032) (not real (<= f64 h0 140432423015659225088))) (+ f64 (+ f64 (+ f64 (* f64 (* f64 h1 h2) h3) (neg f64 (* f64 h0 (* f64 h4 h3)))) (neg f64 (+ f64 (* f64 h2 (* f64 h5 h6)) (neg f64 (* f64 h0 (* f64 h7 h5)))))) (* f64 h8 (- f64 (* f64 h4 h6) (* f64 h1 h7)))) (+ f64 (+ f64 (* f64 h3 (- f64 (* f64 h1 h2) (* f64 h0 h4))) (neg f64 (* f64 h5 (- f64 (* f64 h6 h2) (* f64 h0 h7))))) (- f64 (* f64 h4 (* f64 h6 h8)) (* f64 h7 (=> (* f64 h8 h1))))))
*-commutative_binary64_17400 =>
(if real (or real (<= f64 h0 -934971837463203700304146687499152373404002683149012079229991128538128020070341804032) (not real (<= f64 h0 140432423015659225088))) (+ f64 (+ f64 (=> (+ f64 (* f64 (* f64 h1 h2) h3) (neg f64 (* f64 h0 (* f64 h4 h3))))) (neg f64 (+ f64 (* f64 h2 (* f64 h5 h6)) (neg f64 (* f64 h0 (* f64 h7 h5)))))) (* f64 h8 (- f64 (* f64 h4 h6) (* f64 h1 h7)))) (+ f64 (+ f64 (* f64 h3 (- f64 (* f64 h1 h2) (* f64 h0 h4))) (neg f64 (* f64 h5 (- f64 (* f64 h6 h2) (* f64 h0 h7))))) (- f64 (* f64 h4 (* f64 h6 h8)) (* f64 h7 (* f64 h1 h8)))))
unsub-neg_binary64_17463 =>
(if real (or real (<= f64 h0 -934971837463203700304146687499152373404002683149012079229991128538128020070341804032) (not real (<= f64 h0 140432423015659225088))) (+ f64 (+ f64 (- f64 (* f64 (* f64 h1 h2) h3) (* f64 h0 (=> (* f64 h4 h3)))) (neg f64 (+ f64 (* f64 h2 (* f64 h5 h6)) (neg f64 (* f64 h0 (* f64 h7 h5)))))) (* f64 h8 (- f64 (* f64 h4 h6) (* f64 h1 h7)))) (+ f64 (+ f64 (* f64 h3 (- f64 (* f64 h1 h2) (* f64 h0 h4))) (neg f64 (* f64 h5 (- f64 (* f64 h6 h2) (* f64 h0 h7))))) (- f64 (* f64 h4 (* f64 h6 h8)) (* f64 h7 (* f64 h1 h8)))))
*-commutative_binary64_17400 =>
(if real (or real (<= f64 h0 -934971837463203700304146687499152373404002683149012079229991128538128020070341804032) (not real (<= f64 h0 140432423015659225088))) (+ f64 (+ f64 (- f64 (* f64 (* f64 h1 h2) h3) (* f64 h0 (* f64 h3 h4))) (neg f64 (+ f64 (* f64 h2 (* f64 h5 h6)) (neg f64 (* f64 h0 (* f64 h7 h5)))))) (* f64 h8 (- f64 (* f64 h4 h6) (* f64 h1 h7)))) (+ f64 (+ f64 (* f64 h3 (- f64 (* f64 h1 h2) (* f64 h0 h4))) (=> (neg f64 (* f64 h5 (- f64 (* f64 h6 h2) (* f64 h0 h7)))))) (- f64 (* f64 h4 (* f64 h6 h8)) (* f64 h7 (* f64 h1 h8)))))
distribute-rgt-neg-in_binary64_17427 =>
(if real (or real (<= f64 h0 -934971837463203700304146687499152373404002683149012079229991128538128020070341804032) (not real (<= f64 h0 140432423015659225088))) (+ f64 (+ f64 (- f64 (* f64 (* f64 h1 h2) h3) (* f64 h0 (* f64 h3 h4))) (neg f64 (+ f64 (* f64 h2 (* f64 h5 h6)) (neg f64 (* f64 h0 (* f64 h7 h5)))))) (* f64 h8 (- f64 (* f64 h4 h6) (* f64 h1 h7)))) (+ f64 (+ f64 (* f64 h3 (- f64 (* f64 h1 h2) (* f64 h0 h4))) (* f64 h5 (neg f64 (=> (- f64 (* f64 h6 h2) (* f64 h0 h7)))))) (- f64 (* f64 h4 (* f64 h6 h8)) (* f64 h7 (* f64 h1 h8)))))
sub-neg_binary64_17462 =>
(if real (or real (<= f64 h0 -934971837463203700304146687499152373404002683149012079229991128538128020070341804032) (not real (<= f64 h0 140432423015659225088))) (+ f64 (+ f64 (- f64 (* f64 (* f64 h1 h2) h3) (* f64 h0 (* f64 h3 h4))) (neg f64 (+ f64 (* f64 h2 (* f64 h5 h6)) (neg f64 (* f64 h0 (* f64 h7 h5)))))) (* f64 h8 (- f64 (* f64 h4 h6) (* f64 h1 h7)))) (+ f64 (+ f64 (* f64 h3 (- f64 (* f64 h1 h2) (* f64 h0 h4))) (* f64 h5 (neg f64 (=> (+ f64 (* f64 h6 h2) (neg f64 (* f64 h0 h7))))))) (- f64 (* f64 h4 (* f64 h6 h8)) (* f64 h7 (* f64 h1 h8)))))
+-commutative_binary64_17399 =>
(if real (or real (<= f64 h0 -934971837463203700304146687499152373404002683149012079229991128538128020070341804032) (not real (<= f64 h0 140432423015659225088))) (+ f64 (+ f64 (- f64 (* f64 (* f64 h1 h2) h3) (* f64 h0 (* f64 h3 h4))) (neg f64 (=> (+ f64 (* f64 h2 (* f64 h5 h6)) (neg f64 (* f64 h0 (* f64 h7 h5))))))) (* f64 h8 (- f64 (* f64 h4 h6) (* f64 h1 h7)))) (+ f64 (+ f64 (* f64 h3 (- f64 (* f64 h1 h2) (* f64 h0 h4))) (* f64 h5 (neg f64 (+ f64 (neg f64 (* f64 h0 h7)) (* f64 h6 h2))))) (- f64 (* f64 h4 (* f64 h6 h8)) (* f64 h7 (* f64 h1 h8)))))
+-commutative_binary64_17399 =>
(if real (or real (<= f64 h0 -934971837463203700304146687499152373404002683149012079229991128538128020070341804032) (not real (<= f64 h0 140432423015659225088))) (+ f64 (+ f64 (- f64 (* f64 (* f64 h1 h2) h3) (* f64 h0 (* f64 h3 h4))) (neg f64 (+ f64 (neg f64 (* f64 h0 (* f64 h7 h5))) (* f64 h2 (* f64 h5 h6))))) (* f64 h8 (- f64 (* f64 h4 h6) (* f64 h1 h7)))) (+ f64 (+ f64 (* f64 h3 (- f64 (* f64 h1 h2) (* f64 h0 h4))) (* f64 h5 (=> (neg f64 (+ f64 (neg f64 (* f64 h0 h7)) (* f64 h6 h2)))))) (- f64 (* f64 h4 (* f64 h6 h8)) (* f64 h7 (* f64 h1 h8)))))
distribute-neg-in_binary64_17430 =>
(if real (or real (<= f64 h0 -934971837463203700304146687499152373404002683149012079229991128538128020070341804032) (not real (<= f64 h0 140432423015659225088))) (+ f64 (+ f64 (- f64 (* f64 (* f64 h1 h2) h3) (* f64 h0 (* f64 h3 h4))) (=> (neg f64 (+ f64 (neg f64 (* f64 h0 (* f64 h7 h5))) (* f64 h2 (* f64 h5 h6)))))) (* f64 h8 (- f64 (* f64 h4 h6) (* f64 h1 h7)))) (+ f64 (+ f64 (* f64 h3 (- f64 (* f64 h1 h2) (* f64 h0 h4))) (* f64 h5 (+ f64 (neg f64 (neg f64 (* f64 h0 h7))) (neg f64 (* f64 h6 h2))))) (- f64 (* f64 h4 (* f64 h6 h8)) (* f64 h7 (* f64 h1 h8)))))
distribute-neg-in_binary64_17430 =>
(if real (or real (<= f64 h0 -934971837463203700304146687499152373404002683149012079229991128538128020070341804032) (not real (<= f64 h0 140432423015659225088))) (+ f64 (+ f64 (- f64 (* f64 (* f64 h1 h2) h3) (* f64 h0 (* f64 h3 h4))) (+ f64 (=> (neg f64 (neg f64 (* f64 h0 (* f64 h7 h5))))) (neg f64 (* f64 h2 (* f64 h5 h6))))) (* f64 h8 (- f64 (* f64 h4 h6) (* f64 h1 h7)))) (+ f64 (+ f64 (* f64 h3 (- f64 (* f64 h1 h2) (* f64 h0 h4))) (* f64 h5 (+ f64 (neg f64 (neg f64 (* f64 h0 h7))) (neg f64 (* f64 h6 h2))))) (- f64 (* f64 h4 (* f64 h6 h8)) (* f64 h7 (* f64 h1 h8)))))
remove-double-neg_binary64_17457 =>
(if real (or real (<= f64 h0 -934971837463203700304146687499152373404002683149012079229991128538128020070341804032) (not real (<= f64 h0 140432423015659225088))) (+ f64 (+ f64 (- f64 (* f64 (* f64 h1 h2) h3) (* f64 h0 (* f64 h3 h4))) (+ f64 (* f64 h0 (* f64 h7 h5)) (neg f64 (* f64 h2 (* f64 h5 h6))))) (* f64 h8 (- f64 (* f64 h4 h6) (* f64 h1 h7)))) (+ f64 (+ f64 (* f64 h3 (- f64 (* f64 h1 h2) (* f64 h0 h4))) (* f64 h5 (=> (+ f64 (neg f64 (neg f64 (* f64 h0 h7))) (neg f64 (* f64 h6 h2)))))) (- f64 (* f64 h4 (* f64 h6 h8)) (* f64 h7 (* f64 h1 h8)))))
unsub-neg_binary64_17463 =>
(if real (or real (<= f64 h0 -934971837463203700304146687499152373404002683149012079229991128538128020070341804032) (not real (<= f64 h0 140432423015659225088))) (+ f64 (+ f64 (- f64 (* f64 (* f64 h1 h2) h3) (* f64 h0 (* f64 h3 h4))) (+ f64 (* f64 h0 (* f64 h7 h5)) (neg f64 (* f64 h2 (* f64 h5 h6))))) (* f64 h8 (- f64 (* f64 h4 h6) (* f64 h1 h7)))) (+ f64 (+ f64 (* f64 h3 (- f64 (* f64 h1 h2) (* f64 h0 h4))) (* f64 h5 (- f64 (neg f64 (neg f64 (* f64 h0 h7))) (=> (* f64 h6 h2))))) (- f64 (* f64 h4 (* f64 h6 h8)) (* f64 h7 (* f64 h1 h8)))))
*-commutative_binary64_17400 =>
(if real (or real (<= f64 h0 -934971837463203700304146687499152373404002683149012079229991128538128020070341804032) (not real (<= f64 h0 140432423015659225088))) (+ f64 (+ f64 (- f64 (* f64 (* f64 h1 h2) h3) (* f64 h0 (* f64 h3 h4))) (=> (+ f64 (* f64 h0 (* f64 h7 h5)) (neg f64 (* f64 h2 (* f64 h5 h6)))))) (* f64 h8 (- f64 (* f64 h4 h6) (* f64 h1 h7)))) (+ f64 (+ f64 (* f64 h3 (- f64 (* f64 h1 h2) (* f64 h0 h4))) (* f64 h5 (- f64 (neg f64 (neg f64 (* f64 h0 h7))) (* f64 h2 h6)))) (- f64 (* f64 h4 (* f64 h6 h8)) (* f64 h7 (* f64 h1 h8)))))
unsub-neg_binary64_17463 =>
(if real (or real (<= f64 h0 -934971837463203700304146687499152373404002683149012079229991128538128020070341804032) (not real (<= f64 h0 140432423015659225088))) (+ f64 (+ f64 (- f64 (* f64 (* f64 h1 h2) h3) (* f64 h0 (* f64 h3 h4))) (- f64 (* f64 h0 (=> (* f64 h7 h5))) (* f64 h2 (* f64 h5 h6)))) (* f64 h8 (- f64 (* f64 h4 h6) (* f64 h1 h7)))) (+ f64 (+ f64 (* f64 h3 (- f64 (* f64 h1 h2) (* f64 h0 h4))) (* f64 h5 (- f64 (neg f64 (neg f64 (* f64 h0 h7))) (* f64 h2 h6)))) (- f64 (* f64 h4 (* f64 h6 h8)) (* f64 h7 (* f64 h1 h8)))))
*-commutative_binary64_17400 =>
(if real (or real (<= f64 h0 -934971837463203700304146687499152373404002683149012079229991128538128020070341804032) (not real (<= f64 h0 140432423015659225088))) (+ f64 (+ f64 (- f64 (* f64 (* f64 h1 h2) h3) (* f64 h0 (* f64 h3 h4))) (- f64 (* f64 h0 (* f64 h5 h7)) (* f64 h2 (* f64 h5 h6)))) (* f64 h8 (- f64 (* f64 h4 h6) (* f64 h1 h7)))) (+ f64 (+ f64 (* f64 h3 (- f64 (* f64 h1 h2) (* f64 h0 h4))) (* f64 h5 (- f64 (=> (neg f64 (neg f64 (* f64 h0 h7)))) (* f64 h2 h6)))) (- f64 (* f64 h4 (* f64 h6 h8)) (* f64 h7 (* f64 h1 h8)))))
remove-double-neg_binary64_17457 =>
(if real (or real (<= f64 h0 -934971837463203700304146687499152373404002683149012079229991128538128020070341804032) (not real (<= f64 h0 140432423015659225088))) (+ f64 (+ f64 (- f64 (* f64 (* f64 h1 h2) h3) (* f64 h0 (* f64 h3 h4))) (- f64 (* f64 h0 (* f64 h5 h7)) (* f64 h2 (* f64 h5 h6)))) (* f64 h8 (- f64 (* f64 h4 h6) (* f64 h1 h7)))) (+ f64 (+ f64 (* f64 h3 (- f64 (* f64 h1 h2) (* f64 h0 h4))) (* f64 h5 (- f64 (* f64 h0 h7) (* f64 h2 h6)))) (- f64 (* f64 h4 (* f64 h6 h8)) (* f64 h7 (* f64 h1 h8)))))

end0.0ms (0%)

sample5.2s (21.5%)

Algorithm

1×

intervals

Results

871.0ms	11107×	body	128	invalid
617.0ms	8000×	body	128	valid

Compiler

Compiled 4543 to 3145 computations (30.8% saved)

Iter	Nodes	Cost
0	48	111
1	109	109
2	163	109
3	237	109
4	316	109
5	382	109
6	494	109
7	701	109
8	638	109
9	690	109
10	751	109
11	818	109
12	887	109
13	937	109
14	966	109
15	979	109
16	984	109
17	985	109
18	985	109

Iter	Nodes	Cost
0	48	111
1	109	109
2	163	109
3	237	109
4	316	109
5	382	109
6	494	109
7	701	109
8	638	109
9	690	109
10	751	109
11	818	109
12	887	109
13	937	109
14	966	109
15	979	109
16	984	109
17	985	109
18	985	109

Details

analyze2.0s (8.4%)

sample97.0ms (0.4%)

simplify445.0ms (1.8%)

prune7.0ms (0%)

localize20.0ms (0.1%)

rewrite175.0ms (0.7%)

series1.7s (6.9%)

simplify284.0ms (1.2%)

prune442.0ms (1.8%)

localize28.0ms (0.1%)

rewrite168.0ms (0.7%)

series1.2s (5.1%)

simplify292.0ms (1.2%)

prune416.0ms (1.7%)

localize262.0ms (1.1%)

rewrite182.0ms (0.8%)

series1.3s (5.5%)

simplify639.0ms (2.6%)

prune492.0ms (2%)

localize35.0ms (0.1%)

rewrite136.0ms (0.6%)

series2.8s (11.6%)

simplify462.0ms (1.9%)

prune610.0ms (2.5%)

regimes4.5s (18.5%)

bsearch165.0ms (0.7%)

simplify83.0ms (0.3%)

end0.0ms (0%)

sample5.2s (21.5%)

Profiling

Iter	Nodes	Cost
0	48	111
1	109	109
2	163	109
3	237	109
4	316	109
5	382	109
6	494	109
7	701	109
8	638	109
9	690	109
10	751	109
11	818	109
12	887	109
13	937	109
14	966	109
15	979	109
16	984	109
17	985	109
18	985	109