Details

analyze60.0ms (2.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
25%	56.2%	18.8%	6
25%	40.6%	34.4%	7
31.2%	31.2%	37.6%	8
39%	21.1%	39.9%	9
42.9%	16%	41.1%	10
47.2%	10.7%	42%	11
49.4%	8.1%	42.5%	12
51.6%	5.4%	43%	13
52.7%	4.1%	43.2%	14

Compiler

Compiled 8 to 5 computations (37.5% saved)

sample19.0ms (0.8%)

Algorithm

1×

intervals

Results

10.0ms	256×	body	128	valid
0.0ms	1×	body	128	invalid

Compiler

Compiled 15 to 11 computations (26.7% saved)

simplify154.0ms (6.4%)

Algorithm

1×	egg-herbie

Rules

24×	`associate-+l+_binary64_15697`
14×	`associate-+r+_binary64_15696`
10×	`distribute-rgt-in_binary64_15714`
8×	`*-commutative_binary64_15695`
6×	`distribute-rgt-out_binary64_15717` `distribute-lft-in_binary64_15713`
4×	`associate-r_binary64_15704`
3×	`count-2_binary64_15712` `+-commutative_binary64_15694`
2×	`associate-l_binary64_15705`
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_16027` `erf-erfc_binary64_16026` `erf-odd_binary64_16025` `if-if-and-not_binary64_16024` `if-if-and_binary64_16023` `if-if-or-not_binary64_16022` `if-if-or_binary64_16021` `if-not_binary64_16020` `if-same_binary64_16019` `if-false_binary64_16018` `if-true_binary64_16017` `not-gte_binary64_16016` `not-lte_binary64_16015` `not-gt_binary64_16014` `not-lt_binary64_16013` `gte-same_binary64_16012` `lte-same_binary64_16011` `gt-same_binary64_16010` `lt-same_binary64_16009` `sinh---cosh_binary64_15956` `sinh-+-cosh_binary64_15955` `sinh-cosh_binary64_15954` `tanh-def-c_binary64_15953` `tanh-def-b_binary64_15952` `tanh-def-a_binary64_15951` `cosh-def_binary64_15950` `sinh-def_binary64_15949` `tan-neg_binary64_15896` `cos-neg_binary64_15895` `sin-neg_binary64_15894` `tan-0_binary64_15893` `cos-0_binary64_15892` `sin-0_binary64_15891` `hang-m-tan_binary64_15890` `hang-p-tan_binary64_15889` `hang-m0-tan_binary64_15888` `hang-p0-tan_binary64_15887` `hang-0m-tan_binary64_15886` `hang-0p-tan_binary64_15885` `tan-+PI/2_binary64_15884` `tan-+PI_binary64_15883` `tan-PI_binary64_15882` `tan-PI/3_binary64_15881` `tan-PI/4_binary64_15880` `tan-PI/6_binary64_15879` `cos-+PI/2_binary64_15878` `cos-+PI_binary64_15877` `cos-PI_binary64_15876` `cos-PI/2_binary64_15875` `cos-PI/3_binary64_15874` `cos-PI/4_binary64_15873` `cos-PI/6_binary64_15872` `sin-+PI/2_binary64_15871` `sin-+PI_binary64_15870` `sin-PI_binary64_15869` `sin-PI/2_binary64_15868` `sin-PI/3_binary64_15867` `sin-PI/4_binary64_15866` `sin-PI/6_binary64_15865` `sub-1-sin_binary64_15864` `sub-1-cos_binary64_15863` `-1-add-sin_binary64_15862` `-1-add-cos_binary64_15861` `1-sub-sin_binary64_15860` `1-sub-cos_binary64_15859` `cos-sin-sum_binary64_15858` `log-E_binary64_15854` `log-pow_binary64_15853` `log-rec_binary64_15852` `log-div_binary64_15851` `log-prod_binary64_15850` `pow-base-0_binary64_15848` `unpow1/3_binary64_15831` `unpow3_binary64_15830` `unpow2_binary64_15829` `unpow1/2_binary64_15828` `pow-plus_binary64_15827` `exp-to-pow_binary64_15826` `pow-base-1_binary64_15824` `unpow0_binary64_15823` `unpow1_binary64_15822` `unpow-1_binary64_15821` `exp-lft-cube_binary64_15820` `exp-lft-sqr_binary64_15819` `exp-cbrt_binary64_15818` `exp-sqrt_binary64_15817` `exp-prod_binary64_15816` `div-exp_binary64_15815` `rec-exp_binary64_15814` `prod-exp_binary64_15813` `exp-diff_binary64_15812` `exp-neg_binary64_15811` `exp-sum_binary64_15810` `e-exp-1_binary64_15809` `1-exp_binary64_15808` `exp-1-e_binary64_15807` `exp-0_binary64_15806` `rem-log-exp_binary64_15805` `rem-exp-log_binary64_15804` `cube-unmult_binary64_15801` `cube-mult_binary64_15794` `cube-div_binary64_15793` `cube-prod_binary64_15792` `cube-neg_binary64_15791` `rem-3cbrt-rft_binary64_15790` `rem-3cbrt-lft_binary64_15789` `rem-cbrt-cube_binary64_15788` `rem-cube-cbrt_binary64_15787` `sqr-abs_binary64_15779` `sqr-neg_binary64_15778` `rem-sqrt-square_binary64_15777` `rem-square-sqrt_binary64_15776` `times-frac_binary64_15770` `div-sub_binary64_15769` `neg-mul-1_binary64_15760` `neg-sub0_binary64_15759` `unsub-neg_binary64_15758` `sub-neg_binary64_15757` `mul-1-neg_binary64_15756` `/-rgt-identity_binary64_15755` `-rgt-identity_binary64_15754` `-lft-identity_binary64_15753` `remove-double-neg_binary64_15752` `sub0-neg_binary64_15751` `--rgt-identity_binary64_15750` `+-rgt-identity_binary64_15749` `+-lft-identity_binary64_15748` `mul0-rgt_binary64_15747` `mul0-lft_binary64_15746` `div0_binary64_15745` `-inverses_binary64_15744` `+-inverses_binary64_15743` `lft-mult-inverse_binary64_15742` `rgt-mult-inverse_binary64_15741` `remove-double-div_binary64_15740` `pow-sqr_binary64_15737` `sqr-pow_binary64_15736` `difference-of-sqr--1_binary64_15735` `difference-of-sqr-1_binary64_15734` `difference-of-squares_binary64_15733` `unswap-sqr_binary64_15732` `swap-sqr_binary64_15731` `cancel-sign-sub-inv_binary64_15730` `cancel-sign-sub_binary64_15729` `distribute-neg-frac_binary64_15728` `distribute-frac-neg_binary64_15727` `distribute-neg-out_binary64_15726` `distribute-neg-in_binary64_15725` `distribute-rgt-neg-out_binary64_15724` `distribute-lft-neg-out_binary64_15723` `distribute-rgt-neg-in_binary64_15722` `distribute-lft-neg-in_binary64_15721` `distribute-rgt1-in_binary64_15720` `distribute-lft1-in_binary64_15719` `distribute-rgt-out--_binary64_15718` `distribute-lft-out--_binary64_15716` `distribute-lft-out_binary64_15715` `associate-/l/_binary64_15711` `associate-/r/_binary64_15710` `associate-/l_binary64_15709` `associate-/r_binary64_15708` `associate-l/_binary64_15707` `associate-*r/_binary64_15706` `associate--r-_binary64_15703` `associate--l-_binary64_15702` `associate--l+_binary64_15701` `associate--r+_binary64_15700` `associate-+l-_binary64_15699` `associate-+r-_binary64_15698`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	10
1	12	10
2	26	10
3	38	10
4	55	10
5	65	10
6	70	10
7	72	10

prune1.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

1 → 1

Compiler

Compiled 7 to 4 computations (42.9% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(*.f64 (+.f64 x y) (+.f64 x y))

rewrite43.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

19×	`*-un-lft-identity_binary64_15764`
8×	`pow1_binary64_15825`
7×	`add-sqr-sqrt_binary64_15786`
6×	`flip3-+_binary64_15767` `flip-+_binary64_15738` `swap-sqr_binary64_15731` `distribute-lft-out_binary64_15715`
5×	`add-cube-cbrt_binary64_15799`
4×	`frac-times_binary64_15774` `associate-l_binary64_15705` `associate-r_binary64_15704`
3×	`add-exp-log_binary64_15802` `add-cbrt-cube_binary64_15800`
2×	`associate-l/_binary64_15707` `associate-r/_binary64_15706`
1×	`pow2_binary64_15845` `pow-prod-down_binary64_15835` `pow-prod-up_binary64_15834` `pow-plus_binary64_15827` `prod-exp_binary64_15813` `add-log-exp_binary64_15803` `cbrt-unprod_binary64_15797` `pow-sqr_binary64_15737` `unswap-sqr_binary64_15732` `distribute-rgt-in_binary64_15714` `distribute-lft-in_binary64_15713` `*-commutative_binary64_15695`

Counts

1 → 40

Calls

1 calls:

10.0ms

(*.f64 (+.f64 x y) (+.f64 x y))

Compiler

Compiled 610 to 146 computations (76.1% saved)

series136.0ms (5.7%)

Error

Counts

1 → 18

Calls

1 calls:

121.0ms

(*.f64 (+.f64 x y) (+.f64 x y))

Compiler

Compiled 378 to 297 computations (21.4% saved)

simplify230.0ms (9.6%)

Algorithm

1×	egg-herbie

Rules

437×	`distribute-rgt-in_binary64_15714`
425×	`distribute-lft-in_binary64_15713`
379×	`associate-/r*_binary64_15708`
276×	`unswap-sqr_binary64_15732`
268×	`associate-/r/_binary64_15710`
256×	`associate-/l*_binary64_15709`
162×	`*-commutative_binary64_15695`
88×	`exp-prod_binary64_15816`
87×	`associate-l_binary64_15705`
81×	`associate-r_binary64_15704`
76×	`sqr-pow_binary64_15736` `associate-/l/_binary64_15711`
71×	`distribute-rgt-out_binary64_15717`
69×	`swap-sqr_binary64_15731`
68×	`distribute-lft-neg-out_binary64_15723` `associate-+l+_binary64_15697`
67×	`distribute-rgt-neg-out_binary64_15724`
62×	`associate-+r+_binary64_15696`
61×	`unsub-neg_binary64_15758`
57×	`associate-*l/_binary64_15707`
52×	`exp-sum_binary64_15810` `*-rgt-identity_binary64_15754`
49×	`log-prod_binary64_15850` `*-lft-identity_binary64_15753`
42×	`times-frac_binary64_15770`
33×	`cube-prod_binary64_15792` `distribute-rgt-neg-in_binary64_15722` `distribute-lft-neg-in_binary64_15721`
32×	`log-div_binary64_15851`
31×	`pow-sqr_binary64_15737`
30×	`cancel-sign-sub-inv_binary64_15730`
28×	`cube-div_binary64_15793` `neg-mul-1_binary64_15760` `associate-*r/_binary64_15706`
27×	`neg-sub0_binary64_15759`
25×	`pow-plus_binary64_15827`
24×	`exp-sqrt_binary64_15817` `sub-neg_binary64_15757`
14×	`distribute-lft-out_binary64_15715`
12×	`distribute-neg-frac_binary64_15728` `distribute-neg-out_binary64_15726` `+-commutative_binary64_15694`
10×	`cube-unmult_binary64_15801`
9×	`distribute-rgt-out--_binary64_15718`
8×	`difference-of-squares_binary64_15733` `distribute-neg-in_binary64_15725`
7×	`log-pow_binary64_15853`
6×	`unpow3_binary64_15830` `associate-+r-_binary64_15698`
5×	`cube-mult_binary64_15794` `rem-sqrt-square_binary64_15777` `div-sub_binary64_15769` `+-rgt-identity_binary64_15749` `distribute-rgt1-in_binary64_15720` `associate-+l-_binary64_15699`
4×	`div-exp_binary64_15815` `prod-exp_binary64_15813` `count-2_binary64_15712`
3×	`log-rec_binary64_15852` `unpow2_binary64_15829` `sqr-neg_binary64_15778` `sub0-neg_binary64_15751` `distribute-lft1-in_binary64_15719`
2×	`unpow1_binary64_15822` `exp-lft-sqr_binary64_15819` `rec-exp_binary64_15814` `/-rgt-identity_binary64_15755`
1×	`pow-base-1_binary64_15824` `exp-diff_binary64_15812` `1-exp_binary64_15808` `exp-1-e_binary64_15807` `rem-log-exp_binary64_15805` `rem-3cbrt-rft_binary64_15790` `rem-3cbrt-lft_binary64_15789` `rem-square-sqrt_binary64_15776` `mul0-lft_binary64_15746` `*-inverses_binary64_15744` `associate--l+_binary64_15701`
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_16027` `erf-erfc_binary64_16026` `erf-odd_binary64_16025` `if-if-and-not_binary64_16024` `if-if-and_binary64_16023` `if-if-or-not_binary64_16022` `if-if-or_binary64_16021` `if-not_binary64_16020` `if-same_binary64_16019` `if-false_binary64_16018` `if-true_binary64_16017` `not-gte_binary64_16016` `not-lte_binary64_16015` `not-gt_binary64_16014` `not-lt_binary64_16013` `gte-same_binary64_16012` `lte-same_binary64_16011` `gt-same_binary64_16010` `lt-same_binary64_16009` `sinh---cosh_binary64_15956` `sinh-+-cosh_binary64_15955` `sinh-cosh_binary64_15954` `tanh-def-c_binary64_15953` `tanh-def-b_binary64_15952` `tanh-def-a_binary64_15951` `cosh-def_binary64_15950` `sinh-def_binary64_15949` `tan-neg_binary64_15896` `cos-neg_binary64_15895` `sin-neg_binary64_15894` `tan-0_binary64_15893` `cos-0_binary64_15892` `sin-0_binary64_15891` `hang-m-tan_binary64_15890` `hang-p-tan_binary64_15889` `hang-m0-tan_binary64_15888` `hang-p0-tan_binary64_15887` `hang-0m-tan_binary64_15886` `hang-0p-tan_binary64_15885` `tan-+PI/2_binary64_15884` `tan-+PI_binary64_15883` `tan-PI_binary64_15882` `tan-PI/3_binary64_15881` `tan-PI/4_binary64_15880` `tan-PI/6_binary64_15879` `cos-+PI/2_binary64_15878` `cos-+PI_binary64_15877` `cos-PI_binary64_15876` `cos-PI/2_binary64_15875` `cos-PI/3_binary64_15874` `cos-PI/4_binary64_15873` `cos-PI/6_binary64_15872` `sin-+PI/2_binary64_15871` `sin-+PI_binary64_15870` `sin-PI_binary64_15869` `sin-PI/2_binary64_15868` `sin-PI/3_binary64_15867` `sin-PI/4_binary64_15866` `sin-PI/6_binary64_15865` `sub-1-sin_binary64_15864` `sub-1-cos_binary64_15863` `-1-add-sin_binary64_15862` `-1-add-cos_binary64_15861` `1-sub-sin_binary64_15860` `1-sub-cos_binary64_15859` `cos-sin-sum_binary64_15858` `log-E_binary64_15854` `pow-base-0_binary64_15848` `unpow1/3_binary64_15831` `unpow1/2_binary64_15828` `exp-to-pow_binary64_15826` `unpow0_binary64_15823` `unpow-1_binary64_15821` `exp-lft-cube_binary64_15820` `exp-cbrt_binary64_15818` `exp-neg_binary64_15811` `e-exp-1_binary64_15809` `exp-0_binary64_15806` `rem-exp-log_binary64_15804` `cube-neg_binary64_15791` `rem-cbrt-cube_binary64_15788` `rem-cube-cbrt_binary64_15787` `sqr-abs_binary64_15779` `mul-1-neg_binary64_15756` `remove-double-neg_binary64_15752` `--rgt-identity_binary64_15750` `+-lft-identity_binary64_15748` `mul0-rgt_binary64_15747` `div0_binary64_15745` `+-inverses_binary64_15743` `lft-mult-inverse_binary64_15742` `rgt-mult-inverse_binary64_15741` `remove-double-div_binary64_15740` `difference-of-sqr--1_binary64_15735` `difference-of-sqr-1_binary64_15734` `cancel-sign-sub_binary64_15729` `distribute-frac-neg_binary64_15727` `distribute-lft-out--_binary64_15716` `associate--r-_binary64_15703` `associate--l-_binary64_15702` `associate--r+_binary64_15700`

Counts

58 → 149

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	65	902
1	193	770
2	771	677
3	2518	672

prune108.0ms (4.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	148	1	149
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	148	2	150

Error

Counts

150 → 2

Compiler

Compiled 2093 to 553 computations (73.6% saved)

localize7.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 y (+.f64 y x))
0.0b	(*.f64 x (+.f64 x y))
0.0b	(+.f64 (.f64 x (+.f64 x y)) (.f64 y (+.f64 y x)))

rewrite81.0ms (3.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

12×	`associate-*r/_binary64_15706`
11×	`add-sqr-sqrt_binary64_15786` `*-un-lft-identity_binary64_15764`
8×	`associate-r_binary64_15704`
7×	`pow1_binary64_15825` `add-exp-log_binary64_15802` `add-cbrt-cube_binary64_15800` `add-cube-cbrt_binary64_15799` `flip3-+_binary64_15767` `flip-+_binary64_15738`
6×	`associate-l_binary64_15705`
5×	`add-log-exp_binary64_15803`
4×	`frac-add_binary64_15772` `distribute-rgt-in_binary64_15714` `distribute-lft-in_binary64_15713`
2×	`associate-+l+_binary64_15697` `associate-+r+_binary64_15696` `pow-prod-down_binary64_15835` `prod-exp_binary64_15813` `cbrt-unprod_binary64_15797` `unswap-sqr_binary64_15732` `distribute-lft-out_binary64_15715` `*-commutative_binary64_15695`
1×	`sum-log_binary64_15855` `+-commutative_binary64_15694`

Counts

3 → 65

Calls

3 calls:

8.0ms	(+.f64 (.f64 x (+.f64 x y)) (.f64 y (+.f64 y x)))
6.0ms	(*.f64 x (+.f64 x y))
6.0ms	(*.f64 y (+.f64 y x))

Compiler

Compiled 1292 to 273 computations (78.9% saved)

series454.0ms (19%)

Error

Counts

3 → 42

Calls

3 calls:

243.0ms	(+.f64 (.f64 x (+.f64 x y)) (.f64 y (+.f64 y x)))
97.0ms	(*.f64 x (+.f64 x y))
90.0ms	(*.f64 y (+.f64 y x))

Compiler

Compiled 1062 to 663 computations (37.6% saved)

simplify255.0ms (10.7%)

Algorithm

1×	egg-herbie

Rules

401×	`associate-+l+_binary64_15697`
391×	`associate-+r+_binary64_15696`
214×	`associate-l_binary64_15705`
209×	`sub-neg_binary64_15757`
185×	`distribute-rgt-in_binary64_15714`
181×	`distribute-lft-in_binary64_15713`
175×	`associate-r_binary64_15704`
157×	`times-frac_binary64_15770`
141×	`unsub-neg_binary64_15758`
112×	`cancel-sign-sub-inv_binary64_15730`
101×	`+-commutative_binary64_15694`
99×	`sqr-pow_binary64_15736` `distribute-rgt-out_binary64_15717`
84×	`neg-mul-1_binary64_15760` `neg-sub0_binary64_15759` `associate--r+_binary64_15700`
80×	`*-commutative_binary64_15695`
67×	`associate-*l/_binary64_15707`
62×	`distribute-rgt-neg-in_binary64_15722`
61×	`associate-*r/_binary64_15706` `associate--l+_binary64_15701`
52×	`exp-prod_binary64_15816`
50×	`pow-sqr_binary64_15737`
47×	`distribute-lft-neg-in_binary64_15721`
42×	`distribute-neg-in_binary64_15725` `distribute-rgt-out--_binary64_15718`
37×	`unswap-sqr_binary64_15732`
36×	`distribute-lft-neg-out_binary64_15723`
28×	`exp-sum_binary64_15810` `distribute-lft-out_binary64_15715`
26×	`log-prod_binary64_15850`
25×	`distribute-rgt-neg-out_binary64_15724`
24×	`pow-plus_binary64_15827`
23×	`cube-prod_binary64_15792`
21×	`associate-+r-_binary64_15698`
20×	`exp-sqrt_binary64_15817` `*-rgt-identity_binary64_15754`
17×	`*-lft-identity_binary64_15753`
16×	`associate-+l-_binary64_15699`
15×	`log-div_binary64_15851` `cube-div_binary64_15793`
14×	`+-rgt-identity_binary64_15749`
12×	`swap-sqr_binary64_15731`
11×	`difference-of-squares_binary64_15733`
10×	`sub0-neg_binary64_15751`
7×	`unpow3_binary64_15830`
6×	`cube-mult_binary64_15794`
5×	`log-pow_binary64_15853` `distribute-lft-out--_binary64_15716`
3×	`rem-sqrt-square_binary64_15777`
2×	`unpow2_binary64_15829` `pow-base-1_binary64_15824` `unpow1_binary64_15822` `prod-exp_binary64_15813` `distribute-rgt1-in_binary64_15720` `count-2_binary64_15712` `associate-/l/_binary64_15711`
1×	`exp-diff_binary64_15812` `1-exp_binary64_15808` `exp-1-e_binary64_15807` `rem-log-exp_binary64_15805` `cube-unmult_binary64_15801` `-inverses_binary64_15744` `+-inverses_binary64_15743` `rgt-mult-inverse_binary64_15741` `distribute-neg-frac_binary64_15728` `associate-/l_binary64_15709`
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_16027` `erf-erfc_binary64_16026` `erf-odd_binary64_16025` `if-if-and-not_binary64_16024` `if-if-and_binary64_16023` `if-if-or-not_binary64_16022` `if-if-or_binary64_16021` `if-not_binary64_16020` `if-same_binary64_16019` `if-false_binary64_16018` `if-true_binary64_16017` `not-gte_binary64_16016` `not-lte_binary64_16015` `not-gt_binary64_16014` `not-lt_binary64_16013` `gte-same_binary64_16012` `lte-same_binary64_16011` `gt-same_binary64_16010` `lt-same_binary64_16009` `sinh---cosh_binary64_15956` `sinh-+-cosh_binary64_15955` `sinh-cosh_binary64_15954` `tanh-def-c_binary64_15953` `tanh-def-b_binary64_15952` `tanh-def-a_binary64_15951` `cosh-def_binary64_15950` `sinh-def_binary64_15949` `tan-neg_binary64_15896` `cos-neg_binary64_15895` `sin-neg_binary64_15894` `tan-0_binary64_15893` `cos-0_binary64_15892` `sin-0_binary64_15891` `hang-m-tan_binary64_15890` `hang-p-tan_binary64_15889` `hang-m0-tan_binary64_15888` `hang-p0-tan_binary64_15887` `hang-0m-tan_binary64_15886` `hang-0p-tan_binary64_15885` `tan-+PI/2_binary64_15884` `tan-+PI_binary64_15883` `tan-PI_binary64_15882` `tan-PI/3_binary64_15881` `tan-PI/4_binary64_15880` `tan-PI/6_binary64_15879` `cos-+PI/2_binary64_15878` `cos-+PI_binary64_15877` `cos-PI_binary64_15876` `cos-PI/2_binary64_15875` `cos-PI/3_binary64_15874` `cos-PI/4_binary64_15873` `cos-PI/6_binary64_15872` `sin-+PI/2_binary64_15871` `sin-+PI_binary64_15870` `sin-PI_binary64_15869` `sin-PI/2_binary64_15868` `sin-PI/3_binary64_15867` `sin-PI/4_binary64_15866` `sin-PI/6_binary64_15865` `sub-1-sin_binary64_15864` `sub-1-cos_binary64_15863` `-1-add-sin_binary64_15862` `-1-add-cos_binary64_15861` `1-sub-sin_binary64_15860` `1-sub-cos_binary64_15859` `cos-sin-sum_binary64_15858` `log-E_binary64_15854` `log-rec_binary64_15852` `pow-base-0_binary64_15848` `unpow1/3_binary64_15831` `unpow1/2_binary64_15828` `exp-to-pow_binary64_15826` `unpow0_binary64_15823` `unpow-1_binary64_15821` `exp-lft-cube_binary64_15820` `exp-lft-sqr_binary64_15819` `exp-cbrt_binary64_15818` `div-exp_binary64_15815` `rec-exp_binary64_15814` `exp-neg_binary64_15811` `e-exp-1_binary64_15809` `exp-0_binary64_15806` `rem-exp-log_binary64_15804` `cube-neg_binary64_15791` `rem-3cbrt-rft_binary64_15790` `rem-3cbrt-lft_binary64_15789` `rem-cbrt-cube_binary64_15788` `rem-cube-cbrt_binary64_15787` `sqr-abs_binary64_15779` `sqr-neg_binary64_15778` `rem-square-sqrt_binary64_15776` `div-sub_binary64_15769` `mul-1-neg_binary64_15756` `/-rgt-identity_binary64_15755` `remove-double-neg_binary64_15752` `--rgt-identity_binary64_15750` `+-lft-identity_binary64_15748` `mul0-rgt_binary64_15747` `mul0-lft_binary64_15746` `div0_binary64_15745` `lft-mult-inverse_binary64_15742` `remove-double-div_binary64_15740` `difference-of-sqr--1_binary64_15735` `difference-of-sqr-1_binary64_15734` `cancel-sign-sub_binary64_15729` `distribute-frac-neg_binary64_15727` `distribute-neg-out_binary64_15726` `distribute-lft1-in_binary64_15719` `associate-/r/_binary64_15710` `associate-/r*_binary64_15708` `associate--r-_binary64_15703` `associate--l-_binary64_15702`

Counts

107 → 200

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	125	1349
1	374	1247
2	1606	1166
3	4139	1166

prune155.0ms (6.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

202 → 2

Compiler

Compiled 4157 to 777 computations (81.3% saved)

regimes109.0ms (4.6%)

Accuracy

Total 0.0b remaining (87.1%)

Threshold costs 0.0b (87.1%)

Compiler

Compiled 627 to 478 computations (23.8% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2× *-commutative_binary64_15695 +-commutative_binary64_15694

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_16024 if-if-and_binary64_16023 if-if-or-not_binary64_16022 if-if-or_binary64_16021 if-not_binary64_16020 if-same_binary64_16019 if-false_binary64_16018 if-true_binary64_16017 tan-0_binary64_15893 cos-0_binary64_15892 sin-0_binary64_15891 unpow1_binary64_15822 e-exp-1_binary64_15809 1-exp_binary64_15808 exp-1-e_binary64_15807 exp-0_binary64_15806 sqr-abs_binary64_15779 sqr-neg_binary64_15778 neg-mul-1_binary64_15760 neg-sub0_binary64_15759 unsub-neg_binary64_15758 sub-neg_binary64_15757 mul-1-neg_binary64_15756 /-rgt-identity_binary64_15755 *-rgt-identity_binary64_15754 *-lft-identity_binary64_15753 remove-double-neg_binary64_15752 sub0-neg_binary64_15751 --rgt-identity_binary64_15750 +-rgt-identity_binary64_15749 +-lft-identity_binary64_15748 cancel-sign-sub-inv_binary64_15730 cancel-sign-sub_binary64_15729 distribute-neg-frac_binary64_15728 distribute-frac-neg_binary64_15727 distribute-neg-out_binary64_15726 distribute-neg-in_binary64_15725 distribute-rgt-neg-out_binary64_15724 distribute-lft-neg-out_binary64_15723 distribute-rgt-neg-in_binary64_15722 distribute-lft-neg-in_binary64_15721

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	16
1	11	16

Proof

(+ f64 (* f64 h0 (+ f64 h0 h1)) (* f64 h1 (+ f64 h1 h0)))
<= +-commutative_binary64_15694
(+ f64 (* f64 h0 (+ f64 h0 h1)) (* f64 h1 (<= (+ f64 h0 h1))))

end0.0ms (0%)

sample571.0ms (23.9%)

Algorithm

1×

intervals

Results

141.0ms	8000×	body	128	valid
1.0ms	92×	body	128	invalid

Compiler

Compiled 177 to 131 computations (26% saved)

Details

analyze60.0ms (2.5%)

sample19.0ms (0.8%)

simplify154.0ms (6.4%)

prune1.0ms (0.1%)

localize3.0ms (0.1%)

rewrite43.0ms (1.8%)

series136.0ms (5.7%)

simplify230.0ms (9.6%)

prune108.0ms (4.5%)

localize7.0ms (0.3%)

rewrite81.0ms (3.4%)

series454.0ms (19%)

simplify255.0ms (10.7%)

prune155.0ms (6.5%)

regimes109.0ms (4.6%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample571.0ms (23.9%)

Profiling