Details

analyze958.0ms (7.9%)

Algorithm

1×	search
2×	egg-herbie

Rules

1160×	`sub-neg_binary64_9960`
823×	`div-sub_binary64_9972`
449×	`neg-mul-1_binary64_9963`
443×	`cancel-sign-sub-inv_binary64_9933`
398×	`neg-sub0_binary64_9962`
364×	`distribute-neg-frac_binary64_9931`
350×	`*-commutative_binary64_9898`
333×	`associate-/l*_binary64_9912`
325×	`distribute-rgt-in_binary64_9917`
318×	`distribute-frac-neg_binary64_9930`
307×	`unsub-neg_binary64_9961`
288×	`times-frac_binary64_9973`
286×	`distribute-rgt-neg-out_binary64_9927`
231×	`distribute-lft-in_binary64_9916`
227×	`distribute-rgt-neg-in_binary64_9925`
225×	`associate-/r*_binary64_9911`
187×	`distribute-lft-neg-out_binary64_9926` `associate-+l-_binary64_9902`
178×	`associate-*l/_binary64_9910`
174×	`distribute-neg-in_binary64_9928`
143×	`+-lft-identity_binary64_9951`
129×	`remove-double-neg_binary64_9955`
113×	`associate--r+_binary64_9903`
107×	`distribute-lft-neg-in_binary64_9924`
96×	`associate-/r/_binary64_9913`
90×	`+-commutative_binary64_9897`
87×	`associate-r_binary64_9907`
79×	`associate-/l/_binary64_9914`
77×	`div0_binary64_9948`
76×	`-lft-identity_binary64_9956` `associate-r/_binary64_9909`
70×	`associate-+r-_binary64_9901`
69×	`associate-l_binary64_9908` `associate--r-_binary64_9906`
66×	`mul0-rgt_binary64_9950` `mul0-lft_binary64_9949`
62×	`cancel-sign-sub_binary64_9932`
57×	`sub0-neg_binary64_9954`
55×	`associate--l-_binary64_9905`
41×	`*-rgt-identity_binary64_9957`
40×	`+-rgt-identity_binary64_9952` `distribute-neg-out_binary64_9929`
38×	`associate--l+_binary64_9904`
31×	`associate-+l+_binary64_9900`
26×	`associate-+r+_binary64_9899`
24×	`--rgt-identity_binary64_9953`
17×	`/-rgt-identity_binary64_9958`
14×	`distribute-rgt-out--_binary64_9921` `distribute-lft-out_binary64_9918`
10×	`distribute-lft-out--_binary64_9919`
7×	`distribute-rgt-out_binary64_9920`
5×	`remove-double-div_binary64_9943`
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` `mul-1-neg_binary64_9959` `*-inverses_binary64_9947` `+-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` `unswap-sqr_binary64_9935` `swap-sqr_binary64_9934` `distribute-rgt1-in_binary64_9923` `distribute-lft1-in_binary64_9922` `count-2_binary64_9915`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	112
1	66	112
2	146	112
3	314	112
4	520	112
5	992	112
6	1882	112
7	3797	112
8	3605	112
9	3748	112
10	3883	112
11	3981	112
12	3981	112
13	4500	112
14	4680	112
15	4881	112
0	4	4
1	4	4

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
7.8%	92%	0.2%	8
16.4%	83.4%	0.2%	9
23.8%	76%	0.2%	10
25.1%	74.7%	0.2%	11
38.1%	59.4%	2.5%	12
41.8%	55.3%	2.9%	13
46.5%	50.3%	3.1%	14

Compiler

Compiled 12 to 11 computations (8.3% saved)

sample31.0ms (0.3%)

Algorithm

1×

intervals

Results

9.0ms	256×	body	128	valid
2.0ms	57×	body	128	invalid

Compiler

Compiled 23 to 25 computations (-8.7% saved)

simplify267.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

1174×	`div-sub_binary64_9972`
414×	`associate-/l*_binary64_9912`
410×	`distribute-rgt-in_binary64_9917`
404×	`sub-neg_binary64_9960`
371×	`associate-/r/_binary64_9913`
370×	`associate-/l/_binary64_9914`
344×	`distribute-lft-in_binary64_9916`
327×	`unsub-neg_binary64_9961`
284×	`associate-/r*_binary64_9911`
249×	`cancel-sign-sub-inv_binary64_9933`
221×	`distribute-neg-frac_binary64_9931`
168×	`*-commutative_binary64_9898`
149×	`distribute-rgt-neg-out_binary64_9927`
135×	`distribute-lft-neg-out_binary64_9926`
133×	`distribute-rgt-neg-in_binary64_9925`
126×	`neg-mul-1_binary64_9963`
124×	`associate-*l/_binary64_9910`
109×	`distribute-lft-neg-in_binary64_9924`
103×	`neg-sub0_binary64_9962`
70×	`associate-r_binary64_9907`
65×	`associate-l_binary64_9908`
62×	`times-frac_binary64_9973` `distribute-frac-neg_binary64_9930` `associate--r+_binary64_9903`
61×	`mul0-rgt_binary64_9950`
57×	`mul0-lft_binary64_9949` `div0_binary64_9948` `associate-*r/_binary64_9909`
56×	`distribute-neg-in_binary64_9928`
51×	`associate-+l-_binary64_9902`
45×	`associate--r-_binary64_9906`
43×	`remove-double-neg_binary64_9955`
39×	`associate--l-_binary64_9905` `+-commutative_binary64_9897`
30×	`*-rgt-identity_binary64_9957` `associate-+r-_binary64_9901`
28×	`*-lft-identity_binary64_9956`
27×	`associate--l+_binary64_9904`
22×	`/-rgt-identity_binary64_9958`
20×	`remove-double-div_binary64_9943`
16×	`sub0-neg_binary64_9954`
13×	`associate-+l+_binary64_9900` `associate-+r+_binary64_9899`
12×	`cancel-sign-sub_binary64_9932`
9×	`--rgt-identity_binary64_9953`
7×	`distribute-neg-out_binary64_9929`
5×	`+-lft-identity_binary64_9951`
4×	`mul-1-neg_binary64_9959`
3×	`distribute-rgt-out--_binary64_9921` `distribute-lft-out_binary64_9918`
2×	`+-rgt-identity_binary64_9952`
1×	`1-exp_binary64_10011` `distribute-rgt-out_binary64_9920` `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` `sqr-neg_binary64_9981` `rem-sqrt-square_binary64_9980` `rem-square-sqrt_binary64_9979` `*-inverses_binary64_9947` `+-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` `unswap-sqr_binary64_9935` `swap-sqr_binary64_9934` `distribute-rgt1-in_binary64_9923` `distribute-lft1-in_binary64_9922` `count-2_binary64_9915`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	16
1	18	16
2	33	16
3	61	16
4	103	16
5	179	16
6	357	16
7	714	16
8	1261	16
9	1454	16
10	1447	16
11	1374	16
12	1377	16
13	1410	16
14	1499	16
15	1921	16
16	1599	16
17	1627	16
18	1645	16
19	1661	16
20	1653	16
21	1653	16
22	1653	16
23	1711	16
24	1669	16
25	1663	16
26	1665	16
27	1667	16
28	1669	16
29	1669	16
30	1484	16

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

6.9b

Counts

1 → 1

Compiler

Compiled 11 to 10 computations (9.1% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))
0.0b	(/.f64 t (-.f64 1 z))
6.5b	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))

rewrite294.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

0.5b

Rules

111×	`add-sqr-sqrt_binary64_9989`
107×	`*-un-lft-identity_binary64_9967`
88×	`times-frac_binary64_9973`
72×	`cancel-sign-sub-inv_binary64_9933`
46×	`add-cube-cbrt_binary64_10002`
34×	`difference-of-squares_binary64_9936`
25×	`distribute-rgt-in_binary64_9917` `distribute-lft-in_binary64_9916`
21×	`distribute-lft-out--_binary64_9919`
10×	`associate-r_binary64_9907`
8×	`associate-/r/_binary64_9913`
7×	`add-exp-log_binary64_10005` `add-cbrt-cube_binary64_10003`
6×	`flip3--_binary64_9971` `flip--_binary64_9942` `associate-/r*_binary64_9911`
5×	`pow1_binary64_10028` `add-log-exp_binary64_10006`
4×	`div-inv_binary64_9964`
3×	`sub-neg_binary64_9960` `associate-r/_binary64_9909` `associate-l_binary64_9908` `associate-/l_binary64_9912`
2×	`frac-sub_binary64_9976`
1×	`pow-prod-down_binary64_10038` `prod-exp_binary64_10016` `cbrt-unprod_binary64_10000` `unswap-sqr_binary64_9935` `*-commutative_binary64_9898` `div-exp_binary64_10018` `cbrt-undiv_binary64_10001` `frac-2neg_binary64_9978` `clear-num_binary64_9966` `diff-log_binary64_10059`

Counts

3 → 162

Calls

3 calls:

32.0ms	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
29.0ms	(-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))
7.0ms	(/.f64 t (-.f64 1 z))

Compiler

Compiled 3485 to 1799 computations (48.4% saved)

series890.0ms (7.4%)

Error

0.1b

Counts

3 → 65

Calls

3 calls:

470.0ms	(*.f64 x (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))))
256.0ms	(-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z)))
108.0ms	(/.f64 t (-.f64 1 z))

Compiler

Compiled 2023 to 1293 computations (36.1% saved)

simplify170.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

398×	`times-frac_binary64_9973`
392×	`distribute-rgt-in_binary64_9917`
237×	`distribute-lft-neg-out_binary64_9926`
231×	`distribute-rgt-neg-out_binary64_9927`
221×	`associate-l_binary64_9908`
205×	`associate-r_binary64_9907`
194×	`*-commutative_binary64_9898`
171×	`neg-sub0_binary64_9962`
142×	`neg-mul-1_binary64_9963`
140×	`exp-prod_binary64_10019`
138×	`distribute-rgt-neg-in_binary64_9925`
132×	`associate-*l/_binary64_9910`
128×	`cancel-sign-sub-inv_binary64_9933`
117×	`sub-neg_binary64_9960`
114×	`associate-*r/_binary64_9909`
112×	`distribute-neg-frac_binary64_9931`
92×	`distribute-lft-neg-in_binary64_9924`
79×	`+-commutative_binary64_9897`
73×	`associate-/l*_binary64_9912`
69×	`distribute-neg-in_binary64_9928`
66×	`*-rgt-identity_binary64_9957`
63×	`div-sub_binary64_9972`
60×	`*-lft-identity_binary64_9956`
57×	`distribute-rgt-out_binary64_9920`
51×	`associate-/r*_binary64_9911`
48×	`distribute-lft-in_binary64_9916`
45×	`associate-+r+_binary64_9899`
44×	`unsub-neg_binary64_9961`
40×	`distribute-frac-neg_binary64_9930`
34×	`associate-/l/_binary64_9914` `associate-+l+_binary64_9900`
31×	`log-prod_binary64_10053` `exp-neg_binary64_10014`
28×	`sqr-pow_binary64_9939`
26×	`exp-sum_binary64_10013`
21×	`exp-diff_binary64_10015`
19×	`/-rgt-identity_binary64_9958` `associate--r+_binary64_9903`
18×	`associate-/r/_binary64_9913`
16×	`distribute-lft-out_binary64_9918`
10×	`cube-prod_binary64_9995` `distribute-rgt1-in_binary64_9923`
9×	`unpow3_binary64_10033` `swap-sqr_binary64_9934` `distribute-rgt-out--_binary64_9921`
8×	`distribute-neg-out_binary64_9929`
7×	`log-div_binary64_10054` `cube-div_binary64_9996` `div0_binary64_9948` `unswap-sqr_binary64_9935`
6×	`associate-+r-_binary64_9901`
5×	`cube-unmult_binary64_10004` `mul-1-neg_binary64_9959`
4×	`cube-mult_binary64_9997`
3×	`+-rgt-identity_binary64_9952` `difference-of-squares_binary64_9936`
2×	`unpow1/2_binary64_10031` `rem-3cbrt-lft_binary64_9992` `rem-sqrt-square_binary64_9980` `rem-square-sqrt_binary64_9979` `associate--l+_binary64_9904`
1×	`log-pow_binary64_10056` `unpow2_binary64_10032` `pow-plus_binary64_10030` `unpow1_binary64_10025` `div-exp_binary64_10018` `1-exp_binary64_10011` `exp-1-e_binary64_10010` `remove-double-neg_binary64_9955` `pow-sqr_binary64_9940` `distribute-lft1-in_binary64_9922` `distribute-lft-out--_binary64_9919` `associate--r-_binary64_9906`
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-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` `prod-exp_binary64_10016` `e-exp-1_binary64_10012` `exp-0_binary64_10009` `rem-log-exp_binary64_10008` `rem-exp-log_binary64_10007` `cube-neg_binary64_9994` `rem-3cbrt-rft_binary64_9993` `rem-cbrt-cube_binary64_9991` `rem-cube-cbrt_binary64_9990` `sqr-abs_binary64_9982` `sqr-neg_binary64_9981` `sub0-neg_binary64_9954` `--rgt-identity_binary64_9953` `+-lft-identity_binary64_9951` `mul0-rgt_binary64_9950` `mul0-lft_binary64_9949` `*-inverses_binary64_9947` `+-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` `count-2_binary64_9915` `associate--l-_binary64_9905` `associate-+l-_binary64_9902`

