Details

analyze3.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
50%	50%	0%	2
50%	25%	25%	3
50%	12.5%	37.5%	4
50%	6.2%	43.8%	5
50%	3.1%	46.9%	6
50%	1.6%	48.5%	7
50%	0.8%	49.2%	8
50%	0.4%	49.6%	9
50%	0.2%	49.8%	10
50%	0.1%	49.9%	11
50%	0%	50%	12
50%	0%	50%	13
50%	0%	50%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample22.0ms (0%)

Algorithm

1×

intervals

Results

6.0ms	59×	body	1024	valid
4.0ms	144×	body	128	valid
2.0ms	33×	body	512	valid
1.0ms	8×	body	2048	valid
1.0ms	12×	body	256	valid

Compiler

Compiled 15 to 14 computations (6.7% saved)

simplify1.3s (2.1%)

Algorithm

1×	egg-herbie

Rules

1216×	`exp-prod_binary64_8996`
627×	`associate-/l/_binary64_8891`
551×	`distribute-rgt-out--_binary64_8898`
523×	`distribute-rgt-out_binary64_8897`
496×	`cube-prod_binary64_8972`
433×	`swap-sqr_binary64_8911`
357×	`associate-/r*_binary64_8888`
319×	`distribute-rgt-neg-in_binary64_8902`
301×	`exp-diff_binary64_8992`
260×	`cube-div_binary64_8973`
257×	`sub-neg_binary64_8937`
256×	`exp-sum_binary64_8990`
179×	`associate--r-_binary64_8883`
172×	`*-commutative_binary64_8875`
170×	`unsub-neg_binary64_8938` `cancel-sign-sub-inv_binary64_8910`
148×	`div-sub_binary64_8949`
130×	`pow-plus_binary64_9007`
125×	`associate--l-_binary64_8882`
112×	`associate-+r-_binary64_8878`
73×	`associate-+l-_binary64_8879` `+-commutative_binary64_8874`
55×	`associate-/l*_binary64_8889`
51×	`associate-/r/_binary64_8890`
49×	`distribute-lft-neg-in_binary64_8901`
47×	`distribute-neg-out_binary64_8906`
46×	`distribute-rgt1-in_binary64_8900`
36×	`neg-mul-1_binary64_8940` `distribute-rgt-in_binary64_8894`
34×	`neg-sub0_binary64_8939`
25×	`sqr-pow_binary64_8916`
21×	`distribute-neg-in_binary64_8905`
19×	`associate-r_binary64_8884`
18×	`pow-base-1_binary64_9004`
17×	`distribute-frac-neg_binary64_8907` `associate--r+_binary64_8880`
16×	`distribute-lft-in_binary64_8893` `associate-+l+_binary64_8877`
15×	`+-inverses_binary64_8923` `pow-sqr_binary64_8917` `difference-of-squares_binary64_8913`
14×	`associate-+r+_binary64_8876`
13×	`count-2_binary64_8892`
12×	`cube-unmult_binary64_8981` `distribute-lft1-in_binary64_8899`
10×	`distribute-rgt-neg-out_binary64_8904` `distribute-lft-neg-out_binary64_8903` `associate--l+_binary64_8881`
9×	`exp-lft-sqr_binary64_8999` `remove-double-neg_binary64_8932`
7×	`distribute-neg-frac_binary64_8908`
6×	`-rgt-identity_binary64_8934` `-lft-identity_binary64_8933`
5×	`sub0-neg_binary64_8931` `+-rgt-identity_binary64_8929` `associate-l_binary64_8885`
4×	`+-lft-identity_binary64_8928`
3×	`exp-sqrt_binary64_8997` `--rgt-identity_binary64_8930` `difference-of-sqr--1_binary64_8915` `distribute-lft-out--_binary64_8896` `distribute-lft-out_binary64_8895`
2×	`exp-neg_binary64_8991` `sqr-neg_binary64_8958` `mul0-lft_binary64_8926`
1×	`unpow3_binary64_9010` `1-exp_binary64_8988` `exp-1-e_binary64_8987` `cube-neg_binary64_8971` `div0_binary64_8925` `*-inverses_binary64_8924`
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_9207` `erf-erfc_binary64_9206` `erf-odd_binary64_9205` `if-if-and-not_binary64_9204` `if-if-and_binary64_9203` `if-if-or-not_binary64_9202` `if-if-or_binary64_9201` `if-not_binary64_9200` `if-same_binary64_9199` `if-false_binary64_9198` `if-true_binary64_9197` `not-gte_binary64_9196` `not-lte_binary64_9195` `not-gt_binary64_9194` `not-lt_binary64_9193` `gte-same_binary64_9192` `lte-same_binary64_9191` `gt-same_binary64_9190` `lt-same_binary64_9189` `sinh---cosh_binary64_9136` `sinh-+-cosh_binary64_9135` `sinh-cosh_binary64_9134` `tanh-def-c_binary64_9133` `tanh-def-b_binary64_9132` `tanh-def-a_binary64_9131` `cosh-def_binary64_9130` `sinh-def_binary64_9129` `tan-neg_binary64_9076` `cos-neg_binary64_9075` `sin-neg_binary64_9074` `tan-0_binary64_9073` `cos-0_binary64_9072` `sin-0_binary64_9071` `hang-m-tan_binary64_9070` `hang-p-tan_binary64_9069` `hang-m0-tan_binary64_9068` `hang-p0-tan_binary64_9067` `hang-0m-tan_binary64_9066` `hang-0p-tan_binary64_9065` `tan-+PI/2_binary64_9064` `tan-+PI_binary64_9063` `tan-PI_binary64_9062` `tan-PI/3_binary64_9061` `tan-PI/4_binary64_9060` `tan-PI/6_binary64_9059` `cos-+PI/2_binary64_9058` `cos-+PI_binary64_9057` `cos-PI_binary64_9056` `cos-PI/2_binary64_9055` `cos-PI/3_binary64_9054` `cos-PI/4_binary64_9053` `cos-PI/6_binary64_9052` `sin-+PI/2_binary64_9051` `sin-+PI_binary64_9050` `sin-PI_binary64_9049` `sin-PI/2_binary64_9048` `sin-PI/3_binary64_9047` `sin-PI/4_binary64_9046` `sin-PI/6_binary64_9045` `sub-1-sin_binary64_9044` `sub-1-cos_binary64_9043` `-1-add-sin_binary64_9042` `-1-add-cos_binary64_9041` `1-sub-sin_binary64_9040` `1-sub-cos_binary64_9039` `cos-sin-sum_binary64_9038` `log-E_binary64_9034` `log-pow_binary64_9033` `log-rec_binary64_9032` `log-div_binary64_9031` `log-prod_binary64_9030` `pow-base-0_binary64_9028` `unpow1/3_binary64_9011` `unpow2_binary64_9009` `unpow1/2_binary64_9008` `exp-to-pow_binary64_9006` `unpow0_binary64_9003` `unpow1_binary64_9002` `unpow-1_binary64_9001` `exp-lft-cube_binary64_9000` `exp-cbrt_binary64_8998` `div-exp_binary64_8995` `rec-exp_binary64_8994` `prod-exp_binary64_8993` `e-exp-1_binary64_8989` `exp-0_binary64_8986` `rem-log-exp_binary64_8985` `rem-exp-log_binary64_8984` `cube-mult_binary64_8974` `rem-3cbrt-rft_binary64_8970` `rem-3cbrt-lft_binary64_8969` `rem-cbrt-cube_binary64_8968` `rem-cube-cbrt_binary64_8967` `sqr-abs_binary64_8959` `rem-sqrt-square_binary64_8957` `rem-square-sqrt_binary64_8956` `times-frac_binary64_8950` `mul-1-neg_binary64_8936` `/-rgt-identity_binary64_8935` `mul0-rgt_binary64_8927` `lft-mult-inverse_binary64_8922` `rgt-mult-inverse_binary64_8921` `remove-double-div_binary64_8920` `difference-of-sqr-1_binary64_8914` `unswap-sqr_binary64_8912` `cancel-sign-sub_binary64_8909` `associate-l/_binary64_8887` `associate-r/_binary64_8886`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	12	11
2	16	11
3	22	11
4	30	11
5	45	11
6	93	11
7	217	11
8	1867	11
9	3119	11

prune7.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

27.7b

Counts

1 → 1

Compiler

Compiled 7 to 6 computations (14.3% saved)

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(sqrt.f64 (+.f64 x 1))
2.6b	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))

rewrite70.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Error

27.0b

Rules

15×	`sqrt-prod_binary64_8960`
14×	`add-sqr-sqrt_binary64_8966` `*-un-lft-identity_binary64_8944`
6×	`cancel-sign-sub-inv_binary64_8910`
5×	`add-cube-cbrt_binary64_8979`
4×	`add-log-exp_binary64_8983` `difference-of-squares_binary64_8913`
3×	`pow1_binary64_9005` `distribute-lft-out--_binary64_8896`
2×	`add-exp-log_binary64_8982` `add-cbrt-cube_binary64_8980` `distribute-lft-out_binary64_8895` `sqrt-div_binary64_8961`
1×	`diff-log_binary64_9036` `flip3--_binary64_8948` `sub-neg_binary64_8937` `flip--_binary64_8919` `pow1/2_binary64_9024` `sqrt-pow1_binary64_8962` `flip3-+_binary64_8947` `flip-+_binary64_8918` `rem-sqrt-square_binary64_8957`

Counts

2 → 40

Calls

2 calls:

9.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
3.0ms	(sqrt.f64 (+.f64 x 1))

Compiler

Compiled 571 to 370 computations (35.2% saved)

series79.0ms (0.1%)

Error

26.9b

Counts

2 → 9

Calls

2 calls:

46.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
25.0ms	(sqrt.f64 (+.f64 x 1))

Compiler

Compiled 245 to 193 computations (21.2% saved)

simplify181.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

468×	`associate-/l/_binary64_8891`
418×	`cancel-sign-sub-inv_binary64_8910`
248×	`associate-r_binary64_8884`
241×	`associate-l_binary64_8885`
211×	`distribute-rgt-neg-in_binary64_8902`
201×	`unswap-sqr_binary64_8912`
173×	`distribute-lft-neg-in_binary64_8901`
168×	`distribute-rgt-out_binary64_8897`
153×	`times-frac_binary64_8950`
125×	`unsub-neg_binary64_8938`
110×	`distribute-lft-neg-out_binary64_8903`
100×	`distribute-neg-frac_binary64_8908`
94×	`div-sub_binary64_8949` `distribute-rgt-neg-out_binary64_8904`
93×	`sub-neg_binary64_8937`
89×	`distribute-rgt-out--_binary64_8898`
87×	`distribute-lft-out_binary64_8895`
76×	`sqr-pow_binary64_8916`
72×	`neg-sub0_binary64_8939`
67×	`exp-prod_binary64_8996` `difference-of-squares_binary64_8913`
65×	`associate-/l*_binary64_8889`
63×	`associate-/r*_binary64_8888`
61×	`*-commutative_binary64_8875`
60×	`distribute-rgt-in_binary64_8894`
52×	`distribute-lft-in_binary64_8893`
46×	`pow-sqr_binary64_8917` `+-commutative_binary64_8874`
45×	`neg-mul-1_binary64_8940`
42×	`distribute-lft-out--_binary64_8896`
34×	`associate-+l+_binary64_8877`
30×	`exp-sum_binary64_8990`
28×	`*-rgt-identity_binary64_8934` `swap-sqr_binary64_8911`
27×	`pow-plus_binary64_9007` `associate-+r+_binary64_8876`
26×	`cube-prod_binary64_8972`
24×	`distribute-frac-neg_binary64_8907`
23×	`*-lft-identity_binary64_8933` `distribute-rgt1-in_binary64_8900`
17×	`associate--l+_binary64_8881`
16×	`mul0-rgt_binary64_8927` `mul0-lft_binary64_8926`
15×	`mul-1-neg_binary64_8936` `associate-l/_binary64_8887` `associate-r/_binary64_8886` `associate-+r-_binary64_8878`
14×	`/-rgt-identity_binary64_8935` `+-rgt-identity_binary64_8929` `associate-+l-_binary64_8879`
12×	`associate-/r/_binary64_8890`
11×	`distribute-neg-in_binary64_8905`
10×	`cube-div_binary64_8973` `sub0-neg_binary64_8931`
9×	`exp-diff_binary64_8992` `cube-unmult_binary64_8981` `rem-sqrt-square_binary64_8957`
8×	`unpow3_binary64_9010` `exp-sqrt_binary64_8997`
7×	`exp-neg_binary64_8991`
6×	`pow-base-1_binary64_9004` `cube-mult_binary64_8974`
5×	`difference-of-sqr--1_binary64_8915` `difference-of-sqr-1_binary64_8914`
4×	`prod-exp_binary64_8993` `count-2_binary64_8892`
3×	`sqr-neg_binary64_8958` `rem-square-sqrt_binary64_8956` `div0_binary64_8925` `+-inverses_binary64_8923` `distribute-lft1-in_binary64_8899`
2×	`log-div_binary64_9031` `log-prod_binary64_9030` `div-exp_binary64_8995`
1×	`unpow2_binary64_9009` `unpow1_binary64_9002` `exp-lft-sqr_binary64_8999` `rec-exp_binary64_8994` `1-exp_binary64_8988` `exp-1-e_binary64_8987` `rem-3cbrt-lft_binary64_8969` `remove-double-neg_binary64_8932` `*-inverses_binary64_8924` `rgt-mult-inverse_binary64_8921` `remove-double-div_binary64_8920` `associate--r-_binary64_8883` `associate--r+_binary64_8880`
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_9207` `erf-erfc_binary64_9206` `erf-odd_binary64_9205` `if-if-and-not_binary64_9204` `if-if-and_binary64_9203` `if-if-or-not_binary64_9202` `if-if-or_binary64_9201` `if-not_binary64_9200` `if-same_binary64_9199` `if-false_binary64_9198` `if-true_binary64_9197` `not-gte_binary64_9196` `not-lte_binary64_9195` `not-gt_binary64_9194` `not-lt_binary64_9193` `gte-same_binary64_9192` `lte-same_binary64_9191` `gt-same_binary64_9190` `lt-same_binary64_9189` `sinh---cosh_binary64_9136` `sinh-+-cosh_binary64_9135` `sinh-cosh_binary64_9134` `tanh-def-c_binary64_9133` `tanh-def-b_binary64_9132` `tanh-def-a_binary64_9131` `cosh-def_binary64_9130` `sinh-def_binary64_9129` `tan-neg_binary64_9076` `cos-neg_binary64_9075` `sin-neg_binary64_9074` `tan-0_binary64_9073` `cos-0_binary64_9072` `sin-0_binary64_9071` `hang-m-tan_binary64_9070` `hang-p-tan_binary64_9069` `hang-m0-tan_binary64_9068` `hang-p0-tan_binary64_9067` `hang-0m-tan_binary64_9066` `hang-0p-tan_binary64_9065` `tan-+PI/2_binary64_9064` `tan-+PI_binary64_9063` `tan-PI_binary64_9062` `tan-PI/3_binary64_9061` `tan-PI/4_binary64_9060` `tan-PI/6_binary64_9059` `cos-+PI/2_binary64_9058` `cos-+PI_binary64_9057` `cos-PI_binary64_9056` `cos-PI/2_binary64_9055` `cos-PI/3_binary64_9054` `cos-PI/4_binary64_9053` `cos-PI/6_binary64_9052` `sin-+PI/2_binary64_9051` `sin-+PI_binary64_9050` `sin-PI_binary64_9049` `sin-PI/2_binary64_9048` `sin-PI/3_binary64_9047` `sin-PI/4_binary64_9046` `sin-PI/6_binary64_9045` `sub-1-sin_binary64_9044` `sub-1-cos_binary64_9043` `-1-add-sin_binary64_9042` `-1-add-cos_binary64_9041` `1-sub-sin_binary64_9040` `1-sub-cos_binary64_9039` `cos-sin-sum_binary64_9038` `log-E_binary64_9034` `log-pow_binary64_9033` `log-rec_binary64_9032` `pow-base-0_binary64_9028` `unpow1/3_binary64_9011` `unpow1/2_binary64_9008` `exp-to-pow_binary64_9006` `unpow0_binary64_9003` `unpow-1_binary64_9001` `exp-lft-cube_binary64_9000` `exp-cbrt_binary64_8998` `e-exp-1_binary64_8989` `exp-0_binary64_8986` `rem-log-exp_binary64_8985` `rem-exp-log_binary64_8984` `cube-neg_binary64_8971` `rem-3cbrt-rft_binary64_8970` `rem-cbrt-cube_binary64_8968` `rem-cube-cbrt_binary64_8967` `sqr-abs_binary64_8959` `--rgt-identity_binary64_8930` `+-lft-identity_binary64_8928` `lft-mult-inverse_binary64_8922` `cancel-sign-sub_binary64_8909` `distribute-neg-out_binary64_8906` `associate--l-_binary64_8882`

