Details

analyze315.0ms (4.8%)

Algorithm

1×	search
2×	egg-herbie

Rules

960×	`div-sub_binary64_9972`
896×	`distribute-frac-neg_binary64_9930`
520×	`sub-neg_binary64_9960`
456×	`neg-mul-1_binary64_9963`
420×	`neg-sub0_binary64_9962`
392×	`cancel-sign-sub-inv_binary64_9933`
354×	`associate-/r/_binary64_9913`
336×	`distribute-rgt-in_binary64_9917`
284×	`unsub-neg_binary64_9961`
242×	`distribute-lft-neg-in_binary64_9924`
232×	`associate-/l*_binary64_9912`
200×	`*-commutative_binary64_9898`
198×	`remove-double-neg_binary64_9955` `distribute-rgt-neg-in_binary64_9925`
152×	`distribute-lft-in_binary64_9916`
150×	`+-commutative_binary64_9897`
148×	`/-rgt-identity_binary64_9958`
134×	`distribute-rgt-neg-out_binary64_9927`
132×	`distribute-lft-neg-out_binary64_9926`
124×	`associate--r+_binary64_9903`
112×	`associate-+l-_binary64_9902`
108×	`associate-/l/_binary64_9914`
106×	`associate-/r*_binary64_9911`
100×	`associate-r_binary64_9907`
94×	`associate--l+_binary64_9904`
90×	`associate--l-_binary64_9905`
86×	`+-rgt-identity_binary64_9952`
82×	`associate-+r-_binary64_9901`
74×	`distribute-neg-in_binary64_9928`
68×	`distribute-neg-frac_binary64_9931`
66×	`associate-l_binary64_9908`
62×	`cancel-sign-sub_binary64_9932` `associate-+l+_binary64_9900` `associate-+r+_binary64_9899`
54×	`distribute-neg-out_binary64_9929` `associate--r-_binary64_9906`
50×	`sub0-neg_binary64_9954`
42×	`*-lft-identity_binary64_9956`
40×	`mul0-rgt_binary64_9950` `div0_binary64_9948`
38×	`mul0-lft_binary64_9949`
34×	`associate-*l/_binary64_9910`
30×	`--rgt-identity_binary64_9953`
28×	`*-rgt-identity_binary64_9957`
18×	`distribute-lft-out--_binary64_9919`
14×	`distribute-rgt-out--_binary64_9921`
10×	`associate-*r/_binary64_9909`
8×	`*-inverses_binary64_9947` `distribute-rgt-out_binary64_9920`
6×	`mul-1-neg_binary64_9959` `+-lft-identity_binary64_9951`
1×	`1-exp_binary64_10011`
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_10230` `erf-erfc_binary64_10229` `erf-odd_binary64_10228` `if-if-and-not_binary64_10227` `if-if-and_binary64_10226` `if-if-or-not_binary64_10225` `if-if-or_binary64_10224` `if-not_binary64_10223` `if-same_binary64_10222` `if-false_binary64_10221` `if-true_binary64_10220` `not-gte_binary64_10219` `not-lte_binary64_10218` `not-gt_binary64_10217` `not-lt_binary64_10216` `gte-same_binary64_10215` `lte-same_binary64_10214` `gt-same_binary64_10213` `lt-same_binary64_10212` `sinh---cosh_binary64_10159` `sinh-+-cosh_binary64_10158` `sinh-cosh_binary64_10157` `tanh-def-c_binary64_10156` `tanh-def-b_binary64_10155` `tanh-def-a_binary64_10154` `cosh-def_binary64_10153` `sinh-def_binary64_10152` `tan-neg_binary64_10099` `cos-neg_binary64_10098` `sin-neg_binary64_10097` `tan-0_binary64_10096` `cos-0_binary64_10095` `sin-0_binary64_10094` `hang-m-tan_binary64_10093` `hang-p-tan_binary64_10092` `hang-m0-tan_binary64_10091` `hang-p0-tan_binary64_10090` `hang-0m-tan_binary64_10089` `hang-0p-tan_binary64_10088` `tan-+PI/2_binary64_10087` `tan-+PI_binary64_10086` `tan-PI_binary64_10085` `tan-PI/3_binary64_10084` `tan-PI/4_binary64_10083` `tan-PI/6_binary64_10082` `cos-+PI/2_binary64_10081` `cos-+PI_binary64_10080` `cos-PI_binary64_10079` `cos-PI/2_binary64_10078` `cos-PI/3_binary64_10077` `cos-PI/4_binary64_10076` `cos-PI/6_binary64_10075` `sin-+PI/2_binary64_10074` `sin-+PI_binary64_10073` `sin-PI_binary64_10072` `sin-PI/2_binary64_10071` `sin-PI/3_binary64_10070` `sin-PI/4_binary64_10069` `sin-PI/6_binary64_10068` `sub-1-sin_binary64_10067` `sub-1-cos_binary64_10066` `-1-add-sin_binary64_10065` `-1-add-cos_binary64_10064` `1-sub-sin_binary64_10063` `1-sub-cos_binary64_10062` `cos-sin-sum_binary64_10061` `log-E_binary64_10057` `log-pow_binary64_10056` `log-rec_binary64_10055` `log-div_binary64_10054` `log-prod_binary64_10053` `pow-base-0_binary64_10051` `unpow1/3_binary64_10034` `unpow3_binary64_10033` `unpow2_binary64_10032` `unpow1/2_binary64_10031` `pow-plus_binary64_10030` `exp-to-pow_binary64_10029` `pow-base-1_binary64_10027` `unpow0_binary64_10026` `unpow1_binary64_10025` `unpow-1_binary64_10024` `exp-lft-cube_binary64_10023` `exp-lft-sqr_binary64_10022` `exp-cbrt_binary64_10021` `exp-sqrt_binary64_10020` `exp-prod_binary64_10019` `div-exp_binary64_10018` `rec-exp_binary64_10017` `prod-exp_binary64_10016` `exp-diff_binary64_10015` `exp-neg_binary64_10014` `exp-sum_binary64_10013` `e-exp-1_binary64_10012` `exp-1-e_binary64_10010` `exp-0_binary64_10009` `rem-log-exp_binary64_10008` `rem-exp-log_binary64_10007` `cube-unmult_binary64_10004` `cube-mult_binary64_9997` `cube-div_binary64_9996` `cube-prod_binary64_9995` `cube-neg_binary64_9994` `rem-3cbrt-rft_binary64_9993` `rem-3cbrt-lft_binary64_9992` `rem-cbrt-cube_binary64_9991` `rem-cube-cbrt_binary64_9990` `sqr-abs_binary64_9982` `sqr-neg_binary64_9981` `rem-sqrt-square_binary64_9980` `rem-square-sqrt_binary64_9979` `times-frac_binary64_9973` `+-inverses_binary64_9946` `lft-mult-inverse_binary64_9945` `rgt-mult-inverse_binary64_9944` `remove-double-div_binary64_9943` `pow-sqr_binary64_9940` `sqr-pow_binary64_9939` `difference-of-sqr--1_binary64_9938` `difference-of-sqr-1_binary64_9937` `difference-of-squares_binary64_9936` `unswap-sqr_binary64_9935` `swap-sqr_binary64_9934` `distribute-rgt1-in_binary64_9923` `distribute-lft1-in_binary64_9922` `distribute-lft-out_binary64_9918` `count-2_binary64_9915`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	56
1	38	56
2	86	56
3	177	56
4	331	56
5	529	56
6	667	56
7	1052	56
8	1585	56
9	2006	56
10	3019	56
11	3537	56
12	3625	56
13	3505	56
14	4773	56
15	4715	56
16	5028	56
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
25%	74.9%	0.1%	6
93.7%	6.2%	0.1%	7
96.8%	3.1%	0.1%	8
99.5%	0.4%	0.1%	9
99.7%	0.2%	0.1%	10
99.8%	0.1%	0.1%	11
99.9%	0%	0.1%	12
99.9%	0%	0.1%	13
99.9%	0%	0.1%	14

Compiler

Compiled 20 to 13 computations (35% saved)

sample25.0ms (0.4%)

Algorithm

1×

intervals

Results

15.0ms

256×

body

128

valid

Compiler

Compiled 39 to 27 computations (30.8% saved)

simplify114.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

494×	`sub-neg_binary64_9960`
455×	`cancel-sign-sub-inv_binary64_9933`
430×	`times-frac_binary64_9973` `distribute-rgt-neg-in_binary64_9925`
410×	`unswap-sqr_binary64_9935`
364×	`div-sub_binary64_9972`
315×	`distribute-lft-neg-in_binary64_9924`
304×	`neg-mul-1_binary64_9963`
280×	`associate-*l/_binary64_9910`
272×	`associate-/l/_binary64_9914`
256×	`neg-sub0_binary64_9962`
250×	`distribute-frac-neg_binary64_9930`
234×	`associate-/l*_binary64_9912`
183×	`associate-*r/_binary64_9909`
178×	`associate-/r/_binary64_9913`
162×	`swap-sqr_binary64_9934`
160×	`associate-/r*_binary64_9911`
132×	`+-commutative_binary64_9897`
126×	`distribute-neg-in_binary64_9928`
121×	`distribute-neg-frac_binary64_9931`
102×	`distribute-rgt-in_binary64_9917`
101×	`unsub-neg_binary64_9961`
86×	`remove-double-neg_binary64_9955`
74×	`distribute-lft-in_binary64_9916`
67×	`distribute-lft-neg-out_binary64_9926`
61×	`associate--l-_binary64_9905`
60×	`distribute-rgt-neg-out_binary64_9927`
56×	`associate-r_binary64_9907`
50×	`*-lft-identity_binary64_9956`
48×	`associate-+l-_binary64_9902`
47×	`associate--r+_binary64_9903`
42×	`associate-+l+_binary64_9900`
37×	`sub0-neg_binary64_9954`
36×	`+-lft-identity_binary64_9951` `associate--l+_binary64_9904`
32×	`*-commutative_binary64_9898`
29×	`*-rgt-identity_binary64_9957`
28×	`associate-l_binary64_9908`
24×	`--rgt-identity_binary64_9953`
22×	`/-rgt-identity_binary64_9958` `div0_binary64_9948`
21×	`sqr-neg_binary64_9981`
20×	`cancel-sign-sub_binary64_9932`
17×	`mul0-rgt_binary64_9950` `mul0-lft_binary64_9949`
13×	`distribute-neg-out_binary64_9929`
12×	`remove-double-div_binary64_9943`
9×	`*-inverses_binary64_9947`
6×	`associate--r-_binary64_9906`
5×	`+-rgt-identity_binary64_9952` `distribute-rgt-out--_binary64_9921`
4×	`mul-1-neg_binary64_9959` `associate-+r+_binary64_9899`
3×	`distribute-rgt1-in_binary64_9923` `associate-+r-_binary64_9901`
2×	`distribute-rgt-out_binary64_9920`
1×	`1-exp_binary64_10011` `distribute-lft1-in_binary64_9922` `distribute-lft-out--_binary64_9919`
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_10230` `erf-erfc_binary64_10229` `erf-odd_binary64_10228` `if-if-and-not_binary64_10227` `if-if-and_binary64_10226` `if-if-or-not_binary64_10225` `if-if-or_binary64_10224` `if-not_binary64_10223` `if-same_binary64_10222` `if-false_binary64_10221` `if-true_binary64_10220` `not-gte_binary64_10219` `not-lte_binary64_10218` `not-gt_binary64_10217` `not-lt_binary64_10216` `gte-same_binary64_10215` `lte-same_binary64_10214` `gt-same_binary64_10213` `lt-same_binary64_10212` `sinh---cosh_binary64_10159` `sinh-+-cosh_binary64_10158` `sinh-cosh_binary64_10157` `tanh-def-c_binary64_10156` `tanh-def-b_binary64_10155` `tanh-def-a_binary64_10154` `cosh-def_binary64_10153` `sinh-def_binary64_10152` `tan-neg_binary64_10099` `cos-neg_binary64_10098` `sin-neg_binary64_10097` `tan-0_binary64_10096` `cos-0_binary64_10095` `sin-0_binary64_10094` `hang-m-tan_binary64_10093` `hang-p-tan_binary64_10092` `hang-m0-tan_binary64_10091` `hang-p0-tan_binary64_10090` `hang-0m-tan_binary64_10089` `hang-0p-tan_binary64_10088` `tan-+PI/2_binary64_10087` `tan-+PI_binary64_10086` `tan-PI_binary64_10085` `tan-PI/3_binary64_10084` `tan-PI/4_binary64_10083` `tan-PI/6_binary64_10082` `cos-+PI/2_binary64_10081` `cos-+PI_binary64_10080` `cos-PI_binary64_10079` `cos-PI/2_binary64_10078` `cos-PI/3_binary64_10077` `cos-PI/4_binary64_10076` `cos-PI/6_binary64_10075` `sin-+PI/2_binary64_10074` `sin-+PI_binary64_10073` `sin-PI_binary64_10072` `sin-PI/2_binary64_10071` `sin-PI/3_binary64_10070` `sin-PI/4_binary64_10069` `sin-PI/6_binary64_10068` `sub-1-sin_binary64_10067` `sub-1-cos_binary64_10066` `-1-add-sin_binary64_10065` `-1-add-cos_binary64_10064` `1-sub-sin_binary64_10063` `1-sub-cos_binary64_10062` `cos-sin-sum_binary64_10061` `log-E_binary64_10057` `log-pow_binary64_10056` `log-rec_binary64_10055` `log-div_binary64_10054` `log-prod_binary64_10053` `pow-base-0_binary64_10051` `unpow1/3_binary64_10034` `unpow3_binary64_10033` `unpow2_binary64_10032` `unpow1/2_binary64_10031` `pow-plus_binary64_10030` `exp-to-pow_binary64_10029` `pow-base-1_binary64_10027` `unpow0_binary64_10026` `unpow1_binary64_10025` `unpow-1_binary64_10024` `exp-lft-cube_binary64_10023` `exp-lft-sqr_binary64_10022` `exp-cbrt_binary64_10021` `exp-sqrt_binary64_10020` `exp-prod_binary64_10019` `div-exp_binary64_10018` `rec-exp_binary64_10017` `prod-exp_binary64_10016` `exp-diff_binary64_10015` `exp-neg_binary64_10014` `exp-sum_binary64_10013` `e-exp-1_binary64_10012` `exp-1-e_binary64_10010` `exp-0_binary64_10009` `rem-log-exp_binary64_10008` `rem-exp-log_binary64_10007` `cube-unmult_binary64_10004` `cube-mult_binary64_9997` `cube-div_binary64_9996` `cube-prod_binary64_9995` `cube-neg_binary64_9994` `rem-3cbrt-rft_binary64_9993` `rem-3cbrt-lft_binary64_9992` `rem-cbrt-cube_binary64_9991` `rem-cube-cbrt_binary64_9990` `sqr-abs_binary64_9982` `rem-sqrt-square_binary64_9980` `rem-square-sqrt_binary64_9979` `+-inverses_binary64_9946` `lft-mult-inverse_binary64_9945` `rgt-mult-inverse_binary64_9944` `pow-sqr_binary64_9940` `sqr-pow_binary64_9939` `difference-of-sqr--1_binary64_9938` `difference-of-sqr-1_binary64_9937` `difference-of-squares_binary64_9936` `distribute-lft-out_binary64_9918` `count-2_binary64_9915`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	28
1	21	28
2	48	28
3	94	28
4	176	28
5	274	28
6	339	28
7	448	28
8	687	28
9	2046	28
10	3379	28
11	3727	28
12	4065	28
13	4286	28
14	4787	28

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