Counts

227 → 160

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	271	4804
1	750	4697
2	2666	4088
3	4715	4088
4	4974	4088

prune161.0ms (1.3%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	148	12	160
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	149	12	161

Error

4.5b

Counts

161 → 12

Compiler

Compiled 2784 to 1245 computations (55.3% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 x)
0.5b	(cbrt.f64 x)
3.2b	(*.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))) (cbrt.f64 x))
3.6b	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))) (cbrt.f64 x)))

rewrite184.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

0.6b

Rules

25×	`add-sqr-sqrt_binary64_9989`
20×	`*-un-lft-identity_binary64_9967`
18×	`pow1_binary64_10028` `add-exp-log_binary64_10005`
11×	`add-cbrt-cube_binary64_10003` `associate-l_binary64_9908`
10×	`cbrt-prod_binary64_9998`
9×	`pow-prod-down_binary64_10038` `prod-exp_binary64_10016` `add-cube-cbrt_binary64_10002` `cbrt-unprod_binary64_10000`
8×	`times-frac_binary64_9973`
7×	`associate-r_binary64_9907`
6×	`associate-*l/_binary64_9910`
4×	`add-log-exp_binary64_10006` `difference-of-squares_binary64_9936` `distribute-lft-out--_binary64_9919`
3×	`associate-*r/_binary64_9909`
2×	`frac-sub_binary64_9976` `flip3--_binary64_9971` `flip--_binary64_9942` `*-commutative_binary64_9898` `unswap-sqr_binary64_9935` `pow1/3_binary64_10049`