Counts

49 → 85

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	93	637
1	215	614
2	545	608
3	2193	603

prune108.0ms (0.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	81	4	85
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	82	4	86

Error

0.1b

Counts

86 → 4

Compiler

Compiled 1427 to 927 computations (35% saved)

localize8.0ms (0%)

Local error

Found 3 expressions with local error:

0.0b	(sqrt.f64 (+.f64 x 1))
0.0b	(+.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
0.1b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)))

rewrite133.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

52×	`*-un-lft-identity_binary64_8944`
24×	`sqrt-prod_binary64_8960`
21×	`distribute-lft-out_binary64_8895`
18×	`times-frac_binary64_8950`
16×	`add-sqr-sqrt_binary64_8966`
15×	`add-cube-cbrt_binary64_8979`
7×	`add-exp-log_binary64_8982`
6×	`associate-/r*_binary64_8888`
5×	`pow1_binary64_9005` `add-log-exp_binary64_8983` `add-cbrt-cube_binary64_8980`
3×	`flip3-+_binary64_8947` `flip-+_binary64_8918` `associate-/l*_binary64_8889`
2×	`div-exp_binary64_8995` `associate-/r/_binary64_8890` `sqrt-div_binary64_8961`
1×	`inv-pow_binary64_9029` `pow-flip_binary64_9018` `1-exp_binary64_8988` `rec-exp_binary64_8994` `cbrt-undiv_binary64_8978` `frac-2neg_binary64_8955` `clear-num_binary64_8943` `div-inv_binary64_8941` `sum-log_binary64_9035` `+-commutative_binary64_8874` `pow1/2_binary64_9024` `sqrt-pow1_binary64_8962` `rem-sqrt-square_binary64_8957`

