Details

analyze44.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	50%	50%	2
0%	50%	50%	3
25%	25%	50%	4
25%	25%	50%	5
31.2%	18.7%	50%	6
34.3%	15.6%	50%	7
39%	10.9%	50%	8
40.6%	8.6%	50.8%	9
42.9%	5.9%	51.2%	10
43.7%	4.5%	51.8%	11
44.9%	3%	52.1%	12
45.3%	2.3%	52.4%	13
45.9%	1.5%	52.6%	14

Compiler

Compiled 15 to 14 computations (6.7% saved)

sample21.0ms (0%)

Algorithm

1×

intervals

Results

11.0ms	256×	body	128	valid
0.0ms	2×	body	128	invalid

Compiler

Compiled 29 to 29 computations (0% saved)

simplify754.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

903×	`exp-prod_binary64_6950`
731×	`swap-sqr_binary64_6865`
676×	`associate-/r/_binary64_6844`
586×	`sub-neg_binary64_6891`
542×	`associate-/r*_binary64_6842`
531×	`distribute-lft-out--_binary64_6850`
245×	`div-sub_binary64_6903`
171×	`unsub-neg_binary64_6892`
93×	`distribute-rgt-in_binary64_6848`
89×	`associate-/l*_binary64_6843`
80×	`*-commutative_binary64_6829`
69×	`neg-mul-1_binary64_6894`
68×	`neg-sub0_binary64_6893`
61×	`distribute-neg-frac_binary64_6862` `associate-/l/_binary64_6845`
58×	`exp-sum_binary64_6944` `times-frac_binary64_6904`
55×	`distribute-lft-in_binary64_6847`
53×	`exp-diff_binary64_6946` `associate-r_binary64_6838`
47×	`cancel-sign-sub-inv_binary64_6864`
44×	`distribute-rgt1-in_binary64_6854`
38×	`distribute-lft-neg-out_binary64_6857`
37×	`distribute-rgt-neg-out_binary64_6858`
36×	`associate-l_binary64_6839`
34×	`distribute-lft-neg-in_binary64_6855`
32×	`sqr-pow_binary64_6870`
28×	`pow-plus_binary64_6961`
27×	`distribute-rgt-neg-in_binary64_6856`
25×	`sqr-neg_binary64_6912` `associate--r+_binary64_6834`
23×	`distribute-neg-in_binary64_6859`
22×	`+-inverses_binary64_6877`
19×	`pow-sqr_binary64_6871`
18×	`mul0-rgt_binary64_6881`
17×	`associate-*l/_binary64_6841` `associate-+l-_binary64_6833`
16×	`remove-double-neg_binary64_6886` `mul0-lft_binary64_6880` `associate-+r-_binary64_6832`
15×	`exp-neg_binary64_6945` `div0_binary64_6879` `associate--r-_binary64_6837` `+-commutative_binary64_6828`
14×	`associate-*r/_binary64_6840`
13×	`associate-+r+_binary64_6830`
12×	`exp-lft-sqr_binary64_6953` `difference-of-squares_binary64_6867` `associate--l+_binary64_6835`
11×	`-rgt-identity_binary64_6888` `-lft-identity_binary64_6887`
10×	`associate-+l+_binary64_6831`
9×	`exp-cbrt_binary64_6952` `sub0-neg_binary64_6885` `--rgt-identity_binary64_6884`
8×	`/-rgt-identity_binary64_6889` `associate--l-_binary64_6836`
7×	`distribute-neg-out_binary64_6860` `distribute-rgt-out--_binary64_6852`
6×	`+-rgt-identity_binary64_6883` `unswap-sqr_binary64_6866`
5×	`distribute-frac-neg_binary64_6861`
4×	`cube-unmult_binary64_6935` `cancel-sign-sub_binary64_6863`
3×	`distribute-rgt-out_binary64_6851` `count-2_binary64_6846`
2×	`cube-prod_binary64_6926` `mul-1-neg_binary64_6890` `distribute-lft1-in_binary64_6853`
1×	`pow-base-1_binary64_6958` `1-exp_binary64_6942` `exp-1-e_binary64_6941` `rem-sqrt-square_binary64_6911` `rem-square-sqrt_binary64_6910` `difference-of-sqr--1_binary64_6869` `difference-of-sqr-1_binary64_6868`
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_7161` `erf-erfc_binary64_7160` `erf-odd_binary64_7159` `if-if-and-not_binary64_7158` `if-if-and_binary64_7157` `if-if-or-not_binary64_7156` `if-if-or_binary64_7155` `if-not_binary64_7154` `if-same_binary64_7153` `if-false_binary64_7152` `if-true_binary64_7151` `not-gte_binary64_7150` `not-lte_binary64_7149` `not-gt_binary64_7148` `not-lt_binary64_7147` `gte-same_binary64_7146` `lte-same_binary64_7145` `gt-same_binary64_7144` `lt-same_binary64_7143` `sinh---cosh_binary64_7090` `sinh-+-cosh_binary64_7089` `sinh-cosh_binary64_7088` `tanh-def-c_binary64_7087` `tanh-def-b_binary64_7086` `tanh-def-a_binary64_7085` `cosh-def_binary64_7084` `sinh-def_binary64_7083` `tan-neg_binary64_7030` `cos-neg_binary64_7029` `sin-neg_binary64_7028` `tan-0_binary64_7027` `cos-0_binary64_7026` `sin-0_binary64_7025` `hang-m-tan_binary64_7024` `hang-p-tan_binary64_7023` `hang-m0-tan_binary64_7022` `hang-p0-tan_binary64_7021` `hang-0m-tan_binary64_7020` `hang-0p-tan_binary64_7019` `tan-+PI/2_binary64_7018` `tan-+PI_binary64_7017` `tan-PI_binary64_7016` `tan-PI/3_binary64_7015` `tan-PI/4_binary64_7014` `tan-PI/6_binary64_7013` `cos-+PI/2_binary64_7012` `cos-+PI_binary64_7011` `cos-PI_binary64_7010` `cos-PI/2_binary64_7009` `cos-PI/3_binary64_7008` `cos-PI/4_binary64_7007` `cos-PI/6_binary64_7006` `sin-+PI/2_binary64_7005` `sin-+PI_binary64_7004` `sin-PI_binary64_7003` `sin-PI/2_binary64_7002` `sin-PI/3_binary64_7001` `sin-PI/4_binary64_7000` `sin-PI/6_binary64_6999` `sub-1-sin_binary64_6998` `sub-1-cos_binary64_6997` `-1-add-sin_binary64_6996` `-1-add-cos_binary64_6995` `1-sub-sin_binary64_6994` `1-sub-cos_binary64_6993` `cos-sin-sum_binary64_6992` `log-E_binary64_6988` `log-pow_binary64_6987` `log-rec_binary64_6986` `log-div_binary64_6985` `log-prod_binary64_6984` `pow-base-0_binary64_6982` `unpow1/3_binary64_6965` `unpow3_binary64_6964` `unpow2_binary64_6963` `unpow1/2_binary64_6962` `exp-to-pow_binary64_6960` `unpow0_binary64_6957` `unpow1_binary64_6956` `unpow-1_binary64_6955` `exp-lft-cube_binary64_6954` `exp-sqrt_binary64_6951` `div-exp_binary64_6949` `rec-exp_binary64_6948` `prod-exp_binary64_6947` `e-exp-1_binary64_6943` `exp-0_binary64_6940` `rem-log-exp_binary64_6939` `rem-exp-log_binary64_6938` `cube-mult_binary64_6928` `cube-div_binary64_6927` `cube-neg_binary64_6925` `rem-3cbrt-rft_binary64_6924` `rem-3cbrt-lft_binary64_6923` `rem-cbrt-cube_binary64_6922` `rem-cube-cbrt_binary64_6921` `sqr-abs_binary64_6913` `+-lft-identity_binary64_6882` `*-inverses_binary64_6878` `lft-mult-inverse_binary64_6876` `rgt-mult-inverse_binary64_6875` `remove-double-div_binary64_6874` `distribute-lft-out_binary64_6849`

Counts

1 → 6

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	21
1	27	21
2	55	21
3	111	21
4	210	21
5	478	21
6	831	21
7	3129	21

prune9.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	5	1	6
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	5	2	7

Error

0.2b

Counts

7 → 2

Compiler

Compiled 112 to 89 computations (20.5% saved)

localize13.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 1 (+.f64 (/.f64 1 (*.f64 x 9)) (/.f64 (/.f64 y 3) (sqrt.f64 x))))
0.0b	(+.f64 (/.f64 1 (*.f64 x 9)) (/.f64 (/.f64 y 3) (sqrt.f64 x)))
0.3b	(/.f64 1 (*.f64 x 9))
0.3b	(/.f64 (/.f64 y 3) (sqrt.f64 x))

rewrite407.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

144×	`times-frac_binary64_6904`
98×	`*-un-lft-identity_binary64_6898`
87×	`add-sqr-sqrt_binary64_6920`
84×	`add-cube-cbrt_binary64_6933`
42×	`sqrt-prod_binary64_6914`
20×	`add-exp-log_binary64_6936`
16×	`associate-/l*_binary64_6843`
14×	`add-cbrt-cube_binary64_6934`
12×	`div-inv_binary64_6895`
11×	`add-log-exp_binary64_6937`
7×	`pow1_binary64_6959` `div-exp_binary64_6949` `associate-/r*_binary64_6842`
6×	`distribute-lft-out_binary64_6849`
5×	`cbrt-undiv_binary64_6932` `cancel-sign-sub-inv_binary64_6864`
3×	`prod-exp_binary64_6947` `distribute-lft-out--_binary64_6850`
2×	`frac-2neg_binary64_6909` `clear-num_binary64_6897` `pow-flip_binary64_6972` `1-exp_binary64_6942` `rec-exp_binary64_6948` `sum-log_binary64_6989` `diff-log_binary64_6990` `difference-of-squares_binary64_6867`
1×	`associate-/l/_binary64_6845` `inv-pow_binary64_6983` `pow-prod-down_binary64_6969` `cbrt-unprod_binary64_6931` `frac-add_binary64_6906` `flip3-+_binary64_6901` `flip-+_binary64_6872` `+-commutative_binary64_6828` `flip3--_binary64_6902` `sub-neg_binary64_6891` `flip--_binary64_6873` `associate--r+_binary64_6834`

Counts

4 → 177

Calls

4 calls:

43.0ms	(-.f64 1 (+.f64 (/.f64 1 (*.f64 x 9)) (/.f64 (/.f64 y 3) (sqrt.f64 x))))
35.0ms	(+.f64 (/.f64 1 (*.f64 x 9)) (/.f64 (/.f64 y 3) (sqrt.f64 x)))
8.0ms	(/.f64 (/.f64 y 3) (sqrt.f64 x))
5.0ms	(/.f64 1 (*.f64 x 9))

Compiler

Compiled 4265 to 2893 computations (32.2% saved)

series530.0ms (0.4%)

Error

0.1b

Counts

4 → 27

Calls

4 calls:

182.0ms	(+.f64 (/.f64 1 (*.f64 x 9)) (/.f64 (/.f64 y 3) (sqrt.f64 x)))
174.0ms	(-.f64 1 (+.f64 (/.f64 1 (*.f64 x 9)) (/.f64 (/.f64 y 3) (sqrt.f64 x))))
122.0ms	(/.f64 (/.f64 y 3) (sqrt.f64 x))
26.0ms	(/.f64 1 (*.f64 x 9))

Compiler

Compiled 967 to 861 computations (11% saved)

simplify382.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

460×	`associate-/r/_binary64_6844`
318×	`*-commutative_binary64_6829`
252×	`associate-/l/_binary64_6845`
232×	`div-sub_binary64_6903`
206×	`sub-neg_binary64_6891`
198×	`unsub-neg_binary64_6892`
167×	`associate-/r*_binary64_6842`
147×	`distribute-rgt-in_binary64_6848`
138×	`associate-/l*_binary64_6843`
119×	`distribute-lft-in_binary64_6847`
111×	`times-frac_binary64_6904`
109×	`neg-mul-1_binary64_6894`
105×	`cancel-sign-sub-inv_binary64_6864`
100×	`neg-sub0_binary64_6893`
84×	`associate-*l/_binary64_6841`
79×	`exp-prod_binary64_6950` `associate-+l+_binary64_6831`
74×	`distribute-neg-frac_binary64_6862`
72×	`distribute-rgt-neg-in_binary64_6856` `associate-l_binary64_6839`
65×	`associate-*r/_binary64_6840`
63×	`log-prod_binary64_6984`
56×	`cube-prod_binary64_6926`
54×	`distribute-lft-neg-in_binary64_6855` `+-commutative_binary64_6828`
51×	`associate-r_binary64_6838`
48×	`exp-sum_binary64_6944` `/-rgt-identity_binary64_6889` `associate-+r+_binary64_6830`
43×	`*-rgt-identity_binary64_6888`
42×	`cube-div_binary64_6927` `associate-+l-_binary64_6833`
39×	`log-div_binary64_6985`
36×	`distribute-lft-neg-out_binary64_6857`
35×	`exp-diff_binary64_6946` `sqr-pow_binary64_6870`
30×	`unswap-sqr_binary64_6866` `associate--r+_binary64_6834`
26×	`associate--l-_binary64_6836`
25×	`distribute-rgt-out_binary64_6851`
23×	`distribute-neg-in_binary64_6859`
21×	`swap-sqr_binary64_6865`
20×	`*-lft-identity_binary64_6887`
18×	`unpow3_binary64_6964` `distribute-rgt-neg-out_binary64_6858`
17×	`pow-plus_binary64_6961`
16×	`log-pow_binary64_6987` `pow-sqr_binary64_6871` `associate-+r-_binary64_6832`
14×	`distribute-rgt-out--_binary64_6852`
13×	`cube-mult_binary64_6928`
12×	`log-rec_binary64_6986`
10×	`associate--l+_binary64_6835`
9×	`distribute-neg-out_binary64_6860` `distribute-rgt1-in_binary64_6854`
7×	`pow-base-1_binary64_6958` `cube-unmult_binary64_6935` `rem-sqrt-square_binary64_6911`
6×	`exp-neg_binary64_6945` `distribute-lft-out_binary64_6849`
5×	`difference-of-squares_binary64_6867`
4×	`div-exp_binary64_6949`
3×	`distribute-lft1-in_binary64_6853`
2×	`exp-to-pow_binary64_6960` `exp-cbrt_binary64_6952` `prod-exp_binary64_6947` `sqr-neg_binary64_6912` `rem-square-sqrt_binary64_6910` `+-rgt-identity_binary64_6883` `distribute-lft-out--_binary64_6850` `count-2_binary64_6846`
1×	`exp-lft-cube_binary64_6954` `rec-exp_binary64_6948` `1-exp_binary64_6942` `exp-1-e_binary64_6941` `rem-log-exp_binary64_6939` `rem-3cbrt-lft_binary64_6923` `rem-cbrt-cube_binary64_6922` `cancel-sign-sub_binary64_6863` `associate--r-_binary64_6837`
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_7161` `erf-erfc_binary64_7160` `erf-odd_binary64_7159` `if-if-and-not_binary64_7158` `if-if-and_binary64_7157` `if-if-or-not_binary64_7156` `if-if-or_binary64_7155` `if-not_binary64_7154` `if-same_binary64_7153` `if-false_binary64_7152` `if-true_binary64_7151` `not-gte_binary64_7150` `not-lte_binary64_7149` `not-gt_binary64_7148` `not-lt_binary64_7147` `gte-same_binary64_7146` `lte-same_binary64_7145` `gt-same_binary64_7144` `lt-same_binary64_7143` `sinh---cosh_binary64_7090` `sinh-+-cosh_binary64_7089` `sinh-cosh_binary64_7088` `tanh-def-c_binary64_7087` `tanh-def-b_binary64_7086` `tanh-def-a_binary64_7085` `cosh-def_binary64_7084` `sinh-def_binary64_7083` `tan-neg_binary64_7030` `cos-neg_binary64_7029` `sin-neg_binary64_7028` `tan-0_binary64_7027` `cos-0_binary64_7026` `sin-0_binary64_7025` `hang-m-tan_binary64_7024` `hang-p-tan_binary64_7023` `hang-m0-tan_binary64_7022` `hang-p0-tan_binary64_7021` `hang-0m-tan_binary64_7020` `hang-0p-tan_binary64_7019` `tan-+PI/2_binary64_7018` `tan-+PI_binary64_7017` `tan-PI_binary64_7016` `tan-PI/3_binary64_7015` `tan-PI/4_binary64_7014` `tan-PI/6_binary64_7013` `cos-+PI/2_binary64_7012` `cos-+PI_binary64_7011` `cos-PI_binary64_7010` `cos-PI/2_binary64_7009` `cos-PI/3_binary64_7008` `cos-PI/4_binary64_7007` `cos-PI/6_binary64_7006` `sin-+PI/2_binary64_7005` `sin-+PI_binary64_7004` `sin-PI_binary64_7003` `sin-PI/2_binary64_7002` `sin-PI/3_binary64_7001` `sin-PI/4_binary64_7000` `sin-PI/6_binary64_6999` `sub-1-sin_binary64_6998` `sub-1-cos_binary64_6997` `-1-add-sin_binary64_6996` `-1-add-cos_binary64_6995` `1-sub-sin_binary64_6994` `1-sub-cos_binary64_6993` `cos-sin-sum_binary64_6992` `log-E_binary64_6988` `pow-base-0_binary64_6982` `unpow1/3_binary64_6965` `unpow2_binary64_6963` `unpow1/2_binary64_6962` `unpow0_binary64_6957` `unpow1_binary64_6956` `unpow-1_binary64_6955` `exp-lft-sqr_binary64_6953` `exp-sqrt_binary64_6951` `e-exp-1_binary64_6943` `exp-0_binary64_6940` `rem-exp-log_binary64_6938` `cube-neg_binary64_6925` `rem-3cbrt-rft_binary64_6924` `rem-cube-cbrt_binary64_6921` `sqr-abs_binary64_6913` `mul-1-neg_binary64_6890` `remove-double-neg_binary64_6886` `sub0-neg_binary64_6885` `--rgt-identity_binary64_6884` `+-lft-identity_binary64_6882` `mul0-rgt_binary64_6881` `mul0-lft_binary64_6880` `div0_binary64_6879` `*-inverses_binary64_6878` `+-inverses_binary64_6877` `lft-mult-inverse_binary64_6876` `rgt-mult-inverse_binary64_6875` `remove-double-div_binary64_6874` `difference-of-sqr--1_binary64_6869` `difference-of-sqr-1_binary64_6868` `distribute-frac-neg_binary64_6861`