34.7b

Counts

2 → 1

Compiler

Compiled 38 to 24 computations (36.8% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (.f64 x x) (.f64 (*.f64 y 4) y))
4.2b	(-.f64 (.f64 x x) (.f64 (*.f64 y 4) y))
34.0b	(/.f64 (-.f64 (.f64 x x) (.f64 (.f64 y 4) y)) (+.f64 (.f64 x x) (.f64 (.f64 y 4) y)))

rewrite121.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

34.6b

Rules

11×	`add-cube-cbrt_binary64_10002` `add-sqr-sqrt_binary64_9989` `*-un-lft-identity_binary64_9967`
9×	`times-frac_binary64_9973`
7×	`add-log-exp_binary64_10006`
5×	`add-exp-log_binary64_10005` `add-cbrt-cube_binary64_10003`
3×	`pow1_binary64_10028` `associate-/l_binary64_9912` `associate-/r_binary64_9911`
2×	`flip3--_binary64_9971` `associate-/l/_binary64_9914` `flip--_binary64_9942` `flip3-+_binary64_9970` `associate-/r/_binary64_9913` `flip-+_binary64_9941`
1×	`div-exp_binary64_10018` `cbrt-undiv_binary64_10001` `frac-2neg_binary64_9978` `div-sub_binary64_9972` `clear-num_binary64_9966` `div-inv_binary64_9964` `diff-log_binary64_10059` `sub-neg_binary64_9960` `cancel-sign-sub-inv_binary64_9933` `sum-log_binary64_10058` `+-commutative_binary64_9897`