Counts

3 → 75

Calls

3 calls:

11.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)))
8.0ms	(+.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
6.0ms	(sqrt.f64 (+.f64 x 1))

Compiler

Compiled 1268 to 926 computations (27% saved)

series88.0ms (0.1%)

Error

0.1b

Counts

3 → 12

Calls

3 calls:

28.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)))
26.0ms	(+.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
25.0ms	(sqrt.f64 (+.f64 x 1))

Compiler

Compiled 268 to 232 computations (13.4% saved)

simplify651.0ms (1%)

Algorithm

1×	egg-herbie

Rules

392×	`distribute-rgt-in_binary64_8894`
363×	`cancel-sign-sub-inv_binary64_8910`
305×	`distribute-rgt-out_binary64_8897`
291×	`distribute-lft-in_binary64_8893`
189×	`unswap-sqr_binary64_8912`
178×	`distribute-rgt-out--_binary64_8898`
148×	`associate-l_binary64_8885`
142×	`div-sub_binary64_8949`
137×	`associate-*l/_binary64_8887`
134×	`associate-r_binary64_8884`
120×	`times-frac_binary64_8950` `associate-*r/_binary64_8886`
109×	`sub-neg_binary64_8937`
91×	`distribute-lft-out_binary64_8895`
89×	`distribute-rgt-neg-in_binary64_8902`
78×	`distribute-lft-neg-in_binary64_8901`
76×	`associate-/l*_binary64_8889`
71×	`associate-/l/_binary64_8891`
64×	`unsub-neg_binary64_8938`
63×	`sqr-pow_binary64_8916`
61×	`*-commutative_binary64_8875`
57×	`distribute-neg-frac_binary64_8908`
55×	`difference-of-squares_binary64_8913`
52×	`associate-/r/_binary64_8890` `associate-/r*_binary64_8888`
50×	`distribute-lft-out--_binary64_8896`
46×	`cube-div_binary64_8973`
42×	`pow-sqr_binary64_8917`
41×	`exp-prod_binary64_8996` `+-commutative_binary64_8874`
40×	`log-div_binary64_9031` `cube-prod_binary64_8972` `associate-+l+_binary64_8877`
36×	`log-prod_binary64_9030`
33×	`associate-+r+_binary64_8876`
30×	`distribute-lft-neg-out_binary64_8903`
27×	`pow-plus_binary64_9007` `*-rgt-identity_binary64_8934`
25×	`neg-sub0_binary64_8939`
24×	`distribute-rgt1-in_binary64_8900` `associate-+l-_binary64_8879`
22×	`neg-mul-1_binary64_8940` `associate-+r-_binary64_8878`
21×	`sub0-neg_binary64_8931`
20×	`distribute-neg-in_binary64_8905`
18×	`*-lft-identity_binary64_8933` `associate--l-_binary64_8882`
17×	`distribute-rgt-neg-out_binary64_8904`
16×	`log-pow_binary64_9033`
15×	`associate--l+_binary64_8881`
14×	`+-rgt-identity_binary64_8929`
12×	`swap-sqr_binary64_8911`
11×	`/-rgt-identity_binary64_8935`
9×	`unpow3_binary64_9010` `exp-sqrt_binary64_8997` `cube-unmult_binary64_8981` `rem-sqrt-square_binary64_8957`
7×	`cube-mult_binary64_8974` `distribute-frac-neg_binary64_8907`
6×	`pow-base-1_binary64_9004` `+-lft-identity_binary64_8928` `mul0-rgt_binary64_8927` `mul0-lft_binary64_8926`
5×	`log-rec_binary64_9032` `exp-sum_binary64_8990` `difference-of-sqr--1_binary64_8915`
4×	`exp-diff_binary64_8992` `+-inverses_binary64_8923` `difference-of-sqr-1_binary64_8914` `distribute-neg-out_binary64_8906`
3×	`exp-lft-sqr_binary64_8999` `associate--r+_binary64_8880`
2×	`exp-to-pow_binary64_9006` `prod-exp_binary64_8993` `rem-square-sqrt_binary64_8956` `*-inverses_binary64_8924` `remove-double-div_binary64_8920` `count-2_binary64_8892` `associate--r-_binary64_8883`
1×	`unpow2_binary64_9009` `unpow1_binary64_9002` `div-exp_binary64_8995` `rec-exp_binary64_8994` `1-exp_binary64_8988` `exp-1-e_binary64_8987` `rem-log-exp_binary64_8985` `rem-exp-log_binary64_8984` `rem-cbrt-cube_binary64_8968` `sqr-abs_binary64_8959` `mul-1-neg_binary64_8936` `rgt-mult-inverse_binary64_8921` `cancel-sign-sub_binary64_8909` `distribute-lft1-in_binary64_8899`
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_9207` `erf-erfc_binary64_9206` `erf-odd_binary64_9205` `if-if-and-not_binary64_9204` `if-if-and_binary64_9203` `if-if-or-not_binary64_9202` `if-if-or_binary64_9201` `if-not_binary64_9200` `if-same_binary64_9199` `if-false_binary64_9198` `if-true_binary64_9197` `not-gte_binary64_9196` `not-lte_binary64_9195` `not-gt_binary64_9194` `not-lt_binary64_9193` `gte-same_binary64_9192` `lte-same_binary64_9191` `gt-same_binary64_9190` `lt-same_binary64_9189` `sinh---cosh_binary64_9136` `sinh-+-cosh_binary64_9135` `sinh-cosh_binary64_9134` `tanh-def-c_binary64_9133` `tanh-def-b_binary64_9132` `tanh-def-a_binary64_9131` `cosh-def_binary64_9130` `sinh-def_binary64_9129` `tan-neg_binary64_9076` `cos-neg_binary64_9075` `sin-neg_binary64_9074` `tan-0_binary64_9073` `cos-0_binary64_9072` `sin-0_binary64_9071` `hang-m-tan_binary64_9070` `hang-p-tan_binary64_9069` `hang-m0-tan_binary64_9068` `hang-p0-tan_binary64_9067` `hang-0m-tan_binary64_9066` `hang-0p-tan_binary64_9065` `tan-+PI/2_binary64_9064` `tan-+PI_binary64_9063` `tan-PI_binary64_9062` `tan-PI/3_binary64_9061` `tan-PI/4_binary64_9060` `tan-PI/6_binary64_9059` `cos-+PI/2_binary64_9058` `cos-+PI_binary64_9057` `cos-PI_binary64_9056` `cos-PI/2_binary64_9055` `cos-PI/3_binary64_9054` `cos-PI/4_binary64_9053` `cos-PI/6_binary64_9052` `sin-+PI/2_binary64_9051` `sin-+PI_binary64_9050` `sin-PI_binary64_9049` `sin-PI/2_binary64_9048` `sin-PI/3_binary64_9047` `sin-PI/4_binary64_9046` `sin-PI/6_binary64_9045` `sub-1-sin_binary64_9044` `sub-1-cos_binary64_9043` `-1-add-sin_binary64_9042` `-1-add-cos_binary64_9041` `1-sub-sin_binary64_9040` `1-sub-cos_binary64_9039` `cos-sin-sum_binary64_9038` `log-E_binary64_9034` `pow-base-0_binary64_9028` `unpow1/3_binary64_9011` `unpow1/2_binary64_9008` `unpow0_binary64_9003` `unpow-1_binary64_9001` `exp-lft-cube_binary64_9000` `exp-cbrt_binary64_8998` `exp-neg_binary64_8991` `e-exp-1_binary64_8989` `exp-0_binary64_8986` `cube-neg_binary64_8971` `rem-3cbrt-rft_binary64_8970` `rem-3cbrt-lft_binary64_8969` `rem-cube-cbrt_binary64_8967` `sqr-neg_binary64_8958` `remove-double-neg_binary64_8932` `--rgt-identity_binary64_8930` `div0_binary64_8925` `lft-mult-inverse_binary64_8922`

Counts

87 → 225

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	111	1488
1	233	1255
2	560	1219
3	1880	1216

prune333.0ms (0.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	220	5	225
Fresh	1	2	3
Picked	0	1	1
Done	0	0	0
Total	221	8	229

Error

0.0b

Counts

229 → 8

Compiler

Compiled 4276 to 3158 computations (26.1% saved)

localize13.0ms (0%)

Local error

Found 4 expressions with local error:

0.1b	(sqrt.f64 (+.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)))
0.1b	(sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
0.1b	(/.f64 1 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))
0.2b	(/.f64 (/.f64 1 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))))

rewrite2.1s (3.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

742×	`*-un-lft-identity_binary64_8944`
700×	`sqrt-prod_binary64_8960`
594×	`times-frac_binary64_8950`
280×	`distribute-lft-out_binary64_8895`
254×	`add-sqr-sqrt_binary64_8966`
252×	`add-cube-cbrt_binary64_8979`
36×	`associate-/l*_binary64_8889`
28×	`sqrt-div_binary64_8961`
24×	`associate-/r/_binary64_8890`
18×	`associate-/r*_binary64_8888`
17×	`add-exp-log_binary64_8982`
14×	`flip3-+_binary64_8947` `flip-+_binary64_8918`
12×	`div-inv_binary64_8941`
11×	`add-cbrt-cube_binary64_8980`
8×	`pow1_binary64_9005` `div-exp_binary64_8995`
4×	`add-log-exp_binary64_8983` `cbrt-undiv_binary64_8978`
3×	`pow1/2_binary64_9024` `pow-flip_binary64_9018` `sqrt-pow1_binary64_8962`
2×	`1-exp_binary64_8988` `rec-exp_binary64_8994` `frac-2neg_binary64_8955` `clear-num_binary64_8943` `rem-sqrt-square_binary64_8957`
1×	`associate-/l/_binary64_8891` `inv-pow_binary64_9029`

Counts

4 → 453

Calls

4 calls:

32.0ms	(/.f64 (/.f64 1 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))))
17.0ms	(/.f64 1 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))
8.0ms	(sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
8.0ms	(sqrt.f64 (+.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)))

Compiler

Compiled 16882 to 12492 computations (26% saved)

series146.0ms (0.2%)

Error

0.0b

Counts

4 → 12

Calls

4 calls:

36.0ms	(sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
36.0ms	(/.f64 1 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))
32.0ms	(sqrt.f64 (+.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)))
31.0ms	(/.f64 (/.f64 1 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))))

Compiler

Compiled 545 to 470 computations (13.8% saved)

simplify24.4s (38.8%)

Algorithm

1×	egg-herbie

Rules

768×	`div-sub_binary64_8949`
520×	`associate-/r/_binary64_8890`
341×	`associate-*l/_binary64_8887`
281×	`unsub-neg_binary64_8938` `associate-*r/_binary64_8886`
266×	`associate-l_binary64_8885`
211×	`distribute-rgt-neg-out_binary64_8904`
206×	`distribute-rgt-in_binary64_8894`
187×	`associate-r_binary64_8884`
182×	`distribute-lft-in_binary64_8893`
172×	`sub-neg_binary64_8937`
171×	`associate-/l/_binary64_8891`
166×	`log-prod_binary64_9030`
157×	`distribute-neg-in_binary64_8905`
152×	`exp-sum_binary64_8990`
124×	`associate-/l*_binary64_8889`
121×	`times-frac_binary64_8950`
112×	`*-commutative_binary64_8875`
101×	`sqr-pow_binary64_8916` `swap-sqr_binary64_8911`
100×	`log-div_binary64_9031` `exp-prod_binary64_8996`
94×	`associate-/r*_binary64_8888`
93×	`associate-+l+_binary64_8877`
84×	`cancel-sign-sub-inv_binary64_8910`
71×	`associate-+l-_binary64_8879`
67×	`associate-+r+_binary64_8876`
63×	`neg-mul-1_binary64_8940` `associate--l+_binary64_8881`
62×	`pow-sqr_binary64_8917`
61×	`neg-sub0_binary64_8939` `distribute-frac-neg_binary64_8907`
59×	`exp-diff_binary64_8992`
58×	`/-rgt-identity_binary64_8935`
53×	`associate--l-_binary64_8882`
51×	`*-rgt-identity_binary64_8934`
50×	`*-lft-identity_binary64_8933`
44×	`distribute-neg-out_binary64_8906`
42×	`unswap-sqr_binary64_8912`
40×	`cube-prod_binary64_8972`
37×	`distribute-rgt-out_binary64_8897`
36×	`distribute-neg-frac_binary64_8908` `associate-+r-_binary64_8878` `+-commutative_binary64_8874`
35×	`exp-to-pow_binary64_9006` `associate--r+_binary64_8880`
31×	`pow-plus_binary64_9007`
29×	`sub0-neg_binary64_8931` `distribute-rgt-neg-in_binary64_8902` `distribute-lft-neg-in_binary64_8901`
23×	`log-pow_binary64_9033` `cube-div_binary64_8973`
20×	`distribute-rgt-out--_binary64_8898`
17×	`cube-unmult_binary64_8981` `mul0-lft_binary64_8926` `difference-of-squares_binary64_8913` `distribute-lft-neg-out_binary64_8903`
16×	`rem-sqrt-square_binary64_8957` `+-lft-identity_binary64_8928` `distribute-lft-out_binary64_8895`
14×	`unpow3_binary64_9010` `mul0-rgt_binary64_8927`
13×	`log-rec_binary64_9032`
11×	`associate--r-_binary64_8883`
10×	`remove-double-neg_binary64_8932`
9×	`rem-square-sqrt_binary64_8956` `distribute-rgt1-in_binary64_8900` `count-2_binary64_8892`
7×	`+-rgt-identity_binary64_8929` `distribute-lft-out--_binary64_8896`
6×	`+-inverses_binary64_8923`
5×	`cube-mult_binary64_8974`
4×	`sqr-neg_binary64_8958`
3×	`pow-base-1_binary64_9004`
2×	`cube-neg_binary64_8971` `div0_binary64_8925` `cancel-sign-sub_binary64_8909`
1×	`exp-lft-sqr_binary64_8999` `exp-sqrt_binary64_8997` `div-exp_binary64_8995` `rec-exp_binary64_8994` `prod-exp_binary64_8993` `exp-neg_binary64_8991` `1-exp_binary64_8988` `exp-1-e_binary64_8987` `rem-log-exp_binary64_8985` `rem-3cbrt-rft_binary64_8970` `rem-3cbrt-lft_binary64_8969` `rem-cbrt-cube_binary64_8968` `sqr-abs_binary64_8959` `*-inverses_binary64_8924` `difference-of-sqr--1_binary64_8915` `distribute-lft1-in_binary64_8899`
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_9207` `erf-erfc_binary64_9206` `erf-odd_binary64_9205` `if-if-and-not_binary64_9204` `if-if-and_binary64_9203` `if-if-or-not_binary64_9202` `if-if-or_binary64_9201` `if-not_binary64_9200` `if-same_binary64_9199` `if-false_binary64_9198` `if-true_binary64_9197` `not-gte_binary64_9196` `not-lte_binary64_9195` `not-gt_binary64_9194` `not-lt_binary64_9193` `gte-same_binary64_9192` `lte-same_binary64_9191` `gt-same_binary64_9190` `lt-same_binary64_9189` `sinh---cosh_binary64_9136` `sinh-+-cosh_binary64_9135` `sinh-cosh_binary64_9134` `tanh-def-c_binary64_9133` `tanh-def-b_binary64_9132` `tanh-def-a_binary64_9131` `cosh-def_binary64_9130` `sinh-def_binary64_9129` `tan-neg_binary64_9076` `cos-neg_binary64_9075` `sin-neg_binary64_9074` `tan-0_binary64_9073` `cos-0_binary64_9072` `sin-0_binary64_9071` `hang-m-tan_binary64_9070` `hang-p-tan_binary64_9069` `hang-m0-tan_binary64_9068` `hang-p0-tan_binary64_9067` `hang-0m-tan_binary64_9066` `hang-0p-tan_binary64_9065` `tan-+PI/2_binary64_9064` `tan-+PI_binary64_9063` `tan-PI_binary64_9062` `tan-PI/3_binary64_9061` `tan-PI/4_binary64_9060` `tan-PI/6_binary64_9059` `cos-+PI/2_binary64_9058` `cos-+PI_binary64_9057` `cos-PI_binary64_9056` `cos-PI/2_binary64_9055` `cos-PI/3_binary64_9054` `cos-PI/4_binary64_9053` `cos-PI/6_binary64_9052` `sin-+PI/2_binary64_9051` `sin-+PI_binary64_9050` `sin-PI_binary64_9049` `sin-PI/2_binary64_9048` `sin-PI/3_binary64_9047` `sin-PI/4_binary64_9046` `sin-PI/6_binary64_9045` `sub-1-sin_binary64_9044` `sub-1-cos_binary64_9043` `-1-add-sin_binary64_9042` `-1-add-cos_binary64_9041` `1-sub-sin_binary64_9040` `1-sub-cos_binary64_9039` `cos-sin-sum_binary64_9038` `log-E_binary64_9034` `pow-base-0_binary64_9028` `unpow1/3_binary64_9011` `unpow2_binary64_9009` `unpow1/2_binary64_9008` `unpow0_binary64_9003` `unpow1_binary64_9002` `unpow-1_binary64_9001` `exp-lft-cube_binary64_9000` `exp-cbrt_binary64_8998` `e-exp-1_binary64_8989` `exp-0_binary64_8986` `rem-exp-log_binary64_8984` `rem-cube-cbrt_binary64_8967` `mul-1-neg_binary64_8936` `--rgt-identity_binary64_8930` `lft-mult-inverse_binary64_8922` `rgt-mult-inverse_binary64_8921` `remove-double-div_binary64_8920` `difference-of-sqr-1_binary64_8914`

Counts

465 → 3601

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	365	22126
1	700	20960
2	1172	16277
3	3294	15615
4	2611	15601

prune26.0s (41.3%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	3597	4	3601
Fresh	2	4	6
Picked	1	0	1
Done	0	1	1
Total	3600	9	3609

Error

Counts

3609 → 9

Compiler

Compiled 135288 to 100327 computations (25.8% saved)

localize14.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
0.1b	(pow.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (/.f64 -1 2))
0.1b	(sqrt.f64 (+.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)))
0.2b	(/.f64 (pow.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (/.f64 -1 2)) (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))))

