Details

analyze1.3s (5.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
0.4%	99.4%	0.2%	10
5.6%	94.2%	0.2%	11
7.1%	92.7%	0.2%	12
8.8%	91%	0.2%	13
15.6%	84.2%	0.2%	14

Compiler

Compiled 14 to 13 computations (7.1% saved)

sample25.0ms (0.1%)

Algorithm

1×

intervals

Results

10.0ms	256×	body	128	valid
1.0ms	14×	body	128	invalid

Compiler

Compiled 27 to 30 computations (-11.1% saved)

simplify506.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

642×	`exp-prod_binary64_11042`
502×	`div-sub_binary64_10995`
433×	`neg-mul-1_binary64_10986`
423×	`unsub-neg_binary64_10984`
380×	`neg-sub0_binary64_10985`
338×	`sub-neg_binary64_10983`
315×	`times-frac_binary64_10996`
269×	`distribute-frac-neg_binary64_10953`
211×	`associate-/l*_binary64_10935`
208×	`associate-/r*_binary64_10934`
163×	`*-commutative_binary64_10921`
157×	`distribute-rgt-neg-out_binary64_10950`
153×	`distribute-neg-frac_binary64_10954`
147×	`distribute-rgt-in_binary64_10940`
137×	`distribute-lft-neg-out_binary64_10949`
117×	`distribute-rgt-neg-in_binary64_10948`
114×	`distribute-lft-in_binary64_10939`
111×	`cancel-sign-sub-inv_binary64_10956`
101×	`exp-diff_binary64_11038` `swap-sqr_binary64_10957`
96×	`exp-sum_binary64_11036`
92×	`associate--r+_binary64_10926`
85×	`associate-r_binary64_10930`
76×	`sqr-neg_binary64_11004` `distribute-lft-neg-in_binary64_10947`
73×	`associate--r-_binary64_10929`
70×	`associate--l-_binary64_10928`
66×	`associate-/l/_binary64_10937`
65×	`distribute-rgt1-in_binary64_10946`
60×	`distribute-neg-in_binary64_10951` `associate-l_binary64_10931`
58×	`pow-plus_binary64_11053`
56×	`associate-+r-_binary64_10924`
48×	`associate-+l-_binary64_10925`
42×	`+-commutative_binary64_10920`
41×	`exp-neg_binary64_11037`
38×	`associate-/r/_binary64_10936`
29×	`remove-double-neg_binary64_10978`
27×	`/-rgt-identity_binary64_10981` `sub0-neg_binary64_10977` `mul0-lft_binary64_10972`
24×	`associate-+r+_binary64_10922`
23×	`div0_binary64_10971`
22×	`associate-*l/_binary64_10933` `associate--l+_binary64_10927`
21×	`mul0-rgt_binary64_10973`
20×	`exp-lft-sqr_binary64_11045`
17×	`distribute-neg-out_binary64_10952`
13×	`-rgt-identity_binary64_10980` `-lft-identity_binary64_10979`
12×	`+-rgt-identity_binary64_10975`
11×	`cube-prod_binary64_11018` `sqr-pow_binary64_10962` `associate-+l+_binary64_10923`
10×	`distribute-rgt-out--_binary64_10944` `associate-*r/_binary64_10932`
9×	`pow-sqr_binary64_10963` `distribute-rgt-out_binary64_10943`
7×	`--rgt-identity_binary64_10976`
6×	`cube-div_binary64_11019` `distribute-lft-out--_binary64_10942`
5×	`pow-base-1_binary64_11050`
4×	`cube-unmult_binary64_11027` `+-lft-identity_binary64_10974` `*-inverses_binary64_10970` `unswap-sqr_binary64_10958` `count-2_binary64_10938`
3×	`mul-1-neg_binary64_10982` `+-inverses_binary64_10969` `distribute-lft-out_binary64_10941`
1×	`unpow3_binary64_11056` `prod-exp_binary64_11039` `1-exp_binary64_11034` `exp-1-e_binary64_11033` `difference-of-sqr--1_binary64_10961` `difference-of-squares_binary64_10959`
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_11253` `erf-erfc_binary64_11252` `erf-odd_binary64_11251` `if-if-and-not_binary64_11250` `if-if-and_binary64_11249` `if-if-or-not_binary64_11248` `if-if-or_binary64_11247` `if-not_binary64_11246` `if-same_binary64_11245` `if-false_binary64_11244` `if-true_binary64_11243` `not-gte_binary64_11242` `not-lte_binary64_11241` `not-gt_binary64_11240` `not-lt_binary64_11239` `gte-same_binary64_11238` `lte-same_binary64_11237` `gt-same_binary64_11236` `lt-same_binary64_11235` `sinh---cosh_binary64_11182` `sinh-+-cosh_binary64_11181` `sinh-cosh_binary64_11180` `tanh-def-c_binary64_11179` `tanh-def-b_binary64_11178` `tanh-def-a_binary64_11177` `cosh-def_binary64_11176` `sinh-def_binary64_11175` `tan-neg_binary64_11122` `cos-neg_binary64_11121` `sin-neg_binary64_11120` `tan-0_binary64_11119` `cos-0_binary64_11118` `sin-0_binary64_11117` `hang-m-tan_binary64_11116` `hang-p-tan_binary64_11115` `hang-m0-tan_binary64_11114` `hang-p0-tan_binary64_11113` `hang-0m-tan_binary64_11112` `hang-0p-tan_binary64_11111` `tan-+PI/2_binary64_11110` `tan-+PI_binary64_11109` `tan-PI_binary64_11108` `tan-PI/3_binary64_11107` `tan-PI/4_binary64_11106` `tan-PI/6_binary64_11105` `cos-+PI/2_binary64_11104` `cos-+PI_binary64_11103` `cos-PI_binary64_11102` `cos-PI/2_binary64_11101` `cos-PI/3_binary64_11100` `cos-PI/4_binary64_11099` `cos-PI/6_binary64_11098` `sin-+PI/2_binary64_11097` `sin-+PI_binary64_11096` `sin-PI_binary64_11095` `sin-PI/2_binary64_11094` `sin-PI/3_binary64_11093` `sin-PI/4_binary64_11092` `sin-PI/6_binary64_11091` `sub-1-sin_binary64_11090` `sub-1-cos_binary64_11089` `-1-add-sin_binary64_11088` `-1-add-cos_binary64_11087` `1-sub-sin_binary64_11086` `1-sub-cos_binary64_11085` `cos-sin-sum_binary64_11084` `log-E_binary64_11080` `log-pow_binary64_11079` `log-rec_binary64_11078` `log-div_binary64_11077` `log-prod_binary64_11076` `pow-base-0_binary64_11074` `unpow1/3_binary64_11057` `unpow2_binary64_11055` `unpow1/2_binary64_11054` `exp-to-pow_binary64_11052` `unpow0_binary64_11049` `unpow1_binary64_11048` `unpow-1_binary64_11047` `exp-lft-cube_binary64_11046` `exp-cbrt_binary64_11044` `exp-sqrt_binary64_11043` `div-exp_binary64_11041` `rec-exp_binary64_11040` `e-exp-1_binary64_11035` `exp-0_binary64_11032` `rem-log-exp_binary64_11031` `rem-exp-log_binary64_11030` `cube-mult_binary64_11020` `cube-neg_binary64_11017` `rem-3cbrt-rft_binary64_11016` `rem-3cbrt-lft_binary64_11015` `rem-cbrt-cube_binary64_11014` `rem-cube-cbrt_binary64_11013` `sqr-abs_binary64_11005` `rem-sqrt-square_binary64_11003` `rem-square-sqrt_binary64_11002` `lft-mult-inverse_binary64_10968` `rgt-mult-inverse_binary64_10967` `remove-double-div_binary64_10966` `difference-of-sqr-1_binary64_10960` `cancel-sign-sub_binary64_10955` `distribute-lft1-in_binary64_10945`

Counts

1 → 7

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	19
1	28	19
2	66	19
3	154	19
4	336	19
5	903	19
6	2449	19
7	3745	19

prune10.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	5	2	7
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	5	3	8

Error

0.0b

Counts

8 → 3

Compiler

Compiled 130 to 84 computations (35.4% saved)

localize9.0ms (0%)

Local error

Found 3 expressions with local error:

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

rewrite176.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

104×	`*-un-lft-identity_binary64_10990`
54×	`add-sqr-sqrt_binary64_11012`
51×	`times-frac_binary64_10996`
31×	`associate-l_binary64_10931`
27×	`add-cube-cbrt_binary64_11025`
22×	`distribute-lft-out_binary64_10941` `distribute-lft-out--_binary64_10942`
11×	`difference-of-squares_binary64_10959`
10×	`add-exp-log_binary64_11028` `add-cbrt-cube_binary64_11026`
5×	`pow1_binary64_11051` `add-log-exp_binary64_11029` `associate-/l_binary64_10935` `associate-/r_binary64_10934`
4×	`associate-/r/_binary64_10936`
3×	`associate-r_binary64_10930`
2×	`div-exp_binary64_11041` `prod-exp_binary64_11039` `cbrt-unprod_binary64_11023` `cbrt-undiv_binary64_11024` `unswap-sqr_binary64_10958` `div-inv_binary64_10987` `flip3-+_binary64_10993` `flip-+_binary64_10964` `flip3--_binary64_10994` `associate-/l/_binary64_10937` `flip--_binary64_10965`
1×	`pow-prod-down_binary64_11061` `associate-l/_binary64_10933` `-commutative_binary64_10921` `frac-2neg_binary64_11001` `div-sub_binary64_10995` `clear-num_binary64_10989` `diff-log_binary64_11082` `sub-neg_binary64_10983` `cancel-sign-sub-inv_binary64_10956`

Counts

3 → 114

Calls

3 calls:

17.0ms	(*.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1)) a)
14.0ms	(/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1))
3.0ms	(-.f64 x (*.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1)) a))

Compiler

Compiled 2694 to 1174 computations (56.4% saved)

series2.3s (9.7%)

Error

0.0b

Counts

3 → 99

Calls

3 calls:

997.0ms	(-.f64 x (*.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1)) a))
655.0ms	(*.f64 (/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1)) a)
408.0ms	(/.f64 (-.f64 y z) (+.f64 (-.f64 t z) 1))

Compiler

Compiled 9034 to 5881 computations (34.9% saved)

simplify1.1s (4.7%)

Algorithm

1×	egg-herbie

Rules

504×	`times-frac_binary64_10996`
369×	`associate-/l*_binary64_10935`
279×	`associate-/r*_binary64_10934`
249×	`associate--l+_binary64_10927`
219×	`associate--r+_binary64_10926`
210×	`+-commutative_binary64_10920`
166×	`sub-neg_binary64_10983`
157×	`associate-+r+_binary64_10922`
137×	`associate-r_binary64_10930`
107×	`associate-*l/_binary64_10933`
96×	`associate-l_binary64_10931`
90×	`associate-/r/_binary64_10936`
81×	`distribute-neg-in_binary64_10951` `associate-*r/_binary64_10932`
80×	`*-commutative_binary64_10921`
60×	`distribute-rgt-in_binary64_10940`
56×	`distribute-lft-in_binary64_10939`
50×	`neg-sub0_binary64_10985`
46×	`neg-mul-1_binary64_10986`
33×	`div-sub_binary64_10995`
31×	`sqr-pow_binary64_10962`
27×	`associate-/l/_binary64_10937`
26×	`cancel-sign-sub-inv_binary64_10956`
19×	`distribute-neg-frac_binary64_10954`
17×	`distribute-rgt-neg-in_binary64_10948`
15×	`pow-sqr_binary64_10963`
13×	`distribute-lft-neg-in_binary64_10947`
10×	`unpow3_binary64_11056`
8×	`cube-mult_binary64_11020` `*-rgt-identity_binary64_10980`
7×	`/-rgt-identity_binary64_10981`
6×	`mul-1-neg_binary64_10982` `swap-sqr_binary64_10957` `distribute-rgt-out_binary64_10943`
5×	`pow-plus_binary64_11053` `cube-prod_binary64_11018` `associate--r-_binary64_10929`
4×	`log-div_binary64_11077` `unpow2_binary64_11055` `exp-prod_binary64_11042`
3×	`log-prod_binary64_11076` `cube-unmult_binary64_11027` `cube-div_binary64_11019` `*-lft-identity_binary64_10979` `difference-of-squares_binary64_10959`
2×	`pow-base-1_binary64_11050` `div-exp_binary64_11041` `distribute-lft-neg-out_binary64_10949` `distribute-rgt-out--_binary64_10944` `associate-+l-_binary64_10925`
1×	`rec-exp_binary64_11040` `prod-exp_binary64_11039` `exp-diff_binary64_11038` `exp-sum_binary64_11036` `1-exp_binary64_11034` `unsub-neg_binary64_10984` `*-inverses_binary64_10970` `distribute-rgt1-in_binary64_10946` `count-2_binary64_10938` `associate--l-_binary64_10928` `associate-+r-_binary64_10924`
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_11253` `erf-erfc_binary64_11252` `erf-odd_binary64_11251` `if-if-and-not_binary64_11250` `if-if-and_binary64_11249` `if-if-or-not_binary64_11248` `if-if-or_binary64_11247` `if-not_binary64_11246` `if-same_binary64_11245` `if-false_binary64_11244` `if-true_binary64_11243` `not-gte_binary64_11242` `not-lte_binary64_11241` `not-gt_binary64_11240` `not-lt_binary64_11239` `gte-same_binary64_11238` `lte-same_binary64_11237` `gt-same_binary64_11236` `lt-same_binary64_11235` `sinh---cosh_binary64_11182` `sinh-+-cosh_binary64_11181` `sinh-cosh_binary64_11180` `tanh-def-c_binary64_11179` `tanh-def-b_binary64_11178` `tanh-def-a_binary64_11177` `cosh-def_binary64_11176` `sinh-def_binary64_11175` `tan-neg_binary64_11122` `cos-neg_binary64_11121` `sin-neg_binary64_11120` `tan-0_binary64_11119` `cos-0_binary64_11118` `sin-0_binary64_11117` `hang-m-tan_binary64_11116` `hang-p-tan_binary64_11115` `hang-m0-tan_binary64_11114` `hang-p0-tan_binary64_11113` `hang-0m-tan_binary64_11112` `hang-0p-tan_binary64_11111` `tan-+PI/2_binary64_11110` `tan-+PI_binary64_11109` `tan-PI_binary64_11108` `tan-PI/3_binary64_11107` `tan-PI/4_binary64_11106` `tan-PI/6_binary64_11105` `cos-+PI/2_binary64_11104` `cos-+PI_binary64_11103` `cos-PI_binary64_11102` `cos-PI/2_binary64_11101` `cos-PI/3_binary64_11100` `cos-PI/4_binary64_11099` `cos-PI/6_binary64_11098` `sin-+PI/2_binary64_11097` `sin-+PI_binary64_11096` `sin-PI_binary64_11095` `sin-PI/2_binary64_11094` `sin-PI/3_binary64_11093` `sin-PI/4_binary64_11092` `sin-PI/6_binary64_11091` `sub-1-sin_binary64_11090` `sub-1-cos_binary64_11089` `-1-add-sin_binary64_11088` `-1-add-cos_binary64_11087` `1-sub-sin_binary64_11086` `1-sub-cos_binary64_11085` `cos-sin-sum_binary64_11084` `log-E_binary64_11080` `log-pow_binary64_11079` `log-rec_binary64_11078` `pow-base-0_binary64_11074` `unpow1/3_binary64_11057` `unpow1/2_binary64_11054` `exp-to-pow_binary64_11052` `unpow0_binary64_11049` `unpow1_binary64_11048` `unpow-1_binary64_11047` `exp-lft-cube_binary64_11046` `exp-lft-sqr_binary64_11045` `exp-cbrt_binary64_11044` `exp-sqrt_binary64_11043` `exp-neg_binary64_11037` `e-exp-1_binary64_11035` `exp-1-e_binary64_11033` `exp-0_binary64_11032` `rem-log-exp_binary64_11031` `rem-exp-log_binary64_11030` `cube-neg_binary64_11017` `rem-3cbrt-rft_binary64_11016` `rem-3cbrt-lft_binary64_11015` `rem-cbrt-cube_binary64_11014` `rem-cube-cbrt_binary64_11013` `sqr-abs_binary64_11005` `sqr-neg_binary64_11004` `rem-sqrt-square_binary64_11003` `rem-square-sqrt_binary64_11002` `remove-double-neg_binary64_10978` `sub0-neg_binary64_10977` `--rgt-identity_binary64_10976` `+-rgt-identity_binary64_10975` `+-lft-identity_binary64_10974` `mul0-rgt_binary64_10973` `mul0-lft_binary64_10972` `div0_binary64_10971` `+-inverses_binary64_10969` `lft-mult-inverse_binary64_10968` `rgt-mult-inverse_binary64_10967` `remove-double-div_binary64_10966` `difference-of-sqr--1_binary64_10961` `difference-of-sqr-1_binary64_10960` `unswap-sqr_binary64_10958` `cancel-sign-sub_binary64_10955` `distribute-frac-neg_binary64_10953` `distribute-neg-out_binary64_10952` `distribute-rgt-neg-out_binary64_10950` `distribute-lft1-in_binary64_10945` `distribute-lft-out--_binary64_10942` `distribute-lft-out_binary64_10941` `associate-+l+_binary64_10923`

Counts

213 → 522

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	595	8403
1	1745	8163

prune1.1s (4.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	520	2	522
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	520	5	525

Error

Counts

525 → 5

Compiler

Compiled 17426 to 7639 computations (56.2% saved)

localize11.0ms (0%)

Local error

Found 3 expressions with local error:

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

rewrite412.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

295×	`*-un-lft-identity_binary64_10990`
258×	`times-frac_binary64_10996`
215×	`add-sqr-sqrt_binary64_11012`
101×	`add-cube-cbrt_binary64_11025`
83×	`distribute-lft-out--_binary64_10942`
57×	`difference-of-squares_binary64_10959`
41×	`associate-/r*_binary64_10934`
27×	`distribute-lft-out_binary64_10941`
11×	`associate-/r/_binary64_10936`
10×	`add-exp-log_binary64_11028` `add-cbrt-cube_binary64_11026`
9×	`associate-/l*_binary64_10935`
6×	`div-inv_binary64_10987` `flip3--_binary64_10994` `flip--_binary64_10965`
5×	`add-log-exp_binary64_11029`
4×	`div-exp_binary64_11041` `cbrt-undiv_binary64_11024`
3×	`pow1_binary64_11051`
2×	`frac-2neg_binary64_11001` `clear-num_binary64_10989` `associate-/l/_binary64_10937`
1×	`div-sub_binary64_10995` `sum-log_binary64_11081` `flip3-+_binary64_10993` `flip-+_binary64_10964` `+-commutative_binary64_10920`

Counts

3 → 232

Calls

3 calls:

34.0ms	(+.f64 x (/.f64 a (/.f64 (-.f64 t (+.f64 z -1)) (-.f64 z y))))
15.0ms	(/.f64 a (/.f64 (-.f64 t (+.f64 z -1)) (-.f64 z y)))
11.0ms	(/.f64 (-.f64 t (+.f64 z -1)) (-.f64 z y))

Compiler

Compiled 6118 to 2918 computations (52.3% saved)

series2.1s (9%)

Error

Counts

3 → 96

Calls

3 calls:

951.0ms	(+.f64 x (/.f64 a (/.f64 (-.f64 t (+.f64 z -1)) (-.f64 z y))))
653.0ms	(/.f64 a (/.f64 (-.f64 t (+.f64 z -1)) (-.f64 z y)))
341.0ms	(/.f64 (-.f64 t (+.f64 z -1)) (-.f64 z y))

Compiler

Compiled 8193 to 5257 computations (35.8% saved)

simplify909.0ms (3.9%)

Algorithm

1×	egg-herbie

Rules

472×	`associate-/l*_binary64_10935`
465×	`times-frac_binary64_10996`
291×	`associate-/r/_binary64_10936`
274×	`associate-/l/_binary64_10937`
235×	`associate-/r*_binary64_10934`
188×	`associate-*l/_binary64_10933`
162×	`sub-neg_binary64_10983`
161×	`+-commutative_binary64_10920`
130×	`distribute-rgt-in_binary64_10940`
126×	`distribute-lft-in_binary64_10939`
110×	`associate-+r+_binary64_10922`
65×	`distribute-neg-in_binary64_10951`
60×	`div-sub_binary64_10995`
49×	`*-commutative_binary64_10921`
46×	`neg-sub0_binary64_10985`
41×	`neg-mul-1_binary64_10986`
32×	`sqr-pow_binary64_10962`
30×	`associate--l+_binary64_10927`
29×	`associate--r+_binary64_10926`
21×	`cancel-sign-sub-inv_binary64_10956`
19×	`associate-*r/_binary64_10932`
16×	`distribute-neg-frac_binary64_10954`
15×	`pow-sqr_binary64_10963`
12×	`distribute-rgt-neg-in_binary64_10948`
11×	`/-rgt-identity_binary64_10981`
10×	`associate-r_binary64_10930`
9×	`unpow3_binary64_11056` `mul-1-neg_binary64_10982`
8×	`distribute-lft-neg-in_binary64_10947`
7×	`cube-mult_binary64_11020`
6×	`difference-of-squares_binary64_10959`
5×	`unpow2_binary64_11055` `pow-plus_binary64_11053` `associate-l_binary64_10931`
4×	`log-div_binary64_11077` `cube-unmult_binary64_11027`
3×	`cube-div_binary64_11019` `remove-double-div_binary64_10966` `unswap-sqr_binary64_10958` `distribute-lft-neg-out_binary64_10949`
2×	`log-prod_binary64_11076` `prod-exp_binary64_11039` `cube-prod_binary64_11018` `*-inverses_binary64_10970` `swap-sqr_binary64_10957` `distribute-rgt-out_binary64_10943`
1×	`exp-prod_binary64_11042` `div-exp_binary64_11041` `rec-exp_binary64_11040` `exp-diff_binary64_11038` `1-exp_binary64_11034` `distribute-rgt-out--_binary64_10944` `associate--r-_binary64_10929` `associate-+r-_binary64_10924`
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_11253` `erf-erfc_binary64_11252` `erf-odd_binary64_11251` `if-if-and-not_binary64_11250` `if-if-and_binary64_11249` `if-if-or-not_binary64_11248` `if-if-or_binary64_11247` `if-not_binary64_11246` `if-same_binary64_11245` `if-false_binary64_11244` `if-true_binary64_11243` `not-gte_binary64_11242` `not-lte_binary64_11241` `not-gt_binary64_11240` `not-lt_binary64_11239` `gte-same_binary64_11238` `lte-same_binary64_11237` `gt-same_binary64_11236` `lt-same_binary64_11235` `sinh---cosh_binary64_11182` `sinh-+-cosh_binary64_11181` `sinh-cosh_binary64_11180` `tanh-def-c_binary64_11179` `tanh-def-b_binary64_11178` `tanh-def-a_binary64_11177` `cosh-def_binary64_11176` `sinh-def_binary64_11175` `tan-neg_binary64_11122` `cos-neg_binary64_11121` `sin-neg_binary64_11120` `tan-0_binary64_11119` `cos-0_binary64_11118` `sin-0_binary64_11117` `hang-m-tan_binary64_11116` `hang-p-tan_binary64_11115` `hang-m0-tan_binary64_11114` `hang-p0-tan_binary64_11113` `hang-0m-tan_binary64_11112` `hang-0p-tan_binary64_11111` `tan-+PI/2_binary64_11110` `tan-+PI_binary64_11109` `tan-PI_binary64_11108` `tan-PI/3_binary64_11107` `tan-PI/4_binary64_11106` `tan-PI/6_binary64_11105` `cos-+PI/2_binary64_11104` `cos-+PI_binary64_11103` `cos-PI_binary64_11102` `cos-PI/2_binary64_11101` `cos-PI/3_binary64_11100` `cos-PI/4_binary64_11099` `cos-PI/6_binary64_11098` `sin-+PI/2_binary64_11097` `sin-+PI_binary64_11096` `sin-PI_binary64_11095` `sin-PI/2_binary64_11094` `sin-PI/3_binary64_11093` `sin-PI/4_binary64_11092` `sin-PI/6_binary64_11091` `sub-1-sin_binary64_11090` `sub-1-cos_binary64_11089` `-1-add-sin_binary64_11088` `-1-add-cos_binary64_11087` `1-sub-sin_binary64_11086` `1-sub-cos_binary64_11085` `cos-sin-sum_binary64_11084` `log-E_binary64_11080` `log-pow_binary64_11079` `log-rec_binary64_11078` `pow-base-0_binary64_11074` `unpow1/3_binary64_11057` `unpow1/2_binary64_11054` `exp-to-pow_binary64_11052` `pow-base-1_binary64_11050` `unpow0_binary64_11049` `unpow1_binary64_11048` `unpow-1_binary64_11047` `exp-lft-cube_binary64_11046` `exp-lft-sqr_binary64_11045` `exp-cbrt_binary64_11044` `exp-sqrt_binary64_11043` `exp-neg_binary64_11037` `exp-sum_binary64_11036` `e-exp-1_binary64_11035` `exp-1-e_binary64_11033` `exp-0_binary64_11032` `rem-log-exp_binary64_11031` `rem-exp-log_binary64_11030` `cube-neg_binary64_11017` `rem-3cbrt-rft_binary64_11016` `rem-3cbrt-lft_binary64_11015` `rem-cbrt-cube_binary64_11014` `rem-cube-cbrt_binary64_11013` `sqr-abs_binary64_11005` `sqr-neg_binary64_11004` `rem-sqrt-square_binary64_11003` `rem-square-sqrt_binary64_11002` `unsub-neg_binary64_10984` `-rgt-identity_binary64_10980` `-lft-identity_binary64_10979` `remove-double-neg_binary64_10978` `sub0-neg_binary64_10977` `--rgt-identity_binary64_10976` `+-rgt-identity_binary64_10975` `+-lft-identity_binary64_10974` `mul0-rgt_binary64_10973` `mul0-lft_binary64_10972` `div0_binary64_10971` `+-inverses_binary64_10969` `lft-mult-inverse_binary64_10968` `rgt-mult-inverse_binary64_10967` `difference-of-sqr--1_binary64_10961` `difference-of-sqr-1_binary64_10960` `cancel-sign-sub_binary64_10955` `distribute-frac-neg_binary64_10953` `distribute-neg-out_binary64_10952` `distribute-rgt-neg-out_binary64_10950` `distribute-rgt1-in_binary64_10946` `distribute-lft1-in_binary64_10945` `distribute-lft-out--_binary64_10942` `distribute-lft-out_binary64_10941` `count-2_binary64_10938` `associate--l-_binary64_10928` `associate-+l-_binary64_10925` `associate-+l+_binary64_10923`

Counts

328 → 620

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	622	11797
1	1733	11674

prune1.1s (4.9%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	620	0	620
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	620	5	625

Error

Counts

625 → 5

Compiler

Compiled 19880 to 8390 computations (57.8% saved)

localize10.0ms (0%)

Local error

Found 3 expressions with local error:

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

rewrite513.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

417×	`*-un-lft-identity_binary64_10990`
373×	`times-frac_binary64_10996`
239×	`add-sqr-sqrt_binary64_11012`
152×	`add-cube-cbrt_binary64_11025`
100×	`cancel-sign-sub-inv_binary64_10956`
77×	`distribute-lft-out--_binary64_10942`
74×	`distribute-lft-out_binary64_10941`
42×	`difference-of-squares_binary64_10959`
22×	`associate-/r*_binary64_10934`
14×	`div-inv_binary64_10987`
10×	`add-exp-log_binary64_11028` `add-cbrt-cube_binary64_11026` `associate-/l*_binary64_10935`
5×	`add-log-exp_binary64_11029`
4×	`div-exp_binary64_11041` `cbrt-undiv_binary64_11024` `associate-/l/_binary64_10937`
3×	`pow1_binary64_11051` `div-sub_binary64_10995`
2×	`frac-2neg_binary64_11001` `clear-num_binary64_10989` `flip3--_binary64_10994` `flip--_binary64_10965` `associate-/r/_binary64_10936`
1×	`diff-log_binary64_11082` `sub-neg_binary64_10983` `associate--r-_binary64_10929` `associate-+l-_binary64_10925` `flip3-+_binary64_10993` `flip-+_binary64_10964`

Counts

3 → 291

Calls

3 calls:

42.0ms	(-.f64 x (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a)))
15.0ms	(/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a))
13.0ms	(/.f64 (+.f64 (-.f64 t z) 1) a)

Compiler

Compiled 7805 to 3355 computations (57% saved)

series1.9s (8%)

Error

Counts

3 → 86

Calls

3 calls:

919.0ms	(-.f64 x (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a)))
630.0ms	(/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a))
196.0ms	(/.f64 (+.f64 (-.f64 t z) 1) a)

Compiler

Compiled 6886 to 4344 computations (36.9% saved)

simplify1.2s (5.2%)

Algorithm

1×	egg-herbie

Rules

460×	`associate-/l*_binary64_10935`
437×	`times-frac_binary64_10996`
365×	`associate-/r/_binary64_10936`
212×	`sub-neg_binary64_10983`
182×	`associate-/l/_binary64_10937`
150×	`neg-sub0_binary64_10985`
145×	`neg-mul-1_binary64_10986`
141×	`+-commutative_binary64_10920`
139×	`div-sub_binary64_10995`
102×	`*-commutative_binary64_10921`
101×	`distribute-lft-neg-out_binary64_10949`
99×	`distribute-rgt-neg-in_binary64_10948` `associate-+r+_binary64_10922`
88×	`distribute-neg-frac_binary64_10954`
81×	`distribute-rgt-in_binary64_10940`
79×	`distribute-lft-in_binary64_10939`
71×	`associate-*r/_binary64_10932`
64×	`distribute-neg-in_binary64_10951`
49×	`distribute-rgt-neg-out_binary64_10950`
48×	`cancel-sign-sub-inv_binary64_10956`
42×	`distribute-lft-neg-in_binary64_10947`
26×	`sqr-pow_binary64_10962` `associate--l+_binary64_10927`
20×	`associate--r+_binary64_10926`
12×	`/-rgt-identity_binary64_10981` `pow-sqr_binary64_10963` `associate-r_binary64_10930`
11×	`associate-/r*_binary64_10934`
8×	`unpow3_binary64_11056` `mul-1-neg_binary64_10982`
7×	`*-rgt-identity_binary64_10980`
6×	`cube-mult_binary64_11020`
5×	`swap-sqr_binary64_10957` `associate-l_binary64_10931`
4×	`log-div_binary64_11077` `unpow2_binary64_11055` `pow-plus_binary64_11053` `cube-unmult_binary64_11027` `associate-*l/_binary64_10933`
3×	`cube-div_binary64_11019` `*-lft-identity_binary64_10979` `unswap-sqr_binary64_10958` `distribute-rgt-out--_binary64_10944` `distribute-rgt-out_binary64_10943`
2×	`log-prod_binary64_11076` `div-exp_binary64_11041` `cube-prod_binary64_11018` `remove-double-div_binary64_10966` `difference-of-squares_binary64_10959`
1×	`exp-prod_binary64_11042` `rec-exp_binary64_11040` `prod-exp_binary64_11039` `exp-diff_binary64_11038` `exp-sum_binary64_11036` `1-exp_binary64_11034` `rem-3cbrt-lft_binary64_11015` `rem-square-sqrt_binary64_11002` `unsub-neg_binary64_10984` `*-inverses_binary64_10970` `distribute-rgt1-in_binary64_10946` `count-2_binary64_10938` `associate--r-_binary64_10929` `associate--l-_binary64_10928` `associate-+l-_binary64_10925` `associate-+r-_binary64_10924`
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_11253` `erf-erfc_binary64_11252` `erf-odd_binary64_11251` `if-if-and-not_binary64_11250` `if-if-and_binary64_11249` `if-if-or-not_binary64_11248` `if-if-or_binary64_11247` `if-not_binary64_11246` `if-same_binary64_11245` `if-false_binary64_11244` `if-true_binary64_11243` `not-gte_binary64_11242` `not-lte_binary64_11241` `not-gt_binary64_11240` `not-lt_binary64_11239` `gte-same_binary64_11238` `lte-same_binary64_11237` `gt-same_binary64_11236` `lt-same_binary64_11235` `sinh---cosh_binary64_11182` `sinh-+-cosh_binary64_11181` `sinh-cosh_binary64_11180` `tanh-def-c_binary64_11179` `tanh-def-b_binary64_11178` `tanh-def-a_binary64_11177` `cosh-def_binary64_11176` `sinh-def_binary64_11175` `tan-neg_binary64_11122` `cos-neg_binary64_11121` `sin-neg_binary64_11120` `tan-0_binary64_11119` `cos-0_binary64_11118` `sin-0_binary64_11117` `hang-m-tan_binary64_11116` `hang-p-tan_binary64_11115` `hang-m0-tan_binary64_11114` `hang-p0-tan_binary64_11113` `hang-0m-tan_binary64_11112` `hang-0p-tan_binary64_11111` `tan-+PI/2_binary64_11110` `tan-+PI_binary64_11109` `tan-PI_binary64_11108` `tan-PI/3_binary64_11107` `tan-PI/4_binary64_11106` `tan-PI/6_binary64_11105` `cos-+PI/2_binary64_11104` `cos-+PI_binary64_11103` `cos-PI_binary64_11102` `cos-PI/2_binary64_11101` `cos-PI/3_binary64_11100` `cos-PI/4_binary64_11099` `cos-PI/6_binary64_11098` `sin-+PI/2_binary64_11097` `sin-+PI_binary64_11096` `sin-PI_binary64_11095` `sin-PI/2_binary64_11094` `sin-PI/3_binary64_11093` `sin-PI/4_binary64_11092` `sin-PI/6_binary64_11091` `sub-1-sin_binary64_11090` `sub-1-cos_binary64_11089` `-1-add-sin_binary64_11088` `-1-add-cos_binary64_11087` `1-sub-sin_binary64_11086` `1-sub-cos_binary64_11085` `cos-sin-sum_binary64_11084` `log-E_binary64_11080` `log-pow_binary64_11079` `log-rec_binary64_11078` `pow-base-0_binary64_11074` `unpow1/3_binary64_11057` `unpow1/2_binary64_11054` `exp-to-pow_binary64_11052` `pow-base-1_binary64_11050` `unpow0_binary64_11049` `unpow1_binary64_11048` `unpow-1_binary64_11047` `exp-lft-cube_binary64_11046` `exp-lft-sqr_binary64_11045` `exp-cbrt_binary64_11044` `exp-sqrt_binary64_11043` `exp-neg_binary64_11037` `e-exp-1_binary64_11035` `exp-1-e_binary64_11033` `exp-0_binary64_11032` `rem-log-exp_binary64_11031` `rem-exp-log_binary64_11030` `cube-neg_binary64_11017` `rem-3cbrt-rft_binary64_11016` `rem-cbrt-cube_binary64_11014` `rem-cube-cbrt_binary64_11013` `sqr-abs_binary64_11005` `sqr-neg_binary64_11004` `rem-sqrt-square_binary64_11003` `remove-double-neg_binary64_10978` `sub0-neg_binary64_10977` `--rgt-identity_binary64_10976` `+-rgt-identity_binary64_10975` `+-lft-identity_binary64_10974` `mul0-rgt_binary64_10973` `mul0-lft_binary64_10972` `div0_binary64_10971` `+-inverses_binary64_10969` `lft-mult-inverse_binary64_10968` `rgt-mult-inverse_binary64_10967` `difference-of-sqr--1_binary64_10961` `difference-of-sqr-1_binary64_10960` `cancel-sign-sub_binary64_10955` `distribute-frac-neg_binary64_10953` `distribute-neg-out_binary64_10952` `distribute-lft1-in_binary64_10945` `distribute-lft-out--_binary64_10942` `distribute-lft-out_binary64_10941` `associate-+l+_binary64_10923`

Counts

377 → 860

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	660	13705
1	2108	13480

prune1.5s (6.2%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	859	1	860
Fresh	1	1	2
Picked	0	1	1
Done	0	2	2
Total	860	5	865

Error

Counts

865 → 5

Compiler

Compiled 25692 to 10035 computations (60.9% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite442.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

247×	`*-un-lft-identity_binary64_10990`
240×	`times-frac_binary64_10996`
134×	`add-sqr-sqrt_binary64_11012`
118×	`add-cube-cbrt_binary64_11025`
62×	`associate-r_binary64_10930`
50×	`distribute-lft-out_binary64_10941`
36×	`add-exp-log_binary64_11028`
26×	`distribute-lft-out--_binary64_10942`
22×	`associate-/r*_binary64_10934`
20×	`add-cbrt-cube_binary64_11026`
15×	`div-exp_binary64_11041`
10×	`div-inv_binary64_10987`
8×	`associate-/l*_binary64_10935`
7×	`pow1_binary64_11051` `prod-exp_binary64_11039` `cbrt-undiv_binary64_11024`
6×	`add-log-exp_binary64_11029`
5×	`unswap-sqr_binary64_10958` `associate-l_binary64_10931`
4×	`1-exp_binary64_11034` `rec-exp_binary64_11040`
3×	`cbrt-unprod_binary64_11023` `flip3--_binary64_10994` `flip--_binary64_10965`
2×	`frac-times_binary64_11000` `associate-*l/_binary64_10933` `associate-/r/_binary64_10936` `frac-2neg_binary64_11001` `clear-num_binary64_10989` `associate-/l/_binary64_10937`
1×	`pow-prod-down_binary64_11061` `un-div-inv_binary64_10988` `associate-r/_binary64_10932` `difference-of-squares_binary64_10959` `-commutative_binary64_10921` `inv-pow_binary64_11075` `pow-flip_binary64_11064` `diff-log_binary64_11082` `sub-neg_binary64_10983` `cancel-sign-sub-inv_binary64_10956` `associate-+r-_binary64_10924` `div-sub_binary64_10995` `flip3-+_binary64_10993` `flip-+_binary64_10964`

Counts

4 → 247

Calls

4 calls:

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

Compiler

Compiled 6537 to 3532 computations (46% saved)

series2.2s (9.5%)

Error

Counts

4 → 110

Calls

4 calls:

950.0ms	(-.f64 x (*.f64 (-.f64 y z) (/.f64 1 (/.f64 (+.f64 1 (-.f64 t z)) a))))
634.0ms	(*.f64 (-.f64 y z) (/.f64 1 (/.f64 (+.f64 1 (-.f64 t z)) a)))
264.0ms	(/.f64 1 (/.f64 (+.f64 1 (-.f64 t z)) a))
181.0ms	(/.f64 (+.f64 1 (-.f64 t z)) a)

Compiler

Compiled 8717 to 5593 computations (35.8% saved)

simplify1.2s (4.9%)

Algorithm

1×	egg-herbie

Rules

502×	`associate-/l*_binary64_10935`
494×	`times-frac_binary64_10996`
276×	`associate-/r/_binary64_10936`
257×	`associate-/r*_binary64_10934`
211×	`associate-/l/_binary64_10937`
169×	`+-commutative_binary64_10920`
140×	`sub-neg_binary64_10983`
128×	`distribute-rgt-in_binary64_10940`
120×	`distribute-lft-in_binary64_10939` `associate-+r+_binary64_10922`
109×	`*-commutative_binary64_10921`
86×	`distribute-neg-in_binary64_10951`
78×	`associate-*r/_binary64_10932`
61×	`neg-sub0_binary64_10985`
55×	`neg-mul-1_binary64_10986`
37×	`div-sub_binary64_10995`
30×	`associate--l+_binary64_10927`
29×	`sqr-pow_binary64_10962` `distribute-neg-frac_binary64_10954`
27×	`cancel-sign-sub-inv_binary64_10956`
26×	`distribute-rgt-neg-in_binary64_10948`
22×	`associate--r+_binary64_10926`
18×	`distribute-lft-neg-in_binary64_10947`
17×	`associate-r_binary64_10930`
15×	`*-rgt-identity_binary64_10980`
13×	`pow-sqr_binary64_10963`
10×	`associate-l_binary64_10931`
9×	`unpow3_binary64_11056` `mul-1-neg_binary64_10982`
8×	`/-rgt-identity_binary64_10981` `swap-sqr_binary64_10957`
7×	`log-div_binary64_11077` `cube-mult_binary64_11020`
6×	`log-prod_binary64_11076`
5×	`exp-prod_binary64_11042` `cube-unmult_binary64_11027` `unsub-neg_binary64_10984` `difference-of-squares_binary64_10959` `distribute-rgt-out_binary64_10943`
4×	`unpow2_binary64_11055` `pow-plus_binary64_11053` `cube-prod_binary64_11018` `*-lft-identity_binary64_10979` `associate-+r-_binary64_10924`
3×	`log-rec_binary64_11078` `cube-div_binary64_11019` `remove-double-div_binary64_10966` `unswap-sqr_binary64_10958` `distribute-lft-neg-out_binary64_10949` `distribute-rgt-out--_binary64_10944` `associate--r-_binary64_10929`
2×	`div-exp_binary64_11041` `exp-diff_binary64_11038` `exp-sum_binary64_11036` `associate-*l/_binary64_10933`
1×	`rec-exp_binary64_11040` `prod-exp_binary64_11039` `1-exp_binary64_11034` `rem-log-exp_binary64_11031` `rem-sqrt-square_binary64_11003` `sub0-neg_binary64_10977` `*-inverses_binary64_10970` `count-2_binary64_10938`
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_11253` `erf-erfc_binary64_11252` `erf-odd_binary64_11251` `if-if-and-not_binary64_11250` `if-if-and_binary64_11249` `if-if-or-not_binary64_11248` `if-if-or_binary64_11247` `if-not_binary64_11246` `if-same_binary64_11245` `if-false_binary64_11244` `if-true_binary64_11243` `not-gte_binary64_11242` `not-lte_binary64_11241` `not-gt_binary64_11240` `not-lt_binary64_11239` `gte-same_binary64_11238` `lte-same_binary64_11237` `gt-same_binary64_11236` `lt-same_binary64_11235` `sinh---cosh_binary64_11182` `sinh-+-cosh_binary64_11181` `sinh-cosh_binary64_11180` `tanh-def-c_binary64_11179` `tanh-def-b_binary64_11178` `tanh-def-a_binary64_11177` `cosh-def_binary64_11176` `sinh-def_binary64_11175` `tan-neg_binary64_11122` `cos-neg_binary64_11121` `sin-neg_binary64_11120` `tan-0_binary64_11119` `cos-0_binary64_11118` `sin-0_binary64_11117` `hang-m-tan_binary64_11116` `hang-p-tan_binary64_11115` `hang-m0-tan_binary64_11114` `hang-p0-tan_binary64_11113` `hang-0m-tan_binary64_11112` `hang-0p-tan_binary64_11111` `tan-+PI/2_binary64_11110` `tan-+PI_binary64_11109` `tan-PI_binary64_11108` `tan-PI/3_binary64_11107` `tan-PI/4_binary64_11106` `tan-PI/6_binary64_11105` `cos-+PI/2_binary64_11104` `cos-+PI_binary64_11103` `cos-PI_binary64_11102` `cos-PI/2_binary64_11101` `cos-PI/3_binary64_11100` `cos-PI/4_binary64_11099` `cos-PI/6_binary64_11098` `sin-+PI/2_binary64_11097` `sin-+PI_binary64_11096` `sin-PI_binary64_11095` `sin-PI/2_binary64_11094` `sin-PI/3_binary64_11093` `sin-PI/4_binary64_11092` `sin-PI/6_binary64_11091` `sub-1-sin_binary64_11090` `sub-1-cos_binary64_11089` `-1-add-sin_binary64_11088` `-1-add-cos_binary64_11087` `1-sub-sin_binary64_11086` `1-sub-cos_binary64_11085` `cos-sin-sum_binary64_11084` `log-E_binary64_11080` `log-pow_binary64_11079` `pow-base-0_binary64_11074` `unpow1/3_binary64_11057` `unpow1/2_binary64_11054` `exp-to-pow_binary64_11052` `pow-base-1_binary64_11050` `unpow0_binary64_11049` `unpow1_binary64_11048` `unpow-1_binary64_11047` `exp-lft-cube_binary64_11046` `exp-lft-sqr_binary64_11045` `exp-cbrt_binary64_11044` `exp-sqrt_binary64_11043` `exp-neg_binary64_11037` `e-exp-1_binary64_11035` `exp-1-e_binary64_11033` `exp-0_binary64_11032` `rem-exp-log_binary64_11030` `cube-neg_binary64_11017` `rem-3cbrt-rft_binary64_11016` `rem-3cbrt-lft_binary64_11015` `rem-cbrt-cube_binary64_11014` `rem-cube-cbrt_binary64_11013` `sqr-abs_binary64_11005` `sqr-neg_binary64_11004` `rem-square-sqrt_binary64_11002` `remove-double-neg_binary64_10978` `--rgt-identity_binary64_10976` `+-rgt-identity_binary64_10975` `+-lft-identity_binary64_10974` `mul0-rgt_binary64_10973` `mul0-lft_binary64_10972` `div0_binary64_10971` `+-inverses_binary64_10969` `lft-mult-inverse_binary64_10968` `rgt-mult-inverse_binary64_10967` `difference-of-sqr--1_binary64_10961` `difference-of-sqr-1_binary64_10960` `cancel-sign-sub_binary64_10955` `distribute-frac-neg_binary64_10953` `distribute-neg-out_binary64_10952` `distribute-rgt-neg-out_binary64_10950` `distribute-rgt1-in_binary64_10946` `distribute-lft1-in_binary64_10945` `distribute-lft-out--_binary64_10942` `distribute-lft-out_binary64_10941` `associate--l-_binary64_10928` `associate-+l-_binary64_10925` `associate-+l+_binary64_10923`

Counts

357 → 618

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	641	10938
1	1789	10514

prune1.2s (4.9%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	618	0	618
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	618	5	623

Error

Counts

623 → 5

Compiler

Compiled 19589 to 9100 computations (53.5% saved)

regimes695.0ms (3%)

Accuracy

Total 0.2b remaining (99.2%)

Threshold costs 0.2b (99.2%)

Compiler

Compiled 5438 to 5197 computations (4.4% saved)

bsearch0.0ms (0%)

simplify8.0ms (0%)

Algorithm

1×	egg-herbie

Rules

53×	`neg-mul-1_binary64_10986` `neg-sub0_binary64_10985`
44×	`unsub-neg_binary64_10984`
35×	`distribute-neg-out_binary64_10952`
21×	`distribute-rgt-neg-out_binary64_10950`
19×	`distribute-rgt-neg-in_binary64_10948`
16×	`distribute-lft-neg-out_binary64_10949`
13×	`sub-neg_binary64_10983`
11×	`cancel-sign-sub-inv_binary64_10956` `distribute-lft-neg-in_binary64_10947` `+-commutative_binary64_10920`
10×	`remove-double-neg_binary64_10978`
8×	`*-commutative_binary64_10921`
6×	`distribute-neg-in_binary64_10951`
5×	`+-rgt-identity_binary64_10975` `+-lft-identity_binary64_10974`
2×	`distribute-frac-neg_binary64_10953`
1×	`1-exp_binary64_11034` `sqr-neg_binary64_11004` `--rgt-identity_binary64_10976` `distribute-neg-frac_binary64_10954`
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_11250` `if-if-and_binary64_11249` `if-if-or-not_binary64_11248` `if-if-or_binary64_11247` `if-not_binary64_11246` `if-same_binary64_11245` `if-false_binary64_11244` `if-true_binary64_11243` `tan-0_binary64_11119` `cos-0_binary64_11118` `sin-0_binary64_11117` `unpow1_binary64_11048` `e-exp-1_binary64_11035` `exp-1-e_binary64_11033` `exp-0_binary64_11032` `sqr-abs_binary64_11005` `mul-1-neg_binary64_10982` `/-rgt-identity_binary64_10981` `-rgt-identity_binary64_10980` `-lft-identity_binary64_10979` `sub0-neg_binary64_10977` `cancel-sign-sub_binary64_10955`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	19
1	25	19
2	40	19
3	54	19
4	73	19
5	91	19
6	94	19
7	144	19
8	197	19
9	165	19

Proof

(- f64 h0 (* f64 (/ f64 (- f64 h1 h2) (+ f64 (- f64 h3 h2) 1)) h4))

end0.0ms (0%)

sample1.6s (6.9%)

Algorithm

1×

intervals

Results

332.0ms	7998×	body	128	valid
18.0ms	465×	body	128	invalid
0.0ms	1×	body	1024	valid
0.0ms	1×	body	256	valid

Compiler

Compiled 803 to 763 computations (5% saved)

Details

analyze1.3s (5.4%)

sample25.0ms (0.1%)

simplify506.0ms (2.2%)

prune10.0ms (0%)

localize9.0ms (0%)

rewrite176.0ms (0.8%)

series2.3s (9.7%)

simplify1.1s (4.7%)

prune1.1s (4.7%)

localize11.0ms (0%)

rewrite412.0ms (1.8%)

series2.1s (9%)

simplify909.0ms (3.9%)

prune1.1s (4.9%)

localize10.0ms (0%)

rewrite513.0ms (2.2%)

series1.9s (8%)

simplify1.2s (5.2%)

prune1.5s (6.2%)

localize13.0ms (0.1%)

rewrite442.0ms (1.9%)

series2.2s (9.5%)

simplify1.2s (4.9%)

prune1.2s (4.9%)

regimes695.0ms (3%)

bsearch0.0ms (0%)

simplify8.0ms (0%)

end0.0ms (0%)

sample1.6s (6.9%)

Profiling