Details

analyze460.0ms (5.5%)

Algorithm

1×	search
2×	egg-herbie

Rules

100×	`associate-l_binary64_9908`
75×	`associate-r_binary64_9907`
58×	`distribute-rgt-in_binary64_9917` `distribute-lft-in_binary64_9916`
53×	`associate-/r*_binary64_9911`
32×	`*-commutative_binary64_9898`
12×	`associate-/l/_binary64_9914`
9×	`/-rgt-identity_binary64_9958`
8×	`*-lft-identity_binary64_9956`
6×	`*-rgt-identity_binary64_9957` `swap-sqr_binary64_9934`
3×	`+-commutative_binary64_9897`
1×	`1-exp_binary64_10011` `swap-x-y`
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` `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` `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` `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` `count-2_binary64_9915` `associate-/r/_binary64_9913` `associate-/l_binary64_9912` `associate-l/_binary64_9910` `associate-r/_binary64_9909` `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`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	64
1	69	64
2	114	64
3	237	64
4	277	64
5	274	64
6	263	64
0	3	3
1	3	3

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
25%	74.9%	0.1%	7
43.7%	56.2%	0.1%	8
62.4%	37.4%	0.1%	9
65.5%	34.3%	0.1%	10
71.8%	27.7%	0.5%	11
79.2%	19.7%	1.1%	12
80.2%	18.7%	1.1%	13
82.8%	15%	2.2%	14

Symmetry

(sort x y)

Compiler

Compiled 12 to 11 computations (8.3% saved)

sample26.0ms (0.3%)

Algorithm

1×

intervals

Results

9.0ms	256×	body	128	valid
0.0ms	11×	body	128	invalid

Compiler

Compiled 23 to 24 computations (-4.3% saved)

simplify11.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

37×	`associate-l_binary64_9908`
36×	`associate-r_binary64_9907`
20×	`*-commutative_binary64_9898`
19×	`distribute-rgt-in_binary64_9917` `distribute-lft-in_binary64_9916`
18×	`associate-/r*_binary64_9911`
6×	`*-lft-identity_binary64_9956`
4×	`*-rgt-identity_binary64_9957`
3×	`/-rgt-identity_binary64_9958` `associate-/l/_binary64_9914`
1×	`1-exp_binary64_10011` `+-commutative_binary64_9897`
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` `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` `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` `count-2_binary64_9915` `associate-/r/_binary64_9913` `associate-/l_binary64_9912` `associate-l/_binary64_9910` `associate-r/_binary64_9909` `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`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	16
1	24	16
2	38	16
3	87	16
4	108	16
5	118	16
6	111	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

5.1b

Counts

1 → 1

Compiler