Counts

4 → 79

Calls

4 calls:

34.0ms	(*.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))) (cbrt.f64 x))
33.0ms	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))) (cbrt.f64 x)))
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)

Compiler

Compiled 2162 to 858 computations (60.3% saved)

series1.5s (12.2%)

Error

0.0b

Counts

4 → 54

Calls

4 calls:

763.0ms	(*.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))) (cbrt.f64 x))
456.0ms	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (-.f64 (/.f64 y z) (/.f64 t (-.f64 1 z))) (cbrt.f64 x)))
104.0ms	(cbrt.f64 x)
103.0ms	(cbrt.f64 x)

Compiler

Compiled 2427 to 1585 computations (34.7% saved)

simplify112.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

370×	`distribute-rgt-in_binary64_9917`
363×	`distribute-lft-in_binary64_9916`
224×	`times-frac_binary64_9973` `associate-/l*_binary64_9912`
202×	`associate-l_binary64_9908`
191×	`associate-r_binary64_9907`
182×	`exp-prod_binary64_10019`
152×	`associate-/r*_binary64_9911`
128×	`log-prod_binary64_10053`
95×	`cancel-sign-sub-inv_binary64_9933`
83×	`*-commutative_binary64_9898`
82×	`distribute-rgt-neg-in_binary64_9925`
81×	`unswap-sqr_binary64_9935`
66×	`distribute-rgt-out_binary64_9920`
64×	`distribute-lft-neg-in_binary64_9924`
54×	`distribute-lft-neg-out_binary64_9926`
46×	`sqr-pow_binary64_9939`
44×	`associate-/r/_binary64_9913` `+-commutative_binary64_9897`
42×	`sub-neg_binary64_9960` `distribute-lft-out_binary64_9918`
39×	`distribute-rgt-neg-out_binary64_9927`
30×	`neg-sub0_binary64_9962`
29×	`cube-prod_binary64_9995`
25×	`neg-mul-1_binary64_9963` `associate-+r+_binary64_9899`
21×	`unpow3_binary64_10033` `swap-sqr_binary64_9934`
20×	`associate-+l+_binary64_9900`
18×	`distribute-neg-frac_binary64_9931` `distribute-neg-in_binary64_9928`
17×	`associate-/l/_binary64_9914`
16×	`-rgt-identity_binary64_9957` `associate-l/_binary64_9910`
13×	`-lft-identity_binary64_9956` `associate-r/_binary64_9909`
11×	`div-sub_binary64_9972`
10×	`exp-sum_binary64_10013`
7×	`pow-plus_binary64_10030` `cube-unmult_binary64_10004` `cube-mult_binary64_9997` `mul-1-neg_binary64_9959`
6×	`log-pow_binary64_10056` `unsub-neg_binary64_9961` `associate--r+_binary64_9903`
4×	`exp-diff_binary64_10015` `rem-sqrt-square_binary64_9980` `pow-sqr_binary64_9940` `distribute-rgt-out--_binary64_9921`
3×	`difference-of-squares_binary64_9936` `distribute-rgt1-in_binary64_9923`
2×	`unpow1/3_binary64_10034` `unpow1/2_binary64_10031` `cube-div_binary64_9996` `distribute-lft-out--_binary64_9919` `count-2_binary64_9915`
1×	`unpow2_binary64_10032` `unpow1_binary64_10025` `1-exp_binary64_10011` `exp-1-e_binary64_10010` `cube-neg_binary64_9994` `rem-3cbrt-lft_binary64_9992` `rem-cube-cbrt_binary64_9990` `sqr-neg_binary64_9981` `remove-double-neg_binary64_9955` `distribute-lft1-in_binary64_9922`
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-rec_binary64_10055` `log-div_binary64_10054` `pow-base-0_binary64_10051` `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` `div-exp_binary64_10018` `rec-exp_binary64_10017` `prod-exp_binary64_10016` `exp-neg_binary64_10014` `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-cbrt-cube_binary64_9991` `sqr-abs_binary64_9982` `rem-square-sqrt_binary64_9979` `/-rgt-identity_binary64_9958` `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` `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` `associate--r-_binary64_9906` `associate--l-_binary64_9905` `associate--l+_binary64_9904` `associate-+l-_binary64_9902` `associate-+r-_binary64_9901`

Counts

133 → 97

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	165	2855
1	419	2205
2	1465	2144
3	4810	2144
4	4957	2144

prune105.0ms (0.9%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	94	3	97
Fresh	6	5	11
Picked	1	0	1
Done	0	0	0
Total	101	8	109

Error

0.3b

Counts

109 → 8

Compiler

Compiled 1930 to 824 computations (57.3% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 z (-.f64 1 z))
1.1b	(-.f64 (.f64 y (-.f64 1 z)) (.f64 z t))
4.3b	(.f64 x (-.f64 (.f64 y (-.f64 1 z)) (*.f64 z t)))
17.2b	(/.f64 (.f64 x (-.f64 (.f64 y (-.f64 1 z)) (.f64 z t))) (.f64 z (-.f64 1 z)))

rewrite211.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

27×	`cancel-sign-sub-inv_binary64_9933`
26×	`distribute-rgt-in_binary64_9917` `distribute-lft-in_binary64_9916`
24×	`associate--l+_binary64_9904`
23×	`add-sqr-sqrt_binary64_9989`
20×	`add-exp-log_binary64_10005` `add-cbrt-cube_binary64_10003`
19×	`*-un-lft-identity_binary64_9967`
16×	`add-cube-cbrt_binary64_10002`
11×	`sub-neg_binary64_9960`
9×	`associate-r_binary64_9907`
8×	`pow1_binary64_10028` `associate-*r/_binary64_9909`
6×	`prod-exp_binary64_10016` `add-log-exp_binary64_10006` `cbrt-unprod_binary64_10000` `associate-l_binary64_9908`
5×	`flip3--_binary64_9971` `flip--_binary64_9942`
4×	`div-exp_binary64_10018` `cbrt-undiv_binary64_10001`
2×	`associate-/l/_binary64_9914` `associate-/r/_binary64_9913` `pow-prod-down_binary64_10038` `unswap-sqr_binary64_9935` `*-commutative_binary64_9898` `difference-of-squares_binary64_9936`
1×	`frac-2neg_binary64_9978` `times-frac_binary64_9973` `clear-num_binary64_9966` `div-inv_binary64_9964` `associate-/l_binary64_9912` `associate-/r_binary64_9911` `diff-log_binary64_10059` `distribute-lft-out--_binary64_9919`

Counts

4 → 116

Calls

4 calls:

18.0ms	(/.f64 (.f64 x (-.f64 (.f64 y (-.f64 1 z)) (.f64 z t))) (.f64 z (-.f64 1 z)))
13.0ms	(.f64 x (-.f64 (.f64 y (-.f64 1 z)) (*.f64 z t)))
8.0ms	(-.f64 (.f64 y (-.f64 1 z)) (.f64 z t))
8.0ms	(*.f64 z (-.f64 1 z))

Compiler

Compiled 3059 to 1610 computations (47.4% saved)

series1.3s (10.8%)

Error

0.0b

Counts

4 → 72

Calls

4 calls:

623.0ms	(/.f64 (.f64 x (-.f64 (.f64 y (-.f64 1 z)) (.f64 z t))) (.f64 z (-.f64 1 z)))
372.0ms	(.f64 x (-.f64 (.f64 y (-.f64 1 z)) (*.f64 z t)))
199.0ms	(-.f64 (.f64 y (-.f64 1 z)) (.f64 z t))
53.0ms	(*.f64 z (-.f64 1 z))

Compiler

Compiled 3053 to 1871 computations (38.7% saved)

simplify106.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

639×	`distribute-rgt-in_binary64_9917`
308×	`times-frac_binary64_9973`
271×	`associate-l_binary64_9908`
240×	`div-sub_binary64_9972`
234×	`associate-r_binary64_9907`
186×	`associate-/l*_binary64_9912`
170×	`cancel-sign-sub-inv_binary64_9933`
149×	`*-commutative_binary64_9898`
142×	`distribute-rgt-neg-in_binary64_9925`
136×	`associate-/r*_binary64_9911`
121×	`distribute-rgt-neg-out_binary64_9927`
111×	`distribute-lft-neg-in_binary64_9924`
110×	`distribute-lft-neg-out_binary64_9926`
101×	`sub-neg_binary64_9960`
99×	`distribute-rgt-out_binary64_9920`
63×	`neg-sub0_binary64_9962`
60×	`exp-prod_binary64_10019`
53×	`+-commutative_binary64_9897`
51×	`neg-mul-1_binary64_9963`
47×	`distribute-neg-in_binary64_9928` `distribute-lft-in_binary64_9916`
43×	`sqr-pow_binary64_9939`
41×	`cube-prod_binary64_9995`
40×	`*-lft-identity_binary64_9956`
39×	`distribute-lft-out_binary64_9918`
38×	`swap-sqr_binary64_9934`
37×	`unsub-neg_binary64_9961`
35×	`log-prod_binary64_10053`
33×	`unswap-sqr_binary64_9935`
29×	`associate-*l/_binary64_9910`
27×	`log-div_binary64_10054` `/-rgt-identity_binary64_9958`
25×	`*-rgt-identity_binary64_9957`
23×	`distribute-neg-frac_binary64_9931` `associate-*r/_binary64_9909`
22×	`associate-/r/_binary64_9913`
21×	`distribute-frac-neg_binary64_9930`
19×	`exp-sum_binary64_10013` `associate-+r+_binary64_9899`
16×	`associate--r+_binary64_9903` `associate-+l+_binary64_9900`
11×	`exp-diff_binary64_10015`
10×	`mul-1-neg_binary64_9959` `distribute-rgt-out--_binary64_9921`
8×	`cube-div_binary64_9996` `distribute-neg-out_binary64_9929`
7×	`cube-unmult_binary64_10004` `distribute-rgt1-in_binary64_9923`
6×	`unpow3_binary64_10033`
5×	`cube-mult_binary64_9997`
4×	`log-rec_binary64_10055` `remove-double-neg_binary64_9955` `pow-sqr_binary64_9940` `difference-of-squares_binary64_9936` `associate-/l/_binary64_9914` `associate--l+_binary64_9904` `associate-+r-_binary64_9901`
3×	`sqr-neg_binary64_9981` `distribute-lft1-in_binary64_9922`
2×	`cube-neg_binary64_9994` `+-rgt-identity_binary64_9952` `*-inverses_binary64_9947`
1×	`log-pow_binary64_10056` `unpow2_binary64_10032` `unpow1/2_binary64_10031` `unpow1_binary64_10025` `div-exp_binary64_10018` `exp-neg_binary64_10014` `1-exp_binary64_10011` `exp-1-e_binary64_10010` `rem-3cbrt-lft_binary64_9992` `rem-sqrt-square_binary64_9980` `rem-square-sqrt_binary64_9979` `difference-of-sqr--1_binary64_9938` `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` `pow-base-0_binary64_10051` `unpow1/3_binary64_10034` `pow-plus_binary64_10030` `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` `prod-exp_binary64_10016` `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-cbrt-cube_binary64_9991` `rem-cube-cbrt_binary64_9990` `sqr-abs_binary64_9982` `sub0-neg_binary64_9954` `--rgt-identity_binary64_9953` `+-lft-identity_binary64_9951` `mul0-rgt_binary64_9950` `mul0-lft_binary64_9949` `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_9937` `cancel-sign-sub_binary64_9932` `count-2_binary64_9915` `associate--r-_binary64_9906` `associate--l-_binary64_9905` `associate-+l-_binary64_9902`

Counts

188 → 164

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	249	3467
1	635	2925
2	2552	2737
3	5395	2737

prune153.0ms (1.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	162	2	164
Fresh	2	5	7
Picked	0	1	1
Done	0	0	0
Total	164	8	172

Error

0.0b

Counts

172 → 8

Compiler

Compiled 3083 to 1159 computations (62.4% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (/.f64 (.f64 x y) z) (/.f64 (.f64 x t) (-.f64 1 z)))
2.9b	(/.f64 (*.f64 x t) (-.f64 1 z))
6.1b	(/.f64 (*.f64 x y) z)

rewrite112.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

25×	`*-un-lft-identity_binary64_9967`
20×	`add-sqr-sqrt_binary64_9989`
19×	`times-frac_binary64_9973`
13×	`add-exp-log_binary64_10005` `add-cbrt-cube_binary64_10003`
12×	`cancel-sign-sub-inv_binary64_9933`
9×	`add-cube-cbrt_binary64_10002` `associate-/r*_binary64_9911`
7×	`difference-of-squares_binary64_9936` `distribute-lft-out--_binary64_9919`
5×	`add-log-exp_binary64_10006`
4×	`div-exp_binary64_10018` `cbrt-undiv_binary64_10001` `associate-/r/_binary64_9913`
3×	`pow1_binary64_10028` `div-inv_binary64_9964` `flip3--_binary64_9971` `flip--_binary64_9942`
2×	`prod-exp_binary64_10016` `cbrt-unprod_binary64_10000` `frac-2neg_binary64_9978` `clear-num_binary64_9966` `associate-/l*_binary64_9912`
1×	`diff-log_binary64_10059` `frac-sub_binary64_9976` `sub-neg_binary64_9960`

Counts

3 → 78

Calls

3 calls:

15.0ms	(-.f64 (/.f64 (.f64 x y) z) (/.f64 (.f64 x t) (-.f64 1 z)))
7.0ms	(/.f64 (*.f64 x t) (-.f64 1 z))
5.0ms	(/.f64 (*.f64 x y) z)

Compiler

Compiled 1610 to 700 computations (56.5% saved)

series834.0ms (6.9%)

Error

0.0b

Counts

3 → 53

Calls

3 calls:

445.0ms	(-.f64 (/.f64 (.f64 x y) z) (/.f64 (.f64 x t) (-.f64 1 z)))
212.0ms	(/.f64 (*.f64 x t) (-.f64 1 z))
138.0ms	(/.f64 (*.f64 x y) z)

Compiler

Compiled 1985 to 1186 computations (40.3% saved)

simplify105.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

505×	`associate-/l/_binary64_9914`
389×	`associate-/r*_binary64_9911`
291×	`associate-/r/_binary64_9913`
191×	`distribute-rgt-in_binary64_9917`
155×	`cancel-sign-sub-inv_binary64_9933`
148×	`distribute-lft-in_binary64_9916`
146×	`distribute-rgt-neg-in_binary64_9925`
139×	`associate-/l*_binary64_9912`
136×	`distribute-neg-frac_binary64_9931`
129×	`times-frac_binary64_9973`
125×	`distribute-lft-neg-in_binary64_9924`
101×	`associate-*l/_binary64_9910`
98×	`sub-neg_binary64_9960`
97×	`associate-l_binary64_9908`
86×	`exp-prod_binary64_10019`
85×	`*-commutative_binary64_9898`
78×	`neg-sub0_binary64_9962` `associate-*r/_binary64_9909`
77×	`associate-r_binary64_9907`
76×	`distribute-rgt-out_binary64_9920`
69×	`neg-mul-1_binary64_9963`
62×	`log-div_binary64_10054` `distribute-lft-neg-out_binary64_9926`
60×	`cube-div_binary64_9996` `div-sub_binary64_9972`
58×	`log-prod_binary64_10053`
54×	`distribute-neg-in_binary64_9928` `+-commutative_binary64_9897`
42×	`distribute-rgt-neg-out_binary64_9927`
35×	`unsub-neg_binary64_9961`
34×	`*-rgt-identity_binary64_9957`
29×	`sqr-pow_binary64_9939`
27×	`associate-+r+_binary64_9899`
24×	`exp-sum_binary64_10013`
23×	`unpow3_binary64_10033` `distribute-lft-out_binary64_9918`
22×	`associate-+l+_binary64_9900`
19×	`cube-prod_binary64_9995`
18×	`swap-sqr_binary64_9934`
17×	`cube-mult_binary64_9997`
14×	`*-lft-identity_binary64_9956`
13×	`exp-diff_binary64_10015`
12×	`associate--r+_binary64_9903`
10×	`/-rgt-identity_binary64_9958`
9×	`distribute-neg-out_binary64_9929`
8×	`cube-unmult_binary64_10004` `distribute-rgt-out--_binary64_9921`
7×	`div0_binary64_9948` `unswap-sqr_binary64_9935`
6×	`distribute-frac-neg_binary64_9930` `distribute-rgt1-in_binary64_9923`
5×	`log-rec_binary64_10055` `mul-1-neg_binary64_9959`
4×	`associate--l+_binary64_9904` `associate-+r-_binary64_9901`
3×	`log-pow_binary64_10056` `+-rgt-identity_binary64_9952` `difference-of-squares_binary64_9936`
2×	`exp-neg_binary64_10014` `rem-sqrt-square_binary64_9980` `distribute-lft-out--_binary64_9919`
1×	`unpow2_binary64_10032` `unpow1/2_binary64_10031` `pow-plus_binary64_10030` `unpow1_binary64_10025` `div-exp_binary64_10018` `1-exp_binary64_10011` `rem-3cbrt-lft_binary64_9992` `rem-square-sqrt_binary64_9979` `remove-double-neg_binary64_9955` `distribute-lft1-in_binary64_9922` `associate--r-_binary64_9906`
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` `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` `prod-exp_binary64_10016` `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-neg_binary64_9994` `rem-3cbrt-rft_binary64_9993` `rem-cbrt-cube_binary64_9991` `rem-cube-cbrt_binary64_9990` `sqr-abs_binary64_9982` `sqr-neg_binary64_9981` `sub0-neg_binary64_9954` `--rgt-identity_binary64_9953` `+-lft-identity_binary64_9951` `mul0-rgt_binary64_9950` `mul0-lft_binary64_9949` `*-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` `difference-of-sqr--1_binary64_9938` `difference-of-sqr-1_binary64_9937` `cancel-sign-sub_binary64_9932` `count-2_binary64_9915` `associate--l-_binary64_9905` `associate-+l-_binary64_9902`