Counts

3 → 55

Calls

3 calls:

9.0ms	(/.f64 (-.f64 (.f64 x x) (.f64 (.f64 y 4) y)) (+.f64 (.f64 x x) (.f64 (.f64 y 4) y)))
4.0ms	(+.f64 (.f64 x x) (.f64 (*.f64 y 4) y))
4.0ms	(-.f64 (.f64 x x) (.f64 (*.f64 y 4) y))

Compiler

Compiled 1867 to 967 computations (48.2% saved)

series604.0ms (9.1%)

Error

0.3b

Counts

3 → 39

Calls

3 calls:

237.0ms	(/.f64 (-.f64 (.f64 x x) (.f64 (.f64 y 4) y)) (+.f64 (.f64 x x) (.f64 (.f64 y 4) y)))
177.0ms	(-.f64 (.f64 x x) (.f64 (*.f64 y 4) y))
158.0ms	(+.f64 (.f64 x x) (.f64 (*.f64 y 4) y))

Compiler

Compiled 1446 to 1125 computations (22.2% saved)

simplify99.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

451×	`associate-l_binary64_9908`
450×	`cancel-sign-sub-inv_binary64_9933`
366×	`associate-r_binary64_9907`
223×	`div-sub_binary64_9972`
212×	`unswap-sqr_binary64_9935`
184×	`associate-/l*_binary64_9912`
160×	`associate-*l/_binary64_9910`
138×	`distribute-rgt-in_binary64_9917`
133×	`times-frac_binary64_9973`
126×	`associate-/r*_binary64_9911`
123×	`distribute-lft-in_binary64_9916`
119×	`*-commutative_binary64_9898`
106×	`associate-*r/_binary64_9909`
100×	`sub-neg_binary64_9960`
94×	`distribute-rgt-neg-in_binary64_9925`
91×	`exp-prod_binary64_10019`
85×	`associate-/l/_binary64_9914`
82×	`distribute-lft-neg-in_binary64_9924`
73×	`associate-/r/_binary64_9913`
72×	`neg-sub0_binary64_9962`
69×	`sqr-pow_binary64_9939`
66×	`neg-mul-1_binary64_9963`
48×	`unsub-neg_binary64_9961`
45×	`cube-prod_binary64_9995`
40×	`+-commutative_binary64_9897`
34×	`distribute-neg-frac_binary64_9931`
31×	`associate-+l+_binary64_9900`
29×	`swap-sqr_binary64_9934`
22×	`difference-of-squares_binary64_9936`
21×	`cube-div_binary64_9996`
19×	`distribute-rgt-out_binary64_9920` `associate-+r+_binary64_9899`
16×	`exp-sum_binary64_10013`
15×	`distribute-lft-neg-out_binary64_9926` `associate-+l-_binary64_9902`
14×	`associate-+r-_binary64_9901`
12×	`*-rgt-identity_binary64_9957`
11×	`unpow3_binary64_10033` `exp-diff_binary64_10015`
10×	`cube-unmult_binary64_10004` `+-rgt-identity_binary64_9952` `pow-sqr_binary64_9940`
9×	`/-rgt-identity_binary64_9958` `mul0-rgt_binary64_9950` `mul0-lft_binary64_9949` `distribute-rgt-out--_binary64_9921`
8×	`cube-mult_binary64_9997` `sub0-neg_binary64_9954` `distribute-lft-out_binary64_9918`
7×	`*-lft-identity_binary64_9956`
6×	`distribute-rgt-neg-out_binary64_9927`
5×	`pow-plus_binary64_10030` `distribute-neg-in_binary64_9928`
4×	`remove-double-neg_binary64_9955` `associate--r+_binary64_9903`
3×	`log-div_binary64_10054` `unpow2_binary64_10032` `mul-1-neg_binary64_9959` `distribute-lft-out--_binary64_9919` `associate--l+_binary64_9904`
2×	`log-prod_binary64_10053` `unpow1/2_binary64_10031` `unpow1_binary64_10025` `rem-sqrt-square_binary64_9980` `associate--r-_binary64_9906` `associate--l-_binary64_9905`
1×	`div-exp_binary64_10018` `prod-exp_binary64_10016` `1-exp_binary64_10011` `cube-neg_binary64_9994` `sqr-neg_binary64_9981` `*-inverses_binary64_9947`
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_10230` `erf-erfc_binary64_10229` `erf-odd_binary64_10228` `if-if-and-not_binary64_10227` `if-if-and_binary64_10226` `if-if-or-not_binary64_10225` `if-if-or_binary64_10224` `if-not_binary64_10223` `if-same_binary64_10222` `if-false_binary64_10221` `if-true_binary64_10220` `not-gte_binary64_10219` `not-lte_binary64_10218` `not-gt_binary64_10217` `not-lt_binary64_10216` `gte-same_binary64_10215` `lte-same_binary64_10214` `gt-same_binary64_10213` `lt-same_binary64_10212` `sinh---cosh_binary64_10159` `sinh-+-cosh_binary64_10158` `sinh-cosh_binary64_10157` `tanh-def-c_binary64_10156` `tanh-def-b_binary64_10155` `tanh-def-a_binary64_10154` `cosh-def_binary64_10153` `sinh-def_binary64_10152` `tan-neg_binary64_10099` `cos-neg_binary64_10098` `sin-neg_binary64_10097` `tan-0_binary64_10096` `cos-0_binary64_10095` `sin-0_binary64_10094` `hang-m-tan_binary64_10093` `hang-p-tan_binary64_10092` `hang-m0-tan_binary64_10091` `hang-p0-tan_binary64_10090` `hang-0m-tan_binary64_10089` `hang-0p-tan_binary64_10088` `tan-+PI/2_binary64_10087` `tan-+PI_binary64_10086` `tan-PI_binary64_10085` `tan-PI/3_binary64_10084` `tan-PI/4_binary64_10083` `tan-PI/6_binary64_10082` `cos-+PI/2_binary64_10081` `cos-+PI_binary64_10080` `cos-PI_binary64_10079` `cos-PI/2_binary64_10078` `cos-PI/3_binary64_10077` `cos-PI/4_binary64_10076` `cos-PI/6_binary64_10075` `sin-+PI/2_binary64_10074` `sin-+PI_binary64_10073` `sin-PI_binary64_10072` `sin-PI/2_binary64_10071` `sin-PI/3_binary64_10070` `sin-PI/4_binary64_10069` `sin-PI/6_binary64_10068` `sub-1-sin_binary64_10067` `sub-1-cos_binary64_10066` `-1-add-sin_binary64_10065` `-1-add-cos_binary64_10064` `1-sub-sin_binary64_10063` `1-sub-cos_binary64_10062` `cos-sin-sum_binary64_10061` `log-E_binary64_10057` `log-pow_binary64_10056` `log-rec_binary64_10055` `pow-base-0_binary64_10051` `unpow1/3_binary64_10034` `exp-to-pow_binary64_10029` `pow-base-1_binary64_10027` `unpow0_binary64_10026` `unpow-1_binary64_10024` `exp-lft-cube_binary64_10023` `exp-lft-sqr_binary64_10022` `exp-cbrt_binary64_10021` `exp-sqrt_binary64_10020` `rec-exp_binary64_10017` `exp-neg_binary64_10014` `e-exp-1_binary64_10012` `exp-1-e_binary64_10010` `exp-0_binary64_10009` `rem-log-exp_binary64_10008` `rem-exp-log_binary64_10007` `rem-3cbrt-rft_binary64_9993` `rem-3cbrt-lft_binary64_9992` `rem-cbrt-cube_binary64_9991` `rem-cube-cbrt_binary64_9990` `sqr-abs_binary64_9982` `rem-square-sqrt_binary64_9979` `--rgt-identity_binary64_9953` `+-lft-identity_binary64_9951` `div0_binary64_9948` `+-inverses_binary64_9946` `lft-mult-inverse_binary64_9945` `rgt-mult-inverse_binary64_9944` `remove-double-div_binary64_9943` `difference-of-sqr--1_binary64_9938` `difference-of-sqr-1_binary64_9937` `cancel-sign-sub_binary64_9932` `distribute-frac-neg_binary64_9930` `distribute-neg-out_binary64_9929` `distribute-rgt1-in_binary64_9923` `distribute-lft1-in_binary64_9922` `count-2_binary64_9915`

Counts

94 → 81

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	107	2330
1	291	2145
2	872	2131
3	3484	2122
4	5063	2122

prune105.0ms (1.6%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	77	4	81
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	78	4	82

Error

9.0b

Counts

82 → 4

Compiler

Compiled 2145 to 991 computations (53.8% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(.f64 (.f64 y y) 4)
0.0b	(log.f64 (exp.f64 (/.f64 (+.f64 (.f64 x x) (.f64 (.f64 y y) -4)) (+.f64 (.f64 x x) (.f64 (.f64 y y) 4)))))
4.2b	(+.f64 (.f64 x x) (.f64 (*.f64 y y) -4))
34.0b	(/.f64 (+.f64 (.f64 x x) (.f64 (.f64 y y) -4)) (+.f64 (.f64 x x) (.f64 (.f64 y y) 4)))

rewrite176.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

9.0b

Rules

22×	`add-sqr-sqrt_binary64_9989`
21×	`add-cube-cbrt_binary64_10002` `*-un-lft-identity_binary64_9967`
18×	`times-frac_binary64_9973`
16×	`log-pow_binary64_10056`
15×	`exp-prod_binary64_10019`
11×	`add-exp-log_binary64_10005` `add-cbrt-cube_binary64_10003`
10×	`pow1_binary64_10028`
6×	`add-log-exp_binary64_10006`
4×	`flip3-+_binary64_9970` `flip-+_binary64_9941` `associate-/r/_binary64_9913`
3×	`associate-/l_binary64_9912` `associate-/r_binary64_9911` `log-prod_binary64_10053` `pow-prod-down_binary64_10038` `prod-exp_binary64_10016` `cbrt-unprod_binary64_10000` `associate-r_binary64_9907`
2×	`div-inv_binary64_9964` `associate-/l/_binary64_9914`
1×	`div-exp_binary64_10018` `cbrt-undiv_binary64_10001` `frac-2neg_binary64_9978` `clear-num_binary64_9966` `sum-log_binary64_10058` `+-commutative_binary64_9897` `rem-log-exp_binary64_10008` `unswap-sqr_binary64_9935` `associate-l_binary64_9908` `*-commutative_binary64_9898`

Counts

4 → 88

Calls

4 calls:

10.0ms	(log.f64 (exp.f64 (/.f64 (+.f64 (.f64 x x) (.f64 (.f64 y y) -4)) (+.f64 (.f64 x x) (.f64 (.f64 y y) 4)))))
10.0ms	(/.f64 (+.f64 (.f64 x x) (.f64 (.f64 y y) -4)) (+.f64 (.f64 x x) (.f64 (.f64 y y) 4)))
8.0ms	(.f64 (.f64 y y) 4)
4.0ms	(+.f64 (.f64 x x) (.f64 (*.f64 y y) -4))

Compiler

Compiled 3177 to 1475 computations (53.6% saved)

series881.0ms (13.3%)

Error

0.3b

Counts

4 → 45

Calls

4 calls:

342.0ms	(log.f64 (exp.f64 (/.f64 (+.f64 (.f64 x x) (.f64 (.f64 y y) -4)) (+.f64 (.f64 x x) (.f64 (.f64 y y) 4)))))
258.0ms	(/.f64 (+.f64 (.f64 x x) (.f64 (.f64 y y) -4)) (+.f64 (.f64 x x) (.f64 (.f64 y y) 4)))
196.0ms	(+.f64 (.f64 x x) (.f64 (*.f64 y y) -4))
42.0ms	(.f64 (.f64 y y) 4)

Compiler

Compiled 1713 to 1423 computations (16.9% saved)

simplify187.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

343×	`div-sub_binary64_9972`
294×	`*-commutative_binary64_9898`
275×	`times-frac_binary64_9973`
247×	`associate-/l*_binary64_9912`
197×	`unsub-neg_binary64_9961`
186×	`unswap-sqr_binary64_9935`
175×	`distribute-rgt-in_binary64_9917`
154×	`log-pow_binary64_10056` `log-prod_binary64_10053`
152×	`distribute-lft-in_binary64_9916`
139×	`associate-/r*_binary64_9911`
128×	`associate-l_binary64_9908`
122×	`exp-prod_binary64_10019`
116×	`neg-sub0_binary64_9962`
113×	`neg-mul-1_binary64_9963`
106×	`associate-r_binary64_9907`
105×	`sub-neg_binary64_9960`
103×	`cancel-sign-sub-inv_binary64_9933`
98×	`sqr-pow_binary64_9939`
96×	`distribute-rgt-neg-in_binary64_9925`
84×	`associate-*l/_binary64_9910`
66×	`cube-prod_binary64_9995`
65×	`associate-*r/_binary64_9909`
63×	`distribute-lft-neg-in_binary64_9924`
50×	`associate-/l/_binary64_9914`
48×	`associate-+l+_binary64_9900`
43×	`log-div_binary64_10054`
42×	`associate-+r+_binary64_9899`
40×	`distribute-lft-neg-out_binary64_9926`
39×	`distribute-rgt-neg-out_binary64_9927`
37×	`associate-/r/_binary64_9913`
23×	`unpow3_binary64_10033` `rem-log-exp_binary64_10008`
22×	`+-commutative_binary64_9897`
17×	`pow-sqr_binary64_9940`
16×	`exp-diff_binary64_10015` `/-rgt-identity_binary64_9958` `swap-sqr_binary64_9934` `associate-+r-_binary64_9901`
15×	`cube-div_binary64_9996` `distribute-rgt-out_binary64_9920`
14×	`exp-sum_binary64_10013` `*-rgt-identity_binary64_9957` `remove-double-neg_binary64_9955` `associate-+l-_binary64_9902`
13×	`pow-plus_binary64_10030`
12×	`log-rec_binary64_10055` `difference-of-squares_binary64_9936` `distribute-lft-out_binary64_9918`
9×	`exp-to-pow_binary64_10029` `*-lft-identity_binary64_9956` `distribute-rgt-out--_binary64_9921`
8×	`sub0-neg_binary64_9954` `+-rgt-identity_binary64_9952` `distribute-neg-frac_binary64_9931`
7×	`cube-unmult_binary64_10004` `cube-mult_binary64_9997` `cube-neg_binary64_9994` `distribute-frac-neg_binary64_9930`
6×	`unpow1/2_binary64_10031` `div0_binary64_9948`
5×	`distribute-neg-in_binary64_9928` `distribute-lft-out--_binary64_9919`
4×	`unpow2_binary64_10032` `mul0-rgt_binary64_9950` `mul0-lft_binary64_9949` `associate--r-_binary64_9906`
3×	`exp-neg_binary64_10014` `sqr-neg_binary64_9981`
2×	`unpow1_binary64_10025` `prod-exp_binary64_10016` `rem-sqrt-square_binary64_9980` `--rgt-identity_binary64_9953` `count-2_binary64_9915` `associate--l-_binary64_9905` `associate--l+_binary64_9904`
1×	`unpow-1_binary64_10024` `1-exp_binary64_10011` `exp-1-e_binary64_10010` `rem-exp-log_binary64_10007` `*-inverses_binary64_9947` `associate--r+_binary64_9903`
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_10230` `erf-erfc_binary64_10229` `erf-odd_binary64_10228` `if-if-and-not_binary64_10227` `if-if-and_binary64_10226` `if-if-or-not_binary64_10225` `if-if-or_binary64_10224` `if-not_binary64_10223` `if-same_binary64_10222` `if-false_binary64_10221` `if-true_binary64_10220` `not-gte_binary64_10219` `not-lte_binary64_10218` `not-gt_binary64_10217` `not-lt_binary64_10216` `gte-same_binary64_10215` `lte-same_binary64_10214` `gt-same_binary64_10213` `lt-same_binary64_10212` `sinh---cosh_binary64_10159` `sinh-+-cosh_binary64_10158` `sinh-cosh_binary64_10157` `tanh-def-c_binary64_10156` `tanh-def-b_binary64_10155` `tanh-def-a_binary64_10154` `cosh-def_binary64_10153` `sinh-def_binary64_10152` `tan-neg_binary64_10099` `cos-neg_binary64_10098` `sin-neg_binary64_10097` `tan-0_binary64_10096` `cos-0_binary64_10095` `sin-0_binary64_10094` `hang-m-tan_binary64_10093` `hang-p-tan_binary64_10092` `hang-m0-tan_binary64_10091` `hang-p0-tan_binary64_10090` `hang-0m-tan_binary64_10089` `hang-0p-tan_binary64_10088` `tan-+PI/2_binary64_10087` `tan-+PI_binary64_10086` `tan-PI_binary64_10085` `tan-PI/3_binary64_10084` `tan-PI/4_binary64_10083` `tan-PI/6_binary64_10082` `cos-+PI/2_binary64_10081` `cos-+PI_binary64_10080` `cos-PI_binary64_10079` `cos-PI/2_binary64_10078` `cos-PI/3_binary64_10077` `cos-PI/4_binary64_10076` `cos-PI/6_binary64_10075` `sin-+PI/2_binary64_10074` `sin-+PI_binary64_10073` `sin-PI_binary64_10072` `sin-PI/2_binary64_10071` `sin-PI/3_binary64_10070` `sin-PI/4_binary64_10069` `sin-PI/6_binary64_10068` `sub-1-sin_binary64_10067` `sub-1-cos_binary64_10066` `-1-add-sin_binary64_10065` `-1-add-cos_binary64_10064` `1-sub-sin_binary64_10063` `1-sub-cos_binary64_10062` `cos-sin-sum_binary64_10061` `log-E_binary64_10057` `pow-base-0_binary64_10051` `unpow1/3_binary64_10034` `pow-base-1_binary64_10027` `unpow0_binary64_10026` `exp-lft-cube_binary64_10023` `exp-lft-sqr_binary64_10022` `exp-cbrt_binary64_10021` `exp-sqrt_binary64_10020` `div-exp_binary64_10018` `rec-exp_binary64_10017` `e-exp-1_binary64_10012` `exp-0_binary64_10009` `rem-3cbrt-rft_binary64_9993` `rem-3cbrt-lft_binary64_9992` `rem-cbrt-cube_binary64_9991` `rem-cube-cbrt_binary64_9990` `sqr-abs_binary64_9982` `rem-square-sqrt_binary64_9979` `mul-1-neg_binary64_9959` `+-lft-identity_binary64_9951` `+-inverses_binary64_9946` `lft-mult-inverse_binary64_9945` `rgt-mult-inverse_binary64_9944` `remove-double-div_binary64_9943` `difference-of-sqr--1_binary64_9938` `difference-of-sqr-1_binary64_9937` `cancel-sign-sub_binary64_9932` `distribute-neg-out_binary64_9929` `distribute-rgt1-in_binary64_9923` `distribute-lft1-in_binary64_9922`