rewrite511.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

223×	`*-un-lft-identity_binary64_8944`
168×	`sqrt-prod_binary64_8960`
99×	`times-frac_binary64_8950`
96×	`distribute-lft-out_binary64_8895`
66×	`unpow-prod-down_binary64_9023`
56×	`add-sqr-sqrt_binary64_8966`
55×	`add-cube-cbrt_binary64_8979`
13×	`pow-unpow_binary64_9021`
11×	`sqr-pow_binary64_8916`
10×	`add-exp-log_binary64_8982` `associate-/l*_binary64_8889`
9×	`associate-/r*_binary64_8888`
6×	`pow1_binary64_9005` `add-log-exp_binary64_8983` `add-cbrt-cube_binary64_8980`
4×	`sqrt-div_binary64_8961`
3×	`div-exp_binary64_8995` `flip3-+_binary64_8947` `flip-+_binary64_8918`
2×	`pow-to-exp_binary64_9013` `pow-exp_binary64_9012` `div-inv_binary64_8941` `associate-/r/_binary64_8890`
1×	`cbrt-undiv_binary64_8978` `frac-2neg_binary64_8955` `clear-num_binary64_8943` `pow1/2_binary64_9024` `sqrt-pow1_binary64_8962` `rem-sqrt-square_binary64_8957` `pow-pow_binary64_9016` `sum-log_binary64_9035` `+-commutative_binary64_8874`

