Details

analyze593.0ms (5.2%)

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
18.7%	81.1%	0.2%	9
21.8%	78%	0.2%	10
25%	74.9%	0.2%	11
34.7%	64.9%	0.4%	12
47.2%	51.9%	0.9%	13
49%	49.2%	1.8%	14

Compiler

Compiled 8 to 8 computations (0% saved)

sample22.0ms (0.2%)

Algorithm

1×

intervals

Results

7.0ms	256×	body	128	valid
1.0ms	56×	body	128	invalid

Compiler

Compiled 15 to 19 computations (-26.7% saved)

simplify100.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

14×	`associate-/l*_binary64_5820`
9×	`associate-/r/_binary64_5821` `associate-*r/_binary64_5817`
7×	`*-commutative_binary64_5806`
6×	`associate-/r*_binary64_5819`
4×	`times-frac_binary64_5881` `associate-/l/_binary64_5822` `associate-*l/_binary64_5818`
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_6138` `erf-erfc_binary64_6137` `erf-odd_binary64_6136` `if-if-and-not_binary64_6135` `if-if-and_binary64_6134` `if-if-or-not_binary64_6133` `if-if-or_binary64_6132` `if-not_binary64_6131` `if-same_binary64_6130` `if-false_binary64_6129` `if-true_binary64_6128` `not-gte_binary64_6127` `not-lte_binary64_6126` `not-gt_binary64_6125` `not-lt_binary64_6124` `gte-same_binary64_6123` `lte-same_binary64_6122` `gt-same_binary64_6121` `lt-same_binary64_6120` `sinh---cosh_binary64_6067` `sinh-+-cosh_binary64_6066` `sinh-cosh_binary64_6065` `tanh-def-c_binary64_6064` `tanh-def-b_binary64_6063` `tanh-def-a_binary64_6062` `cosh-def_binary64_6061` `sinh-def_binary64_6060` `tan-neg_binary64_6007` `cos-neg_binary64_6006` `sin-neg_binary64_6005` `tan-0_binary64_6004` `cos-0_binary64_6003` `sin-0_binary64_6002` `hang-m-tan_binary64_6001` `hang-p-tan_binary64_6000` `hang-m0-tan_binary64_5999` `hang-p0-tan_binary64_5998` `hang-0m-tan_binary64_5997` `hang-0p-tan_binary64_5996` `tan-+PI/2_binary64_5995` `tan-+PI_binary64_5994` `tan-PI_binary64_5993` `tan-PI/3_binary64_5992` `tan-PI/4_binary64_5991` `tan-PI/6_binary64_5990` `cos-+PI/2_binary64_5989` `cos-+PI_binary64_5988` `cos-PI_binary64_5987` `cos-PI/2_binary64_5986` `cos-PI/3_binary64_5985` `cos-PI/4_binary64_5984` `cos-PI/6_binary64_5983` `sin-+PI/2_binary64_5982` `sin-+PI_binary64_5981` `sin-PI_binary64_5980` `sin-PI/2_binary64_5979` `sin-PI/3_binary64_5978` `sin-PI/4_binary64_5977` `sin-PI/6_binary64_5976` `sub-1-sin_binary64_5975` `sub-1-cos_binary64_5974` `-1-add-sin_binary64_5973` `-1-add-cos_binary64_5972` `1-sub-sin_binary64_5971` `1-sub-cos_binary64_5970` `cos-sin-sum_binary64_5969` `log-E_binary64_5965` `log-pow_binary64_5964` `log-rec_binary64_5963` `log-div_binary64_5962` `log-prod_binary64_5961` `pow-base-0_binary64_5959` `unpow1/3_binary64_5942` `unpow3_binary64_5941` `unpow2_binary64_5940` `unpow1/2_binary64_5939` `pow-plus_binary64_5938` `exp-to-pow_binary64_5937` `pow-base-1_binary64_5935` `unpow0_binary64_5934` `unpow1_binary64_5933` `unpow-1_binary64_5932` `exp-lft-cube_binary64_5931` `exp-lft-sqr_binary64_5930` `exp-cbrt_binary64_5929` `exp-sqrt_binary64_5928` `exp-prod_binary64_5927` `div-exp_binary64_5926` `rec-exp_binary64_5925` `prod-exp_binary64_5924` `exp-diff_binary64_5923` `exp-neg_binary64_5922` `exp-sum_binary64_5921` `e-exp-1_binary64_5920` `1-exp_binary64_5919` `exp-1-e_binary64_5918` `exp-0_binary64_5917` `rem-log-exp_binary64_5916` `rem-exp-log_binary64_5915` `cube-unmult_binary64_5912` `cube-mult_binary64_5905` `cube-div_binary64_5904` `cube-prod_binary64_5903` `cube-neg_binary64_5902` `rem-3cbrt-rft_binary64_5901` `rem-3cbrt-lft_binary64_5900` `rem-cbrt-cube_binary64_5899` `rem-cube-cbrt_binary64_5898` `sqr-abs_binary64_5890` `sqr-neg_binary64_5889` `rem-sqrt-square_binary64_5888` `rem-square-sqrt_binary64_5887` `div-sub_binary64_5880` `neg-mul-1_binary64_5871` `neg-sub0_binary64_5870` `unsub-neg_binary64_5869` `sub-neg_binary64_5868` `mul-1-neg_binary64_5867` `/-rgt-identity_binary64_5866` `-rgt-identity_binary64_5865` `-lft-identity_binary64_5864` `remove-double-neg_binary64_5863` `sub0-neg_binary64_5862` `--rgt-identity_binary64_5861` `+-rgt-identity_binary64_5860` `+-lft-identity_binary64_5859` `mul0-rgt_binary64_5858` `mul0-lft_binary64_5857` `div0_binary64_5856` `-inverses_binary64_5855` `+-inverses_binary64_5854` `lft-mult-inverse_binary64_5853` `rgt-mult-inverse_binary64_5852` `remove-double-div_binary64_5851` `pow-sqr_binary64_5848` `sqr-pow_binary64_5847` `difference-of-sqr--1_binary64_5846` `difference-of-sqr-1_binary64_5845` `difference-of-squares_binary64_5844` `unswap-sqr_binary64_5843` `swap-sqr_binary64_5842` `cancel-sign-sub-inv_binary64_5841` `cancel-sign-sub_binary64_5840` `distribute-neg-frac_binary64_5839` `distribute-frac-neg_binary64_5838` `distribute-neg-out_binary64_5837` `distribute-neg-in_binary64_5836` `distribute-rgt-neg-out_binary64_5835` `distribute-lft-neg-out_binary64_5834` `distribute-rgt-neg-in_binary64_5833` `distribute-lft-neg-in_binary64_5832` `distribute-rgt1-in_binary64_5831` `distribute-lft1-in_binary64_5830` `distribute-rgt-out--_binary64_5829` `distribute-rgt-out_binary64_5828` `distribute-lft-out--_binary64_5827` `distribute-lft-out_binary64_5826` `distribute-rgt-in_binary64_5825` `distribute-lft-in_binary64_5824` `count-2_binary64_5823` `associate-l_binary64_5816` `associate-r*_binary64_5815` `associate--r-_binary64_5814` `associate--l-_binary64_5813` `associate--l+_binary64_5812` `associate--r+_binary64_5811` `associate-+l-_binary64_5810` `associate-+r-_binary64_5809` `associate-+l+_binary64_5808` `associate-+r+_binary64_5807` `+-commutative_binary64_5805`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	17	10
2	38	10
3	63	10
4	69	10
5	68	10
6	68	10

prune2.0ms (0%)

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

11.2b

Counts

1 → 1

Compiler

Compiled 7 to 7 computations (0% saved)

localize10.0ms (0.1%)

Local error

Found 1 expressions with local error:

11.0b

(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))

rewrite29.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

13×	`add-exp-log_binary64_5913` `add-cbrt-cube_binary64_5911`
4×	`prod-exp_binary64_5924` `div-exp_binary64_5926` `cbrt-undiv_binary64_5909` `cbrt-unprod_binary64_5908`
1×	`pow1_binary64_5936` `add-log-exp_binary64_5914` `add-cube-cbrt_binary64_5910` `add-sqr-sqrt_binary64_5897` `frac-2neg_binary64_5886` `times-frac_binary64_5881` `-un-lft-identity_binary64_5875` `clear-num_binary64_5874` `div-inv_binary64_5872` `associate-/l_binary64_5820` `associate-/r*_binary64_5819`

Counts

1 → 21

Calls

1 calls:

6.0ms

(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))

Compiler

Compiled 291 to 77 computations (73.5% saved)

series202.0ms (1.8%)

Error

11.2b

Counts

1 → 12

Calls

1 calls:

197.0ms

(/.f64 (*.f64 a1 a2) (*.f64 b1 b2))

Compiler

Compiled 252 to 175 computations (30.6% saved)

simplify88.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

579×	`associate-/r*_binary64_5819`
393×	`associate-l_binary64_5816`
381×	`associate-*l/_binary64_5818`
297×	`associate-*r/_binary64_5817`
271×	`associate-r_binary64_5815`
251×	`div-sub_binary64_5880`
204×	`associate-/l/_binary64_5822`
181×	`times-frac_binary64_5881`
141×	`sub-neg_binary64_5868`
132×	`distribute-rgt-in_binary64_5825`
126×	`*-commutative_binary64_5806`
113×	`associate-/r/_binary64_5821`
98×	`sqr-pow_binary64_5847`
97×	`associate--r+_binary64_5811`
89×	`associate--l+_binary64_5812`
87×	`associate-/l*_binary64_5820`
73×	`distribute-lft-in_binary64_5824`
65×	`unswap-sqr_binary64_5843`
55×	`+-commutative_binary64_5805`
47×	`associate-+l-_binary64_5810` `associate-+l+_binary64_5808`
42×	`associate-+r+_binary64_5807`
40×	`distribute-neg-in_binary64_5836`
35×	`neg-mul-1_binary64_5871`
34×	`log-div_binary64_5962` `cube-div_binary64_5904` `swap-sqr_binary64_5842` `cancel-sign-sub-inv_binary64_5841`
31×	`neg-sub0_binary64_5870` `associate--r-_binary64_5814`
24×	`log-prod_binary64_5961`
23×	`unsub-neg_binary64_5869`
21×	`cube-prod_binary64_5903`
17×	`unpow3_binary64_5941` `cube-mult_binary64_5905`
15×	`sub0-neg_binary64_5862` `pow-sqr_binary64_5848`
14×	`associate-+r-_binary64_5809`
12×	`distribute-lft-neg-in_binary64_5832`
11×	`remove-double-neg_binary64_5863` `+-rgt-identity_binary64_5860`
10×	`--rgt-identity_binary64_5861`
8×	`associate--l-_binary64_5813`
7×	`exp-prod_binary64_5927` `cube-unmult_binary64_5912`
5×	`distribute-rgt-neg-in_binary64_5833`
4×	`mul0-rgt_binary64_5858` `mul0-lft_binary64_5857` `distribute-neg-out_binary64_5837` `distribute-lft-neg-out_binary64_5834` `distribute-lft-out--_binary64_5827`
2×	`exp-diff_binary64_5923` `*-lft-identity_binary64_5864` `+-lft-identity_binary64_5859`
1×	`exp-sum_binary64_5921` `1-exp_binary64_5919` `distribute-rgt-neg-out_binary64_5835` `distribute-lft-out_binary64_5826`
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_6138` `erf-erfc_binary64_6137` `erf-odd_binary64_6136` `if-if-and-not_binary64_6135` `if-if-and_binary64_6134` `if-if-or-not_binary64_6133` `if-if-or_binary64_6132` `if-not_binary64_6131` `if-same_binary64_6130` `if-false_binary64_6129` `if-true_binary64_6128` `not-gte_binary64_6127` `not-lte_binary64_6126` `not-gt_binary64_6125` `not-lt_binary64_6124` `gte-same_binary64_6123` `lte-same_binary64_6122` `gt-same_binary64_6121` `lt-same_binary64_6120` `sinh---cosh_binary64_6067` `sinh-+-cosh_binary64_6066` `sinh-cosh_binary64_6065` `tanh-def-c_binary64_6064` `tanh-def-b_binary64_6063` `tanh-def-a_binary64_6062` `cosh-def_binary64_6061` `sinh-def_binary64_6060` `tan-neg_binary64_6007` `cos-neg_binary64_6006` `sin-neg_binary64_6005` `tan-0_binary64_6004` `cos-0_binary64_6003` `sin-0_binary64_6002` `hang-m-tan_binary64_6001` `hang-p-tan_binary64_6000` `hang-m0-tan_binary64_5999` `hang-p0-tan_binary64_5998` `hang-0m-tan_binary64_5997` `hang-0p-tan_binary64_5996` `tan-+PI/2_binary64_5995` `tan-+PI_binary64_5994` `tan-PI_binary64_5993` `tan-PI/3_binary64_5992` `tan-PI/4_binary64_5991` `tan-PI/6_binary64_5990` `cos-+PI/2_binary64_5989` `cos-+PI_binary64_5988` `cos-PI_binary64_5987` `cos-PI/2_binary64_5986` `cos-PI/3_binary64_5985` `cos-PI/4_binary64_5984` `cos-PI/6_binary64_5983` `sin-+PI/2_binary64_5982` `sin-+PI_binary64_5981` `sin-PI_binary64_5980` `sin-PI/2_binary64_5979` `sin-PI/3_binary64_5978` `sin-PI/4_binary64_5977` `sin-PI/6_binary64_5976` `sub-1-sin_binary64_5975` `sub-1-cos_binary64_5974` `-1-add-sin_binary64_5973` `-1-add-cos_binary64_5972` `1-sub-sin_binary64_5971` `1-sub-cos_binary64_5970` `cos-sin-sum_binary64_5969` `log-E_binary64_5965` `log-pow_binary64_5964` `log-rec_binary64_5963` `pow-base-0_binary64_5959` `unpow1/3_binary64_5942` `unpow2_binary64_5940` `unpow1/2_binary64_5939` `pow-plus_binary64_5938` `exp-to-pow_binary64_5937` `pow-base-1_binary64_5935` `unpow0_binary64_5934` `unpow1_binary64_5933` `unpow-1_binary64_5932` `exp-lft-cube_binary64_5931` `exp-lft-sqr_binary64_5930` `exp-cbrt_binary64_5929` `exp-sqrt_binary64_5928` `div-exp_binary64_5926` `rec-exp_binary64_5925` `prod-exp_binary64_5924` `exp-neg_binary64_5922` `e-exp-1_binary64_5920` `exp-1-e_binary64_5918` `exp-0_binary64_5917` `rem-log-exp_binary64_5916` `rem-exp-log_binary64_5915` `cube-neg_binary64_5902` `rem-3cbrt-rft_binary64_5901` `rem-3cbrt-lft_binary64_5900` `rem-cbrt-cube_binary64_5899` `rem-cube-cbrt_binary64_5898` `sqr-abs_binary64_5890` `sqr-neg_binary64_5889` `rem-sqrt-square_binary64_5888` `rem-square-sqrt_binary64_5887` `mul-1-neg_binary64_5867` `/-rgt-identity_binary64_5866` `-rgt-identity_binary64_5865` `div0_binary64_5856` `-inverses_binary64_5855` `+-inverses_binary64_5854` `lft-mult-inverse_binary64_5853` `rgt-mult-inverse_binary64_5852` `remove-double-div_binary64_5851` `difference-of-sqr--1_binary64_5846` `difference-of-sqr-1_binary64_5845` `difference-of-squares_binary64_5844` `cancel-sign-sub_binary64_5840` `distribute-neg-frac_binary64_5839` `distribute-frac-neg_binary64_5838` `distribute-rgt1-in_binary64_5831` `distribute-lft1-in_binary64_5830` `distribute-rgt-out--_binary64_5829` `distribute-rgt-out_binary64_5828` `count-2_binary64_5823`

