Details

analyze784.0ms (6.8%)

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
3.1%	96.7%	0.2%	8
19.9%	79.9%	0.2%	9
22.8%	77%	0.2%	10
35.1%	64.7%	0.2%	11
45%	54.8%	0.2%	12
53.8%	45.1%	1.2%	13
56.2%	42.4%	1.5%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample20.0ms (0.2%)

Algorithm

1×

intervals

Results

8.0ms	256×	body	128	valid
0.0ms	12×	body	128	invalid

Compiler

Compiled 19 to 21 computations (-10.5% saved)

simplify808.0ms (7%)

Algorithm

1×	egg-herbie

Rules

799×	`exp-prod_binary64_19908`
753×	`div-sub_binary64_19861`
311×	`associate-/r/_binary64_19802`
262×	`associate-r_binary64_19796`
243×	`associate-/r*_binary64_19800`
225×	`distribute-rgt-out_binary64_19809`
217×	`cancel-sign-sub-inv_binary64_19822`
181×	`associate-*l/_binary64_19799`
180×	`distribute-rgt-out--_binary64_19810`
174×	`associate-*r/_binary64_19798`
173×	`associate-l_binary64_19797`
153×	`distribute-rgt-in_binary64_19806`
120×	`distribute-lft-out_binary64_19807`
107×	`distribute-lft-in_binary64_19805`
106×	`distribute-lft-out--_binary64_19808`
85×	`sub-neg_binary64_19849`
59×	`*-commutative_binary64_19787`
55×	`distribute-frac-neg_binary64_19819`
46×	`associate-/l*_binary64_19801`
38×	`neg-mul-1_binary64_19852`
34×	`neg-sub0_binary64_19851`
30×	`distribute-neg-frac_binary64_19820` `distribute-lft-neg-in_binary64_19813`
28×	`times-frac_binary64_19862` `unsub-neg_binary64_19850` `distribute-neg-in_binary64_19817`
27×	`distribute-rgt-neg-in_binary64_19814`
25×	`distribute-rgt-neg-out_binary64_19816` `distribute-lft-neg-out_binary64_19815`
23×	`associate-/l/_binary64_19803`
22×	`+-commutative_binary64_19786`
21×	`associate--r+_binary64_19792`
17×	`associate-+r-_binary64_19790`
15×	`associate-+l-_binary64_19791`
13×	`distribute-rgt1-in_binary64_19812` `associate-+l+_binary64_19789`
9×	`associate-+r+_binary64_19788`
8×	`sub0-neg_binary64_19843` `div0_binary64_19837` `associate--r-_binary64_19795`
5×	`+-rgt-identity_binary64_19841` `swap-sqr_binary64_19823`
4×	`sqr-neg_binary64_19870` `mul-1-neg_binary64_19848` `*-inverses_binary64_19836`
3×	`cube-unmult_binary64_19893` `remove-double-neg_binary64_19844` `--rgt-identity_binary64_19842` `mul0-lft_binary64_19838` `distribute-lft1-in_binary64_19811` `count-2_binary64_19804` `associate--l-_binary64_19794`
2×	`+-lft-identity_binary64_19840` `mul0-rgt_binary64_19839` `associate--l+_binary64_19793`
1×	`exp-lft-sqr_binary64_19911` `exp-diff_binary64_19904` `1-exp_binary64_19900`
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_20119` `erf-erfc_binary64_20118` `erf-odd_binary64_20117` `if-if-and-not_binary64_20116` `if-if-and_binary64_20115` `if-if-or-not_binary64_20114` `if-if-or_binary64_20113` `if-not_binary64_20112` `if-same_binary64_20111` `if-false_binary64_20110` `if-true_binary64_20109` `not-gte_binary64_20108` `not-lte_binary64_20107` `not-gt_binary64_20106` `not-lt_binary64_20105` `gte-same_binary64_20104` `lte-same_binary64_20103` `gt-same_binary64_20102` `lt-same_binary64_20101` `sinh---cosh_binary64_20048` `sinh-+-cosh_binary64_20047` `sinh-cosh_binary64_20046` `tanh-def-c_binary64_20045` `tanh-def-b_binary64_20044` `tanh-def-a_binary64_20043` `cosh-def_binary64_20042` `sinh-def_binary64_20041` `tan-neg_binary64_19988` `cos-neg_binary64_19987` `sin-neg_binary64_19986` `tan-0_binary64_19985` `cos-0_binary64_19984` `sin-0_binary64_19983` `hang-m-tan_binary64_19982` `hang-p-tan_binary64_19981` `hang-m0-tan_binary64_19980` `hang-p0-tan_binary64_19979` `hang-0m-tan_binary64_19978` `hang-0p-tan_binary64_19977` `tan-+PI/2_binary64_19976` `tan-+PI_binary64_19975` `tan-PI_binary64_19974` `tan-PI/3_binary64_19973` `tan-PI/4_binary64_19972` `tan-PI/6_binary64_19971` `cos-+PI/2_binary64_19970` `cos-+PI_binary64_19969` `cos-PI_binary64_19968` `cos-PI/2_binary64_19967` `cos-PI/3_binary64_19966` `cos-PI/4_binary64_19965` `cos-PI/6_binary64_19964` `sin-+PI/2_binary64_19963` `sin-+PI_binary64_19962` `sin-PI_binary64_19961` `sin-PI/2_binary64_19960` `sin-PI/3_binary64_19959` `sin-PI/4_binary64_19958` `sin-PI/6_binary64_19957` `sub-1-sin_binary64_19956` `sub-1-cos_binary64_19955` `-1-add-sin_binary64_19954` `-1-add-cos_binary64_19953` `1-sub-sin_binary64_19952` `1-sub-cos_binary64_19951` `cos-sin-sum_binary64_19950` `log-E_binary64_19946` `log-pow_binary64_19945` `log-rec_binary64_19944` `log-div_binary64_19943` `log-prod_binary64_19942` `pow-base-0_binary64_19940` `unpow1/3_binary64_19923` `unpow3_binary64_19922` `unpow2_binary64_19921` `unpow1/2_binary64_19920` `pow-plus_binary64_19919` `exp-to-pow_binary64_19918` `pow-base-1_binary64_19916` `unpow0_binary64_19915` `unpow1_binary64_19914` `unpow-1_binary64_19913` `exp-lft-cube_binary64_19912` `exp-cbrt_binary64_19910` `exp-sqrt_binary64_19909` `div-exp_binary64_19907` `rec-exp_binary64_19906` `prod-exp_binary64_19905` `exp-neg_binary64_19903` `exp-sum_binary64_19902` `e-exp-1_binary64_19901` `exp-1-e_binary64_19899` `exp-0_binary64_19898` `rem-log-exp_binary64_19897` `rem-exp-log_binary64_19896` `cube-mult_binary64_19886` `cube-div_binary64_19885` `cube-prod_binary64_19884` `cube-neg_binary64_19883` `rem-3cbrt-rft_binary64_19882` `rem-3cbrt-lft_binary64_19881` `rem-cbrt-cube_binary64_19880` `rem-cube-cbrt_binary64_19879` `sqr-abs_binary64_19871` `rem-sqrt-square_binary64_19869` `rem-square-sqrt_binary64_19868` `/-rgt-identity_binary64_19847` `-rgt-identity_binary64_19846` `-lft-identity_binary64_19845` `+-inverses_binary64_19835` `lft-mult-inverse_binary64_19834` `rgt-mult-inverse_binary64_19833` `remove-double-div_binary64_19832` `pow-sqr_binary64_19829` `sqr-pow_binary64_19828` `difference-of-sqr--1_binary64_19827` `difference-of-sqr-1_binary64_19826` `difference-of-squares_binary64_19825` `unswap-sqr_binary64_19824` `cancel-sign-sub_binary64_19821` `distribute-neg-out_binary64_19818`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	18	13
2	29	13
3	65	13
4	131	13
5	228	13
6	636	13
7	3684	13

prune5.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.1b

Counts

2 → 2

Compiler

Compiled 27 to 24 computations (11.1% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (-.f64 x y) (-.f64 z y))
0.6b	(*.f64 (/.f64 (-.f64 x y) (-.f64 z y)) t)

rewrite125.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

75×	`add-sqr-sqrt_binary64_19878`
70×	`*-un-lft-identity_binary64_19856`
51×	`times-frac_binary64_19862`
31×	`associate-l_binary64_19797`
26×	`add-cube-cbrt_binary64_19891`
22×	`difference-of-squares_binary64_19825` `distribute-lft-out--_binary64_19808`
9×	`add-exp-log_binary64_19894` `add-cbrt-cube_binary64_19892`
5×	`associate-/l_binary64_19801` `associate-/r_binary64_19800`
4×	`pow1_binary64_19917` `associate-/r/_binary64_19802`
3×	`flip3--_binary64_19860` `flip--_binary64_19831` `associate-r_binary64_19796`
2×	`div-exp_binary64_19907` `prod-exp_binary64_19905` `add-log-exp_binary64_19895` `cbrt-unprod_binary64_19889` `cbrt-undiv_binary64_19890` `unswap-sqr_binary64_19824` `div-inv_binary64_19853` `associate-/l/_binary64_19803`
1×	`pow-prod-down_binary64_19927` `associate-l/_binary64_19799` `-commutative_binary64_19787` `frac-2neg_binary64_19867` `div-sub_binary64_19861` `clear-num_binary64_19855`

Counts

2 → 102

Calls

2 calls:

14.0ms	(*.f64 (/.f64 (-.f64 x y) (-.f64 z y)) t)
9.0ms	(/.f64 (-.f64 x y) (-.f64 z y))

Compiler

Compiled 1903 to 389 computations (79.6% saved)

series735.0ms (6.4%)

Error

0.0b

Counts

2 → 53

Calls

2 calls:

423.0ms	(*.f64 (/.f64 (-.f64 x y) (-.f64 z y)) t)
248.0ms	(/.f64 (-.f64 x y) (-.f64 z y))

Compiler

Compiled 2547 to 1571 computations (38.3% saved)

simplify468.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

727×	`associate-/l*_binary64_19801`
346×	`cancel-sign-sub-inv_binary64_19822`
316×	`distribute-rgt-in_binary64_19806`
271×	`associate-/r/_binary64_19802`
269×	`distribute-lft-in_binary64_19805`
259×	`sub-neg_binary64_19849`
186×	`associate-/l/_binary64_19803`
142×	`times-frac_binary64_19862`
118×	`associate--l+_binary64_19793`
107×	`+-commutative_binary64_19786`
88×	`associate--r+_binary64_19792`
79×	`div-sub_binary64_19861` `*-commutative_binary64_19787`
75×	`associate-+l+_binary64_19789`
72×	`distribute-neg-in_binary64_19817` `associate-/r_binary64_19800` `associate-l*_binary64_19797`
71×	`associate-r_binary64_19796`
66×	`distribute-neg-frac_binary64_19820` `associate-*l/_binary64_19799`
63×	`neg-sub0_binary64_19851`
58×	`neg-mul-1_binary64_19852`
54×	`distribute-rgt-neg-in_binary64_19814`
51×	`associate-+r+_binary64_19788`
50×	`unsub-neg_binary64_19850` `distribute-lft-neg-in_binary64_19813`
41×	`associate-*r/_binary64_19798`
30×	`sqr-pow_binary64_19828`
25×	`distribute-lft-out_binary64_19807`
23×	`distribute-lft-neg-out_binary64_19815`
22×	`distribute-rgt-neg-out_binary64_19816`
18×	`*-rgt-identity_binary64_19846`
17×	`distribute-rgt-out_binary64_19809`
15×	`log-div_binary64_19943`
14×	`log-prod_binary64_19942`
12×	`exp-prod_binary64_19908`
11×	`pow-sqr_binary64_19829` `swap-sqr_binary64_19823`
9×	`div-exp_binary64_19907` `prod-exp_binary64_19905` `/-rgt-identity_binary64_19847`
8×	`cube-unmult_binary64_19893` `cube-div_binary64_19885` `cube-prod_binary64_19884` `*-lft-identity_binary64_19845` `distribute-rgt1-in_binary64_19812` `distribute-rgt-out--_binary64_19810`
7×	`difference-of-squares_binary64_19825` `distribute-lft-out--_binary64_19808`
6×	`pow-plus_binary64_19919` `exp-sum_binary64_19902` `mul-1-neg_binary64_19848`
3×	`rec-exp_binary64_19906`
2×	`unpow3_binary64_19922` `unpow2_binary64_19921` `unpow1_binary64_19914` `exp-diff_binary64_19904` `cube-mult_binary64_19886` `*-inverses_binary64_19836` `unswap-sqr_binary64_19824` `distribute-lft1-in_binary64_19811` `associate--r-_binary64_19795`
1×	`log-rec_binary64_19944` `exp-sqrt_binary64_19909` `1-exp_binary64_19900` `exp-1-e_binary64_19899` `rem-log-exp_binary64_19897` `remove-double-neg_binary64_19844` `div0_binary64_19837` `associate-+l-_binary64_19791` `associate-+r-_binary64_19790`
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_20119` `erf-erfc_binary64_20118` `erf-odd_binary64_20117` `if-if-and-not_binary64_20116` `if-if-and_binary64_20115` `if-if-or-not_binary64_20114` `if-if-or_binary64_20113` `if-not_binary64_20112` `if-same_binary64_20111` `if-false_binary64_20110` `if-true_binary64_20109` `not-gte_binary64_20108` `not-lte_binary64_20107` `not-gt_binary64_20106` `not-lt_binary64_20105` `gte-same_binary64_20104` `lte-same_binary64_20103` `gt-same_binary64_20102` `lt-same_binary64_20101` `sinh---cosh_binary64_20048` `sinh-+-cosh_binary64_20047` `sinh-cosh_binary64_20046` `tanh-def-c_binary64_20045` `tanh-def-b_binary64_20044` `tanh-def-a_binary64_20043` `cosh-def_binary64_20042` `sinh-def_binary64_20041` `tan-neg_binary64_19988` `cos-neg_binary64_19987` `sin-neg_binary64_19986` `tan-0_binary64_19985` `cos-0_binary64_19984` `sin-0_binary64_19983` `hang-m-tan_binary64_19982` `hang-p-tan_binary64_19981` `hang-m0-tan_binary64_19980` `hang-p0-tan_binary64_19979` `hang-0m-tan_binary64_19978` `hang-0p-tan_binary64_19977` `tan-+PI/2_binary64_19976` `tan-+PI_binary64_19975` `tan-PI_binary64_19974` `tan-PI/3_binary64_19973` `tan-PI/4_binary64_19972` `tan-PI/6_binary64_19971` `cos-+PI/2_binary64_19970` `cos-+PI_binary64_19969` `cos-PI_binary64_19968` `cos-PI/2_binary64_19967` `cos-PI/3_binary64_19966` `cos-PI/4_binary64_19965` `cos-PI/6_binary64_19964` `sin-+PI/2_binary64_19963` `sin-+PI_binary64_19962` `sin-PI_binary64_19961` `sin-PI/2_binary64_19960` `sin-PI/3_binary64_19959` `sin-PI/4_binary64_19958` `sin-PI/6_binary64_19957` `sub-1-sin_binary64_19956` `sub-1-cos_binary64_19955` `-1-add-sin_binary64_19954` `-1-add-cos_binary64_19953` `1-sub-sin_binary64_19952` `1-sub-cos_binary64_19951` `cos-sin-sum_binary64_19950` `log-E_binary64_19946` `log-pow_binary64_19945` `pow-base-0_binary64_19940` `unpow1/3_binary64_19923` `unpow1/2_binary64_19920` `exp-to-pow_binary64_19918` `pow-base-1_binary64_19916` `unpow0_binary64_19915` `unpow-1_binary64_19913` `exp-lft-cube_binary64_19912` `exp-lft-sqr_binary64_19911` `exp-cbrt_binary64_19910` `exp-neg_binary64_19903` `e-exp-1_binary64_19901` `exp-0_binary64_19898` `rem-exp-log_binary64_19896` `cube-neg_binary64_19883` `rem-3cbrt-rft_binary64_19882` `rem-3cbrt-lft_binary64_19881` `rem-cbrt-cube_binary64_19880` `rem-cube-cbrt_binary64_19879` `sqr-abs_binary64_19871` `sqr-neg_binary64_19870` `rem-sqrt-square_binary64_19869` `rem-square-sqrt_binary64_19868` `sub0-neg_binary64_19843` `--rgt-identity_binary64_19842` `+-rgt-identity_binary64_19841` `+-lft-identity_binary64_19840` `mul0-rgt_binary64_19839` `mul0-lft_binary64_19838` `+-inverses_binary64_19835` `lft-mult-inverse_binary64_19834` `rgt-mult-inverse_binary64_19833` `remove-double-div_binary64_19832` `difference-of-sqr--1_binary64_19827` `difference-of-sqr-1_binary64_19826` `cancel-sign-sub_binary64_19821` `distribute-frac-neg_binary64_19819` `distribute-neg-out_binary64_19818` `count-2_binary64_19804` `associate--l-_binary64_19794`