Counts

4 → 187

Calls

4 calls:

24.0ms	(/.f64 (pow.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (/.f64 -1 2)) (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))))
11.0ms	(pow.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (/.f64 -1 2))
8.0ms	(sqrt.f64 (+.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)))
8.0ms	(+.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))

Compiler

Compiled 6574 to 4888 computations (25.6% saved)

series137.0ms (0.2%)

Error

Counts

4 → 12

Calls

4 calls:

34.0ms	(pow.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (/.f64 -1 2))
34.0ms	(sqrt.f64 (+.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x)))
31.0ms	(/.f64 (pow.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)) (/.f64 -1 2)) (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))))
27.0ms	(+.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))

Compiler

Compiled 538 to 467 computations (13.2% saved)

simplify517.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

525×	`unswap-sqr_binary64_8912`
521×	`times-frac_binary64_8950`
355×	`associate-/l*_binary64_8889`
303×	`associate-/l/_binary64_8891`
249×	`associate-/r*_binary64_8888`
220×	`associate-l_binary64_8885`
160×	`sqr-pow_binary64_8916`
157×	`associate-r_binary64_8884`
109×	`pow-sqr_binary64_8917`
106×	`*-commutative_binary64_8875`
102×	`associate-*l/_binary64_8887`
93×	`associate-*r/_binary64_8886`
92×	`associate-/r/_binary64_8890`
67×	`distribute-rgt-in_binary64_8894`
60×	`distribute-lft-in_binary64_8893`
56×	`log-prod_binary64_9030` `cancel-sign-sub-inv_binary64_8910`
54×	`exp-prod_binary64_8996`
44×	`sub-neg_binary64_8937`
43×	`cube-prod_binary64_8972` `/-rgt-identity_binary64_8935`
39×	`log-div_binary64_9031`
34×	`cube-div_binary64_8973`
33×	`*-lft-identity_binary64_8933`
31×	`*-rgt-identity_binary64_8934`
29×	`cube-unmult_binary64_8981`
28×	`associate-+l+_binary64_8877`
25×	`swap-sqr_binary64_8911`
23×	`pow-plus_binary64_9007`
22×	`associate-+r+_binary64_8876`
20×	`log-pow_binary64_9033`
19×	`unsub-neg_binary64_8938`
15×	`div-sub_binary64_8949` `neg-sub0_binary64_8939` `+-commutative_binary64_8874`
13×	`neg-mul-1_binary64_8940`
11×	`associate-+r-_binary64_8878`
10×	`prod-exp_binary64_8993`
9×	`div-exp_binary64_8995` `rem-sqrt-square_binary64_8957` `distribute-rgt-out_binary64_8897` `associate-+l-_binary64_8879`
8×	`mul-1-neg_binary64_8936` `distribute-rgt-neg-in_binary64_8902`
7×	`remove-double-div_binary64_8920` `distribute-lft-neg-in_binary64_8901`
6×	`+-rgt-identity_binary64_8929`
5×	`unpow3_binary64_9010` `cube-mult_binary64_8974` `sub0-neg_binary64_8931` `count-2_binary64_8892` `associate--l+_binary64_8881`
4×	`pow-base-1_binary64_9004` `difference-of-squares_binary64_8913` `distribute-neg-frac_binary64_8908`
3×	`log-rec_binary64_9032` `rec-exp_binary64_8994` `rem-square-sqrt_binary64_8956` `distribute-lft-neg-out_binary64_8903` `distribute-rgt-out--_binary64_8898`
2×	`exp-diff_binary64_8992` `exp-sum_binary64_8990` `+-inverses_binary64_8923` `distribute-rgt1-in_binary64_8900` `distribute-lft-out_binary64_8895` `associate--r+_binary64_8880`
1×	`unpow1_binary64_9002` `unpow-1_binary64_9001` `1-exp_binary64_8988` `rem-log-exp_binary64_8985` `rgt-mult-inverse_binary64_8921` `distribute-rgt-neg-out_binary64_8904` `associate--l-_binary64_8882`
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_9207` `erf-erfc_binary64_9206` `erf-odd_binary64_9205` `if-if-and-not_binary64_9204` `if-if-and_binary64_9203` `if-if-or-not_binary64_9202` `if-if-or_binary64_9201` `if-not_binary64_9200` `if-same_binary64_9199` `if-false_binary64_9198` `if-true_binary64_9197` `not-gte_binary64_9196` `not-lte_binary64_9195` `not-gt_binary64_9194` `not-lt_binary64_9193` `gte-same_binary64_9192` `lte-same_binary64_9191` `gt-same_binary64_9190` `lt-same_binary64_9189` `sinh---cosh_binary64_9136` `sinh-+-cosh_binary64_9135` `sinh-cosh_binary64_9134` `tanh-def-c_binary64_9133` `tanh-def-b_binary64_9132` `tanh-def-a_binary64_9131` `cosh-def_binary64_9130` `sinh-def_binary64_9129` `tan-neg_binary64_9076` `cos-neg_binary64_9075` `sin-neg_binary64_9074` `tan-0_binary64_9073` `cos-0_binary64_9072` `sin-0_binary64_9071` `hang-m-tan_binary64_9070` `hang-p-tan_binary64_9069` `hang-m0-tan_binary64_9068` `hang-p0-tan_binary64_9067` `hang-0m-tan_binary64_9066` `hang-0p-tan_binary64_9065` `tan-+PI/2_binary64_9064` `tan-+PI_binary64_9063` `tan-PI_binary64_9062` `tan-PI/3_binary64_9061` `tan-PI/4_binary64_9060` `tan-PI/6_binary64_9059` `cos-+PI/2_binary64_9058` `cos-+PI_binary64_9057` `cos-PI_binary64_9056` `cos-PI/2_binary64_9055` `cos-PI/3_binary64_9054` `cos-PI/4_binary64_9053` `cos-PI/6_binary64_9052` `sin-+PI/2_binary64_9051` `sin-+PI_binary64_9050` `sin-PI_binary64_9049` `sin-PI/2_binary64_9048` `sin-PI/3_binary64_9047` `sin-PI/4_binary64_9046` `sin-PI/6_binary64_9045` `sub-1-sin_binary64_9044` `sub-1-cos_binary64_9043` `-1-add-sin_binary64_9042` `-1-add-cos_binary64_9041` `1-sub-sin_binary64_9040` `1-sub-cos_binary64_9039` `cos-sin-sum_binary64_9038` `log-E_binary64_9034` `pow-base-0_binary64_9028` `unpow1/3_binary64_9011` `unpow2_binary64_9009` `unpow1/2_binary64_9008` `exp-to-pow_binary64_9006` `unpow0_binary64_9003` `exp-lft-cube_binary64_9000` `exp-lft-sqr_binary64_8999` `exp-cbrt_binary64_8998` `exp-sqrt_binary64_8997` `exp-neg_binary64_8991` `e-exp-1_binary64_8989` `exp-1-e_binary64_8987` `exp-0_binary64_8986` `rem-exp-log_binary64_8984` `cube-neg_binary64_8971` `rem-3cbrt-rft_binary64_8970` `rem-3cbrt-lft_binary64_8969` `rem-cbrt-cube_binary64_8968` `rem-cube-cbrt_binary64_8967` `sqr-abs_binary64_8959` `sqr-neg_binary64_8958` `remove-double-neg_binary64_8932` `--rgt-identity_binary64_8930` `+-lft-identity_binary64_8928` `mul0-rgt_binary64_8927` `mul0-lft_binary64_8926` `div0_binary64_8925` `*-inverses_binary64_8924` `lft-mult-inverse_binary64_8922` `difference-of-sqr--1_binary64_8915` `difference-of-sqr-1_binary64_8914` `cancel-sign-sub_binary64_8909` `distribute-frac-neg_binary64_8907` `distribute-neg-out_binary64_8906` `distribute-neg-in_binary64_8905` `distribute-lft1-in_binary64_8899` `distribute-lft-out--_binary64_8896` `associate--r-_binary64_8883`

Counts

199 → 404

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	206	8147
1	363	7971
2	1047	7950
3	3470	7932

prune1.5s (2.4%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	404	0	404
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	404	9	413

Error

Counts

413 → 9

Compiler

Compiled 15552 to 11473 computations (26.2% saved)

regimes633.0ms (1%)

Accuracy

Total 0.2b remaining (98.7%)

Threshold costs 0.2b (98.7%)

Compiler

Compiled 7563 to 5924 computations (21.7% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary64_8874`
1×	`1-exp_binary64_8988`
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_9204` `if-if-and_binary64_9203` `if-if-or-not_binary64_9202` `if-if-or_binary64_9201` `if-not_binary64_9200` `if-same_binary64_9199` `if-false_binary64_9198` `if-true_binary64_9197` `tan-0_binary64_9073` `cos-0_binary64_9072` `sin-0_binary64_9071` `unpow1_binary64_9002` `e-exp-1_binary64_8989` `exp-1-e_binary64_8987` `exp-0_binary64_8986` `sqr-abs_binary64_8959` `sqr-neg_binary64_8958` `neg-mul-1_binary64_8940` `neg-sub0_binary64_8939` `unsub-neg_binary64_8938` `sub-neg_binary64_8937` `mul-1-neg_binary64_8936` `/-rgt-identity_binary64_8935` `-rgt-identity_binary64_8934` `-lft-identity_binary64_8933` `remove-double-neg_binary64_8932` `sub0-neg_binary64_8931` `--rgt-identity_binary64_8930` `+-rgt-identity_binary64_8929` `+-lft-identity_binary64_8928` `cancel-sign-sub-inv_binary64_8910` `cancel-sign-sub_binary64_8909` `distribute-neg-frac_binary64_8908` `distribute-frac-neg_binary64_8907` `distribute-neg-out_binary64_8906` `distribute-neg-in_binary64_8905` `distribute-rgt-neg-out_binary64_8904` `distribute-lft-neg-out_binary64_8903` `distribute-rgt-neg-in_binary64_8902` `distribute-lft-neg-in_binary64_8901` `*-commutative_binary64_8875`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	12	14

Proof

(/ f64 1 (+ f64 (sqrt f64 (=> (+ f64 h0 1))) (sqrt f64 h0)))
+-commutative_binary64_8874 =>
(/ f64 1 (+ f64 (sqrt f64 (+ f64 1 h0)) (sqrt f64 h0)))

end0.0ms (0%)

sample4.0s (6.4%)

Algorithm

1×

intervals

Results

205.0ms	1998×	body	1024	valid
126.0ms	4269×	body	128	valid
79.0ms	1024×	body	512	valid
29.0ms	230×	body	2048	valid
24.0ms	479×	body	256	valid

Compiler

Compiled 3762 to 2947 computations (21.7% saved)

Details

analyze3.0ms (0%)

sample22.0ms (0%)

simplify1.3s (2.1%)

prune7.0ms (0%)

localize6.0ms (0%)

rewrite70.0ms (0.1%)

series79.0ms (0.1%)

simplify181.0ms (0.3%)

prune108.0ms (0.2%)

localize8.0ms (0%)

rewrite133.0ms (0.2%)

series88.0ms (0.1%)

simplify651.0ms (1%)

prune333.0ms (0.5%)

localize13.0ms (0%)

rewrite2.1s (3.3%)

series146.0ms (0.2%)

simplify24.4s (38.8%)

prune26.0s (41.3%)

localize14.0ms (0%)

rewrite511.0ms (0.8%)

series137.0ms (0.2%)

simplify517.0ms (0.8%)

prune1.5s (2.4%)

regimes633.0ms (1%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample4.0s (6.4%)

Profiling