Compiled 11 to 10 computations (9.1% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

2.5b	(/.f64 (/.f64 1 x) (.f64 y (+.f64 1 (.f64 z z))))
4.3b	(.f64 y (+.f64 1 (.f64 z z)))

rewrite124.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

3.7b

Rules

31×	`times-frac_binary64_9973`
26×	`add-exp-log_binary64_10005`
20×	`add-sqr-sqrt_binary64_9989`
18×	`add-cube-cbrt_binary64_10002` `*-un-lft-identity_binary64_9967`
16×	`add-cbrt-cube_binary64_10003`
13×	`associate-/l*_binary64_9912`
12×	`div-exp_binary64_10018`
6×	`cbrt-undiv_binary64_10001`
5×	`prod-exp_binary64_10016`
4×	`pow1_binary64_10028` `associate-*r/_binary64_9909`
3×	`cbrt-unprod_binary64_10000` `associate-l_binary64_9908` `associate-r_binary64_9907` `div-inv_binary64_9964`
2×	`add-log-exp_binary64_10006` `flip3-+_binary64_9970` `flip-+_binary64_9941` `1-exp_binary64_10011` `rec-exp_binary64_10017` `associate-/r/_binary64_9913`
1×	`pow-prod-down_binary64_10038` `unswap-sqr_binary64_9935` `distribute-rgt-in_binary64_9917` `distribute-lft-in_binary64_9916` `-commutative_binary64_9898` `frac-2neg_binary64_9978` `clear-num_binary64_9966` `associate-/l/_binary64_9914` `associate-/r_binary64_9911`

Counts

2 → 74

Calls

2 calls:

10.0ms	(/.f64 (/.f64 1 x) (.f64 y (+.f64 1 (.f64 z z))))
6.0ms	(.f64 y (+.f64 1 (.f64 z z)))

Compiler

Compiled 1418 to 830 computations (41.5% saved)

series484.0ms (5.8%)

Error

3.8b

Counts

2 → 27

Calls

2 calls:

327.0ms	(/.f64 (/.f64 1 x) (.f64 y (+.f64 1 (.f64 z z))))
127.0ms	(.f64 y (+.f64 1 (.f64 z z)))

Compiler

Compiled 962 to 756 computations (21.4% saved)

simplify110.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

600×	`associate-/r*_binary64_9911`
561×	`associate-/l*_binary64_9912`
429×	`associate-/l/_binary64_9914`
252×	`distribute-rgt-in_binary64_9917`
227×	`distribute-lft-in_binary64_9916`
224×	`sub-neg_binary64_9960`
206×	`associate-*l/_binary64_9910`
166×	`associate-/r/_binary64_9913`
146×	`associate-*r/_binary64_9909`
133×	`div-sub_binary64_9972`
112×	`associate-l_binary64_9908`
100×	`unswap-sqr_binary64_9935`
98×	`associate-r_binary64_9907`
96×	`*-lft-identity_binary64_9956`
80×	`*-rgt-identity_binary64_9957`
79×	`neg-mul-1_binary64_9963`
69×	`cancel-sign-sub-inv_binary64_9933`
67×	`log-div_binary64_10054` `neg-sub0_binary64_9962` `*-commutative_binary64_9898`
63×	`times-frac_binary64_9973`
60×	`cube-div_binary64_9996` `/-rgt-identity_binary64_9958`
56×	`sqr-pow_binary64_9939`
53×	`cube-prod_binary64_9995`
46×	`exp-prod_binary64_10019`
42×	`log-prod_binary64_10053`
36×	`associate-+l-_binary64_9902`
35×	`associate--l+_binary64_9904`
31×	`distribute-neg-frac_binary64_9931`
29×	`distribute-rgt-neg-in_binary64_9925`
27×	`associate-+r-_binary64_9901`
26×	`distribute-lft-neg-in_binary64_9924`
25×	`unsub-neg_binary64_9961` `+-commutative_binary64_9897`
24×	`associate--r+_binary64_9903`
17×	`remove-double-div_binary64_9943`
16×	`sub0-neg_binary64_9954`
15×	`log-rec_binary64_10055`
14×	`unpow3_binary64_10033`
13×	`+-rgt-identity_binary64_9952` `distribute-neg-in_binary64_9928`
11×	`cube-mult_binary64_9997`
9×	`exp-sum_binary64_10013` `cube-unmult_binary64_10004` `associate--l-_binary64_9905`
7×	`pow-plus_binary64_10030`
6×	`swap-sqr_binary64_9934` `distribute-rgt-out--_binary64_9921`
5×	`unpow1/2_binary64_10031` `pow-sqr_binary64_9940` `associate-+r+_binary64_9899`
4×	`distribute-lft-neg-out_binary64_9926` `associate-+l+_binary64_9900`
3×	`rem-sqrt-square_binary64_9980` `difference-of-sqr-1_binary64_9937`
2×	`unpow2_binary64_10032` `+-lft-identity_binary64_9951` `div0_binary64_9948` `distribute-rgt-neg-out_binary64_9927`
1×	`unpow1_binary64_10025` `exp-diff_binary64_10015` `1-exp_binary64_10011` `exp-1-e_binary64_10010` `remove-double-neg_binary64_9955` `--rgt-identity_binary64_9953` `distribute-rgt1-in_binary64_9923` `distribute-lft1-in_binary64_9922` `distribute-rgt-out_binary64_9920` `count-2_binary64_9915` `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-pow_binary64_10056` `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` `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` `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-square-sqrt_binary64_9979` `mul-1-neg_binary64_9959` `mul0-rgt_binary64_9950` `mul0-lft_binary64_9949` `*-inverses_binary64_9947` `+-inverses_binary64_9946` `lft-mult-inverse_binary64_9945` `rgt-mult-inverse_binary64_9944` `difference-of-sqr--1_binary64_9938` `difference-of-squares_binary64_9936` `cancel-sign-sub_binary64_9932` `distribute-frac-neg_binary64_9930` `distribute-neg-out_binary64_9929` `distribute-lft-out--_binary64_9919` `distribute-lft-out_binary64_9918`

Counts

101 → 95

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	175	2054
1	416	1808
2	1394	1800
3	4406	1800
4	4646	1800
5	4981	1800

prune113.0ms (1.4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	86	9	95
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	87	9	96

Error

3.7b

Counts

96 → 9

Compiler

Compiled 1679 to 973 computations (42% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.5b	(/.f64 1 (.f64 y (+.f64 (.f64 z z) 1)))
2.4b	(.f64 (/.f64 1 x) (/.f64 1 (.f64 y (+.f64 (*.f64 z z) 1))))
4.3b	(.f64 y (+.f64 (.f64 z z) 1))

rewrite372.0ms (4.5%)

Algorithm

1×	rewrite-expression-head

Error

3.7b

Rules

99×	`add-exp-log_binary64_10005`
44×	`prod-exp_binary64_10016`
34×	`div-exp_binary64_10018`
31×	`add-cbrt-cube_binary64_10003`
25×	`add-sqr-sqrt_binary64_9989`
17×	`*-un-lft-identity_binary64_9967` `1-exp_binary64_10011` `rec-exp_binary64_10017` `times-frac_binary64_9973`
16×	`add-cube-cbrt_binary64_10002` `associate-l_binary64_9908`
15×	`pow1_binary64_10028`
12×	`associate-r_binary64_9907`
10×	`cbrt-unprod_binary64_10000`
9×	`cbrt-undiv_binary64_10001`
7×	`pow-prod-down_binary64_10038` `associate-*r/_binary64_9909`
6×	`pow-flip_binary64_10041`
4×	`unswap-sqr_binary64_9935` `associate-/r/_binary64_9913`
3×	`add-log-exp_binary64_10006` `flip3-+_binary64_9970` `flip-+_binary64_9941` `inv-pow_binary64_10052` `div-inv_binary64_9964` `associate-/l*_binary64_9912`
2×	`*-commutative_binary64_9898`
1×	`distribute-rgt-in_binary64_9917` `distribute-lft-in_binary64_9916` `frac-times_binary64_9977` `un-div-inv_binary64_9965` `associate-l/_binary64_9910` `frac-2neg_binary64_9978` `clear-num_binary64_9966` `associate-/r_binary64_9911`

Counts

3 → 127

Calls

3 calls:

19.0ms	(.f64 (/.f64 1 x) (/.f64 1 (.f64 y (+.f64 (*.f64 z z) 1))))
7.0ms	(/.f64 1 (.f64 y (+.f64 (.f64 z z) 1)))
7.0ms	(.f64 y (+.f64 (.f64 z z) 1))

Compiler

Compiled 2595 to 1633 computations (37.1% saved)

series626.0ms (7.5%)

Error

3.7b

Counts

3 → 42

Calls

3 calls:

306.0ms	(.f64 (/.f64 1 x) (/.f64 1 (.f64 y (+.f64 (*.f64 z z) 1))))
161.0ms	(/.f64 1 (.f64 y (+.f64 (.f64 z z) 1)))
118.0ms	(.f64 y (+.f64 (.f64 z z) 1))

Compiler

Compiled 1623 to 1308 computations (19.4% saved)

simplify170.0ms (2%)

Algorithm

1×	egg-herbie

Rules

627×	`associate-/l*_binary64_9912`
483×	`associate-*l/_binary64_9910`
346×	`associate-/l/_binary64_9914`
235×	`distribute-rgt-in_binary64_9917`
203×	`distribute-lft-in_binary64_9916`
189×	`sub-neg_binary64_9960`
169×	`cancel-sign-sub-inv_binary64_9933`
160×	`sqr-pow_binary64_9939`
159×	`associate-/r/_binary64_9913`
153×	`associate-l_binary64_9908`
147×	`associate-/r*_binary64_9911`
144×	`associate-r_binary64_9907`
115×	`unswap-sqr_binary64_9935`
112×	`times-frac_binary64_9973`
110×	`*-commutative_binary64_9898`
105×	`*-rgt-identity_binary64_9957`
103×	`*-lft-identity_binary64_9956`
80×	`associate-*r/_binary64_9909`
75×	`div-sub_binary64_9972`
71×	`log-div_binary64_10054` `cube-div_binary64_9996`
65×	`neg-mul-1_binary64_9963`
61×	`neg-sub0_binary64_9962`
57×	`/-rgt-identity_binary64_9958`
55×	`distribute-neg-frac_binary64_9931`
54×	`exp-prod_binary64_10019`
53×	`log-prod_binary64_10053`
51×	`cube-prod_binary64_9995`
45×	`unsub-neg_binary64_9961`
42×	`distribute-rgt-neg-in_binary64_9925`
40×	`distribute-lft-neg-in_binary64_9924` `+-commutative_binary64_9897`
36×	`pow-sqr_binary64_9940` `swap-sqr_binary64_9934`
27×	`associate--r+_binary64_9903`
26×	`distribute-neg-in_binary64_9928` `associate--l+_binary64_9904`
21×	`associate-+r-_binary64_9901`
20×	`associate-+l-_binary64_9902`
19×	`unpow3_binary64_10033`
18×	`remove-double-div_binary64_9943` `distribute-rgt-out--_binary64_9921`
15×	`log-rec_binary64_10055` `cube-mult_binary64_9997`
13×	`unpow1/2_binary64_10031`
10×	`cube-unmult_binary64_10004` `distribute-rgt-out_binary64_9920` `associate-+r+_binary64_9899`
9×	`div0_binary64_9948`
8×	`exp-sum_binary64_10013` `rem-sqrt-square_binary64_9980` `associate-+l+_binary64_9900`
7×	`pow-plus_binary64_10030`
5×	`difference-of-squares_binary64_9936`
4×	`sub0-neg_binary64_9954` `difference-of-sqr-1_binary64_9937` `distribute-neg-out_binary64_9929` `associate--r-_binary64_9906`
3×	`distribute-lft-out_binary64_9918`
2×	`unpow2_binary64_10032` `remove-double-neg_binary64_9955` `+-rgt-identity_binary64_9952` `+-lft-identity_binary64_9951` `difference-of-sqr--1_binary64_9938` `distribute-rgt1-in_binary64_9923`
1×	`unpow1_binary64_10025` `1-exp_binary64_10011` `exp-1-e_binary64_10010` `--rgt-identity_binary64_9953` `distribute-rgt-neg-out_binary64_9927` `distribute-lft-neg-out_binary64_9926` `distribute-lft1-in_binary64_9922` `count-2_binary64_9915` `associate--l-_binary64_9905`
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` `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` `div-exp_binary64_10018` `rec-exp_binary64_10017` `prod-exp_binary64_10016` `exp-diff_binary64_10015` `exp-neg_binary64_10014` `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-3cbrt-lft_binary64_9992` `rem-cbrt-cube_binary64_9991` `rem-cube-cbrt_binary64_9990` `sqr-abs_binary64_9982` `sqr-neg_binary64_9981` `rem-square-sqrt_binary64_9979` `mul-1-neg_binary64_9959` `mul0-rgt_binary64_9950` `mul0-lft_binary64_9949` `*-inverses_binary64_9947` `+-inverses_binary64_9946` `lft-mult-inverse_binary64_9945` `rgt-mult-inverse_binary64_9944` `cancel-sign-sub_binary64_9932` `distribute-frac-neg_binary64_9930` `distribute-lft-out--_binary64_9919`

Counts

169 → 139

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	222	3257
1	509	2847
2	1736	2809
3	4322	2809
4	4631	2809
5	4997	2809
6	4930	2809

prune130.0ms (1.6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	137	2	139
Fresh	2	6	8
Picked	0	1	1
Done	0	0	0
Total	139	9	148

Error

3.7b

Counts

148 → 9

Compiler

Compiled 2338 to 1432 computations (38.8% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.5b	(/.f64 1 (.f64 y (+.f64 (.f64 z z) 1)))
2.3b	(/.f64 (/.f64 1 (.f64 y (+.f64 (.f64 z z) 1))) x)
4.3b	(.f64 y (+.f64 (.f64 z z) 1))

rewrite154.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

3.7b

Rules

42×	`times-frac_binary64_9973`
35×	`add-exp-log_binary64_10005`
27×	`add-sqr-sqrt_binary64_9989`
25×	`add-cube-cbrt_binary64_10002` `*-un-lft-identity_binary64_9967`
19×	`add-cbrt-cube_binary64_10003`
15×	`div-exp_binary64_10018`
12×	`associate-r/_binary64_9909` `associate-/l_binary64_9912`
10×	`associate-/r/_binary64_9913`
8×	`pow1_binary64_10028`
7×	`prod-exp_binary64_10016` `cbrt-undiv_binary64_10001`
6×	`flip3-+_binary64_9970` `flip-+_binary64_9941` `div-inv_binary64_9964`
4×	`1-exp_binary64_10011` `rec-exp_binary64_10017` `associate-/r*_binary64_9911`
3×	`add-log-exp_binary64_10006` `cbrt-unprod_binary64_10000` `associate-l_binary64_9908` `associate-r_binary64_9907`
2×	`pow-prod-down_binary64_10038` `frac-2neg_binary64_9978` `clear-num_binary64_9966` `pow-flip_binary64_10041`
1×	`unswap-sqr_binary64_9935` `distribute-rgt-in_binary64_9917` `distribute-lft-in_binary64_9916` `*-commutative_binary64_9898` `associate-/l/_binary64_9914` `inv-pow_binary64_10052`

Counts

3 → 112

Calls

3 calls:

13.0ms	(/.f64 (/.f64 1 (.f64 y (+.f64 (.f64 z z) 1))) x)
7.0ms	(/.f64 1 (.f64 y (+.f64 (.f64 z z) 1)))
7.0ms	(.f64 y (+.f64 (.f64 z z) 1))

Compiler

Compiled 2238 to 1284 computations (42.6% saved)

series616.0ms (7.4%)

Error

3.7b

Counts

3 → 42

Calls

3 calls:

295.0ms	(/.f64 (/.f64 1 (.f64 y (+.f64 (.f64 z z) 1))) x)
164.0ms	(/.f64 1 (.f64 y (+.f64 (.f64 z z) 1)))
121.0ms	(.f64 y (+.f64 (.f64 z z) 1))

Compiler

Compiled 1509 to 1194 computations (20.9% saved)

simplify153.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

750×	`times-frac_binary64_9973`
534×	`associate-/l*_binary64_9912`
369×	`distribute-rgt-in_binary64_9917`
338×	`distribute-lft-in_binary64_9916`
215×	`sub-neg_binary64_9960`
165×	`associate-/r/_binary64_9913`
157×	`cancel-sign-sub-inv_binary64_9933`
148×	`associate-/r*_binary64_9911`
125×	`sqr-pow_binary64_9939` `associate-r_binary64_9907`
121×	`unswap-sqr_binary64_9935`
108×	`associate-l_binary64_9908`
90×	`associate-/l/_binary64_9914`
84×	`div-sub_binary64_9972`
82×	`*-commutative_binary64_9898`
80×	`/-rgt-identity_binary64_9958`
77×	`neg-sub0_binary64_9962`
72×	`neg-mul-1_binary64_9963`
65×	`distribute-neg-frac_binary64_9931`
62×	`cube-div_binary64_9996`
60×	`log-div_binary64_10054`
56×	`*-lft-identity_binary64_9956`
50×	`*-rgt-identity_binary64_9957`
47×	`cube-prod_binary64_9995`
45×	`exp-prod_binary64_10019`
44×	`+-commutative_binary64_9897`
43×	`distribute-rgt-neg-in_binary64_9925`
41×	`log-prod_binary64_10053`
39×	`unsub-neg_binary64_9961`
38×	`distribute-lft-neg-in_binary64_9924`
36×	`associate-*l/_binary64_9910`
34×	`remove-double-div_binary64_9943` `associate-*r/_binary64_9909`
27×	`associate--l+_binary64_9904`
22×	`pow-sqr_binary64_9940` `associate--r+_binary64_9903`
19×	`distribute-rgt-out--_binary64_9921`
17×	`distribute-neg-in_binary64_9928`
15×	`unpow3_binary64_10033` `div0_binary64_9948`
14×	`distribute-rgt-out_binary64_9920`
13×	`log-rec_binary64_10055`
12×	`cube-mult_binary64_9997`
11×	`associate-+l+_binary64_9900`
10×	`swap-sqr_binary64_9934`
9×	`cube-unmult_binary64_10004`
7×	`unpow1/2_binary64_10031` `pow-plus_binary64_10030` `mul-1-neg_binary64_9959`
6×	`difference-of-squares_binary64_9936` `associate-+r-_binary64_9901`
5×	`distribute-rgt1-in_binary64_9923` `associate--l-_binary64_9905` `associate-+l-_binary64_9902`
4×	`exp-sum_binary64_10013`
3×	`rem-sqrt-square_binary64_9980` `sub0-neg_binary64_9954` `difference-of-sqr--1_binary64_9938` `difference-of-sqr-1_binary64_9937` `associate-+r+_binary64_9899`
2×	`unpow2_binary64_10032` `remove-double-neg_binary64_9955` `+-lft-identity_binary64_9951`
1×	`unpow1_binary64_10025` `1-exp_binary64_10011` `exp-1-e_binary64_10010` `+-rgt-identity_binary64_9952` `distribute-neg-out_binary64_9929` `distribute-rgt-neg-out_binary64_9927` `distribute-lft-neg-out_binary64_9926` `distribute-lft1-in_binary64_9922` `distribute-lft-out_binary64_9918` `count-2_binary64_9915`
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` `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` `div-exp_binary64_10018` `rec-exp_binary64_10017` `prod-exp_binary64_10016` `exp-diff_binary64_10015` `exp-neg_binary64_10014` `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-3cbrt-lft_binary64_9992` `rem-cbrt-cube_binary64_9991` `rem-cube-cbrt_binary64_9990` `sqr-abs_binary64_9982` `sqr-neg_binary64_9981` `rem-square-sqrt_binary64_9979` `--rgt-identity_binary64_9953` `mul0-rgt_binary64_9950` `mul0-lft_binary64_9949` `*-inverses_binary64_9947` `+-inverses_binary64_9946` `lft-mult-inverse_binary64_9945` `rgt-mult-inverse_binary64_9944` `cancel-sign-sub_binary64_9932` `distribute-frac-neg_binary64_9930` `distribute-lft-out--_binary64_9919` `associate--r-_binary64_9906`

Counts

154 → 108

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	223	3232
1	528	2951
2	1714	2937
3	4373	2937
4	4721	2937
5	4934	2937

prune99.0ms (1.2%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	108	0	108
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	108	9	117

Error

3.7b

Counts

117 → 9

Compiler

Compiled 1814 to 899 computations (50.4% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.5b	(/.f64 1 (.f64 (.f64 y (+.f64 (*.f64 z z) 1)) x))
2.2b	(.f64 (.f64 y (+.f64 (*.f64 z z) 1)) x)
4.3b	(.f64 y (+.f64 (.f64 z z) 1))

rewrite104.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

3.7b

Rules

31×	`add-exp-log_binary64_10005`
19×	`add-cbrt-cube_binary64_10003`
16×	`pow1_binary64_10028`
13×	`prod-exp_binary64_10016`
10×	`add-sqr-sqrt_binary64_9989`
8×	`add-cube-cbrt_binary64_10002` `*-un-lft-identity_binary64_9967`
7×	`pow-prod-down_binary64_10038` `cbrt-unprod_binary64_10000`
6×	`associate-r/_binary64_9909` `associate-r*_binary64_9907` `div-exp_binary64_10018`
4×	`associate-l_binary64_9908` `associate-*l/_binary64_9910`
3×	`add-log-exp_binary64_10006` `flip3-+_binary64_9970` `flip-+_binary64_9941` `pow-flip_binary64_10041` `1-exp_binary64_10011` `rec-exp_binary64_10017` `cbrt-undiv_binary64_10001` `times-frac_binary64_9973` `associate-/l*_binary64_9912`
2×	`*-commutative_binary64_9898` `associate-/r/_binary64_9913`
1×	`unswap-sqr_binary64_9935` `distribute-rgt-in_binary64_9917` `distribute-lft-in_binary64_9916` `inv-pow_binary64_10052` `frac-2neg_binary64_9978` `clear-num_binary64_9966` `div-inv_binary64_9964` `associate-/r*_binary64_9911`

Counts

3 → 77

Calls

3 calls:

10.0ms	(/.f64 1 (.f64 (.f64 y (+.f64 (*.f64 z z) 1)) x))
9.0ms	(.f64 (.f64 y (+.f64 (*.f64 z z) 1)) x)
7.0ms	(.f64 y (+.f64 (.f64 z z) 1))

Compiler

Compiled 1420 to 811 computations (42.9% saved)

series699.0ms (8.4%)

Error

3.7b

Counts

3 → 39

Calls

3 calls:

325.0ms	(/.f64 1 (.f64 (.f64 y (+.f64 (*.f64 z z) 1)) x))
234.0ms	(.f64 (.f64 y (+.f64 (*.f64 z z) 1)) x)
108.0ms	(.f64 y (+.f64 (.f64 z z) 1))

Compiler

Compiled 1323 to 1055 computations (20.3% saved)

simplify142.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

734×	`times-frac_binary64_9973`
511×	`distribute-rgt-in_binary64_9917`
478×	`distribute-lft-in_binary64_9916`
361×	`associate-/l*_binary64_9912`
215×	`associate-/l/_binary64_9914`
184×	`associate-l_binary64_9908`
151×	`associate-r_binary64_9907`
133×	`sub-neg_binary64_9960`
110×	`exp-prod_binary64_10019` `associate-/r*_binary64_9911`
95×	`*-lft-identity_binary64_9956` `sqr-pow_binary64_9939`
87×	`cancel-sign-sub-inv_binary64_9933`
86×	`*-commutative_binary64_9898`
77×	`*-rgt-identity_binary64_9957`
75×	`log-div_binary64_10054`
70×	`cube-div_binary64_9996`
62×	`neg-mul-1_binary64_9963` `associate-/r/_binary64_9913`
61×	`div-sub_binary64_9972` `neg-sub0_binary64_9962`
60×	`cube-prod_binary64_9995`
55×	`log-prod_binary64_10053`
53×	`pow-sqr_binary64_9940`
48×	`distribute-rgt-neg-in_binary64_9925`
46×	`/-rgt-identity_binary64_9958`
45×	`distribute-lft-neg-in_binary64_9924`
44×	`rem-sqrt-square_binary64_9980`
37×	`distribute-neg-frac_binary64_9931`
29×	`unsub-neg_binary64_9961`
28×	`distribute-neg-in_binary64_9928` `+-commutative_binary64_9897`
21×	`swap-sqr_binary64_9934` `associate--r+_binary64_9903`
18×	`unpow3_binary64_10033` `unswap-sqr_binary64_9935` `associate-*l/_binary64_9910`
17×	`exp-sum_binary64_10013`
16×	`cube-mult_binary64_9997` `associate-*r/_binary64_9909`
12×	`log-rec_binary64_10055` `div0_binary64_9948` `associate--l+_binary64_9904`
9×	`unpow1/2_binary64_10031`
8×	`cube-unmult_binary64_10004`
7×	`pow-plus_binary64_10030`
6×	`remove-double-div_binary64_9943` `distribute-rgt-out--_binary64_9921` `associate-+l+_binary64_9900`
5×	`associate-+r-_binary64_9901` `associate-+r+_binary64_9899`
3×	`difference-of-sqr-1_binary64_9937`
2×	`unpow2_binary64_10032` `remove-double-neg_binary64_9955` `+-lft-identity_binary64_9951` `distribute-rgt-neg-out_binary64_9927` `distribute-lft-out_binary64_9918`
1×	`unpow1_binary64_10025` `1-exp_binary64_10011` `exp-1-e_binary64_10010` `+-rgt-identity_binary64_9952` `distribute-rgt1-in_binary64_9923` `distribute-lft1-in_binary64_9922` `distribute-rgt-out_binary64_9920` `count-2_binary64_9915`
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` `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` `div-exp_binary64_10018` `rec-exp_binary64_10017` `prod-exp_binary64_10016` `exp-diff_binary64_10015` `exp-neg_binary64_10014` `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-3cbrt-lft_binary64_9992` `rem-cbrt-cube_binary64_9991` `rem-cube-cbrt_binary64_9990` `sqr-abs_binary64_9982` `sqr-neg_binary64_9981` `rem-square-sqrt_binary64_9979` `mul-1-neg_binary64_9959` `sub0-neg_binary64_9954` `--rgt-identity_binary64_9953` `mul0-rgt_binary64_9950` `mul0-lft_binary64_9949` `*-inverses_binary64_9947` `+-inverses_binary64_9946` `lft-mult-inverse_binary64_9945` `rgt-mult-inverse_binary64_9944` `difference-of-sqr--1_binary64_9938` `difference-of-squares_binary64_9936` `cancel-sign-sub_binary64_9932` `distribute-frac-neg_binary64_9930` `distribute-neg-out_binary64_9929` `distribute-lft-neg-out_binary64_9926` `distribute-lft-out--_binary64_9919` `associate--r-_binary64_9906` `associate--l-_binary64_9905` `associate-+l-_binary64_9902`

Counts

116 → 92

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	154	2064
1	366	1809
2	1456	1803
3	4573	1801
4	4774	1801
5	4978	1801
6	4951	1801

prune67.0ms (0.8%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	92	0	92
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	92	9	101

Error

3.7b

Counts

101 → 9

Compiler

Compiled 1346 to 501 computations (62.8% saved)

regimes1.4s (17.2%)

Accuracy

Total 0.5b remaining (9.3%)

Threshold costs 0.5b (9.3%)

Compiler

Compiled 13230 to 10990 computations (16.9% saved)

bsearch30.0ms (0.4%)

Steps

Iters	Range		Point
8	2.725826259303324e+127	1.5591393575774733e+132	8.07827379454449e+129

Compiler

Compiled 1 to 3 computations (-200% saved)

simplify11.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64_9898`
1×	`1-exp_binary64_10011` `*-lft-identity_binary64_9956` `+-commutative_binary64_9897`
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` `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` `remove-double-neg_binary64_9955` `sub0-neg_binary64_9954` `--rgt-identity_binary64_9953` `+-rgt-identity_binary64_9952` `+-lft-identity_binary64_9951` `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`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	41
1	26	41
2	24	41

Compiler

Compiled 56 to 42 computations (25% saved)

end0.0ms (0%)

sample2.2s (25.9%)

Algorithm

1×

intervals

Results

307.0ms	8000×	body	128	valid
15.0ms	420×	body	128	invalid

Compiler

Compiled 1498 to 1238 computations (17.4% saved)

Details

analyze460.0ms (5.5%)

sample26.0ms (0.3%)

simplify11.0ms (0.1%)

prune2.0ms (0%)

localize7.0ms (0.1%)

rewrite124.0ms (1.5%)

series484.0ms (5.8%)

simplify110.0ms (1.3%)

prune113.0ms (1.4%)

localize8.0ms (0.1%)

rewrite372.0ms (4.5%)

series626.0ms (7.5%)

simplify170.0ms (2%)

prune130.0ms (1.6%)

localize8.0ms (0.1%)

rewrite154.0ms (1.9%)

series616.0ms (7.4%)

simplify153.0ms (1.8%)

prune99.0ms (1.2%)

localize7.0ms (0.1%)

rewrite104.0ms (1.2%)

series699.0ms (8.4%)

simplify142.0ms (1.7%)

prune67.0ms (0.8%)

regimes1.4s (17.2%)

bsearch30.0ms (0.4%)

simplify11.0ms (0.1%)

end0.0ms (0%)

sample2.2s (25.9%)

Profiling