Counts

155 → 273

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	264	3468
1	714	3330
2	2406	2988

prune267.0ms (2.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	268	5	273
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	269	6	275

Error

Counts

275 → 6

Compiler

Compiled 5901 to 1159 computations (80.4% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (-.f64 z y) x)
0.0b	(/.f64 (-.f64 z y) y)
2.6b	(/.f64 t (/.f64 (-.f64 z y) y))
5.5b	(/.f64 t (/.f64 (-.f64 z y) x))

rewrite334.0ms (2.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

264×	`times-frac_binary64_19862`
200×	`add-sqr-sqrt_binary64_19878` `*-un-lft-identity_binary64_19856`
136×	`add-cube-cbrt_binary64_19891`
44×	`associate-/r*_binary64_19800`
32×	`difference-of-squares_binary64_19825` `distribute-lft-out--_binary64_19808`
18×	`add-exp-log_binary64_19894` `add-cbrt-cube_binary64_19892`
16×	`associate-/l*_binary64_19801`
12×	`div-inv_binary64_19853`
8×	`div-exp_binary64_19907` `cbrt-undiv_binary64_19890`
4×	`pow1_binary64_19917` `add-log-exp_binary64_19895` `frac-2neg_binary64_19867` `clear-num_binary64_19855` `associate-/l/_binary64_19803`
2×	`associate-/r/_binary64_19802` `div-sub_binary64_19861` `flip3--_binary64_19860` `flip--_binary64_19831`

Counts

4 → 264

Calls

4 calls:

10.0ms	(/.f64 (-.f64 z y) x)
9.0ms	(/.f64 t (/.f64 (-.f64 z y) x))
9.0ms	(/.f64 t (/.f64 (-.f64 z y) y))
6.0ms	(/.f64 (-.f64 z y) y)

Compiler

Compiled 6686 to 1279 computations (80.9% saved)

series849.0ms (7.4%)

Error

Counts

4 → 66

Calls

4 calls:

282.0ms	(/.f64 t (/.f64 (-.f64 z y) x))
216.0ms	(/.f64 t (/.f64 (-.f64 z y) y))
182.0ms	(/.f64 (-.f64 z y) x)
119.0ms	(/.f64 (-.f64 z y) y)

Compiler

Compiled 2946 to 1573 computations (46.6% saved)

simplify701.0ms (6.1%)

Algorithm

1×	egg-herbie

Rules

626×	`div-sub_binary64_19861`
346×	`associate-/l/_binary64_19803`
344×	`associate-/r/_binary64_19802`
297×	`associate-/l*_binary64_19801`
218×	`associate-*l/_binary64_19799`
192×	`*-commutative_binary64_19787`
191×	`distribute-rgt-in_binary64_19806`
157×	`distribute-lft-in_binary64_19805`
132×	`times-frac_binary64_19862`
130×	`associate-*r/_binary64_19798`
97×	`associate-/r*_binary64_19800`
86×	`associate-r_binary64_19796`
78×	`sub-neg_binary64_19849`
73×	`/-rgt-identity_binary64_19847`
72×	`*-rgt-identity_binary64_19846`
66×	`distribute-neg-frac_binary64_19820`
61×	`associate-l_binary64_19797`
58×	`+-commutative_binary64_19786`
53×	`log-prod_binary64_19942` `cube-prod_binary64_19884`
51×	`log-div_binary64_19943` `exp-prod_binary64_19908` `neg-sub0_binary64_19851`
50×	`cancel-sign-sub-inv_binary64_19822`
49×	`distribute-lft-neg-in_binary64_19813`
47×	`neg-mul-1_binary64_19852` `distribute-neg-in_binary64_19817`
46×	`associate--r+_binary64_19792`
45×	`distribute-rgt-neg-in_binary64_19814`
44×	`cube-div_binary64_19885`
38×	`associate-+l+_binary64_19789` `associate-+r+_binary64_19788`
26×	`sqr-pow_binary64_19828`
25×	`associate-+r-_binary64_19790`
22×	`exp-sum_binary64_19902` `unswap-sqr_binary64_19824` `associate-+l-_binary64_19791`
19×	`exp-diff_binary64_19904`
17×	`swap-sqr_binary64_19823`
16×	`div-exp_binary64_19907` `prod-exp_binary64_19905` `distribute-lft-out_binary64_19807`
15×	`unsub-neg_binary64_19850` `distribute-lft-neg-out_binary64_19815`
14×	`unpow3_binary64_19922` `cube-mult_binary64_19886` `*-lft-identity_binary64_19845` `associate--r-_binary64_19795`
13×	`pow-plus_binary64_19919`
10×	`cube-unmult_binary64_19893` `distribute-rgt-neg-out_binary64_19816`
9×	`pow-sqr_binary64_19829` `distribute-rgt-out--_binary64_19810`
8×	`distribute-rgt-out_binary64_19809`
6×	`log-rec_binary64_19944` `mul-1-neg_binary64_19848` `remove-double-neg_binary64_19844` `remove-double-div_binary64_19832`
4×	`log-pow_binary64_19945` `rec-exp_binary64_19906` `sqr-neg_binary64_19870` `associate--l-_binary64_19794` `associate--l+_binary64_19793`
3×	`cube-neg_binary64_19883` `sub0-neg_binary64_19843` `*-inverses_binary64_19836`
2×	`unpow2_binary64_19921` `unpow1_binary64_19914` `exp-sqrt_binary64_19909` `rem-sqrt-square_binary64_19869` `div0_binary64_19837`
1×	`pow-base-1_binary64_19916` `1-exp_binary64_19900` `exp-1-e_binary64_19899` `rem-log-exp_binary64_19897` `rem-square-sqrt_binary64_19868` `+-rgt-identity_binary64_19841` `distribute-rgt1-in_binary64_19812` `distribute-lft-out--_binary64_19808` `count-2_binary64_19804`
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_20119` `erf-erfc_binary64_20118` `erf-odd_binary64_20117` `if-if-and-not_binary64_20116` `if-if-and_binary64_20115` `if-if-or-not_binary64_20114` `if-if-or_binary64_20113` `if-not_binary64_20112` `if-same_binary64_20111` `if-false_binary64_20110` `if-true_binary64_20109` `not-gte_binary64_20108` `not-lte_binary64_20107` `not-gt_binary64_20106` `not-lt_binary64_20105` `gte-same_binary64_20104` `lte-same_binary64_20103` `gt-same_binary64_20102` `lt-same_binary64_20101` `sinh---cosh_binary64_20048` `sinh-+-cosh_binary64_20047` `sinh-cosh_binary64_20046` `tanh-def-c_binary64_20045` `tanh-def-b_binary64_20044` `tanh-def-a_binary64_20043` `cosh-def_binary64_20042` `sinh-def_binary64_20041` `tan-neg_binary64_19988` `cos-neg_binary64_19987` `sin-neg_binary64_19986` `tan-0_binary64_19985` `cos-0_binary64_19984` `sin-0_binary64_19983` `hang-m-tan_binary64_19982` `hang-p-tan_binary64_19981` `hang-m0-tan_binary64_19980` `hang-p0-tan_binary64_19979` `hang-0m-tan_binary64_19978` `hang-0p-tan_binary64_19977` `tan-+PI/2_binary64_19976` `tan-+PI_binary64_19975` `tan-PI_binary64_19974` `tan-PI/3_binary64_19973` `tan-PI/4_binary64_19972` `tan-PI/6_binary64_19971` `cos-+PI/2_binary64_19970` `cos-+PI_binary64_19969` `cos-PI_binary64_19968` `cos-PI/2_binary64_19967` `cos-PI/3_binary64_19966` `cos-PI/4_binary64_19965` `cos-PI/6_binary64_19964` `sin-+PI/2_binary64_19963` `sin-+PI_binary64_19962` `sin-PI_binary64_19961` `sin-PI/2_binary64_19960` `sin-PI/3_binary64_19959` `sin-PI/4_binary64_19958` `sin-PI/6_binary64_19957` `sub-1-sin_binary64_19956` `sub-1-cos_binary64_19955` `-1-add-sin_binary64_19954` `-1-add-cos_binary64_19953` `1-sub-sin_binary64_19952` `1-sub-cos_binary64_19951` `cos-sin-sum_binary64_19950` `log-E_binary64_19946` `pow-base-0_binary64_19940` `unpow1/3_binary64_19923` `unpow1/2_binary64_19920` `exp-to-pow_binary64_19918` `unpow0_binary64_19915` `unpow-1_binary64_19913` `exp-lft-cube_binary64_19912` `exp-lft-sqr_binary64_19911` `exp-cbrt_binary64_19910` `exp-neg_binary64_19903` `e-exp-1_binary64_19901` `exp-0_binary64_19898` `rem-exp-log_binary64_19896` `rem-3cbrt-rft_binary64_19882` `rem-3cbrt-lft_binary64_19881` `rem-cbrt-cube_binary64_19880` `rem-cube-cbrt_binary64_19879` `sqr-abs_binary64_19871` `--rgt-identity_binary64_19842` `+-lft-identity_binary64_19840` `mul0-rgt_binary64_19839` `mul0-lft_binary64_19838` `+-inverses_binary64_19835` `lft-mult-inverse_binary64_19834` `rgt-mult-inverse_binary64_19833` `difference-of-sqr--1_binary64_19827` `difference-of-sqr-1_binary64_19826` `difference-of-squares_binary64_19825` `cancel-sign-sub_binary64_19821` `distribute-frac-neg_binary64_19819` `distribute-neg-out_binary64_19818` `distribute-lft1-in_binary64_19811`

Counts

330 → 1114

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	390	6216
1	889	5960
2	3324	5843
3	4321	5843

prune1.2s (10.5%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	1114	0	1114
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	1114	6	1120

Error

Counts

1120 → 6

Compiler

Compiled 29747 to 4517 computations (84.8% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 1 (-.f64 z y))
0.2b	(*.f64 t (/.f64 1 (-.f64 z y)))
8.4b	(.f64 (-.f64 x y) (.f64 t (/.f64 1 (-.f64 z y))))

rewrite147.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

47×	`add-sqr-sqrt_binary64_19878`
41×	`*-un-lft-identity_binary64_19856`
32×	`times-frac_binary64_19862`
31×	`add-exp-log_binary64_19894`
24×	`add-cube-cbrt_binary64_19891`
22×	`associate-r_binary64_19796`
19×	`add-cbrt-cube_binary64_19892`
13×	`prod-exp_binary64_19905`
11×	`pow1_binary64_19917`
8×	`associate-l_binary64_19797` `difference-of-squares_binary64_19825` `distribute-lft-out--_binary64_19808`
7×	`cbrt-unprod_binary64_19889`
6×	`div-exp_binary64_19907` `associate-*r/_binary64_19798`
5×	`flip3--_binary64_19860` `flip--_binary64_19831` `associate-/r*_binary64_19800`
4×	`pow-prod-down_binary64_19927` `un-div-inv_binary64_19854` `frac-times_binary64_19866` `associate-/r/_binary64_19802`
3×	`1-exp_binary64_19900` `rec-exp_binary64_19906` `add-log-exp_binary64_19895` `cbrt-undiv_binary64_19890` `unswap-sqr_binary64_19824` `associate-/l*_binary64_19801`
2×	`associate-l/_binary64_19799` `-commutative_binary64_19787` `div-inv_binary64_19853`
1×	`inv-pow_binary64_19941` `pow-flip_binary64_19930` `frac-2neg_binary64_19867` `clear-num_binary64_19855`

Counts

3 → 117

Calls

3 calls:

14.0ms	(.f64 (-.f64 x y) (.f64 t (/.f64 1 (-.f64 z y))))
12.0ms	(*.f64 t (/.f64 1 (-.f64 z y)))
6.0ms	(/.f64 1 (-.f64 z y))

Compiler

Compiled 2196 to 938 computations (57.3% saved)

series752.0ms (6.6%)

Error

Counts

3 → 67

Calls

3 calls:

411.0ms	(.f64 (-.f64 x y) (.f64 t (/.f64 1 (-.f64 z y))))
177.0ms	(*.f64 t (/.f64 1 (-.f64 z y)))
96.0ms	(/.f64 1 (-.f64 z y))

Compiler

Compiled 2928 to 1862 computations (36.4% saved)

simplify572.0ms (5%)

Algorithm

1×	egg-herbie

Rules

394×	`associate-/l/_binary64_19803`
378×	`associate-/r/_binary64_19802`
325×	`distribute-rgt-in_binary64_19806`
276×	`distribute-lft-in_binary64_19805`
241×	`cancel-sign-sub-inv_binary64_19822`
178×	`associate-l_binary64_19797`
177×	`associate-r_binary64_19796`
174×	`associate-/l*_binary64_19801`
143×	`sub-neg_binary64_19849`
138×	`times-frac_binary64_19862`
96×	`distribute-neg-in_binary64_19817`
89×	`*-commutative_binary64_19787`
79×	`+-commutative_binary64_19786`
69×	`distribute-neg-frac_binary64_19820` `associate-*l/_binary64_19799`
68×	`associate-/r_binary64_19800` `associate-r/_binary64_19798`
61×	`*-rgt-identity_binary64_19846` `distribute-rgt-neg-in_binary64_19814`
56×	`distribute-lft-neg-in_binary64_19813` `associate--l+_binary64_19793`
53×	`neg-sub0_binary64_19851` `associate-+l+_binary64_19789`
48×	`neg-mul-1_binary64_19852` `distribute-lft-neg-out_binary64_19815` `associate--r+_binary64_19792` `associate-+r+_binary64_19788`
46×	`unsub-neg_binary64_19850`
40×	`sqr-pow_binary64_19828`
39×	`div-sub_binary64_19861`
38×	`distribute-rgt-neg-out_binary64_19816`
32×	`/-rgt-identity_binary64_19847`
28×	`*-lft-identity_binary64_19845`
26×	`exp-prod_binary64_19908`
25×	`distribute-lft-out_binary64_19807`
19×	`log-prod_binary64_19942`
16×	`log-div_binary64_19943`
15×	`pow-sqr_binary64_19829` `swap-sqr_binary64_19823`
13×	`cube-div_binary64_19885`
12×	`distribute-rgt-out_binary64_19809`
11×	`cube-prod_binary64_19884` `difference-of-squares_binary64_19825` `distribute-neg-out_binary64_19818`
9×	`unswap-sqr_binary64_19824`
8×	`cube-unmult_binary64_19893`
7×	`pow-plus_binary64_19919` `mul-1-neg_binary64_19848` `distribute-rgt-out--_binary64_19810` `distribute-lft-out--_binary64_19808`
6×	`exp-sum_binary64_19902`
5×	`log-rec_binary64_19944`
4×	`distribute-rgt1-in_binary64_19812` `associate-+r-_binary64_19790`
3×	`unpow3_binary64_19922` `cube-mult_binary64_19886`
2×	`unpow2_binary64_19921` `unpow1_binary64_19914` `exp-diff_binary64_19904` `*-inverses_binary64_19836` `distribute-frac-neg_binary64_19819` `associate-+l-_binary64_19791`
1×	`log-pow_binary64_19945` `exp-sqrt_binary64_19909` `div-exp_binary64_19907` `rec-exp_binary64_19906` `prod-exp_binary64_19905` `1-exp_binary64_19900` `exp-1-e_binary64_19899` `rem-log-exp_binary64_19897` `rem-cbrt-cube_binary64_19880` `rem-sqrt-square_binary64_19869` `remove-double-neg_binary64_19844` `sub0-neg_binary64_19843` `+-rgt-identity_binary64_19841` `count-2_binary64_19804` `associate--r-_binary64_19795`
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_20119` `erf-erfc_binary64_20118` `erf-odd_binary64_20117` `if-if-and-not_binary64_20116` `if-if-and_binary64_20115` `if-if-or-not_binary64_20114` `if-if-or_binary64_20113` `if-not_binary64_20112` `if-same_binary64_20111` `if-false_binary64_20110` `if-true_binary64_20109` `not-gte_binary64_20108` `not-lte_binary64_20107` `not-gt_binary64_20106` `not-lt_binary64_20105` `gte-same_binary64_20104` `lte-same_binary64_20103` `gt-same_binary64_20102` `lt-same_binary64_20101` `sinh---cosh_binary64_20048` `sinh-+-cosh_binary64_20047` `sinh-cosh_binary64_20046` `tanh-def-c_binary64_20045` `tanh-def-b_binary64_20044` `tanh-def-a_binary64_20043` `cosh-def_binary64_20042` `sinh-def_binary64_20041` `tan-neg_binary64_19988` `cos-neg_binary64_19987` `sin-neg_binary64_19986` `tan-0_binary64_19985` `cos-0_binary64_19984` `sin-0_binary64_19983` `hang-m-tan_binary64_19982` `hang-p-tan_binary64_19981` `hang-m0-tan_binary64_19980` `hang-p0-tan_binary64_19979` `hang-0m-tan_binary64_19978` `hang-0p-tan_binary64_19977` `tan-+PI/2_binary64_19976` `tan-+PI_binary64_19975` `tan-PI_binary64_19974` `tan-PI/3_binary64_19973` `tan-PI/4_binary64_19972` `tan-PI/6_binary64_19971` `cos-+PI/2_binary64_19970` `cos-+PI_binary64_19969` `cos-PI_binary64_19968` `cos-PI/2_binary64_19967` `cos-PI/3_binary64_19966` `cos-PI/4_binary64_19965` `cos-PI/6_binary64_19964` `sin-+PI/2_binary64_19963` `sin-+PI_binary64_19962` `sin-PI_binary64_19961` `sin-PI/2_binary64_19960` `sin-PI/3_binary64_19959` `sin-PI/4_binary64_19958` `sin-PI/6_binary64_19957` `sub-1-sin_binary64_19956` `sub-1-cos_binary64_19955` `-1-add-sin_binary64_19954` `-1-add-cos_binary64_19953` `1-sub-sin_binary64_19952` `1-sub-cos_binary64_19951` `cos-sin-sum_binary64_19950` `log-E_binary64_19946` `pow-base-0_binary64_19940` `unpow1/3_binary64_19923` `unpow1/2_binary64_19920` `exp-to-pow_binary64_19918` `pow-base-1_binary64_19916` `unpow0_binary64_19915` `unpow-1_binary64_19913` `exp-lft-cube_binary64_19912` `exp-lft-sqr_binary64_19911` `exp-cbrt_binary64_19910` `exp-neg_binary64_19903` `e-exp-1_binary64_19901` `exp-0_binary64_19898` `rem-exp-log_binary64_19896` `cube-neg_binary64_19883` `rem-3cbrt-rft_binary64_19882` `rem-3cbrt-lft_binary64_19881` `rem-cube-cbrt_binary64_19879` `sqr-abs_binary64_19871` `sqr-neg_binary64_19870` `rem-square-sqrt_binary64_19868` `--rgt-identity_binary64_19842` `+-lft-identity_binary64_19840` `mul0-rgt_binary64_19839` `mul0-lft_binary64_19838` `div0_binary64_19837` `+-inverses_binary64_19835` `lft-mult-inverse_binary64_19834` `rgt-mult-inverse_binary64_19833` `remove-double-div_binary64_19832` `difference-of-sqr--1_binary64_19827` `difference-of-sqr-1_binary64_19826` `cancel-sign-sub_binary64_19821` `distribute-lft1-in_binary64_19811` `associate--l-_binary64_19794`

Counts

184 → 380

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	261	3467
1	650	3256
2	2576	2756

prune364.0ms (3.2%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	380	0	380
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	380	6	386

Error

Counts

386 → 6

Compiler

Compiled 7788 to 2342 computations (69.9% saved)

localize10.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 t (-.f64 x y))
10.9b	(/.f64 (*.f64 t (-.f64 x y)) (-.f64 z y))

rewrite70.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

16×	`add-sqr-sqrt_binary64_19878`
14×	`*-un-lft-identity_binary64_19856`
9×	`add-exp-log_binary64_19894` `add-cbrt-cube_binary64_19892`
8×	`add-cube-cbrt_binary64_19891`
6×	`cancel-sign-sub-inv_binary64_19822`
5×	`times-frac_binary64_19862` `associate-/r_binary64_19800` `associate-r*_binary64_19796`
4×	`pow1_binary64_19917` `associate-*r/_binary64_19798` `distribute-rgt-in_binary64_19806` `distribute-lft-in_binary64_19805`
3×	`difference-of-squares_binary64_19825` `distribute-lft-out--_binary64_19808` `flip3--_binary64_19860` `flip--_binary64_19831` `associate-l_binary64_19797`
2×	`prod-exp_binary64_19905` `div-exp_binary64_19907` `add-log-exp_binary64_19895` `cbrt-undiv_binary64_19890` `cbrt-unprod_binary64_19889` `associate-/l/_binary64_19803` `associate-/r/_binary64_19802` `sub-neg_binary64_19849`
1×	`frac-2neg_binary64_19867` `clear-num_binary64_19855` `div-inv_binary64_19853` `associate-/l_binary64_19801` `pow-prod-down_binary64_19927` `unswap-sqr_binary64_19824` `-commutative_binary64_19787`

Counts

2 → 59

Calls

2 calls:

11.0ms	(/.f64 (*.f64 t (-.f64 x y)) (-.f64 z y))
7.0ms	(*.f64 t (-.f64 x y))

Compiler

Compiled 944 to 241 computations (74.5% saved)

series620.0ms (5.4%)

Error

Counts

2 → 43

Calls

2 calls:

428.0ms	(/.f64 (*.f64 t (-.f64 x y)) (-.f64 z y))
155.0ms	(*.f64 t (-.f64 x y))

Compiler

Compiled 1794 to 1049 computations (41.5% saved)

simplify315.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

487×	`associate-/r*_binary64_19800`
390×	`associate-/r/_binary64_19802`
356×	`distribute-rgt-in_binary64_19806`
328×	`distribute-lft-in_binary64_19805`
238×	`cancel-sign-sub-inv_binary64_19822`
170×	`associate-/l*_binary64_19801`
150×	`sub-neg_binary64_19849`
127×	`times-frac_binary64_19862`
125×	`associate-l_binary64_19797`
119×	`div-sub_binary64_19861`
116×	`associate-r_binary64_19796`
64×	`*-commutative_binary64_19787`
61×	`distribute-rgt-neg-in_binary64_19814` `+-commutative_binary64_19786`
58×	`associate--l+_binary64_19793`
54×	`*-rgt-identity_binary64_19846`
50×	`distribute-lft-neg-in_binary64_19813`
48×	`distribute-neg-frac_binary64_19820` `associate-/l/_binary64_19803`
47×	`associate-*l/_binary64_19799`
46×	`distribute-lft-neg-out_binary64_19815`
45×	`neg-sub0_binary64_19851` `distribute-rgt-neg-out_binary64_19816`
41×	`exp-prod_binary64_19908`
40×	`neg-mul-1_binary64_19852`
39×	`distribute-neg-in_binary64_19817` `associate--r+_binary64_19792`
36×	`associate-+l+_binary64_19789`
34×	`sqr-pow_binary64_19828`
31×	`/-rgt-identity_binary64_19847`
29×	`unsub-neg_binary64_19850`
26×	`*-lft-identity_binary64_19845` `associate-+r+_binary64_19788`
25×	`distribute-lft-out_binary64_19807`
23×	`log-div_binary64_19943`
22×	`associate-*r/_binary64_19798`
19×	`cube-div_binary64_19885`
14×	`cube-prod_binary64_19884`
13×	`pow-sqr_binary64_19829`
12×	`difference-of-squares_binary64_19825`
10×	`log-prod_binary64_19942`
9×	`distribute-rgt-out_binary64_19809` `distribute-lft-out--_binary64_19808`
7×	`exp-sum_binary64_19902` `cube-unmult_binary64_19893` `swap-sqr_binary64_19823`
6×	`pow-plus_binary64_19919`
5×	`exp-diff_binary64_19904` `distribute-rgt-out--_binary64_19810`
4×	`log-rec_binary64_19944` `remove-double-neg_binary64_19844` `unswap-sqr_binary64_19824`
3×	`unpow3_binary64_19922` `cube-mult_binary64_19886` `mul-1-neg_binary64_19848` `+-rgt-identity_binary64_19841` `cancel-sign-sub_binary64_19821` `associate-+r-_binary64_19790`
2×	`unpow2_binary64_19921` `unpow1_binary64_19914` `exp-neg_binary64_19903` `*-inverses_binary64_19836` `distribute-frac-neg_binary64_19819` `associate--r-_binary64_19795`
1×	`exp-sqrt_binary64_19909` `div-exp_binary64_19907` `rec-exp_binary64_19906` `prod-exp_binary64_19905` `1-exp_binary64_19900` `exp-1-e_binary64_19899` `rem-log-exp_binary64_19897` `rem-3cbrt-lft_binary64_19881` `rem-sqrt-square_binary64_19869` `rem-square-sqrt_binary64_19868` `div0_binary64_19837`
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_20119` `erf-erfc_binary64_20118` `erf-odd_binary64_20117` `if-if-and-not_binary64_20116` `if-if-and_binary64_20115` `if-if-or-not_binary64_20114` `if-if-or_binary64_20113` `if-not_binary64_20112` `if-same_binary64_20111` `if-false_binary64_20110` `if-true_binary64_20109` `not-gte_binary64_20108` `not-lte_binary64_20107` `not-gt_binary64_20106` `not-lt_binary64_20105` `gte-same_binary64_20104` `lte-same_binary64_20103` `gt-same_binary64_20102` `lt-same_binary64_20101` `sinh---cosh_binary64_20048` `sinh-+-cosh_binary64_20047` `sinh-cosh_binary64_20046` `tanh-def-c_binary64_20045` `tanh-def-b_binary64_20044` `tanh-def-a_binary64_20043` `cosh-def_binary64_20042` `sinh-def_binary64_20041` `tan-neg_binary64_19988` `cos-neg_binary64_19987` `sin-neg_binary64_19986` `tan-0_binary64_19985` `cos-0_binary64_19984` `sin-0_binary64_19983` `hang-m-tan_binary64_19982` `hang-p-tan_binary64_19981` `hang-m0-tan_binary64_19980` `hang-p0-tan_binary64_19979` `hang-0m-tan_binary64_19978` `hang-0p-tan_binary64_19977` `tan-+PI/2_binary64_19976` `tan-+PI_binary64_19975` `tan-PI_binary64_19974` `tan-PI/3_binary64_19973` `tan-PI/4_binary64_19972` `tan-PI/6_binary64_19971` `cos-+PI/2_binary64_19970` `cos-+PI_binary64_19969` `cos-PI_binary64_19968` `cos-PI/2_binary64_19967` `cos-PI/3_binary64_19966` `cos-PI/4_binary64_19965` `cos-PI/6_binary64_19964` `sin-+PI/2_binary64_19963` `sin-+PI_binary64_19962` `sin-PI_binary64_19961` `sin-PI/2_binary64_19960` `sin-PI/3_binary64_19959` `sin-PI/4_binary64_19958` `sin-PI/6_binary64_19957` `sub-1-sin_binary64_19956` `sub-1-cos_binary64_19955` `-1-add-sin_binary64_19954` `-1-add-cos_binary64_19953` `1-sub-sin_binary64_19952` `1-sub-cos_binary64_19951` `cos-sin-sum_binary64_19950` `log-E_binary64_19946` `log-pow_binary64_19945` `pow-base-0_binary64_19940` `unpow1/3_binary64_19923` `unpow1/2_binary64_19920` `exp-to-pow_binary64_19918` `pow-base-1_binary64_19916` `unpow0_binary64_19915` `unpow-1_binary64_19913` `exp-lft-cube_binary64_19912` `exp-lft-sqr_binary64_19911` `exp-cbrt_binary64_19910` `e-exp-1_binary64_19901` `exp-0_binary64_19898` `rem-exp-log_binary64_19896` `cube-neg_binary64_19883` `rem-3cbrt-rft_binary64_19882` `rem-cbrt-cube_binary64_19880` `rem-cube-cbrt_binary64_19879` `sqr-abs_binary64_19871` `sqr-neg_binary64_19870` `sub0-neg_binary64_19843` `--rgt-identity_binary64_19842` `+-lft-identity_binary64_19840` `mul0-rgt_binary64_19839` `mul0-lft_binary64_19838` `+-inverses_binary64_19835` `lft-mult-inverse_binary64_19834` `rgt-mult-inverse_binary64_19833` `remove-double-div_binary64_19832` `difference-of-sqr--1_binary64_19827` `difference-of-sqr-1_binary64_19826` `distribute-neg-out_binary64_19818` `distribute-rgt1-in_binary64_19812` `distribute-lft1-in_binary64_19811` `count-2_binary64_19804` `associate--l-_binary64_19794` `associate-+l-_binary64_19791`

Counts

102 → 171

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	187	1799
1	514	1664
2	2145	1535

prune139.0ms (1.2%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	170	1	171
Fresh	1	1	2
Picked	0	1	1
Done	0	3	3
Total	171	6	177

Error

Counts

177 → 6

Compiler

Compiled 3083 to 477 computations (84.5% saved)

regimes719.0ms (6.3%)

Accuracy

Total 2.2b remaining (99.9%)

Threshold costs 0b (0%)

Compiler

Compiled 6031 to 4216 computations (30.1% saved)

bsearch0.0ms (0%)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`sub-neg_binary64_19849` `+-commutative_binary64_19786`
3×	`neg-mul-1_binary64_19852` `neg-sub0_binary64_19851` `*-commutative_binary64_19787`
1×	`distribute-neg-frac_binary64_19820`
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_20116` `if-if-and_binary64_20115` `if-if-or-not_binary64_20114` `if-if-or_binary64_20113` `if-not_binary64_20112` `if-same_binary64_20111` `if-false_binary64_20110` `if-true_binary64_20109` `tan-0_binary64_19985` `cos-0_binary64_19984` `sin-0_binary64_19983` `unpow1_binary64_19914` `e-exp-1_binary64_19901` `1-exp_binary64_19900` `exp-1-e_binary64_19899` `exp-0_binary64_19898` `sqr-abs_binary64_19871` `sqr-neg_binary64_19870` `unsub-neg_binary64_19850` `mul-1-neg_binary64_19848` `/-rgt-identity_binary64_19847` `-rgt-identity_binary64_19846` `-lft-identity_binary64_19845` `remove-double-neg_binary64_19844` `sub0-neg_binary64_19843` `--rgt-identity_binary64_19842` `+-rgt-identity_binary64_19841` `+-lft-identity_binary64_19840` `cancel-sign-sub-inv_binary64_19822` `cancel-sign-sub_binary64_19821` `distribute-frac-neg_binary64_19819` `distribute-neg-out_binary64_19818` `distribute-neg-in_binary64_19817` `distribute-rgt-neg-out_binary64_19816` `distribute-lft-neg-out_binary64_19815` `distribute-rgt-neg-in_binary64_19814` `distribute-lft-neg-in_binary64_19813`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	22
1	15	22
2	25	22
3	31	22
4	35	22
5	36	22

Proof

(- f64 (/ f64 h0 (/ f64 (- f64 h1 h2) h3)) (/ f64 h0 (/ f64 (- f64 h1 h2) h2)))

end0.0ms (0%)

sample1.4s (12.6%)

Algorithm

1×

intervals

Results

262.0ms	8000×	body	128	valid
22.0ms	594×	body	128	invalid

Compiler

Compiled 977 to 694 computations (29% saved)

Details

analyze784.0ms (6.8%)

sample20.0ms (0.2%)

simplify808.0ms (7%)

prune5.0ms (0%)

localize7.0ms (0.1%)

rewrite125.0ms (1.1%)

series735.0ms (6.4%)

simplify468.0ms (4.1%)

prune267.0ms (2.3%)

localize10.0ms (0.1%)

rewrite334.0ms (2.9%)

series849.0ms (7.4%)

simplify701.0ms (6.1%)

prune1.2s (10.5%)

localize9.0ms (0.1%)

rewrite147.0ms (1.3%)

series752.0ms (6.6%)

simplify572.0ms (5%)

prune364.0ms (3.2%)

localize10.0ms (0.1%)

rewrite70.0ms (0.6%)

series620.0ms (5.4%)

simplify315.0ms (2.7%)

prune139.0ms (1.2%)

regimes719.0ms (6.3%)

bsearch0.0ms (0%)

simplify5.0ms (0%)

end0.0ms (0%)

sample1.4s (12.6%)

Profiling