Counts

204 → 499

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	317	4108
1	737	3988
2	2080	3985
3	3958	3985

prune1.1s (0.7%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	491	8	499
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	492	9	501

Error

0.0b

Counts

501 → 9

Compiler

Compiled 13089 to 8475 computations (35.3% saved)

localize14.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 1 (+.f64 (/.f64 (/.f64 (cbrt.f64 1) (/.f64 x (cbrt.f64 1))) 9) (/.f64 (/.f64 y 3) (sqrt.f64 x))))
0.0b	(+.f64 (/.f64 (/.f64 (cbrt.f64 1) (/.f64 x (cbrt.f64 1))) 9) (/.f64 (/.f64 y 3) (sqrt.f64 x)))
0.3b	(/.f64 (/.f64 (cbrt.f64 1) (/.f64 x (cbrt.f64 1))) 9)
0.3b	(/.f64 (/.f64 y 3) (sqrt.f64 x))

rewrite5.5s (3.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

1524×	`times-frac_binary64_6904`
742×	`*-un-lft-identity_binary64_6898`
715×	`add-sqr-sqrt_binary64_6920`
712×	`add-cube-cbrt_binary64_6933`
480×	`cbrt-prod_binary64_6929`
150×	`associate-/l*_binary64_6843`
42×	`sqrt-prod_binary64_6914`
37×	`div-inv_binary64_6895`
18×	`add-exp-log_binary64_6936`
15×	`add-cbrt-cube_binary64_6934`
11×	`add-log-exp_binary64_6937`
9×	`div-exp_binary64_6949` `cbrt-undiv_binary64_6932` `associate-/r*_binary64_6842`
7×	`distribute-lft-out_binary64_6849`
6×	`cancel-sign-sub-inv_binary64_6864`
4×	`pow1_binary64_6959` `associate-/r/_binary64_6844`
2×	`frac-2neg_binary64_6909` `clear-num_binary64_6897` `associate-/l/_binary64_6845` `sum-log_binary64_6989` `diff-log_binary64_6990` `difference-of-squares_binary64_6867` `distribute-lft-out--_binary64_6850`
1×	`frac-add_binary64_6906` `flip3-+_binary64_6901` `flip-+_binary64_6872` `+-commutative_binary64_6828` `flip3--_binary64_6902` `sub-neg_binary64_6891` `flip--_binary64_6873` `associate--r+_binary64_6834`

Counts

4 → 718

Calls

4 calls:

1.2s	(+.f64 (/.f64 (/.f64 (cbrt.f64 1) (/.f64 x (cbrt.f64 1))) 9) (/.f64 (/.f64 y 3) (sqrt.f64 x)))
1.1s	(-.f64 1 (+.f64 (/.f64 (/.f64 (cbrt.f64 1) (/.f64 x (cbrt.f64 1))) 9) (/.f64 (/.f64 y 3) (sqrt.f64 x))))
33.0ms	(/.f64 (/.f64 (cbrt.f64 1) (/.f64 x (cbrt.f64 1))) 9)
8.0ms	(/.f64 (/.f64 y 3) (sqrt.f64 x))

Compiler

Compiled 24323 to 19408 computations (20.2% saved)

series548.0ms (0.4%)

Error

0.0b

Counts

4 → 27

Calls

4 calls:

191.0ms	(+.f64 (/.f64 (/.f64 (cbrt.f64 1) (/.f64 x (cbrt.f64 1))) 9) (/.f64 (/.f64 y 3) (sqrt.f64 x)))
184.0ms	(-.f64 1 (+.f64 (/.f64 (/.f64 (cbrt.f64 1) (/.f64 x (cbrt.f64 1))) 9) (/.f64 (/.f64 y 3) (sqrt.f64 x))))
126.0ms	(/.f64 (/.f64 y 3) (sqrt.f64 x))
25.0ms	(/.f64 (/.f64 (cbrt.f64 1) (/.f64 x (cbrt.f64 1))) 9)

Compiler

Compiled 1039 to 933 computations (10.2% saved)

simplify1.1min (44.6%)

Algorithm

1×	egg-herbie

Rules

630×	`associate-/l/_binary64_6845`
381×	`*-commutative_binary64_6829`
367×	`associate-/r/_binary64_6844`
273×	`cancel-sign-sub-inv_binary64_6864`
191×	`unsub-neg_binary64_6892`
181×	`distribute-rgt-out_binary64_6851`
179×	`sub-neg_binary64_6891`
178×	`associate-*l/_binary64_6841`
157×	`/-rgt-identity_binary64_6889` `associate-/r*_binary64_6842`
150×	`associate-*r/_binary64_6840`
146×	`distribute-rgt-neg-in_binary64_6856`
139×	`distribute-rgt-in_binary64_6848`
138×	`associate--l-_binary64_6836`
115×	`distribute-lft-neg-in_binary64_6855`
113×	`distribute-lft-in_binary64_6847`
107×	`sqr-pow_binary64_6870`
106×	`distribute-neg-in_binary64_6859`
105×	`distribute-rgt-out--_binary64_6852`
90×	`neg-mul-1_binary64_6894`
89×	`neg-sub0_binary64_6893`
79×	`associate-+l+_binary64_6831`
76×	`distribute-neg-frac_binary64_6862`
74×	`log-prod_binary64_6984`
69×	`exp-prod_binary64_6950`
68×	`div-sub_binary64_6903`
67×	`unswap-sqr_binary64_6866`
64×	`cube-prod_binary64_6926`
62×	`distribute-lft-neg-out_binary64_6857`
61×	`+-commutative_binary64_6828`
55×	`pow-sqr_binary64_6871` `difference-of-squares_binary64_6867`
52×	`exp-sum_binary64_6944`
51×	`log-div_binary64_6985`
49×	`associate-l_binary64_6839`
46×	`associate-+r+_binary64_6830`
44×	`distribute-rgt-neg-out_binary64_6858`
43×	`cube-div_binary64_6927` `-lft-identity_binary64_6887` `associate-/l_binary64_6843`
41×	`associate-r_binary64_6838`
40×	`swap-sqr_binary64_6865` `associate-+l-_binary64_6833`
35×	`*-rgt-identity_binary64_6888` `distribute-neg-out_binary64_6860`
31×	`associate--r-_binary64_6837`
27×	`exp-diff_binary64_6946`
25×	`distribute-rgt1-in_binary64_6854`
24×	`sub0-neg_binary64_6885`
23×	`associate--r+_binary64_6834`
20×	`unpow3_binary64_6964`
18×	`pow-plus_binary64_6961` `div-exp_binary64_6949`
17×	`prod-exp_binary64_6947`
16×	`log-pow_binary64_6987` `rem-sqrt-square_binary64_6911` `mul0-rgt_binary64_6881` `mul0-lft_binary64_6880` `associate-+r-_binary64_6832`
15×	`distribute-lft-out_binary64_6849`
14×	`cube-mult_binary64_6928`
12×	`cancel-sign-sub_binary64_6863` `associate--l+_binary64_6835`
11×	`+-rgt-identity_binary64_6883` `difference-of-sqr-1_binary64_6868`
10×	`distribute-lft1-in_binary64_6853`
9×	`distribute-lft-out--_binary64_6850`
8×	`cube-unmult_binary64_6935` `times-frac_binary64_6904`
7×	`log-rec_binary64_6986` `pow-base-1_binary64_6958` `exp-neg_binary64_6945`
6×	`div0_binary64_6879`
5×	`remove-double-div_binary64_6874` `count-2_binary64_6846`
4×	`rec-exp_binary64_6948`
3×	`exp-to-pow_binary64_6960` `rem-square-sqrt_binary64_6910`
2×	`rem-cbrt-cube_binary64_6922` `remove-double-neg_binary64_6886`
1×	`1-exp_binary64_6942` `exp-1-e_binary64_6941` `rem-log-exp_binary64_6939` `rem-3cbrt-lft_binary64_6923` `sqr-neg_binary64_6912` `--rgt-identity_binary64_6884` `+-lft-identity_binary64_6882` `+-inverses_binary64_6877`
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_7161` `erf-erfc_binary64_7160` `erf-odd_binary64_7159` `if-if-and-not_binary64_7158` `if-if-and_binary64_7157` `if-if-or-not_binary64_7156` `if-if-or_binary64_7155` `if-not_binary64_7154` `if-same_binary64_7153` `if-false_binary64_7152` `if-true_binary64_7151` `not-gte_binary64_7150` `not-lte_binary64_7149` `not-gt_binary64_7148` `not-lt_binary64_7147` `gte-same_binary64_7146` `lte-same_binary64_7145` `gt-same_binary64_7144` `lt-same_binary64_7143` `sinh---cosh_binary64_7090` `sinh-+-cosh_binary64_7089` `sinh-cosh_binary64_7088` `tanh-def-c_binary64_7087` `tanh-def-b_binary64_7086` `tanh-def-a_binary64_7085` `cosh-def_binary64_7084` `sinh-def_binary64_7083` `tan-neg_binary64_7030` `cos-neg_binary64_7029` `sin-neg_binary64_7028` `tan-0_binary64_7027` `cos-0_binary64_7026` `sin-0_binary64_7025` `hang-m-tan_binary64_7024` `hang-p-tan_binary64_7023` `hang-m0-tan_binary64_7022` `hang-p0-tan_binary64_7021` `hang-0m-tan_binary64_7020` `hang-0p-tan_binary64_7019` `tan-+PI/2_binary64_7018` `tan-+PI_binary64_7017` `tan-PI_binary64_7016` `tan-PI/3_binary64_7015` `tan-PI/4_binary64_7014` `tan-PI/6_binary64_7013` `cos-+PI/2_binary64_7012` `cos-+PI_binary64_7011` `cos-PI_binary64_7010` `cos-PI/2_binary64_7009` `cos-PI/3_binary64_7008` `cos-PI/4_binary64_7007` `cos-PI/6_binary64_7006` `sin-+PI/2_binary64_7005` `sin-+PI_binary64_7004` `sin-PI_binary64_7003` `sin-PI/2_binary64_7002` `sin-PI/3_binary64_7001` `sin-PI/4_binary64_7000` `sin-PI/6_binary64_6999` `sub-1-sin_binary64_6998` `sub-1-cos_binary64_6997` `-1-add-sin_binary64_6996` `-1-add-cos_binary64_6995` `1-sub-sin_binary64_6994` `1-sub-cos_binary64_6993` `cos-sin-sum_binary64_6992` `log-E_binary64_6988` `pow-base-0_binary64_6982` `unpow1/3_binary64_6965` `unpow2_binary64_6963` `unpow1/2_binary64_6962` `unpow0_binary64_6957` `unpow1_binary64_6956` `unpow-1_binary64_6955` `exp-lft-cube_binary64_6954` `exp-lft-sqr_binary64_6953` `exp-cbrt_binary64_6952` `exp-sqrt_binary64_6951` `e-exp-1_binary64_6943` `exp-0_binary64_6940` `rem-exp-log_binary64_6938` `cube-neg_binary64_6925` `rem-3cbrt-rft_binary64_6924` `rem-cube-cbrt_binary64_6921` `sqr-abs_binary64_6913` `mul-1-neg_binary64_6890` `*-inverses_binary64_6878` `lft-mult-inverse_binary64_6876` `rgt-mult-inverse_binary64_6875` `difference-of-sqr--1_binary64_6869` `distribute-frac-neg_binary64_6861`

Counts

745 → 5261

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	1179	26721
1	2710	14766
2	2235	14762
3	3526	13966

prune54.9s (37.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	5259	2	5261
Fresh	2	6	8
Picked	1	0	1
Done	0	0	0
Total	5262	8	5270

Error

Counts

5270 → 8

Compiler

Compiled 168236 to 132938 computations (21% saved)

localize10.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 1 (+.f64 (/.f64 (/.f64 1 x) 9) (/.f64 (/.f64 y 3) (sqrt.f64 x))))
0.0b	(+.f64 (/.f64 (/.f64 1 x) 9) (/.f64 (/.f64 y 3) (sqrt.f64 x)))
0.3b	(/.f64 (/.f64 1 x) 9)
0.3b	(/.f64 (/.f64 y 3) (sqrt.f64 x))

rewrite705.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

232×	`times-frac_binary64_6904`
160×	`*-un-lft-identity_binary64_6898`
127×	`add-sqr-sqrt_binary64_6920`
124×	`add-cube-cbrt_binary64_6933`
42×	`sqrt-prod_binary64_6914`
26×	`associate-/l*_binary64_6843`
18×	`add-exp-log_binary64_6936`
15×	`div-inv_binary64_6895`
14×	`add-cbrt-cube_binary64_6934`
11×	`add-log-exp_binary64_6937`
9×	`div-exp_binary64_6949` `associate-/r*_binary64_6842` `distribute-lft-out_binary64_6849`
7×	`cancel-sign-sub-inv_binary64_6864`
6×	`cbrt-undiv_binary64_6932`
4×	`pow1_binary64_6959`
2×	`frac-2neg_binary64_6909` `clear-num_binary64_6897` `associate-/l/_binary64_6845` `sum-log_binary64_6989` `diff-log_binary64_6990` `difference-of-squares_binary64_6867` `distribute-lft-out--_binary64_6850`
1×	`1-exp_binary64_6942` `rec-exp_binary64_6948` `frac-add_binary64_6906` `flip3-+_binary64_6901` `flip-+_binary64_6872` `+-commutative_binary64_6828` `flip3--_binary64_6902` `sub-neg_binary64_6891` `flip--_binary64_6873` `associate--r+_binary64_6834`

Counts

4 → 224

Calls

4 calls:

145.0ms	(-.f64 1 (+.f64 (/.f64 (/.f64 1 x) 9) (/.f64 (/.f64 y 3) (sqrt.f64 x))))
140.0ms	(+.f64 (/.f64 (/.f64 1 x) 9) (/.f64 (/.f64 y 3) (sqrt.f64 x)))
8.0ms	(/.f64 (/.f64 y 3) (sqrt.f64 x))
7.0ms	(/.f64 (/.f64 1 x) 9)

Compiler

Compiled 5492 to 3813 computations (30.6% saved)

series540.0ms (0.4%)

Error

Counts

4 → 27

Calls

4 calls:

181.0ms	(-.f64 1 (+.f64 (/.f64 (/.f64 1 x) 9) (/.f64 (/.f64 y 3) (sqrt.f64 x))))
175.0ms	(+.f64 (/.f64 (/.f64 1 x) 9) (/.f64 (/.f64 y 3) (sqrt.f64 x)))
134.0ms	(/.f64 (/.f64 y 3) (sqrt.f64 x))
28.0ms	(/.f64 (/.f64 1 x) 9)

Compiler

Compiled 967 to 861 computations (11% saved)

simplify903.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

431×	`associate-/r/_binary64_6844`
391×	`cancel-sign-sub-inv_binary64_6864`
378×	`associate-/l/_binary64_6845`
368×	`*-commutative_binary64_6829`
203×	`sub-neg_binary64_6891`
200×	`div-sub_binary64_6903`
189×	`unsub-neg_binary64_6892`
169×	`associate-/r*_binary64_6842`
144×	`distribute-rgt-in_binary64_6848`
141×	`associate-/l*_binary64_6843`
115×	`times-frac_binary64_6904`
114×	`distribute-lft-in_binary64_6847`
112×	`unswap-sqr_binary64_6866`
105×	`associate-*l/_binary64_6841`
104×	`sqr-pow_binary64_6870`
99×	`neg-mul-1_binary64_6894`
90×	`neg-sub0_binary64_6893`
76×	`associate-+l+_binary64_6831`
72×	`*-rgt-identity_binary64_6888`
71×	`exp-prod_binary64_6950`
68×	`distribute-neg-frac_binary64_6862` `associate-*r/_binary64_6840`
62×	`/-rgt-identity_binary64_6889`
61×	`distribute-rgt-neg-in_binary64_6856`
56×	`log-prod_binary64_6984`
55×	`pow-sqr_binary64_6871` `+-commutative_binary64_6828`
54×	`sub0-neg_binary64_6885`
48×	`cube-prod_binary64_6926`
46×	`exp-sum_binary64_6944` `associate-+r+_binary64_6830`
43×	`associate-+l-_binary64_6833`
42×	`distribute-lft-neg-in_binary64_6855`
41×	`-lft-identity_binary64_6887` `associate-l*_binary64_6839`
37×	`swap-sqr_binary64_6865`
36×	`log-div_binary64_6985` `cube-div_binary64_6927`
35×	`exp-diff_binary64_6946` `distribute-lft-neg-out_binary64_6857`
34×	`associate-r_binary64_6838`
28×	`associate--l-_binary64_6836`
23×	`associate--r+_binary64_6834`
20×	`+-lft-identity_binary64_6882` `distribute-neg-in_binary64_6859`
19×	`distribute-rgt-out_binary64_6851`
17×	`unpow3_binary64_6964` `pow-plus_binary64_6961` `mul0-rgt_binary64_6881` `mul0-lft_binary64_6880`
16×	`log-pow_binary64_6987` `associate-+r-_binary64_6832`
14×	`distribute-rgt-neg-out_binary64_6858`
11×	`+-rgt-identity_binary64_6883`
10×	`cube-mult_binary64_6928` `difference-of-squares_binary64_6867` `distribute-neg-out_binary64_6860` `distribute-rgt-out--_binary64_6852`
9×	`distribute-rgt1-in_binary64_6854`
8×	`log-rec_binary64_6986` `rem-sqrt-square_binary64_6911` `associate--l+_binary64_6835`
7×	`pow-base-1_binary64_6958` `cube-unmult_binary64_6935`
6×	`exp-neg_binary64_6945` `div0_binary64_6879`
5×	`difference-of-sqr-1_binary64_6868`
4×	`div-exp_binary64_6949`
3×	`exp-to-pow_binary64_6960` `remove-double-neg_binary64_6886` `distribute-lft1-in_binary64_6853`
2×	`exp-cbrt_binary64_6952` `prod-exp_binary64_6947` `sqr-neg_binary64_6912` `rem-square-sqrt_binary64_6910` `cancel-sign-sub_binary64_6863` `count-2_binary64_6846` `associate--r-_binary64_6837`
1×	`exp-lft-cube_binary64_6954` `rec-exp_binary64_6948` `1-exp_binary64_6942` `exp-1-e_binary64_6941` `rem-log-exp_binary64_6939` `rem-3cbrt-lft_binary64_6923` `rem-cbrt-cube_binary64_6922` `*-inverses_binary64_6878` `+-inverses_binary64_6877` `remove-double-div_binary64_6874` `distribute-frac-neg_binary64_6861`
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_7161` `erf-erfc_binary64_7160` `erf-odd_binary64_7159` `if-if-and-not_binary64_7158` `if-if-and_binary64_7157` `if-if-or-not_binary64_7156` `if-if-or_binary64_7155` `if-not_binary64_7154` `if-same_binary64_7153` `if-false_binary64_7152` `if-true_binary64_7151` `not-gte_binary64_7150` `not-lte_binary64_7149` `not-gt_binary64_7148` `not-lt_binary64_7147` `gte-same_binary64_7146` `lte-same_binary64_7145` `gt-same_binary64_7144` `lt-same_binary64_7143` `sinh---cosh_binary64_7090` `sinh-+-cosh_binary64_7089` `sinh-cosh_binary64_7088` `tanh-def-c_binary64_7087` `tanh-def-b_binary64_7086` `tanh-def-a_binary64_7085` `cosh-def_binary64_7084` `sinh-def_binary64_7083` `tan-neg_binary64_7030` `cos-neg_binary64_7029` `sin-neg_binary64_7028` `tan-0_binary64_7027` `cos-0_binary64_7026` `sin-0_binary64_7025` `hang-m-tan_binary64_7024` `hang-p-tan_binary64_7023` `hang-m0-tan_binary64_7022` `hang-p0-tan_binary64_7021` `hang-0m-tan_binary64_7020` `hang-0p-tan_binary64_7019` `tan-+PI/2_binary64_7018` `tan-+PI_binary64_7017` `tan-PI_binary64_7016` `tan-PI/3_binary64_7015` `tan-PI/4_binary64_7014` `tan-PI/6_binary64_7013` `cos-+PI/2_binary64_7012` `cos-+PI_binary64_7011` `cos-PI_binary64_7010` `cos-PI/2_binary64_7009` `cos-PI/3_binary64_7008` `cos-PI/4_binary64_7007` `cos-PI/6_binary64_7006` `sin-+PI/2_binary64_7005` `sin-+PI_binary64_7004` `sin-PI_binary64_7003` `sin-PI/2_binary64_7002` `sin-PI/3_binary64_7001` `sin-PI/4_binary64_7000` `sin-PI/6_binary64_6999` `sub-1-sin_binary64_6998` `sub-1-cos_binary64_6997` `-1-add-sin_binary64_6996` `-1-add-cos_binary64_6995` `1-sub-sin_binary64_6994` `1-sub-cos_binary64_6993` `cos-sin-sum_binary64_6992` `log-E_binary64_6988` `pow-base-0_binary64_6982` `unpow1/3_binary64_6965` `unpow2_binary64_6963` `unpow1/2_binary64_6962` `unpow0_binary64_6957` `unpow1_binary64_6956` `unpow-1_binary64_6955` `exp-lft-sqr_binary64_6953` `exp-sqrt_binary64_6951` `e-exp-1_binary64_6943` `exp-0_binary64_6940` `rem-exp-log_binary64_6938` `cube-neg_binary64_6925` `rem-3cbrt-rft_binary64_6924` `rem-cube-cbrt_binary64_6921` `sqr-abs_binary64_6913` `mul-1-neg_binary64_6890` `--rgt-identity_binary64_6884` `lft-mult-inverse_binary64_6876` `rgt-mult-inverse_binary64_6875` `difference-of-sqr--1_binary64_6869` `distribute-lft-out--_binary64_6850` `distribute-lft-out_binary64_6849`

Counts

251 → 849

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	409	5250
1	928	4918
2	2250	4915
3	3942	4903

prune2.6s (1.8%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	848	1	849
Fresh	2	5	7
Picked	0	1	1
Done	0	0	0
Total	850	7	857

Error

Counts

857 → 7

Compiler

Compiled 22574 to 15500 computations (31.3% saved)

localize11.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (/.f64 (/.f64 1 x) 9) (*.f64 y (/.f64 (/.f64 1 3) (sqrt.f64 x))))
0.2b	(*.f64 y (/.f64 (/.f64 1 3) (sqrt.f64 x)))
0.3b	(/.f64 (/.f64 1 x) 9)
0.3b	(/.f64 (/.f64 1 3) (sqrt.f64 x))

rewrite787.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

358×	`times-frac_binary64_6904`
215×	`add-sqr-sqrt_binary64_6920`
195×	`*-un-lft-identity_binary64_6898`
193×	`add-cube-cbrt_binary64_6933`
84×	`sqrt-prod_binary64_6914`
82×	`associate-r_binary64_6838`
37×	`add-exp-log_binary64_6936`
26×	`associate-/l*_binary64_6843`
23×	`add-cbrt-cube_binary64_6934`
20×	`div-inv_binary64_6895`
18×	`div-exp_binary64_6949`
9×	`cbrt-undiv_binary64_6932` `associate-/r*_binary64_6842`
7×	`unswap-sqr_binary64_6866`
6×	`pow1_binary64_6959` `add-log-exp_binary64_6937`
5×	`prod-exp_binary64_6947`
3×	`1-exp_binary64_6942` `rec-exp_binary64_6948` `cbrt-unprod_binary64_6931` `associate-l_binary64_6839`
2×	`frac-2neg_binary64_6909` `clear-num_binary64_6897` `associate-/l/_binary64_6845` `associate-*r/_binary64_6840`
1×	`pow-prod-down_binary64_6969` `*-commutative_binary64_6829` `sum-log_binary64_6989` `frac-add_binary64_6906` `flip3-+_binary64_6901` `flip-+_binary64_6872` `+-commutative_binary64_6828`

Counts

4 → 308

Calls

4 calls:

26.0ms	(*.f64 y (/.f64 (/.f64 1 3) (sqrt.f64 x)))
20.0ms	(+.f64 (/.f64 (/.f64 1 x) 9) (*.f64 y (/.f64 (/.f64 1 3) (sqrt.f64 x))))
8.0ms	(/.f64 (/.f64 1 3) (sqrt.f64 x))
7.0ms	(/.f64 (/.f64 1 x) 9)

Compiler

Compiled 8305 to 6158 computations (25.9% saved)

series368.0ms (0.3%)

Error

Counts

4 → 21

Calls

4 calls:

179.0ms	(+.f64 (/.f64 (/.f64 1 x) 9) (*.f64 y (/.f64 (/.f64 1 3) (sqrt.f64 x))))
116.0ms	(*.f64 y (/.f64 (/.f64 1 3) (sqrt.f64 x)))
26.0ms	(/.f64 (/.f64 1 x) 9)
25.0ms	(/.f64 (/.f64 1 3) (sqrt.f64 x))

Compiler

Compiled 873 to 772 computations (11.6% saved)

simplify928.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

394×	`associate-/l/_binary64_6845`
271×	`associate-/l*_binary64_6843`
240×	`distribute-rgt-in_binary64_6848`
204×	`associate-*l/_binary64_6841`
202×	`distribute-lft-in_binary64_6847`
190×	`associate-/r_binary64_6842` `associate-l*_binary64_6839`
184×	`associate-*r/_binary64_6840`
175×	`*-commutative_binary64_6829`
155×	`times-frac_binary64_6904`
154×	`cancel-sign-sub-inv_binary64_6864`
149×	`associate-+l+_binary64_6831`
147×	`associate-r_binary64_6838` `associate-+r+_binary64_6830`
127×	`div-sub_binary64_6903`
113×	`sub-neg_binary64_6891`
108×	`distribute-rgt-neg-in_binary64_6856`
102×	`*-rgt-identity_binary64_6888` `associate-/r/_binary64_6844`
97×	`unswap-sqr_binary64_6866`
94×	`associate-+l-_binary64_6833`
93×	`associate--l-_binary64_6836`
89×	`distribute-lft-neg-in_binary64_6855`
83×	`distribute-neg-frac_binary64_6862`
78×	`sqr-pow_binary64_6870`
70×	`*-lft-identity_binary64_6887`
65×	`neg-mul-1_binary64_6894`
63×	`/-rgt-identity_binary64_6889`
52×	`neg-sub0_binary64_6893` `associate-+r-_binary64_6832`
49×	`log-div_binary64_6985`
47×	`distribute-rgt-out_binary64_6851`
45×	`cube-prod_binary64_6926`
44×	`log-prod_binary64_6984` `cube-div_binary64_6927`
37×	`pow-sqr_binary64_6871`
36×	`associate--r-_binary64_6837`
33×	`sub0-neg_binary64_6885`
31×	`exp-prod_binary64_6950`
28×	`distribute-lft-out_binary64_6849`
27×	`swap-sqr_binary64_6865` `+-commutative_binary64_6828`
26×	`unsub-neg_binary64_6892`
24×	`distribute-lft-neg-out_binary64_6857` `distribute-rgt-out--_binary64_6852`
22×	`associate--r+_binary64_6834`
18×	`unpow3_binary64_6964`
17×	`distribute-neg-out_binary64_6860`
14×	`+-lft-identity_binary64_6882` `associate--l+_binary64_6835`
13×	`log-rec_binary64_6986` `cube-mult_binary64_6928`
12×	`distribute-lft-out--_binary64_6850`
8×	`distribute-neg-in_binary64_6859`
7×	`cube-unmult_binary64_6935`
6×	`+-rgt-identity_binary64_6883` `div0_binary64_6879` `distribute-rgt-neg-out_binary64_6858`
5×	`pow-plus_binary64_6961` `rem-sqrt-square_binary64_6911`
4×	`remove-double-div_binary64_6874`
3×	`log-pow_binary64_6987` `remove-double-neg_binary64_6886` `count-2_binary64_6846`
2×	`exp-cbrt_binary64_6952` `prod-exp_binary64_6947` `*-inverses_binary64_6878` `difference-of-squares_binary64_6867` `distribute-rgt1-in_binary64_6854`
1×	`pow-base-1_binary64_6958` `div-exp_binary64_6949` `rec-exp_binary64_6948` `exp-diff_binary64_6946` `1-exp_binary64_6942` `exp-1-e_binary64_6941` `rem-log-exp_binary64_6939` `rem-cbrt-cube_binary64_6922` `rem-square-sqrt_binary64_6910` `cancel-sign-sub_binary64_6863` `distribute-frac-neg_binary64_6861` `distribute-lft1-in_binary64_6853`
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_7161` `erf-erfc_binary64_7160` `erf-odd_binary64_7159` `if-if-and-not_binary64_7158` `if-if-and_binary64_7157` `if-if-or-not_binary64_7156` `if-if-or_binary64_7155` `if-not_binary64_7154` `if-same_binary64_7153` `if-false_binary64_7152` `if-true_binary64_7151` `not-gte_binary64_7150` `not-lte_binary64_7149` `not-gt_binary64_7148` `not-lt_binary64_7147` `gte-same_binary64_7146` `lte-same_binary64_7145` `gt-same_binary64_7144` `lt-same_binary64_7143` `sinh---cosh_binary64_7090` `sinh-+-cosh_binary64_7089` `sinh-cosh_binary64_7088` `tanh-def-c_binary64_7087` `tanh-def-b_binary64_7086` `tanh-def-a_binary64_7085` `cosh-def_binary64_7084` `sinh-def_binary64_7083` `tan-neg_binary64_7030` `cos-neg_binary64_7029` `sin-neg_binary64_7028` `tan-0_binary64_7027` `cos-0_binary64_7026` `sin-0_binary64_7025` `hang-m-tan_binary64_7024` `hang-p-tan_binary64_7023` `hang-m0-tan_binary64_7022` `hang-p0-tan_binary64_7021` `hang-0m-tan_binary64_7020` `hang-0p-tan_binary64_7019` `tan-+PI/2_binary64_7018` `tan-+PI_binary64_7017` `tan-PI_binary64_7016` `tan-PI/3_binary64_7015` `tan-PI/4_binary64_7014` `tan-PI/6_binary64_7013` `cos-+PI/2_binary64_7012` `cos-+PI_binary64_7011` `cos-PI_binary64_7010` `cos-PI/2_binary64_7009` `cos-PI/3_binary64_7008` `cos-PI/4_binary64_7007` `cos-PI/6_binary64_7006` `sin-+PI/2_binary64_7005` `sin-+PI_binary64_7004` `sin-PI_binary64_7003` `sin-PI/2_binary64_7002` `sin-PI/3_binary64_7001` `sin-PI/4_binary64_7000` `sin-PI/6_binary64_6999` `sub-1-sin_binary64_6998` `sub-1-cos_binary64_6997` `-1-add-sin_binary64_6996` `-1-add-cos_binary64_6995` `1-sub-sin_binary64_6994` `1-sub-cos_binary64_6993` `cos-sin-sum_binary64_6992` `log-E_binary64_6988` `pow-base-0_binary64_6982` `unpow1/3_binary64_6965` `unpow2_binary64_6963` `unpow1/2_binary64_6962` `exp-to-pow_binary64_6960` `unpow0_binary64_6957` `unpow1_binary64_6956` `unpow-1_binary64_6955` `exp-lft-cube_binary64_6954` `exp-lft-sqr_binary64_6953` `exp-sqrt_binary64_6951` `exp-neg_binary64_6945` `exp-sum_binary64_6944` `e-exp-1_binary64_6943` `exp-0_binary64_6940` `rem-exp-log_binary64_6938` `cube-neg_binary64_6925` `rem-3cbrt-rft_binary64_6924` `rem-3cbrt-lft_binary64_6923` `rem-cube-cbrt_binary64_6921` `sqr-abs_binary64_6913` `sqr-neg_binary64_6912` `mul-1-neg_binary64_6890` `--rgt-identity_binary64_6884` `mul0-rgt_binary64_6881` `mul0-lft_binary64_6880` `+-inverses_binary64_6877` `lft-mult-inverse_binary64_6876` `rgt-mult-inverse_binary64_6875` `difference-of-sqr--1_binary64_6869` `difference-of-sqr-1_binary64_6868`

Counts

329 → 1403

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	443	6932
1	1032	6764
2	3167	5491
3	3044	5491

prune5.6s (3.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	1402	1	1403
Fresh	1	4	5
Picked	0	1	1
Done	1	0	1
Total	1404	6	1410

Error

Counts

1410 → 6

Compiler

Compiled 39343 to 29364 computations (25.4% saved)

regimes967.0ms (0.7%)

Accuracy

Total 0.2b remaining (99.2%)

Threshold costs 0.2b (99.2%)

Compiler

Compiled 9632 to 8407 computations (12.7% saved)

bsearch0.0ms (0%)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

9×	`+-commutative_binary64_6828`
8×	`sub-neg_binary64_6891`
7×	`neg-mul-1_binary64_6894` `neg-sub0_binary64_6893` `*-commutative_binary64_6829`
4×	`distribute-neg-frac_binary64_6862`
2×	`unsub-neg_binary64_6892` `distribute-neg-in_binary64_6859`
1×	`1-exp_binary64_6942`
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_7158` `if-if-and_binary64_7157` `if-if-or-not_binary64_7156` `if-if-or_binary64_7155` `if-not_binary64_7154` `if-same_binary64_7153` `if-false_binary64_7152` `if-true_binary64_7151` `tan-0_binary64_7027` `cos-0_binary64_7026` `sin-0_binary64_7025` `unpow1_binary64_6956` `e-exp-1_binary64_6943` `exp-1-e_binary64_6941` `exp-0_binary64_6940` `sqr-abs_binary64_6913` `sqr-neg_binary64_6912` `mul-1-neg_binary64_6890` `/-rgt-identity_binary64_6889` `-rgt-identity_binary64_6888` `-lft-identity_binary64_6887` `remove-double-neg_binary64_6886` `sub0-neg_binary64_6885` `--rgt-identity_binary64_6884` `+-rgt-identity_binary64_6883` `+-lft-identity_binary64_6882` `cancel-sign-sub-inv_binary64_6864` `cancel-sign-sub_binary64_6863` `distribute-frac-neg_binary64_6861` `distribute-neg-out_binary64_6860` `distribute-rgt-neg-out_binary64_6858` `distribute-lft-neg-out_binary64_6857` `distribute-rgt-neg-in_binary64_6856` `distribute-lft-neg-in_binary64_6855`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	28
1	20	28
2	28	28
3	40	28
4	53	28
5	63	28
6	69	28
7	71	28

Proof

(- f64 1 (+ f64 (/ f64 (/ f64 (cbrt f64 1) (/ f64 h0 (cbrt f64 1))) 9) (/ f64 (/ f64 h1 3) (sqrt f64 h0))))

end0.0ms (0%)

sample3.8s (2.6%)

Algorithm

1×

intervals

Results

365.0ms	8000×	body	128	valid
4.0ms	101×	body	128	invalid

Compiler

Compiled 3217 to 2809 computations (12.7% saved)

Details

analyze44.0ms (0%)

sample21.0ms (0%)

simplify754.0ms (0.5%)

prune9.0ms (0%)

localize13.0ms (0%)

rewrite407.0ms (0.3%)

series530.0ms (0.4%)

simplify382.0ms (0.3%)

prune1.1s (0.7%)

localize14.0ms (0%)

rewrite5.5s (3.7%)

series548.0ms (0.4%)

simplify1.1min (44.6%)

prune54.9s (37.3%)

localize10.0ms (0%)

rewrite705.0ms (0.5%)

series540.0ms (0.4%)

simplify903.0ms (0.6%)

prune2.6s (1.8%)

localize11.0ms (0%)

rewrite787.0ms (0.5%)

series368.0ms (0.3%)

simplify928.0ms (0.6%)

prune5.6s (3.8%)

regimes967.0ms (0.7%)

bsearch0.0ms (0%)

simplify6.0ms (0%)

end0.0ms (0%)

sample3.8s (2.6%)

Profiling