Counts

33 → 17

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	54	475
1	155	370
2	779	370
3	3457	370
4	3762	370
5	4079	370
6	4763	370
7	5076	370

prune16.0ms (0.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	14	3	17
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	14	4	18

Error

0.1b

Counts

18 → 4

Compiler

Compiled 265 to 59 computations (77.7% saved)

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

4.6b	(/.f64 b1 (/.f64 a2 b2))
6.0b	(/.f64 a1 (/.f64 b1 (/.f64 a2 b2)))

rewrite306.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

471×	`times-frac_binary64_5881`
229×	`add-cube-cbrt_binary64_5910` `add-sqr-sqrt_binary64_5897` `*-un-lft-identity_binary64_5875`
57×	`associate-/r*_binary64_5819`
22×	`div-inv_binary64_5872`
16×	`add-exp-log_binary64_5913` `add-cbrt-cube_binary64_5911`
9×	`div-exp_binary64_5926` `cbrt-undiv_binary64_5909`
6×	`associate-/r/_binary64_5821` `associate-/l*_binary64_5820`
2×	`pow1_binary64_5936` `add-log-exp_binary64_5914` `frac-2neg_binary64_5886` `clear-num_binary64_5874`

Counts

2 → 266

Calls

2 calls:

14.0ms	(/.f64 a1 (/.f64 b1 (/.f64 a2 b2)))
6.0ms	(/.f64 b1 (/.f64 a2 b2))

Compiler

Compiled 5203 to 1261 computations (75.8% saved)

series280.0ms (2.5%)

Error

0.1b

Counts

2 → 21

Calls

2 calls:

180.0ms	(/.f64 a1 (/.f64 b1 (/.f64 a2 b2)))
90.0ms	(/.f64 b1 (/.f64 a2 b2))

Compiler

Compiled 441 to 303 computations (31.3% saved)

simplify299.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

563×	`associate-/r/_binary64_5821`
414×	`associate-/l/_binary64_5822`
381×	`associate-*l/_binary64_5818`
332×	`associate-*r/_binary64_5817`
323×	`*-commutative_binary64_5806`
297×	`sub-neg_binary64_5868`
242×	`associate-/r*_binary64_5819`
168×	`associate-/l*_binary64_5820`
164×	`div-sub_binary64_5880`
111×	`associate-r_binary64_5815`
101×	`*-rgt-identity_binary64_5865`
98×	`times-frac_binary64_5881`
97×	`sqr-pow_binary64_5847`
74×	`associate--r+_binary64_5811`
73×	`unsub-neg_binary64_5869`
71×	`associate-+l-_binary64_5810`
68×	`neg-mul-1_binary64_5871` `associate--l-_binary64_5813`
63×	`associate--r-_binary64_5814`
59×	`associate-+r-_binary64_5809`
57×	`associate--l+_binary64_5812`
55×	`neg-sub0_binary64_5870`
54×	`log-div_binary64_5962` `associate-l_binary64_5816`
49×	`cube-prod_binary64_5903`
47×	`log-prod_binary64_5961`
43×	`associate-+r+_binary64_5807`
41×	`cube-div_binary64_5904`
39×	`associate-+l+_binary64_5808`
38×	`swap-sqr_binary64_5842`
35×	`exp-prod_binary64_5927` `cancel-sign-sub-inv_binary64_5841`
28×	`distribute-rgt-in_binary64_5825`
26×	`unswap-sqr_binary64_5843`
23×	`distribute-neg-in_binary64_5836` `distribute-lft-neg-in_binary64_5832` `+-commutative_binary64_5805`
22×	`distribute-rgt-neg-in_binary64_5833`
21×	`*-lft-identity_binary64_5864`
20×	`sub0-neg_binary64_5862` `remove-double-div_binary64_5851`
17×	`unpow3_binary64_5941` `cube-mult_binary64_5905` `distribute-neg-frac_binary64_5839`
15×	`/-rgt-identity_binary64_5866`
13×	`--rgt-identity_binary64_5861` `pow-sqr_binary64_5848`
11×	`+-rgt-identity_binary64_5860`
8×	`log-rec_binary64_5963` `unpow1/2_binary64_5939` `distribute-lft-in_binary64_5824`
7×	`cube-unmult_binary64_5912`
6×	`div0_binary64_5856`
5×	`remove-double-neg_binary64_5863`
4×	`distribute-lft-neg-out_binary64_5834`
3×	`exp-diff_binary64_5923` `exp-sum_binary64_5921`
2×	`+-lft-identity_binary64_5859` `distribute-neg-out_binary64_5837` `distribute-rgt-neg-out_binary64_5835`
1×	`1-exp_binary64_5919` `exp-1-e_binary64_5918` `rem-sqrt-square_binary64_5888` `mul0-rgt_binary64_5858` `mul0-lft_binary64_5857` `+-inverses_binary64_5854` `count-2_binary64_5823`
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_6138` `erf-erfc_binary64_6137` `erf-odd_binary64_6136` `if-if-and-not_binary64_6135` `if-if-and_binary64_6134` `if-if-or-not_binary64_6133` `if-if-or_binary64_6132` `if-not_binary64_6131` `if-same_binary64_6130` `if-false_binary64_6129` `if-true_binary64_6128` `not-gte_binary64_6127` `not-lte_binary64_6126` `not-gt_binary64_6125` `not-lt_binary64_6124` `gte-same_binary64_6123` `lte-same_binary64_6122` `gt-same_binary64_6121` `lt-same_binary64_6120` `sinh---cosh_binary64_6067` `sinh-+-cosh_binary64_6066` `sinh-cosh_binary64_6065` `tanh-def-c_binary64_6064` `tanh-def-b_binary64_6063` `tanh-def-a_binary64_6062` `cosh-def_binary64_6061` `sinh-def_binary64_6060` `tan-neg_binary64_6007` `cos-neg_binary64_6006` `sin-neg_binary64_6005` `tan-0_binary64_6004` `cos-0_binary64_6003` `sin-0_binary64_6002` `hang-m-tan_binary64_6001` `hang-p-tan_binary64_6000` `hang-m0-tan_binary64_5999` `hang-p0-tan_binary64_5998` `hang-0m-tan_binary64_5997` `hang-0p-tan_binary64_5996` `tan-+PI/2_binary64_5995` `tan-+PI_binary64_5994` `tan-PI_binary64_5993` `tan-PI/3_binary64_5992` `tan-PI/4_binary64_5991` `tan-PI/6_binary64_5990` `cos-+PI/2_binary64_5989` `cos-+PI_binary64_5988` `cos-PI_binary64_5987` `cos-PI/2_binary64_5986` `cos-PI/3_binary64_5985` `cos-PI/4_binary64_5984` `cos-PI/6_binary64_5983` `sin-+PI/2_binary64_5982` `sin-+PI_binary64_5981` `sin-PI_binary64_5980` `sin-PI/2_binary64_5979` `sin-PI/3_binary64_5978` `sin-PI/4_binary64_5977` `sin-PI/6_binary64_5976` `sub-1-sin_binary64_5975` `sub-1-cos_binary64_5974` `-1-add-sin_binary64_5973` `-1-add-cos_binary64_5972` `1-sub-sin_binary64_5971` `1-sub-cos_binary64_5970` `cos-sin-sum_binary64_5969` `log-E_binary64_5965` `log-pow_binary64_5964` `pow-base-0_binary64_5959` `unpow1/3_binary64_5942` `unpow2_binary64_5940` `pow-plus_binary64_5938` `exp-to-pow_binary64_5937` `pow-base-1_binary64_5935` `unpow0_binary64_5934` `unpow1_binary64_5933` `unpow-1_binary64_5932` `exp-lft-cube_binary64_5931` `exp-lft-sqr_binary64_5930` `exp-cbrt_binary64_5929` `exp-sqrt_binary64_5928` `div-exp_binary64_5926` `rec-exp_binary64_5925` `prod-exp_binary64_5924` `exp-neg_binary64_5922` `e-exp-1_binary64_5920` `exp-0_binary64_5917` `rem-log-exp_binary64_5916` `rem-exp-log_binary64_5915` `cube-neg_binary64_5902` `rem-3cbrt-rft_binary64_5901` `rem-3cbrt-lft_binary64_5900` `rem-cbrt-cube_binary64_5899` `rem-cube-cbrt_binary64_5898` `sqr-abs_binary64_5890` `sqr-neg_binary64_5889` `rem-square-sqrt_binary64_5887` `mul-1-neg_binary64_5867` `*-inverses_binary64_5855` `lft-mult-inverse_binary64_5853` `rgt-mult-inverse_binary64_5852` `difference-of-sqr--1_binary64_5846` `difference-of-sqr-1_binary64_5845` `difference-of-squares_binary64_5844` `cancel-sign-sub_binary64_5840` `distribute-frac-neg_binary64_5838` `distribute-rgt1-in_binary64_5831` `distribute-lft1-in_binary64_5830` `distribute-rgt-out--_binary64_5829` `distribute-rgt-out_binary64_5828` `distribute-lft-out--_binary64_5827` `distribute-lft-out_binary64_5826`

Counts

287 → 373

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	448	6532
1	986	6310
2	3704	6307
3	3637	6307
4	4538	6307
5	4664	6307
6	4977	6307

prune278.0ms (2.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	367	6	373
Fresh	1	1	2
Picked	0	1	1
Done	1	0	1
Total	369	8	377

Error

Counts

377 → 8

Compiler

Compiled 6254 to 1177 computations (81.2% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 b1)
0.7b	(.f64 (/.f64 (.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) a2)
1.8b	(/.f64 (cbrt.f64 a1) (*.f64 b2 (cbrt.f64 b1)))
3.9b	(.f64 (.f64 (/.f64 (.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (.f64 (cbrt.f64 b1) (cbrt.f64 b1))) a2) (/.f64 (cbrt.f64 a1) (*.f64 b2 (cbrt.f64 b1))))

rewrite167.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

120×	`add-exp-log_binary64_5913`
67×	`add-cbrt-cube_binary64_5911`
61×	`prod-exp_binary64_5924` `cbrt-unprod_binary64_5908`
30×	`div-exp_binary64_5926` `cbrt-undiv_binary64_5909`
17×	`add-sqr-sqrt_binary64_5897`
14×	`add-cube-cbrt_binary64_5910` `*-un-lft-identity_binary64_5875` `times-frac_binary64_5881`
13×	`associate-r_binary64_5815`
12×	`cbrt-prod_binary64_5906`
11×	`pow1_binary64_5936`
6×	`associate-l_binary64_5816` `associate-/l*_binary64_5820`
4×	`pow-prod-down_binary64_5946` `add-log-exp_binary64_5914` `associate-*l/_binary64_5818`
3×	`div-inv_binary64_5872`
2×	`*-commutative_binary64_5806` `unswap-sqr_binary64_5843`
1×	`frac-times_binary64_5885` `associate-r/_binary64_5817` `frac-2neg_binary64_5886` `clear-num_binary64_5874` `associate-/r_binary64_5819` `pow1/3_binary64_5957`

Counts

4 → 128

Calls

4 calls:

20.0ms	(.f64 (.f64 (/.f64 (.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (.f64 (cbrt.f64 b1) (cbrt.f64 b1))) a2) (/.f64 (cbrt.f64 a1) (*.f64 b2 (cbrt.f64 b1))))
13.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) a2)
6.0ms	(/.f64 (cbrt.f64 a1) (*.f64 b2 (cbrt.f64 b1)))
1.0ms	(cbrt.f64 b1)

Compiler

Compiled 3976 to 432 computations (89.1% saved)

series1.2s (10.6%)

Error

Counts

4 → 33

Calls

4 calls:

467.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (*.f64 (cbrt.f64 b1) (cbrt.f64 b1))) a2)
380.0ms	(/.f64 (cbrt.f64 a1) (*.f64 b2 (cbrt.f64 b1)))
246.0ms	(.f64 (.f64 (/.f64 (.f64 (cbrt.f64 a1) (cbrt.f64 a1)) (.f64 (cbrt.f64 b1) (cbrt.f64 b1))) a2) (/.f64 (cbrt.f64 a1) (*.f64 b2 (cbrt.f64 b1))))
84.0ms	(cbrt.f64 b1)

Compiler

Compiled 1845 to 1302 computations (29.4% saved)

simplify132.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

446×	`associate-/l/_binary64_5822`
368×	`associate-l_binary64_5816`
254×	`associate-/r/_binary64_5821`
233×	`log-div_binary64_5962`
208×	`associate-r_binary64_5815`
194×	`associate-*l/_binary64_5818`
184×	`*-commutative_binary64_5806`
163×	`times-frac_binary64_5881`
151×	`associate-*r/_binary64_5817`
145×	`associate-/r*_binary64_5819`
125×	`unswap-sqr_binary64_5843`
114×	`associate-/l*_binary64_5820`
105×	`log-prod_binary64_5961`
93×	`exp-prod_binary64_5927`
83×	`sub-neg_binary64_5868`
72×	`sqr-pow_binary64_5847`
60×	`distribute-rgt-neg-in_binary64_5833`
57×	`distribute-lft-neg-in_binary64_5832`
55×	`distribute-rgt-in_binary64_5825`
51×	`cancel-sign-sub-inv_binary64_5841`
47×	`swap-sqr_binary64_5842`
44×	`distribute-lft-in_binary64_5824`
41×	`cube-div_binary64_5904`
40×	`neg-sub0_binary64_5870`
39×	`cube-prod_binary64_5903`
37×	`*-lft-identity_binary64_5864`
34×	`neg-mul-1_binary64_5871` `distribute-neg-frac_binary64_5839`
32×	`exp-sum_binary64_5921`
31×	`unsub-neg_binary64_5869`
23×	`log-pow_binary64_5964`
22×	`*-rgt-identity_binary64_5865`
21×	`associate-+r-_binary64_5809`
19×	`exp-diff_binary64_5923` `div-sub_binary64_5880`
18×	`distribute-rgt-neg-out_binary64_5835` `+-commutative_binary64_5805`
17×	`associate-+l-_binary64_5810`
16×	`distribute-frac-neg_binary64_5838` `distribute-lft-neg-out_binary64_5834`
15×	`distribute-neg-in_binary64_5836` `associate-+l+_binary64_5808`
14×	`distribute-neg-out_binary64_5837`
13×	`cube-unmult_binary64_5912` `distribute-rgt-out_binary64_5828`
11×	`pow-sqr_binary64_5848`
10×	`unpow1/3_binary64_5942`
9×	`log-rec_binary64_5963` `mul-1-neg_binary64_5867`
8×	`exp-to-pow_binary64_5937` `exp-neg_binary64_5922`
6×	`rem-sqrt-square_binary64_5888` `associate--r+_binary64_5811`
5×	`pow-plus_binary64_5938` `distribute-rgt-out--_binary64_5829` `distribute-lft-out_binary64_5826` `associate-+r+_binary64_5807`
4×	`associate--l-_binary64_5813` `associate--l+_binary64_5812`
3×	`unpow2_binary64_5940` `unpow1/2_binary64_5939` `unpow1_binary64_5933` `exp-lft-sqr_binary64_5930` `remove-double-neg_binary64_5863` `count-2_binary64_5823`
2×	`rem-3cbrt-lft_binary64_5900` `/-rgt-identity_binary64_5866` `associate--r-_binary64_5814`
1×	`unpow3_binary64_5941` `1-exp_binary64_5919` `exp-1-e_binary64_5918` `cube-mult_binary64_5905` `rem-3cbrt-rft_binary64_5901` `rem-cbrt-cube_binary64_5899` `rem-cube-cbrt_binary64_5898` `distribute-lft-out--_binary64_5827`
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_6138` `erf-erfc_binary64_6137` `erf-odd_binary64_6136` `if-if-and-not_binary64_6135` `if-if-and_binary64_6134` `if-if-or-not_binary64_6133` `if-if-or_binary64_6132` `if-not_binary64_6131` `if-same_binary64_6130` `if-false_binary64_6129` `if-true_binary64_6128` `not-gte_binary64_6127` `not-lte_binary64_6126` `not-gt_binary64_6125` `not-lt_binary64_6124` `gte-same_binary64_6123` `lte-same_binary64_6122` `gt-same_binary64_6121` `lt-same_binary64_6120` `sinh---cosh_binary64_6067` `sinh-+-cosh_binary64_6066` `sinh-cosh_binary64_6065` `tanh-def-c_binary64_6064` `tanh-def-b_binary64_6063` `tanh-def-a_binary64_6062` `cosh-def_binary64_6061` `sinh-def_binary64_6060` `tan-neg_binary64_6007` `cos-neg_binary64_6006` `sin-neg_binary64_6005` `tan-0_binary64_6004` `cos-0_binary64_6003` `sin-0_binary64_6002` `hang-m-tan_binary64_6001` `hang-p-tan_binary64_6000` `hang-m0-tan_binary64_5999` `hang-p0-tan_binary64_5998` `hang-0m-tan_binary64_5997` `hang-0p-tan_binary64_5996` `tan-+PI/2_binary64_5995` `tan-+PI_binary64_5994` `tan-PI_binary64_5993` `tan-PI/3_binary64_5992` `tan-PI/4_binary64_5991` `tan-PI/6_binary64_5990` `cos-+PI/2_binary64_5989` `cos-+PI_binary64_5988` `cos-PI_binary64_5987` `cos-PI/2_binary64_5986` `cos-PI/3_binary64_5985` `cos-PI/4_binary64_5984` `cos-PI/6_binary64_5983` `sin-+PI/2_binary64_5982` `sin-+PI_binary64_5981` `sin-PI_binary64_5980` `sin-PI/2_binary64_5979` `sin-PI/3_binary64_5978` `sin-PI/4_binary64_5977` `sin-PI/6_binary64_5976` `sub-1-sin_binary64_5975` `sub-1-cos_binary64_5974` `-1-add-sin_binary64_5973` `-1-add-cos_binary64_5972` `1-sub-sin_binary64_5971` `1-sub-cos_binary64_5970` `cos-sin-sum_binary64_5969` `log-E_binary64_5965` `pow-base-0_binary64_5959` `pow-base-1_binary64_5935` `unpow0_binary64_5934` `unpow-1_binary64_5932` `exp-lft-cube_binary64_5931` `exp-cbrt_binary64_5929` `exp-sqrt_binary64_5928` `div-exp_binary64_5926` `rec-exp_binary64_5925` `prod-exp_binary64_5924` `e-exp-1_binary64_5920` `exp-0_binary64_5917` `rem-log-exp_binary64_5916` `rem-exp-log_binary64_5915` `cube-neg_binary64_5902` `sqr-abs_binary64_5890` `sqr-neg_binary64_5889` `rem-square-sqrt_binary64_5887` `sub0-neg_binary64_5862` `--rgt-identity_binary64_5861` `+-rgt-identity_binary64_5860` `+-lft-identity_binary64_5859` `mul0-rgt_binary64_5858` `mul0-lft_binary64_5857` `div0_binary64_5856` `*-inverses_binary64_5855` `+-inverses_binary64_5854` `lft-mult-inverse_binary64_5853` `rgt-mult-inverse_binary64_5852` `remove-double-div_binary64_5851` `difference-of-sqr--1_binary64_5846` `difference-of-sqr-1_binary64_5845` `difference-of-squares_binary64_5844` `cancel-sign-sub_binary64_5840` `distribute-rgt1-in_binary64_5831` `distribute-lft1-in_binary64_5830`

Counts

161 → 290

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	280	5308
1	691	2326
2	2543	2236
3	4786	2220
4	4959	2220

prune243.0ms (2.1%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	290	0	290
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	290	8	298

Error

Counts

298 → 8

Compiler

Compiled 8049 to 1088 computations (86.5% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.2b	(/.f64 b1 (/.f64 1 b2))
5.2b	(/.f64 a1 (/.f64 b1 (/.f64 1 b2)))
6.0b	(*.f64 a2 (/.f64 a1 (/.f64 b1 (/.f64 1 b2))))

rewrite628.0ms (5.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

810×	`times-frac_binary64_5881`
399×	`add-sqr-sqrt_binary64_5897`
382×	`*-un-lft-identity_binary64_5875`
381×	`add-cube-cbrt_binary64_5910`
137×	`associate-r_binary64_5815`
57×	`associate-/r*_binary64_5819`
49×	`add-exp-log_binary64_5913`
35×	`div-inv_binary64_5872`
31×	`add-cbrt-cube_binary64_5911`
28×	`div-exp_binary64_5926`
15×	`cbrt-undiv_binary64_5909`
10×	`associate-/r/_binary64_5821`
6×	`prod-exp_binary64_5924` `associate-/l*_binary64_5820`
5×	`pow1_binary64_5936` `unswap-sqr_binary64_5843`
4×	`cbrt-unprod_binary64_5908`
3×	`1-exp_binary64_5919` `rec-exp_binary64_5925` `add-log-exp_binary64_5914` `associate-l_binary64_5816`
2×	`frac-2neg_binary64_5886` `clear-num_binary64_5874`
1×	`pow-prod-down_binary64_5946` `associate-r/_binary64_5817` `-commutative_binary64_5806`

Counts

3 → 435

Calls

3 calls:

44.0ms	(*.f64 a2 (/.f64 a1 (/.f64 b1 (/.f64 1 b2))))
14.0ms	(/.f64 a1 (/.f64 b1 (/.f64 1 b2)))
7.0ms	(/.f64 b1 (/.f64 1 b2))

Compiler

Compiled 9628 to 5121 computations (46.8% saved)

series343.0ms (3%)

Error

Counts

3 → 27

Calls

3 calls:

186.0ms	(*.f64 a2 (/.f64 a1 (/.f64 b1 (/.f64 1 b2))))
110.0ms	(/.f64 a1 (/.f64 b1 (/.f64 1 b2)))
37.0ms	(/.f64 b1 (/.f64 1 b2))

Compiler

Compiled 567 to 387 computations (31.7% saved)

simplify344.0ms (3%)

Algorithm

1×	egg-herbie

Rules

489×	`associate-/r/_binary64_5821`
380×	`associate-*r/_binary64_5817`
329×	`*-commutative_binary64_5806`
320×	`associate-/l/_binary64_5822`
312×	`associate-*l/_binary64_5818`
306×	`associate-l_binary64_5816`
294×	`associate-/l*_binary64_5820`
286×	`associate-r_binary64_5815`
236×	`associate-/r*_binary64_5819`
200×	`times-frac_binary64_5881`
189×	`unsub-neg_binary64_5869`
156×	`associate--r-_binary64_5814`
139×	`*-rgt-identity_binary64_5865`
86×	`*-lft-identity_binary64_5864`
79×	`sub-neg_binary64_5868`
60×	`log-prod_binary64_5961`
59×	`cube-prod_binary64_5903` `sqr-pow_binary64_5847`
56×	`log-div_binary64_5962`
53×	`distribute-rgt-in_binary64_5825`
52×	`exp-prod_binary64_5927`
46×	`cube-div_binary64_5904`
45×	`cancel-sign-sub-inv_binary64_5841`
39×	`unswap-sqr_binary64_5843` `swap-sqr_binary64_5842` `distribute-neg-in_binary64_5836`
37×	`associate-+r+_binary64_5807`
36×	`neg-mul-1_binary64_5871` `/-rgt-identity_binary64_5866`
34×	`neg-sub0_binary64_5870`
29×	`distribute-lft-in_binary64_5824` `associate--r+_binary64_5811` `associate-+r-_binary64_5809`
25×	`associate-+l+_binary64_5808`
19×	`+-commutative_binary64_5805`
18×	`associate-+l-_binary64_5810`
15×	`unpow3_binary64_5941` `cube-mult_binary64_5905`
14×	`remove-double-div_binary64_5851`
12×	`distribute-rgt-neg-in_binary64_5833`
10×	`distribute-lft-neg-in_binary64_5832`
8×	`cube-unmult_binary64_5912` `pow-sqr_binary64_5848` `distribute-neg-frac_binary64_5839`
7×	`associate--l+_binary64_5812`
5×	`log-rec_binary64_5963` `associate--l-_binary64_5813`
4×	`unpow1/2_binary64_5939` `+-rgt-identity_binary64_5860`
3×	`--rgt-identity_binary64_5861` `+-lft-identity_binary64_5859` `distribute-lft-neg-out_binary64_5834`
2×	`rem-sqrt-square_binary64_5888` `sub0-neg_binary64_5862` `distribute-rgt1-in_binary64_5831` `distribute-lft1-in_binary64_5830` `distribute-rgt-out_binary64_5828`
1×	`1-exp_binary64_5919` `exp-1-e_binary64_5918` `div-sub_binary64_5880` `remove-double-neg_binary64_5863` `mul0-rgt_binary64_5858` `mul0-lft_binary64_5857` `div0_binary64_5856` `+-inverses_binary64_5854` `distribute-neg-out_binary64_5837` `distribute-rgt-neg-out_binary64_5835` `distribute-rgt-out--_binary64_5829` `distribute-lft-out_binary64_5826` `count-2_binary64_5823`
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_6138` `erf-erfc_binary64_6137` `erf-odd_binary64_6136` `if-if-and-not_binary64_6135` `if-if-and_binary64_6134` `if-if-or-not_binary64_6133` `if-if-or_binary64_6132` `if-not_binary64_6131` `if-same_binary64_6130` `if-false_binary64_6129` `if-true_binary64_6128` `not-gte_binary64_6127` `not-lte_binary64_6126` `not-gt_binary64_6125` `not-lt_binary64_6124` `gte-same_binary64_6123` `lte-same_binary64_6122` `gt-same_binary64_6121` `lt-same_binary64_6120` `sinh---cosh_binary64_6067` `sinh-+-cosh_binary64_6066` `sinh-cosh_binary64_6065` `tanh-def-c_binary64_6064` `tanh-def-b_binary64_6063` `tanh-def-a_binary64_6062` `cosh-def_binary64_6061` `sinh-def_binary64_6060` `tan-neg_binary64_6007` `cos-neg_binary64_6006` `sin-neg_binary64_6005` `tan-0_binary64_6004` `cos-0_binary64_6003` `sin-0_binary64_6002` `hang-m-tan_binary64_6001` `hang-p-tan_binary64_6000` `hang-m0-tan_binary64_5999` `hang-p0-tan_binary64_5998` `hang-0m-tan_binary64_5997` `hang-0p-tan_binary64_5996` `tan-+PI/2_binary64_5995` `tan-+PI_binary64_5994` `tan-PI_binary64_5993` `tan-PI/3_binary64_5992` `tan-PI/4_binary64_5991` `tan-PI/6_binary64_5990` `cos-+PI/2_binary64_5989` `cos-+PI_binary64_5988` `cos-PI_binary64_5987` `cos-PI/2_binary64_5986` `cos-PI/3_binary64_5985` `cos-PI/4_binary64_5984` `cos-PI/6_binary64_5983` `sin-+PI/2_binary64_5982` `sin-+PI_binary64_5981` `sin-PI_binary64_5980` `sin-PI/2_binary64_5979` `sin-PI/3_binary64_5978` `sin-PI/4_binary64_5977` `sin-PI/6_binary64_5976` `sub-1-sin_binary64_5975` `sub-1-cos_binary64_5974` `-1-add-sin_binary64_5973` `-1-add-cos_binary64_5972` `1-sub-sin_binary64_5971` `1-sub-cos_binary64_5970` `cos-sin-sum_binary64_5969` `log-E_binary64_5965` `log-pow_binary64_5964` `pow-base-0_binary64_5959` `unpow1/3_binary64_5942` `unpow2_binary64_5940` `pow-plus_binary64_5938` `exp-to-pow_binary64_5937` `pow-base-1_binary64_5935` `unpow0_binary64_5934` `unpow1_binary64_5933` `unpow-1_binary64_5932` `exp-lft-cube_binary64_5931` `exp-lft-sqr_binary64_5930` `exp-cbrt_binary64_5929` `exp-sqrt_binary64_5928` `div-exp_binary64_5926` `rec-exp_binary64_5925` `prod-exp_binary64_5924` `exp-diff_binary64_5923` `exp-neg_binary64_5922` `exp-sum_binary64_5921` `e-exp-1_binary64_5920` `exp-0_binary64_5917` `rem-log-exp_binary64_5916` `rem-exp-log_binary64_5915` `cube-neg_binary64_5902` `rem-3cbrt-rft_binary64_5901` `rem-3cbrt-lft_binary64_5900` `rem-cbrt-cube_binary64_5899` `rem-cube-cbrt_binary64_5898` `sqr-abs_binary64_5890` `sqr-neg_binary64_5889` `rem-square-sqrt_binary64_5887` `mul-1-neg_binary64_5867` `*-inverses_binary64_5855` `lft-mult-inverse_binary64_5853` `rgt-mult-inverse_binary64_5852` `difference-of-sqr--1_binary64_5846` `difference-of-sqr-1_binary64_5845` `difference-of-squares_binary64_5844` `cancel-sign-sub_binary64_5840` `distribute-frac-neg_binary64_5838` `distribute-lft-out--_binary64_5827`

Counts

462 → 748

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	452	8777
1	1038	8453
2	4303	8453
3	4202	8453
4	4824	8453
5	4968	8453

prune908.0ms (8%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	747	1	748
Fresh	2	3	5
Picked	0	1	1
Done	0	2	2
Total	749	7	756

Error

Counts

756 → 7

Compiler

Compiled 14146 to 4922 computations (65.2% saved)

regimes2.2s (19.3%)

Accuracy

Total 2.8b remaining (100%)

Threshold costs 0b (0%)

Compiler

Compiled 21860 to 15096 computations (30.9% saved)

bsearch7.0ms (0.1%)

Compiler: Compiled 7 to 7 computations (0% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64_5806`
1×	`1-exp_binary64_5919`
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_6135` `if-if-and_binary64_6134` `if-if-or-not_binary64_6133` `if-if-or_binary64_6132` `if-not_binary64_6131` `if-same_binary64_6130` `if-false_binary64_6129` `if-true_binary64_6128` `tan-0_binary64_6004` `cos-0_binary64_6003` `sin-0_binary64_6002` `unpow1_binary64_5933` `e-exp-1_binary64_5920` `exp-1-e_binary64_5918` `exp-0_binary64_5917` `sqr-abs_binary64_5890` `sqr-neg_binary64_5889` `neg-mul-1_binary64_5871` `neg-sub0_binary64_5870` `unsub-neg_binary64_5869` `sub-neg_binary64_5868` `mul-1-neg_binary64_5867` `/-rgt-identity_binary64_5866` `-rgt-identity_binary64_5865` `-lft-identity_binary64_5864` `remove-double-neg_binary64_5863` `sub0-neg_binary64_5862` `--rgt-identity_binary64_5861` `+-rgt-identity_binary64_5860` `+-lft-identity_binary64_5859` `cancel-sign-sub-inv_binary64_5841` `cancel-sign-sub_binary64_5840` `distribute-neg-frac_binary64_5839` `distribute-frac-neg_binary64_5838` `distribute-neg-out_binary64_5837` `distribute-neg-in_binary64_5836` `distribute-rgt-neg-out_binary64_5835` `distribute-lft-neg-out_binary64_5834` `distribute-rgt-neg-in_binary64_5833` `distribute-lft-neg-in_binary64_5832` `+-commutative_binary64_5805`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	99
1	38	99
2	37	99

end0.0ms (0%)

sample3.0s (26%)

Algorithm

1×

intervals

Results

228.0ms	8000×	body	128	valid
49.0ms	1739×	body	128	invalid

Compiler

Compiled 3082 to 2121 computations (31.2% saved)

Details

analyze593.0ms (5.2%)

sample22.0ms (0.2%)

simplify100.0ms (0.9%)

prune2.0ms (0%)

localize10.0ms (0.1%)

rewrite29.0ms (0.3%)

series202.0ms (1.8%)

simplify88.0ms (0.8%)

prune16.0ms (0.1%)

localize5.0ms (0%)

rewrite306.0ms (2.7%)

series280.0ms (2.5%)

simplify299.0ms (2.6%)

prune278.0ms (2.4%)

localize13.0ms (0.1%)

rewrite167.0ms (1.5%)

series1.2s (10.6%)

simplify132.0ms (1.2%)

prune243.0ms (2.1%)

localize9.0ms (0.1%)

rewrite628.0ms (5.5%)

series343.0ms (3%)

simplify344.0ms (3%)

prune908.0ms (8%)

regimes2.2s (19.3%)

bsearch7.0ms (0.1%)

simplify4.0ms (0%)

end0.0ms (0%)

sample3.0s (26%)

Profiling