Counts

131 → 86

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	193	2189
1	540	2106
2	1972	1983
3	4760	1970
4	4962	1970

prune66.0ms (0.5%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	86	0	86
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	86	8	94

Error

0.0b

Counts

94 → 8

Compiler

Compiled 1423 to 522 computations (63.3% saved)

regimes2.0s (16.3%)

Accuracy

Total 0.8b remaining (99.5%)

Threshold costs 0.8b (99.5%)

Compiler

Compiled 12551 to 9596 computations (23.5% saved)

bsearch6.0ms (0%)

Compiler: Compiled 11 to 10 computations (9.1% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

19×	`*-commutative_binary64_9898`
13×	`+-commutative_binary64_9897`
12×	`sub-neg_binary64_9960`
8×	`neg-mul-1_binary64_9963` `neg-sub0_binary64_9962`
5×	`distribute-rgt-neg-in_binary64_9925`
4×	`cancel-sign-sub-inv_binary64_9933` `distribute-lft-neg-in_binary64_9924`
2×	`distribute-neg-frac_binary64_9931` `distribute-lft-neg-out_binary64_9926`
1×	`1-exp_binary64_10011` `unsub-neg_binary64_9961` `distribute-rgt-neg-out_binary64_9927`
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` `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`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	42	190
1	70	188
2	94	188
3	114	188
4	123	188
5	125	188
6	124	188

end0.0ms (0%)

sample2.5s (20.9%)

Algorithm

1×

intervals

Results

303.0ms	8000×	body	128	valid
218.0ms	1793×	body	128	invalid

Compiler

Compiled 2161 to 1629 computations (24.6% saved)

Details

analyze958.0ms (7.9%)

sample31.0ms (0.3%)

simplify267.0ms (2.2%)

prune2.0ms (0%)

localize8.0ms (0.1%)

rewrite294.0ms (2.4%)

series890.0ms (7.4%)

simplify170.0ms (1.4%)

prune161.0ms (1.3%)

localize12.0ms (0.1%)

rewrite184.0ms (1.5%)

series1.5s (12.2%)

simplify112.0ms (0.9%)

prune105.0ms (0.9%)

localize11.0ms (0.1%)

rewrite211.0ms (1.7%)

series1.3s (10.8%)

simplify106.0ms (0.9%)

prune153.0ms (1.3%)

localize9.0ms (0.1%)

rewrite112.0ms (0.9%)

series834.0ms (6.9%)

simplify105.0ms (0.9%)

prune66.0ms (0.5%)

regimes2.0s (16.3%)

bsearch6.0ms (0%)

simplify9.0ms (0.1%)

end0.0ms (0%)

sample2.5s (20.9%)

Profiling