Details

analyze36.0ms (1.3%)

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
25%	74.9%	0.1%	3
25%	74.9%	0.1%	4
43.7%	56.2%	0.1%	5
46.8%	53.1%	0.1%	6
78%	21.9%	0.1%	7
82.7%	17.2%	0.1%	8
89%	10.9%	0.1%	9
91.3%	8.6%	0.1%	10
94.4%	5.5%	0.1%	11
95.6%	4.3%	0.1%	12
97.2%	2.7%	0.1%	13
97.8%	2.1%	0.1%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample14.0ms (0.5%)

Algorithm

1×

intervals

Results

5.0ms

256×

body

128

valid

Compiler

Compiled 15 to 15 computations (0% saved)

simplify157.0ms (5.6%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary64_7510`
1×	`1-exp_binary64_7624`
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_7843` `erf-erfc_binary64_7842` `erf-odd_binary64_7841` `if-if-and-not_binary64_7840` `if-if-and_binary64_7839` `if-if-or-not_binary64_7838` `if-if-or_binary64_7837` `if-not_binary64_7836` `if-same_binary64_7835` `if-false_binary64_7834` `if-true_binary64_7833` `not-gte_binary64_7832` `not-lte_binary64_7831` `not-gt_binary64_7830` `not-lt_binary64_7829` `gte-same_binary64_7828` `lte-same_binary64_7827` `gt-same_binary64_7826` `lt-same_binary64_7825` `sinh---cosh_binary64_7772` `sinh-+-cosh_binary64_7771` `sinh-cosh_binary64_7770` `tanh-def-c_binary64_7769` `tanh-def-b_binary64_7768` `tanh-def-a_binary64_7767` `cosh-def_binary64_7766` `sinh-def_binary64_7765` `tan-neg_binary64_7712` `cos-neg_binary64_7711` `sin-neg_binary64_7710` `tan-0_binary64_7709` `cos-0_binary64_7708` `sin-0_binary64_7707` `hang-m-tan_binary64_7706` `hang-p-tan_binary64_7705` `hang-m0-tan_binary64_7704` `hang-p0-tan_binary64_7703` `hang-0m-tan_binary64_7702` `hang-0p-tan_binary64_7701` `tan-+PI/2_binary64_7700` `tan-+PI_binary64_7699` `tan-PI_binary64_7698` `tan-PI/3_binary64_7697` `tan-PI/4_binary64_7696` `tan-PI/6_binary64_7695` `cos-+PI/2_binary64_7694` `cos-+PI_binary64_7693` `cos-PI_binary64_7692` `cos-PI/2_binary64_7691` `cos-PI/3_binary64_7690` `cos-PI/4_binary64_7689` `cos-PI/6_binary64_7688` `sin-+PI/2_binary64_7687` `sin-+PI_binary64_7686` `sin-PI_binary64_7685` `sin-PI/2_binary64_7684` `sin-PI/3_binary64_7683` `sin-PI/4_binary64_7682` `sin-PI/6_binary64_7681` `sub-1-sin_binary64_7680` `sub-1-cos_binary64_7679` `-1-add-sin_binary64_7678` `-1-add-cos_binary64_7677` `1-sub-sin_binary64_7676` `1-sub-cos_binary64_7675` `cos-sin-sum_binary64_7674` `log-E_binary64_7670` `log-pow_binary64_7669` `log-rec_binary64_7668` `log-div_binary64_7667` `log-prod_binary64_7666` `pow-base-0_binary64_7664` `unpow1/3_binary64_7647` `unpow3_binary64_7646` `unpow2_binary64_7645` `unpow1/2_binary64_7644` `pow-plus_binary64_7643` `exp-to-pow_binary64_7642` `pow-base-1_binary64_7640` `unpow0_binary64_7639` `unpow1_binary64_7638` `unpow-1_binary64_7637` `exp-lft-cube_binary64_7636` `exp-lft-sqr_binary64_7635` `exp-cbrt_binary64_7634` `exp-sqrt_binary64_7633` `exp-prod_binary64_7632` `div-exp_binary64_7631` `rec-exp_binary64_7630` `prod-exp_binary64_7629` `exp-diff_binary64_7628` `exp-neg_binary64_7627` `exp-sum_binary64_7626` `e-exp-1_binary64_7625` `exp-1-e_binary64_7623` `exp-0_binary64_7622` `rem-log-exp_binary64_7621` `rem-exp-log_binary64_7620` `cube-unmult_binary64_7617` `cube-mult_binary64_7610` `cube-div_binary64_7609` `cube-prod_binary64_7608` `cube-neg_binary64_7607` `rem-3cbrt-rft_binary64_7606` `rem-3cbrt-lft_binary64_7605` `rem-cbrt-cube_binary64_7604` `rem-cube-cbrt_binary64_7603` `sqr-abs_binary64_7595` `sqr-neg_binary64_7594` `rem-sqrt-square_binary64_7593` `rem-square-sqrt_binary64_7592` `times-frac_binary64_7586` `div-sub_binary64_7585` `neg-mul-1_binary64_7576` `neg-sub0_binary64_7575` `unsub-neg_binary64_7574` `sub-neg_binary64_7573` `mul-1-neg_binary64_7572` `/-rgt-identity_binary64_7571` `-rgt-identity_binary64_7570` `-lft-identity_binary64_7569` `remove-double-neg_binary64_7568` `sub0-neg_binary64_7567` `--rgt-identity_binary64_7566` `+-rgt-identity_binary64_7565` `+-lft-identity_binary64_7564` `mul0-rgt_binary64_7563` `mul0-lft_binary64_7562` `div0_binary64_7561` `-inverses_binary64_7560` `+-inverses_binary64_7559` `lft-mult-inverse_binary64_7558` `rgt-mult-inverse_binary64_7557` `remove-double-div_binary64_7556` `pow-sqr_binary64_7553` `sqr-pow_binary64_7552` `difference-of-sqr--1_binary64_7551` `difference-of-sqr-1_binary64_7550` `difference-of-squares_binary64_7549` `unswap-sqr_binary64_7548` `swap-sqr_binary64_7547` `cancel-sign-sub-inv_binary64_7546` `cancel-sign-sub_binary64_7545` `distribute-neg-frac_binary64_7544` `distribute-frac-neg_binary64_7543` `distribute-neg-out_binary64_7542` `distribute-neg-in_binary64_7541` `distribute-rgt-neg-out_binary64_7540` `distribute-lft-neg-out_binary64_7539` `distribute-rgt-neg-in_binary64_7538` `distribute-lft-neg-in_binary64_7537` `distribute-rgt1-in_binary64_7536` `distribute-lft1-in_binary64_7535` `distribute-rgt-out--_binary64_7534` `distribute-rgt-out_binary64_7533` `distribute-lft-out--_binary64_7532` `distribute-lft-out_binary64_7531` `distribute-rgt-in_binary64_7530` `distribute-lft-in_binary64_7529` `count-2_binary64_7528` `associate-/l/_binary64_7527` `associate-/r/_binary64_7526` `associate-/l_binary64_7525` `associate-/r_binary64_7524` `associate-l/_binary64_7523` `associate-r/_binary64_7522` `associate-l_binary64_7521` `associate-r_binary64_7520` `associate--r-_binary64_7519` `associate--l-_binary64_7518` `associate--l+_binary64_7517` `associate--r+_binary64_7516` `associate-+l-_binary64_7515` `associate-+r-_binary64_7514` `associate-+l+_binary64_7513` `associate-+r+_binary64_7512` `-commutative_binary64_7511`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	11	10

prune2.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 6 computations (14.3% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b	(/.f64 (+.f64 x y) (+.f64 y 1))

rewrite48.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

31×	`*-un-lft-identity_binary64_7580`
16×	`times-frac_binary64_7586`
11×	`add-cube-cbrt_binary64_7615` `add-sqr-sqrt_binary64_7602`
10×	`distribute-lft-out_binary64_7531`
4×	`associate-/l_binary64_7525` `associate-/r_binary64_7524`
3×	`add-exp-log_binary64_7618` `add-cbrt-cube_binary64_7616`
2×	`flip3-+_binary64_7583` `associate-/l/_binary64_7527` `flip-+_binary64_7554` `associate-/r/_binary64_7526`
1×	`pow1_binary64_7641` `div-exp_binary64_7631` `add-log-exp_binary64_7619` `cbrt-undiv_binary64_7614` `frac-2neg_binary64_7591` `clear-num_binary64_7579` `div-inv_binary64_7577`

Counts

1 → 40

Calls

1 calls:

8.0ms

(/.f64 (+.f64 x y) (+.f64 y 1))

Compiler

Compiled 618 to 329 computations (46.8% saved)

series155.0ms (5.5%)

Error

Counts

1 → 18

Calls

1 calls:

136.0ms

(/.f64 (+.f64 x y) (+.f64 y 1))

Compiler

Compiled 489 to 360 computations (26.4% saved)

simplify210.0ms (7.5%)

Algorithm

1×	egg-herbie

Rules

396×	`associate-/l/_binary64_7527`
395×	`distribute-rgt-in_binary64_7530`
347×	`sub-neg_binary64_7573`
311×	`distribute-lft-in_binary64_7529`
213×	`distribute-rgt-out_binary64_7533`
205×	`associate--l+_binary64_7517`
191×	`associate-+l+_binary64_7513`
150×	`distribute-rgt-out--_binary64_7534`
117×	`times-frac_binary64_7586`
116×	`associate--r+_binary64_7516`
115×	`unsub-neg_binary64_7574`
114×	`associate-+r+_binary64_7512`
109×	`+-commutative_binary64_7510`
76×	`associate-/l*_binary64_7525`
75×	`cancel-sign-sub-inv_binary64_7546`
74×	`distribute-rgt-neg-in_binary64_7538`
72×	`associate-l_binary64_7521`
70×	`distribute-lft-neg-in_binary64_7537` `associate-/r*_binary64_7524`
61×	`associate-*l/_binary64_7523`
58×	`*-commutative_binary64_7511`
57×	`div-sub_binary64_7585`
55×	`associate-*r/_binary64_7522`
54×	`associate-r_binary64_7520`
53×	`distribute-neg-frac_binary64_7544`
45×	`associate-/r/_binary64_7526`
42×	`distribute-lft-out--_binary64_7532`
41×	`associate-+l-_binary64_7515` `associate-+r-_binary64_7514`
39×	`sqr-pow_binary64_7552`
37×	`unswap-sqr_binary64_7548`
35×	`distribute-lft-out_binary64_7531`
34×	`neg-sub0_binary64_7575`
33×	`neg-mul-1_binary64_7576`
31×	`distribute-neg-in_binary64_7541`
29×	`*-rgt-identity_binary64_7570` `pow-sqr_binary64_7553`
27×	`*-lft-identity_binary64_7569`
26×	`distribute-lft-neg-out_binary64_7539`
24×	`+-rgt-identity_binary64_7565` `distribute-rgt-neg-out_binary64_7540`
23×	`distribute-rgt1-in_binary64_7536`
20×	`pow-plus_binary64_7643`
19×	`sub0-neg_binary64_7567`
16×	`log-prod_binary64_7666` `div-exp_binary64_7631` `prod-exp_binary64_7629` `/-rgt-identity_binary64_7571` `cancel-sign-sub_binary64_7545` `distribute-neg-out_binary64_7542`
14×	`log-pow_binary64_7669`
13×	`cube-div_binary64_7609` `cube-prod_binary64_7608`
12×	`log-div_binary64_7667`
11×	`difference-of-squares_binary64_7549` `swap-sqr_binary64_7547`
9×	`exp-prod_binary64_7632` `distribute-lft1-in_binary64_7535`
7×	`cube-unmult_binary64_7617`
6×	`pow-base-1_binary64_7640`
5×	`distribute-frac-neg_binary64_7543` `associate--l-_binary64_7518`
4×	`rec-exp_binary64_7630`
3×	`unpow3_binary64_7646` `cube-mult_binary64_7610` `difference-of-sqr-1_binary64_7550`
2×	`log-rec_binary64_7668` `count-2_binary64_7528`
1×	`unpow2_binary64_7645` `unpow1_binary64_7638` `exp-diff_binary64_7628` `1-exp_binary64_7624` `rem-log-exp_binary64_7621` `div0_binary64_7561` `*-inverses_binary64_7560` `rgt-mult-inverse_binary64_7557`
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_7843` `erf-erfc_binary64_7842` `erf-odd_binary64_7841` `if-if-and-not_binary64_7840` `if-if-and_binary64_7839` `if-if-or-not_binary64_7838` `if-if-or_binary64_7837` `if-not_binary64_7836` `if-same_binary64_7835` `if-false_binary64_7834` `if-true_binary64_7833` `not-gte_binary64_7832` `not-lte_binary64_7831` `not-gt_binary64_7830` `not-lt_binary64_7829` `gte-same_binary64_7828` `lte-same_binary64_7827` `gt-same_binary64_7826` `lt-same_binary64_7825` `sinh---cosh_binary64_7772` `sinh-+-cosh_binary64_7771` `sinh-cosh_binary64_7770` `tanh-def-c_binary64_7769` `tanh-def-b_binary64_7768` `tanh-def-a_binary64_7767` `cosh-def_binary64_7766` `sinh-def_binary64_7765` `tan-neg_binary64_7712` `cos-neg_binary64_7711` `sin-neg_binary64_7710` `tan-0_binary64_7709` `cos-0_binary64_7708` `sin-0_binary64_7707` `hang-m-tan_binary64_7706` `hang-p-tan_binary64_7705` `hang-m0-tan_binary64_7704` `hang-p0-tan_binary64_7703` `hang-0m-tan_binary64_7702` `hang-0p-tan_binary64_7701` `tan-+PI/2_binary64_7700` `tan-+PI_binary64_7699` `tan-PI_binary64_7698` `tan-PI/3_binary64_7697` `tan-PI/4_binary64_7696` `tan-PI/6_binary64_7695` `cos-+PI/2_binary64_7694` `cos-+PI_binary64_7693` `cos-PI_binary64_7692` `cos-PI/2_binary64_7691` `cos-PI/3_binary64_7690` `cos-PI/4_binary64_7689` `cos-PI/6_binary64_7688` `sin-+PI/2_binary64_7687` `sin-+PI_binary64_7686` `sin-PI_binary64_7685` `sin-PI/2_binary64_7684` `sin-PI/3_binary64_7683` `sin-PI/4_binary64_7682` `sin-PI/6_binary64_7681` `sub-1-sin_binary64_7680` `sub-1-cos_binary64_7679` `-1-add-sin_binary64_7678` `-1-add-cos_binary64_7677` `1-sub-sin_binary64_7676` `1-sub-cos_binary64_7675` `cos-sin-sum_binary64_7674` `log-E_binary64_7670` `pow-base-0_binary64_7664` `unpow1/3_binary64_7647` `unpow1/2_binary64_7644` `exp-to-pow_binary64_7642` `unpow0_binary64_7639` `unpow-1_binary64_7637` `exp-lft-cube_binary64_7636` `exp-lft-sqr_binary64_7635` `exp-cbrt_binary64_7634` `exp-sqrt_binary64_7633` `exp-neg_binary64_7627` `exp-sum_binary64_7626` `e-exp-1_binary64_7625` `exp-1-e_binary64_7623` `exp-0_binary64_7622` `rem-exp-log_binary64_7620` `cube-neg_binary64_7607` `rem-3cbrt-rft_binary64_7606` `rem-3cbrt-lft_binary64_7605` `rem-cbrt-cube_binary64_7604` `rem-cube-cbrt_binary64_7603` `sqr-abs_binary64_7595` `sqr-neg_binary64_7594` `rem-sqrt-square_binary64_7593` `rem-square-sqrt_binary64_7592` `mul-1-neg_binary64_7572` `remove-double-neg_binary64_7568` `--rgt-identity_binary64_7566` `+-lft-identity_binary64_7564` `mul0-rgt_binary64_7563` `mul0-lft_binary64_7562` `+-inverses_binary64_7559` `lft-mult-inverse_binary64_7558` `remove-double-div_binary64_7556` `difference-of-sqr--1_binary64_7551` `associate--r-_binary64_7519`

Counts

58 → 120

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	100	1043
1	264	992
2	817	984
3	2528	978

prune113.0ms (4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	119	1	120
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	119	2	121

Error

Counts

121 → 2

Compiler

Compiled 2061 to 997 computations (51.6% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b	(-.f64 (+.f64 1 (/.f64 x y)) (/.f64 1 y))

rewrite54.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

17×	`*-un-lft-identity_binary64_7580`
15×	`add-sqr-sqrt_binary64_7602`
13×	`cancel-sign-sub-inv_binary64_7546`
11×	`times-frac_binary64_7586`
8×	`add-cube-cbrt_binary64_7615`
6×	`add-log-exp_binary64_7619`
4×	`distribute-lft-out--_binary64_7532`
3×	`difference-of-squares_binary64_7549` `div-inv_binary64_7577`
2×	`diff-log_binary64_7672` `frac-sub_binary64_7589` `distribute-lft-out_binary64_7531`
1×	`sum-log_binary64_7671` `pow1_binary64_7641` `add-exp-log_binary64_7618` `add-cbrt-cube_binary64_7616` `flip3-+_binary64_7583` `flip-+_binary64_7554` `flip3--_binary64_7584` `sub-neg_binary64_7573` `flip--_binary64_7555` `associate--l+_binary64_7517`

Counts

1 → 35

Calls

1 calls:

14.0ms

(-.f64 (+.f64 1 (/.f64 x y)) (/.f64 1 y))

Compiler

Compiled 667 to 416 computations (37.6% saved)

series126.0ms (4.5%)

Error

Counts

1 → 12

Calls

1 calls:

119.0ms

(-.f64 (+.f64 1 (/.f64 x y)) (/.f64 1 y))

Compiler

Compiled 198 to 161 computations (18.7% saved)

simplify846.0ms (30.3%)

Algorithm

1×	egg-herbie

Rules

358×	`associate-/r/_binary64_7526`
246×	`distribute-rgt-in_binary64_7530`
225×	`distribute-lft-in_binary64_7529`
200×	`div-sub_binary64_7585` `unsub-neg_binary64_7574`
176×	`associate-l_binary64_7521`
166×	`associate-/l*_binary64_7525`
162×	`associate-r_binary64_7520`
151×	`associate-*l/_binary64_7523`
149×	`distribute-lft-neg-out_binary64_7539` `associate-+l-_binary64_7515`
143×	`distribute-rgt-neg-out_binary64_7540`
135×	`sub-neg_binary64_7573` `cancel-sign-sub-inv_binary64_7546`
123×	`associate--l+_binary64_7517`
118×	`distribute-rgt-out_binary64_7533`
115×	`associate--r+_binary64_7516`
94×	`associate-*r/_binary64_7522`
93×	`unswap-sqr_binary64_7548`
92×	`exp-prod_binary64_7632`
78×	`times-frac_binary64_7586`
76×	`sqr-pow_binary64_7552`
71×	`*-commutative_binary64_7511`
67×	`associate-+l+_binary64_7513`
66×	`neg-sub0_binary64_7575`
62×	`distribute-lft-out_binary64_7531`
58×	`distribute-neg-frac_binary64_7544`
55×	`distribute-rgt-neg-in_binary64_7538`
53×	`+-commutative_binary64_7510`
52×	`neg-mul-1_binary64_7576`
51×	`distribute-frac-neg_binary64_7543`
48×	`exp-sum_binary64_7626` `associate-/l/_binary64_7527`
47×	`distribute-rgt-out--_binary64_7534`
43×	`associate-+r+_binary64_7512`
42×	`pow-sqr_binary64_7553` `associate--l-_binary64_7518`
37×	`cube-prod_binary64_7608`
35×	`associate-/r*_binary64_7524`
33×	`*-rgt-identity_binary64_7570`
32×	`distribute-neg-out_binary64_7542`
31×	`difference-of-squares_binary64_7549` `associate--r-_binary64_7519`
28×	`*-lft-identity_binary64_7569`
27×	`swap-sqr_binary64_7547` `distribute-lft-neg-in_binary64_7537`
26×	`cube-div_binary64_7609`
25×	`distribute-neg-in_binary64_7541`
21×	`div-exp_binary64_7631`
19×	`mul0-rgt_binary64_7563` `mul0-lft_binary64_7562`
17×	`pow-plus_binary64_7643` `prod-exp_binary64_7629`
16×	`associate-+r-_binary64_7514`
15×	`exp-diff_binary64_7628`
14×	`/-rgt-identity_binary64_7571` `sub0-neg_binary64_7567` `distribute-rgt1-in_binary64_7536`
13×	`+-rgt-identity_binary64_7565` `remove-double-div_binary64_7556`
10×	`div0_binary64_7561`
9×	`unpow3_binary64_7646` `cube-unmult_binary64_7617`
7×	`cube-mult_binary64_7610`
6×	`pow-base-1_binary64_7640` `exp-neg_binary64_7627` `rem-sqrt-square_binary64_7593` `distribute-lft1-in_binary64_7535`
5×	`mul-1-neg_binary64_7572` `distribute-lft-out--_binary64_7532`
4×	`rec-exp_binary64_7630`
3×	`remove-double-neg_binary64_7568`
2×	`log-prod_binary64_7666` `sqr-neg_binary64_7594` `rem-square-sqrt_binary64_7592` `--rgt-identity_binary64_7566` `difference-of-sqr-1_binary64_7550`
1×	`log-div_binary64_7667` `1-exp_binary64_7624` `exp-1-e_binary64_7623` `cube-neg_binary64_7607` `rem-3cbrt-rft_binary64_7606` `rem-3cbrt-lft_binary64_7605` `rem-cbrt-cube_binary64_7604` `sqr-abs_binary64_7595` `count-2_binary64_7528`
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_7843` `erf-erfc_binary64_7842` `erf-odd_binary64_7841` `if-if-and-not_binary64_7840` `if-if-and_binary64_7839` `if-if-or-not_binary64_7838` `if-if-or_binary64_7837` `if-not_binary64_7836` `if-same_binary64_7835` `if-false_binary64_7834` `if-true_binary64_7833` `not-gte_binary64_7832` `not-lte_binary64_7831` `not-gt_binary64_7830` `not-lt_binary64_7829` `gte-same_binary64_7828` `lte-same_binary64_7827` `gt-same_binary64_7826` `lt-same_binary64_7825` `sinh---cosh_binary64_7772` `sinh-+-cosh_binary64_7771` `sinh-cosh_binary64_7770` `tanh-def-c_binary64_7769` `tanh-def-b_binary64_7768` `tanh-def-a_binary64_7767` `cosh-def_binary64_7766` `sinh-def_binary64_7765` `tan-neg_binary64_7712` `cos-neg_binary64_7711` `sin-neg_binary64_7710` `tan-0_binary64_7709` `cos-0_binary64_7708` `sin-0_binary64_7707` `hang-m-tan_binary64_7706` `hang-p-tan_binary64_7705` `hang-m0-tan_binary64_7704` `hang-p0-tan_binary64_7703` `hang-0m-tan_binary64_7702` `hang-0p-tan_binary64_7701` `tan-+PI/2_binary64_7700` `tan-+PI_binary64_7699` `tan-PI_binary64_7698` `tan-PI/3_binary64_7697` `tan-PI/4_binary64_7696` `tan-PI/6_binary64_7695` `cos-+PI/2_binary64_7694` `cos-+PI_binary64_7693` `cos-PI_binary64_7692` `cos-PI/2_binary64_7691` `cos-PI/3_binary64_7690` `cos-PI/4_binary64_7689` `cos-PI/6_binary64_7688` `sin-+PI/2_binary64_7687` `sin-+PI_binary64_7686` `sin-PI_binary64_7685` `sin-PI/2_binary64_7684` `sin-PI/3_binary64_7683` `sin-PI/4_binary64_7682` `sin-PI/6_binary64_7681` `sub-1-sin_binary64_7680` `sub-1-cos_binary64_7679` `-1-add-sin_binary64_7678` `-1-add-cos_binary64_7677` `1-sub-sin_binary64_7676` `1-sub-cos_binary64_7675` `cos-sin-sum_binary64_7674` `log-E_binary64_7670` `log-pow_binary64_7669` `log-rec_binary64_7668` `pow-base-0_binary64_7664` `unpow1/3_binary64_7647` `unpow2_binary64_7645` `unpow1/2_binary64_7644` `exp-to-pow_binary64_7642` `unpow0_binary64_7639` `unpow1_binary64_7638` `unpow-1_binary64_7637` `exp-lft-cube_binary64_7636` `exp-lft-sqr_binary64_7635` `exp-cbrt_binary64_7634` `exp-sqrt_binary64_7633` `e-exp-1_binary64_7625` `exp-0_binary64_7622` `rem-log-exp_binary64_7621` `rem-exp-log_binary64_7620` `rem-cube-cbrt_binary64_7603` `+-lft-identity_binary64_7564` `*-inverses_binary64_7560` `+-inverses_binary64_7559` `lft-mult-inverse_binary64_7558` `rgt-mult-inverse_binary64_7557` `difference-of-sqr--1_binary64_7551` `cancel-sign-sub_binary64_7545`

Counts

47 → 134

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	113	644
1	311	595
2	765	586
3	2583	586

prune151.0ms (5.4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

136 → 2

Compiler

Compiled 2732 to 1584 computations (42% saved)

regimes81.0ms (2.9%)

Accuracy

Total 0.0b remaining (56.9%)

Threshold costs 0.0b (56.9%)

Compiler

Compiled 362 to 341 computations (5.8% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary64_7510`
1×	`1-exp_binary64_7624`
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_7840` `if-if-and_binary64_7839` `if-if-or-not_binary64_7838` `if-if-or_binary64_7837` `if-not_binary64_7836` `if-same_binary64_7835` `if-false_binary64_7834` `if-true_binary64_7833` `tan-0_binary64_7709` `cos-0_binary64_7708` `sin-0_binary64_7707` `unpow1_binary64_7638` `e-exp-1_binary64_7625` `exp-1-e_binary64_7623` `exp-0_binary64_7622` `sqr-abs_binary64_7595` `sqr-neg_binary64_7594` `neg-mul-1_binary64_7576` `neg-sub0_binary64_7575` `unsub-neg_binary64_7574` `sub-neg_binary64_7573` `mul-1-neg_binary64_7572` `/-rgt-identity_binary64_7571` `-rgt-identity_binary64_7570` `-lft-identity_binary64_7569` `remove-double-neg_binary64_7568` `sub0-neg_binary64_7567` `--rgt-identity_binary64_7566` `+-rgt-identity_binary64_7565` `+-lft-identity_binary64_7564` `cancel-sign-sub-inv_binary64_7546` `cancel-sign-sub_binary64_7545` `distribute-neg-frac_binary64_7544` `distribute-frac-neg_binary64_7543` `distribute-neg-out_binary64_7542` `distribute-neg-in_binary64_7541` `distribute-rgt-neg-out_binary64_7540` `distribute-lft-neg-out_binary64_7539` `distribute-rgt-neg-in_binary64_7538` `distribute-lft-neg-in_binary64_7537` `*-commutative_binary64_7511`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	16
1	12	16

Proof

(+ f64 (/ f64 h0 (+ f64 h0 1)) (/ f64 h1 (+ f64 h0 1)))

end0.0ms (0%)

sample782.0ms (28.1%)

Algorithm

1×

intervals

Results

178.0ms	7997×	body	128	valid
0.0ms	2×	body	512	valid
0.0ms	1×	body	1024	valid

Compiler

Compiled 126 to 117 computations (7.1% saved)

Details

analyze36.0ms (1.3%)

sample14.0ms (0.5%)

simplify157.0ms (5.6%)

prune2.0ms (0.1%)

localize5.0ms (0.2%)

rewrite48.0ms (1.7%)

series155.0ms (5.5%)

simplify210.0ms (7.5%)

prune113.0ms (4%)

localize6.0ms (0.2%)

rewrite54.0ms (1.9%)

series126.0ms (4.5%)

simplify846.0ms (30.3%)

prune151.0ms (5.4%)

regimes81.0ms (2.9%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample782.0ms (28.1%)

Profiling