Counts

133 → 83

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	178	3270
1	383	3028
2	1120	3010
3	3215	3010
4	4710	2992
5	4982	2992
6	4941	2992

prune108.0ms (1.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	81	2	83
Fresh	1	2	3
Picked	0	1	1
Done	0	0	0
Total	82	5	87

Error

5.0b

Counts

87 → 5

Compiler

Compiled 2176 to 1014 computations (53.4% saved)

localize0.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

5.0b

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error: 5.0b
Counts: 0 → 0
Compiler: Compiled 0 to 0 computations (0% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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_10230 erf-erfc_binary64_10229 erf-odd_binary64_10228 if-if-and-not_binary64_10227 if-if-and_binary64_10226 if-if-or-not_binary64_10225 if-if-or_binary64_10224 if-not_binary64_10223 if-same_binary64_10222 if-false_binary64_10221 if-true_binary64_10220 not-gte_binary64_10219 not-lte_binary64_10218 not-gt_binary64_10217 not-lt_binary64_10216 gte-same_binary64_10215 lte-same_binary64_10214 gt-same_binary64_10213 lt-same_binary64_10212 sinh---cosh_binary64_10159 sinh-+-cosh_binary64_10158 sinh-cosh_binary64_10157 tanh-def-c_binary64_10156 tanh-def-b_binary64_10155 tanh-def-a_binary64_10154 cosh-def_binary64_10153 sinh-def_binary64_10152 tan-neg_binary64_10099 cos-neg_binary64_10098 sin-neg_binary64_10097 tan-0_binary64_10096 cos-0_binary64_10095 sin-0_binary64_10094 hang-m-tan_binary64_10093 hang-p-tan_binary64_10092 hang-m0-tan_binary64_10091 hang-p0-tan_binary64_10090 hang-0m-tan_binary64_10089 hang-0p-tan_binary64_10088 tan-+PI/2_binary64_10087 tan-+PI_binary64_10086 tan-PI_binary64_10085 tan-PI/3_binary64_10084 tan-PI/4_binary64_10083 tan-PI/6_binary64_10082 cos-+PI/2_binary64_10081 cos-+PI_binary64_10080 cos-PI_binary64_10079 cos-PI/2_binary64_10078 cos-PI/3_binary64_10077 cos-PI/4_binary64_10076 cos-PI/6_binary64_10075 sin-+PI/2_binary64_10074 sin-+PI_binary64_10073 sin-PI_binary64_10072 sin-PI/2_binary64_10071 sin-PI/3_binary64_10070 sin-PI/4_binary64_10069 sin-PI/6_binary64_10068 sub-1-sin_binary64_10067 sub-1-cos_binary64_10066 -1-add-sin_binary64_10065 -1-add-cos_binary64_10064 1-sub-sin_binary64_10063 1-sub-cos_binary64_10062 cos-sin-sum_binary64_10061 log-E_binary64_10057 log-pow_binary64_10056 log-rec_binary64_10055 log-div_binary64_10054 log-prod_binary64_10053 pow-base-0_binary64_10051 unpow1/3_binary64_10034 unpow3_binary64_10033 unpow2_binary64_10032 unpow1/2_binary64_10031 pow-plus_binary64_10030 exp-to-pow_binary64_10029 pow-base-1_binary64_10027 unpow0_binary64_10026 unpow1_binary64_10025 unpow-1_binary64_10024 exp-lft-cube_binary64_10023 exp-lft-sqr_binary64_10022 exp-cbrt_binary64_10021 exp-sqrt_binary64_10020 exp-prod_binary64_10019 div-exp_binary64_10018 rec-exp_binary64_10017 prod-exp_binary64_10016 exp-diff_binary64_10015 exp-neg_binary64_10014 exp-sum_binary64_10013 e-exp-1_binary64_10012 1-exp_binary64_10011 exp-1-e_binary64_10010 exp-0_binary64_10009 rem-log-exp_binary64_10008 rem-exp-log_binary64_10007 cube-unmult_binary64_10004 cube-mult_binary64_9997 cube-div_binary64_9996 cube-prod_binary64_9995 cube-neg_binary64_9994 rem-3cbrt-rft_binary64_9993 rem-3cbrt-lft_binary64_9992 rem-cbrt-cube_binary64_9991 rem-cube-cbrt_binary64_9990 sqr-abs_binary64_9982 sqr-neg_binary64_9981 rem-sqrt-square_binary64_9980 rem-square-sqrt_binary64_9979 times-frac_binary64_9973 div-sub_binary64_9972 neg-mul-1_binary64_9963 neg-sub0_binary64_9962 unsub-neg_binary64_9961 sub-neg_binary64_9960 mul-1-neg_binary64_9959 /-rgt-identity_binary64_9958 *-rgt-identity_binary64_9957 *-lft-identity_binary64_9956 remove-double-neg_binary64_9955 sub0-neg_binary64_9954 --rgt-identity_binary64_9953 +-rgt-identity_binary64_9952 +-lft-identity_binary64_9951 mul0-rgt_binary64_9950 mul0-lft_binary64_9949 div0_binary64_9948 *-inverses_binary64_9947 +-inverses_binary64_9946 lft-mult-inverse_binary64_9945 rgt-mult-inverse_binary64_9944 remove-double-div_binary64_9943 pow-sqr_binary64_9940 sqr-pow_binary64_9939 difference-of-sqr--1_binary64_9938 difference-of-sqr-1_binary64_9937 difference-of-squares_binary64_9936 unswap-sqr_binary64_9935 swap-sqr_binary64_9934 cancel-sign-sub-inv_binary64_9933 cancel-sign-sub_binary64_9932 distribute-neg-frac_binary64_9931 distribute-frac-neg_binary64_9930 distribute-neg-out_binary64_9929 distribute-neg-in_binary64_9928 distribute-rgt-neg-out_binary64_9927 distribute-lft-neg-out_binary64_9926 distribute-rgt-neg-in_binary64_9925 distribute-lft-neg-in_binary64_9924 distribute-rgt1-in_binary64_9923 distribute-lft1-in_binary64_9922 distribute-rgt-out--_binary64_9921 distribute-rgt-out_binary64_9920 distribute-lft-out--_binary64_9919 distribute-lft-out_binary64_9918 distribute-rgt-in_binary64_9917 distribute-lft-in_binary64_9916 count-2_binary64_9915 associate-/l/_binary64_9914 associate-/r/_binary64_9913 associate-/l*_binary64_9912 associate-/r*_binary64_9911 associate-*l/_binary64_9910 associate-*r/_binary64_9909 associate-*l*_binary64_9908 associate-*r*_binary64_9907 associate--r-_binary64_9906 associate--l-_binary64_9905 associate--l+_binary64_9904 associate--r+_binary64_9903 associate-+l-_binary64_9902 associate-+r-_binary64_9901 associate-+l+_binary64_9900 associate-+r+_binary64_9899 *-commutative_binary64_9898 +-commutative_binary64_9897

Counts

0 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

prune6.0ms (0.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

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

Error

5.0b

Counts

5 → 5

Compiler

Compiled 92 to 54 computations (41.3% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

4.2b	(+.f64 (.f64 x x) (.f64 (*.f64 y y) -4))
34.0b	(/.f64 (+.f64 (.f64 x x) (.f64 (.f64 y y) -4)) (+.f64 (.f64 x x) (.f64 (.f64 y y) 4)))
34.0b	(/.f64 (+.f64 (.f64 x x) (.f64 (.f64 y y) -4)) (+.f64 (.f64 x x) (.f64 (.f64 y y) 4)))
34.0b	(/.f64 (+.f64 (.f64 x x) (.f64 (.f64 y y) -4)) (+.f64 (.f64 x x) (.f64 (.f64 y y) 4)))

rewrite386.0ms (5.8%)

Algorithm

1×	rewrite-expression-head

Error

5.0b

Rules

28×	`add-cube-cbrt_binary64_10002` `add-sqr-sqrt_binary64_9989` `*-un-lft-identity_binary64_9967`
27×	`times-frac_binary64_9973`
10×	`add-exp-log_binary64_10005` `add-cbrt-cube_binary64_10003`
9×	`associate-/l_binary64_9912` `associate-/r_binary64_9911`
7×	`flip3-+_binary64_9970` `flip-+_binary64_9941`
6×	`add-log-exp_binary64_10006` `associate-/l/_binary64_9914` `associate-/r/_binary64_9913`
4×	`pow1_binary64_10028`
3×	`div-exp_binary64_10018` `cbrt-undiv_binary64_10001` `frac-2neg_binary64_9978` `clear-num_binary64_9966` `div-inv_binary64_9964`
1×	`sum-log_binary64_10058` `+-commutative_binary64_9897`

Counts

4 → 104

Calls

4 calls:

13.0ms	(/.f64 (+.f64 (.f64 x x) (.f64 (.f64 y y) -4)) (+.f64 (.f64 x x) (.f64 (.f64 y y) 4)))
10.0ms	(/.f64 (+.f64 (.f64 x x) (.f64 (.f64 y y) -4)) (+.f64 (.f64 x x) (.f64 (.f64 y y) 4)))
9.0ms	(/.f64 (+.f64 (.f64 x x) (.f64 (.f64 y y) -4)) (+.f64 (.f64 x x) (.f64 (.f64 y y) 4)))
4.0ms	(+.f64 (.f64 x x) (.f64 (*.f64 y y) -4))

Compiler

Compiled 8273 to 3596 computations (56.5% saved)

series1.1s (16.4%)

Error

5.0b

Counts

4 → 57

Calls

4 calls:

257.0ms	(/.f64 (+.f64 (.f64 x x) (.f64 (.f64 y y) -4)) (+.f64 (.f64 x x) (.f64 (.f64 y y) 4)))
254.0ms	(/.f64 (+.f64 (.f64 x x) (.f64 (.f64 y y) -4)) (+.f64 (.f64 x x) (.f64 (.f64 y y) 4)))
253.0ms	(/.f64 (+.f64 (.f64 x x) (.f64 (.f64 y y) -4)) (+.f64 (.f64 x x) (.f64 (.f64 y y) 4)))
189.0ms	(+.f64 (.f64 x x) (.f64 (*.f64 y y) -4))

Compiler

Compiled 7722 to 4276 computations (44.6% saved)

simplify202.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

423×	`neg-mul-1_binary64_9963`
416×	`neg-sub0_binary64_9962`
321×	`div-sub_binary64_9972`
272×	`distribute-rgt-neg-in_binary64_9925`
241×	`cancel-sign-sub-inv_binary64_9933` `*-commutative_binary64_9898`
197×	`unsub-neg_binary64_9961`
173×	`associate-/l*_binary64_9912`
171×	`distribute-rgt-in_binary64_9917`
152×	`distribute-lft-in_binary64_9916`
146×	`distribute-rgt-neg-out_binary64_9927`
144×	`distribute-lft-neg-out_binary64_9926`
135×	`times-frac_binary64_9973`
127×	`unswap-sqr_binary64_9935`
104×	`sub-neg_binary64_9960`
99×	`distribute-neg-frac_binary64_9931`
98×	`associate-/r*_binary64_9911`
79×	`associate-r_binary64_9907`
76×	`associate-l_binary64_9908`
74×	`sqr-pow_binary64_9939` `associate-*l/_binary64_9910`
71×	`exp-prod_binary64_10019`
69×	`cube-prod_binary64_9995`
56×	`distribute-lft-neg-in_binary64_9924` `associate-*r/_binary64_9909`
55×	`distribute-neg-out_binary64_9929`
48×	`associate-/l/_binary64_9914`
45×	`associate-+l+_binary64_9900`
44×	`distribute-frac-neg_binary64_9930`
41×	`associate-+r+_binary64_9899`
31×	`associate-/r/_binary64_9913`
30×	`exp-diff_binary64_10015`
29×	`exp-sum_binary64_10013`
28×	`cube-div_binary64_9996`
22×	`unpow3_binary64_10033`
21×	`swap-sqr_binary64_9934` `distribute-neg-in_binary64_9928`
18×	`+-commutative_binary64_9897`
16×	`cube-mult_binary64_9997` `associate-+r-_binary64_9901`
15×	`distribute-rgt-out_binary64_9920`
14×	`remove-double-neg_binary64_9955` `associate-+l-_binary64_9902`
12×	`cube-neg_binary64_9994` `difference-of-squares_binary64_9936`
10×	`distribute-lft-out_binary64_9918`
9×	`cube-unmult_binary64_10004` `pow-sqr_binary64_9940`
8×	`/-rgt-identity_binary64_9958` `*-rgt-identity_binary64_9957` `sub0-neg_binary64_9954` `+-rgt-identity_binary64_9952` `distribute-rgt-out--_binary64_9921`
7×	`pow-plus_binary64_10030` `sqr-neg_binary64_9981`
6×	`div0_binary64_9948`
4×	`unpow2_binary64_10032` `*-lft-identity_binary64_9956` `mul0-rgt_binary64_9950` `mul0-lft_binary64_9949` `distribute-lft-out--_binary64_9919` `associate--r-_binary64_9906`
3×	`log-div_binary64_10054` `log-prod_binary64_10053` `rem-sqrt-square_binary64_9980`
2×	`unpow1/2_binary64_10031` `unpow1_binary64_10025` `prod-exp_binary64_10016` `--rgt-identity_binary64_9953` `cancel-sign-sub_binary64_9932` `associate--l-_binary64_9905` `associate--l+_binary64_9904`
1×	`unpow-1_binary64_10024` `exp-neg_binary64_10014` `1-exp_binary64_10011` `exp-1-e_binary64_10010` `*-inverses_binary64_9947` `associate--r+_binary64_9903`
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_10230` `erf-erfc_binary64_10229` `erf-odd_binary64_10228` `if-if-and-not_binary64_10227` `if-if-and_binary64_10226` `if-if-or-not_binary64_10225` `if-if-or_binary64_10224` `if-not_binary64_10223` `if-same_binary64_10222` `if-false_binary64_10221` `if-true_binary64_10220` `not-gte_binary64_10219` `not-lte_binary64_10218` `not-gt_binary64_10217` `not-lt_binary64_10216` `gte-same_binary64_10215` `lte-same_binary64_10214` `gt-same_binary64_10213` `lt-same_binary64_10212` `sinh---cosh_binary64_10159` `sinh-+-cosh_binary64_10158` `sinh-cosh_binary64_10157` `tanh-def-c_binary64_10156` `tanh-def-b_binary64_10155` `tanh-def-a_binary64_10154` `cosh-def_binary64_10153` `sinh-def_binary64_10152` `tan-neg_binary64_10099` `cos-neg_binary64_10098` `sin-neg_binary64_10097` `tan-0_binary64_10096` `cos-0_binary64_10095` `sin-0_binary64_10094` `hang-m-tan_binary64_10093` `hang-p-tan_binary64_10092` `hang-m0-tan_binary64_10091` `hang-p0-tan_binary64_10090` `hang-0m-tan_binary64_10089` `hang-0p-tan_binary64_10088` `tan-+PI/2_binary64_10087` `tan-+PI_binary64_10086` `tan-PI_binary64_10085` `tan-PI/3_binary64_10084` `tan-PI/4_binary64_10083` `tan-PI/6_binary64_10082` `cos-+PI/2_binary64_10081` `cos-+PI_binary64_10080` `cos-PI_binary64_10079` `cos-PI/2_binary64_10078` `cos-PI/3_binary64_10077` `cos-PI/4_binary64_10076` `cos-PI/6_binary64_10075` `sin-+PI/2_binary64_10074` `sin-+PI_binary64_10073` `sin-PI_binary64_10072` `sin-PI/2_binary64_10071` `sin-PI/3_binary64_10070` `sin-PI/4_binary64_10069` `sin-PI/6_binary64_10068` `sub-1-sin_binary64_10067` `sub-1-cos_binary64_10066` `-1-add-sin_binary64_10065` `-1-add-cos_binary64_10064` `1-sub-sin_binary64_10063` `1-sub-cos_binary64_10062` `cos-sin-sum_binary64_10061` `log-E_binary64_10057` `log-pow_binary64_10056` `log-rec_binary64_10055` `pow-base-0_binary64_10051` `unpow1/3_binary64_10034` `exp-to-pow_binary64_10029` `pow-base-1_binary64_10027` `unpow0_binary64_10026` `exp-lft-cube_binary64_10023` `exp-lft-sqr_binary64_10022` `exp-cbrt_binary64_10021` `exp-sqrt_binary64_10020` `div-exp_binary64_10018` `rec-exp_binary64_10017` `e-exp-1_binary64_10012` `exp-0_binary64_10009` `rem-log-exp_binary64_10008` `rem-exp-log_binary64_10007` `rem-3cbrt-rft_binary64_9993` `rem-3cbrt-lft_binary64_9992` `rem-cbrt-cube_binary64_9991` `rem-cube-cbrt_binary64_9990` `sqr-abs_binary64_9982` `rem-square-sqrt_binary64_9979` `mul-1-neg_binary64_9959` `+-lft-identity_binary64_9951` `+-inverses_binary64_9946` `lft-mult-inverse_binary64_9945` `rgt-mult-inverse_binary64_9944` `remove-double-div_binary64_9943` `difference-of-sqr--1_binary64_9938` `difference-of-sqr-1_binary64_9937` `distribute-rgt1-in_binary64_9923` `distribute-lft1-in_binary64_9922` `count-2_binary64_9915`

Counts

161 → 79

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	103	5026
1	285	4633
2	879	4621
3	2555	4621
4	4472	4621
5	5132	4621

prune202.0ms (3%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	79	0	79
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	79	5	84

Error

5.0b

Counts

84 → 5

Compiler

Compiled 5140 to 2262 computations (56% saved)

regimes520.0ms (7.9%)

Accuracy

Total 12.7b remaining (96.8%)

Threshold costs 0b (0%)

Compiler

Compiled 3844 to 2509 computations (34.7% saved)

bsearch188.0ms (2.8%)

Steps

Iters	Range		Point
9	2.2777998902916994e+116	1.834991783337768e+122	5.789054045437359e+121
6	3.4897858744898684e+94	3.810823555466789e+95	3.5779591776205156e+94
9	5.914836329277203e+73	2.1697677429474255e+81	2.3500817544996674e+80
11	1.8822353633883033e-119	4.195385962236382e-99	2.5574576931355925e-114
9	-1.2990342574912269e-108	-1.6663899355041597e-114	-1.1530864834412767e-108
9	-2.1550624638898956e+33	-2.3359125240299147e+26	-2.0670216515310263e+33
7	-6.520826194387673e+65	-8.995183646678027e+63	-9.789826550149937e+63

Compiler

Compiled 1 to 2 computations (-100% saved)

simplify12.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

9×	`*-commutative_binary64_9898` `+-commutative_binary64_9897`
7×	`sub-neg_binary64_9960`
5×	`neg-mul-1_binary64_9963` `neg-sub0_binary64_9962`
4×	`distribute-rgt-neg-in_binary64_9925`
3×	`distribute-lft-neg-in_binary64_9924`
2×	`cancel-sign-sub-inv_binary64_9933`
1×	`1-exp_binary64_10011` `distribute-neg-frac_binary64_9931` `distribute-lft-neg-out_binary64_9926`
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_10227` `if-if-and_binary64_10226` `if-if-or-not_binary64_10225` `if-if-or_binary64_10224` `if-not_binary64_10223` `if-same_binary64_10222` `if-false_binary64_10221` `if-true_binary64_10220` `tan-0_binary64_10096` `cos-0_binary64_10095` `sin-0_binary64_10094` `unpow1_binary64_10025` `e-exp-1_binary64_10012` `exp-1-e_binary64_10010` `exp-0_binary64_10009` `sqr-abs_binary64_9982` `sqr-neg_binary64_9981` `unsub-neg_binary64_9961` `mul-1-neg_binary64_9959` `/-rgt-identity_binary64_9958` `-rgt-identity_binary64_9957` `-lft-identity_binary64_9956` `remove-double-neg_binary64_9955` `sub0-neg_binary64_9954` `--rgt-identity_binary64_9953` `+-rgt-identity_binary64_9952` `+-lft-identity_binary64_9951` `cancel-sign-sub_binary64_9932` `distribute-frac-neg_binary64_9930` `distribute-neg-out_binary64_9929` `distribute-neg-in_binary64_9928` `distribute-rgt-neg-out_binary64_9927`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	47	246
1	62	246
2	79	246
3	89	246
4	96	246
5	98	246
6	97	246

end0.0ms (0%)

sample1.2s (18.6%)

Algorithm

1×

intervals

Results

356.0ms

8000×

body

128

valid

Compiler

Compiled 985 to 616 computations (37.5% saved)

Details

analyze315.0ms (4.8%)

sample25.0ms (0.4%)

simplify114.0ms (1.7%)

prune3.0ms (0%)

localize8.0ms (0.1%)

rewrite121.0ms (1.8%)

series604.0ms (9.1%)

simplify99.0ms (1.5%)

prune105.0ms (1.6%)

localize16.0ms (0.2%)

rewrite176.0ms (2.7%)

series881.0ms (13.3%)

simplify187.0ms (2.8%)

prune108.0ms (1.6%)

localize0.0ms (0%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify8.0ms (0.1%)

prune6.0ms (0.1%)

localize15.0ms (0.2%)

rewrite386.0ms (5.8%)

series1.1s (16.4%)

simplify202.0ms (3.1%)

prune202.0ms (3%)

regimes520.0ms (7.9%)

bsearch188.0ms (2.8%)

simplify12.0ms (0.2%)

end0.0ms (0%)

sample1.2s (18.6%)

Profiling