Details

analyze185.0ms (3.5%)

Algorithm

1×	search
2×	egg-herbie

Rules

6×	`*-commutative_binary64_22174`
4×	`associate-/r/_binary64_22189` `associate-/l*_binary64_22188`
1×	`+-commutative_binary64_22173`
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_22506` `erf-erfc_binary64_22505` `erf-odd_binary64_22504` `if-if-and-not_binary64_22503` `if-if-and_binary64_22502` `if-if-or-not_binary64_22501` `if-if-or_binary64_22500` `if-not_binary64_22499` `if-same_binary64_22498` `if-false_binary64_22497` `if-true_binary64_22496` `not-gte_binary64_22495` `not-lte_binary64_22494` `not-gt_binary64_22493` `not-lt_binary64_22492` `gte-same_binary64_22491` `lte-same_binary64_22490` `gt-same_binary64_22489` `lt-same_binary64_22488` `sinh---cosh_binary64_22435` `sinh-+-cosh_binary64_22434` `sinh-cosh_binary64_22433` `tanh-def-c_binary64_22432` `tanh-def-b_binary64_22431` `tanh-def-a_binary64_22430` `cosh-def_binary64_22429` `sinh-def_binary64_22428` `tan-neg_binary64_22375` `cos-neg_binary64_22374` `sin-neg_binary64_22373` `tan-0_binary64_22372` `cos-0_binary64_22371` `sin-0_binary64_22370` `hang-m-tan_binary64_22369` `hang-p-tan_binary64_22368` `hang-m0-tan_binary64_22367` `hang-p0-tan_binary64_22366` `hang-0m-tan_binary64_22365` `hang-0p-tan_binary64_22364` `tan-+PI/2_binary64_22363` `tan-+PI_binary64_22362` `tan-PI_binary64_22361` `tan-PI/3_binary64_22360` `tan-PI/4_binary64_22359` `tan-PI/6_binary64_22358` `cos-+PI/2_binary64_22357` `cos-+PI_binary64_22356` `cos-PI_binary64_22355` `cos-PI/2_binary64_22354` `cos-PI/3_binary64_22353` `cos-PI/4_binary64_22352` `cos-PI/6_binary64_22351` `sin-+PI/2_binary64_22350` `sin-+PI_binary64_22349` `sin-PI_binary64_22348` `sin-PI/2_binary64_22347` `sin-PI/3_binary64_22346` `sin-PI/4_binary64_22345` `sin-PI/6_binary64_22344` `sub-1-sin_binary64_22343` `sub-1-cos_binary64_22342` `-1-add-sin_binary64_22341` `-1-add-cos_binary64_22340` `1-sub-sin_binary64_22339` `1-sub-cos_binary64_22338` `cos-sin-sum_binary64_22337` `log-E_binary64_22333` `log-pow_binary64_22332` `log-rec_binary64_22331` `log-div_binary64_22330` `log-prod_binary64_22329` `pow-base-0_binary64_22327` `unpow1/3_binary64_22310` `unpow3_binary64_22309` `unpow2_binary64_22308` `unpow1/2_binary64_22307` `pow-plus_binary64_22306` `exp-to-pow_binary64_22305` `pow-base-1_binary64_22303` `unpow0_binary64_22302` `unpow1_binary64_22301` `unpow-1_binary64_22300` `exp-lft-cube_binary64_22299` `exp-lft-sqr_binary64_22298` `exp-cbrt_binary64_22297` `exp-sqrt_binary64_22296` `exp-prod_binary64_22295` `div-exp_binary64_22294` `rec-exp_binary64_22293` `prod-exp_binary64_22292` `exp-diff_binary64_22291` `exp-neg_binary64_22290` `exp-sum_binary64_22289` `e-exp-1_binary64_22288` `1-exp_binary64_22287` `exp-1-e_binary64_22286` `exp-0_binary64_22285` `rem-log-exp_binary64_22284` `rem-exp-log_binary64_22283` `cube-unmult_binary64_22280` `cube-mult_binary64_22273` `cube-div_binary64_22272` `cube-prod_binary64_22271` `cube-neg_binary64_22270` `rem-3cbrt-rft_binary64_22269` `rem-3cbrt-lft_binary64_22268` `rem-cbrt-cube_binary64_22267` `rem-cube-cbrt_binary64_22266` `sqr-abs_binary64_22258` `sqr-neg_binary64_22257` `rem-sqrt-square_binary64_22256` `rem-square-sqrt_binary64_22255` `times-frac_binary64_22249` `div-sub_binary64_22248` `neg-mul-1_binary64_22239` `neg-sub0_binary64_22238` `unsub-neg_binary64_22237` `sub-neg_binary64_22236` `mul-1-neg_binary64_22235` `/-rgt-identity_binary64_22234` `-rgt-identity_binary64_22233` `-lft-identity_binary64_22232` `remove-double-neg_binary64_22231` `sub0-neg_binary64_22230` `--rgt-identity_binary64_22229` `+-rgt-identity_binary64_22228` `+-lft-identity_binary64_22227` `mul0-rgt_binary64_22226` `mul0-lft_binary64_22225` `div0_binary64_22224` `-inverses_binary64_22223` `+-inverses_binary64_22222` `lft-mult-inverse_binary64_22221` `rgt-mult-inverse_binary64_22220` `remove-double-div_binary64_22219` `pow-sqr_binary64_22216` `sqr-pow_binary64_22215` `difference-of-sqr--1_binary64_22214` `difference-of-sqr-1_binary64_22213` `difference-of-squares_binary64_22212` `unswap-sqr_binary64_22211` `swap-sqr_binary64_22210` `cancel-sign-sub-inv_binary64_22209` `cancel-sign-sub_binary64_22208` `distribute-neg-frac_binary64_22207` `distribute-frac-neg_binary64_22206` `distribute-neg-out_binary64_22205` `distribute-neg-in_binary64_22204` `distribute-rgt-neg-out_binary64_22203` `distribute-lft-neg-out_binary64_22202` `distribute-rgt-neg-in_binary64_22201` `distribute-lft-neg-in_binary64_22200` `distribute-rgt1-in_binary64_22199` `distribute-lft1-in_binary64_22198` `distribute-rgt-out--_binary64_22197` `distribute-rgt-out_binary64_22196` `distribute-lft-out--_binary64_22195` `distribute-lft-out_binary64_22194` `distribute-rgt-in_binary64_22193` `distribute-lft-in_binary64_22192` `count-2_binary64_22191` `associate-/l/_binary64_22190` `associate-/r_binary64_22187` `associate-l/_binary64_22186` `associate-r/_binary64_22185` `associate-l_binary64_22184` `associate-r_binary64_22183` `associate--r-_binary64_22182` `associate--l-_binary64_22181` `associate--l+_binary64_22180` `associate--r+_binary64_22179` `associate-+l-_binary64_22178` `associate-+r-_binary64_22177` `associate-+l+_binary64_22176` `associate-+r+_binary64_22175`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	20
1	15	20
2	23	20
3	28	20
4	30	20
5	30	20
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
18.7%	81.2%	0.1%	5
65.6%	34.3%	0.1%	6
76.5%	23.4%	0.1%	7
82%	18%	0.1%	8
87.8%	12.1%	0.1%	9
90.7%	9.2%	0.1%	10
93.8%	6.1%	0.1%	11
95.3%	4.6%	0.1%	12
96.8%	3.1%	0.1%	13
97.6%	2.3%	0.1%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample14.0ms (0.3%)

Algorithm

1×

intervals

Results

6.0ms

256×

body

128

valid

Compiler

Compiled 15 to 15 computations (0% saved)

simplify9.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64_22174`
2×	`associate-/r/_binary64_22189` `associate-/l*_binary64_22188`
1×	`+-commutative_binary64_22173`
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_22506` `erf-erfc_binary64_22505` `erf-odd_binary64_22504` `if-if-and-not_binary64_22503` `if-if-and_binary64_22502` `if-if-or-not_binary64_22501` `if-if-or_binary64_22500` `if-not_binary64_22499` `if-same_binary64_22498` `if-false_binary64_22497` `if-true_binary64_22496` `not-gte_binary64_22495` `not-lte_binary64_22494` `not-gt_binary64_22493` `not-lt_binary64_22492` `gte-same_binary64_22491` `lte-same_binary64_22490` `gt-same_binary64_22489` `lt-same_binary64_22488` `sinh---cosh_binary64_22435` `sinh-+-cosh_binary64_22434` `sinh-cosh_binary64_22433` `tanh-def-c_binary64_22432` `tanh-def-b_binary64_22431` `tanh-def-a_binary64_22430` `cosh-def_binary64_22429` `sinh-def_binary64_22428` `tan-neg_binary64_22375` `cos-neg_binary64_22374` `sin-neg_binary64_22373` `tan-0_binary64_22372` `cos-0_binary64_22371` `sin-0_binary64_22370` `hang-m-tan_binary64_22369` `hang-p-tan_binary64_22368` `hang-m0-tan_binary64_22367` `hang-p0-tan_binary64_22366` `hang-0m-tan_binary64_22365` `hang-0p-tan_binary64_22364` `tan-+PI/2_binary64_22363` `tan-+PI_binary64_22362` `tan-PI_binary64_22361` `tan-PI/3_binary64_22360` `tan-PI/4_binary64_22359` `tan-PI/6_binary64_22358` `cos-+PI/2_binary64_22357` `cos-+PI_binary64_22356` `cos-PI_binary64_22355` `cos-PI/2_binary64_22354` `cos-PI/3_binary64_22353` `cos-PI/4_binary64_22352` `cos-PI/6_binary64_22351` `sin-+PI/2_binary64_22350` `sin-+PI_binary64_22349` `sin-PI_binary64_22348` `sin-PI/2_binary64_22347` `sin-PI/3_binary64_22346` `sin-PI/4_binary64_22345` `sin-PI/6_binary64_22344` `sub-1-sin_binary64_22343` `sub-1-cos_binary64_22342` `-1-add-sin_binary64_22341` `-1-add-cos_binary64_22340` `1-sub-sin_binary64_22339` `1-sub-cos_binary64_22338` `cos-sin-sum_binary64_22337` `log-E_binary64_22333` `log-pow_binary64_22332` `log-rec_binary64_22331` `log-div_binary64_22330` `log-prod_binary64_22329` `pow-base-0_binary64_22327` `unpow1/3_binary64_22310` `unpow3_binary64_22309` `unpow2_binary64_22308` `unpow1/2_binary64_22307` `pow-plus_binary64_22306` `exp-to-pow_binary64_22305` `pow-base-1_binary64_22303` `unpow0_binary64_22302` `unpow1_binary64_22301` `unpow-1_binary64_22300` `exp-lft-cube_binary64_22299` `exp-lft-sqr_binary64_22298` `exp-cbrt_binary64_22297` `exp-sqrt_binary64_22296` `exp-prod_binary64_22295` `div-exp_binary64_22294` `rec-exp_binary64_22293` `prod-exp_binary64_22292` `exp-diff_binary64_22291` `exp-neg_binary64_22290` `exp-sum_binary64_22289` `e-exp-1_binary64_22288` `1-exp_binary64_22287` `exp-1-e_binary64_22286` `exp-0_binary64_22285` `rem-log-exp_binary64_22284` `rem-exp-log_binary64_22283` `cube-unmult_binary64_22280` `cube-mult_binary64_22273` `cube-div_binary64_22272` `cube-prod_binary64_22271` `cube-neg_binary64_22270` `rem-3cbrt-rft_binary64_22269` `rem-3cbrt-lft_binary64_22268` `rem-cbrt-cube_binary64_22267` `rem-cube-cbrt_binary64_22266` `sqr-abs_binary64_22258` `sqr-neg_binary64_22257` `rem-sqrt-square_binary64_22256` `rem-square-sqrt_binary64_22255` `times-frac_binary64_22249` `div-sub_binary64_22248` `neg-mul-1_binary64_22239` `neg-sub0_binary64_22238` `unsub-neg_binary64_22237` `sub-neg_binary64_22236` `mul-1-neg_binary64_22235` `/-rgt-identity_binary64_22234` `-rgt-identity_binary64_22233` `-lft-identity_binary64_22232` `remove-double-neg_binary64_22231` `sub0-neg_binary64_22230` `--rgt-identity_binary64_22229` `+-rgt-identity_binary64_22228` `+-lft-identity_binary64_22227` `mul0-rgt_binary64_22226` `mul0-lft_binary64_22225` `div0_binary64_22224` `-inverses_binary64_22223` `+-inverses_binary64_22222` `lft-mult-inverse_binary64_22221` `rgt-mult-inverse_binary64_22220` `remove-double-div_binary64_22219` `pow-sqr_binary64_22216` `sqr-pow_binary64_22215` `difference-of-sqr--1_binary64_22214` `difference-of-sqr-1_binary64_22213` `difference-of-squares_binary64_22212` `unswap-sqr_binary64_22211` `swap-sqr_binary64_22210` `cancel-sign-sub-inv_binary64_22209` `cancel-sign-sub_binary64_22208` `distribute-neg-frac_binary64_22207` `distribute-frac-neg_binary64_22206` `distribute-neg-out_binary64_22205` `distribute-neg-in_binary64_22204` `distribute-rgt-neg-out_binary64_22203` `distribute-lft-neg-out_binary64_22202` `distribute-rgt-neg-in_binary64_22201` `distribute-lft-neg-in_binary64_22200` `distribute-rgt1-in_binary64_22199` `distribute-lft1-in_binary64_22198` `distribute-rgt-out--_binary64_22197` `distribute-rgt-out_binary64_22196` `distribute-lft-out--_binary64_22195` `distribute-lft-out_binary64_22194` `distribute-rgt-in_binary64_22193` `distribute-lft-in_binary64_22192` `count-2_binary64_22191` `associate-/l/_binary64_22190` `associate-/r_binary64_22187` `associate-l/_binary64_22186` `associate-r/_binary64_22185` `associate-l_binary64_22184` `associate-r_binary64_22183` `associate--r-_binary64_22182` `associate--l-_binary64_22181` `associate--l+_binary64_22180` `associate--r+_binary64_22179` `associate-+l-_binary64_22178` `associate-+r-_binary64_22177` `associate-+l+_binary64_22176` `associate-+r+_binary64_22175`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	11	10
2	15	10
3	18	10
4	19	10
5	19	10

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

0.4b

Counts

1 → 1

Compiler

Compiled 7 to 6 computations (14.3% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.4b	(/.f64 (*.f64 x 100) (+.f64 x y))

rewrite37.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

7×	`*-un-lft-identity_binary64_22243`
6×	`add-exp-log_binary64_22281` `add-cbrt-cube_binary64_22279`
4×	`times-frac_binary64_22249` `associate-/r*_binary64_22187`
3×	`add-cube-cbrt_binary64_22278` `add-sqr-sqrt_binary64_22265`
2×	`div-exp_binary64_22294` `cbrt-undiv_binary64_22277` `distribute-lft-out_binary64_22194` `associate-/r/_binary64_22189`
1×	`pow1_binary64_22304` `prod-exp_binary64_22292` `add-log-exp_binary64_22282` `cbrt-unprod_binary64_22276` `frac-2neg_binary64_22254` `clear-num_binary64_22242` `div-inv_binary64_22240` `flip3-+_binary64_22246` `flip-+_binary64_22217` `associate-/l*_binary64_22188`

Counts

1 → 25

Calls

1 calls:

6.0ms

(/.f64 (*.f64 x 100) (+.f64 x y))

Compiler

Compiled 342 to 168 computations (50.9% saved)

series150.0ms (2.8%)

Error

0.0b

Counts

1 → 24

Calls

1 calls:

125.0ms

(/.f64 (*.f64 x 100) (+.f64 x y))

Compiler

Compiled 792 to 631 computations (20.3% saved)

simplify59.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

774×	`cancel-sign-sub-inv_binary64_22209`
473×	`associate-/l*_binary64_22188`
448×	`times-frac_binary64_22249`
210×	`associate-/r*_binary64_22187`
192×	`associate-*l/_binary64_22186`
190×	`associate-l_binary64_22184`
182×	`associate-/l/_binary64_22190`
147×	`sub-neg_binary64_22236` `unswap-sqr_binary64_22211`
146×	`associate-*r/_binary64_22185`
142×	`associate-r_binary64_22183`
119×	`associate-/r/_binary64_22189`
92×	`*-commutative_binary64_22174`
56×	`neg-mul-1_binary64_22239` `neg-sub0_binary64_22238`
53×	`distribute-rgt-in_binary64_22193`
47×	`distribute-lft-in_binary64_22192`
41×	`distribute-rgt-neg-in_binary64_22201`
40×	`+-commutative_binary64_22173`
38×	`distribute-lft-neg-in_binary64_22200`
34×	`sqr-pow_binary64_22215`
33×	`distribute-neg-frac_binary64_22207`
32×	`*-rgt-identity_binary64_22233`
31×	`associate--l+_binary64_22180`
30×	`associate-+l+_binary64_22176`
29×	`div-sub_binary64_22248`
28×	`associate-+l-_binary64_22178` `associate-+r+_binary64_22175`
26×	`cube-div_binary64_22272` `cube-prod_binary64_22271`
25×	`log-div_binary64_22330` `unsub-neg_binary64_22237`
21×	`associate-+r-_binary64_22177`
18×	`log-prod_binary64_22329` `swap-sqr_binary64_22210`
17×	`associate--r+_binary64_22179`
14×	`+-rgt-identity_binary64_22228`
12×	`sub0-neg_binary64_22230` `distribute-rgt-out--_binary64_22197`
11×	`distribute-lft-out_binary64_22194`
10×	`distribute-neg-in_binary64_22204` `distribute-rgt-out_binary64_22196`
9×	`unpow3_binary64_22309` `cube-unmult_binary64_22280` `difference-of-squares_binary64_22212`
8×	`associate--l-_binary64_22181`
7×	`distribute-lft-out--_binary64_22195`
6×	`pow-plus_binary64_22306` `/-rgt-identity_binary64_22234` `*-lft-identity_binary64_22232`
5×	`exp-prod_binary64_22295` `cube-mult_binary64_22273` `distribute-rgt1-in_binary64_22199`
3×	`distribute-lft-neg-out_binary64_22202`
2×	`log-pow_binary64_22332` `unpow2_binary64_22308` `unpow1/2_binary64_22307` `unpow1_binary64_22301` `rem-sqrt-square_binary64_22256` `pow-sqr_binary64_22216`
1×	`log-rec_binary64_22331` `1-exp_binary64_22287`
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_22506` `erf-erfc_binary64_22505` `erf-odd_binary64_22504` `if-if-and-not_binary64_22503` `if-if-and_binary64_22502` `if-if-or-not_binary64_22501` `if-if-or_binary64_22500` `if-not_binary64_22499` `if-same_binary64_22498` `if-false_binary64_22497` `if-true_binary64_22496` `not-gte_binary64_22495` `not-lte_binary64_22494` `not-gt_binary64_22493` `not-lt_binary64_22492` `gte-same_binary64_22491` `lte-same_binary64_22490` `gt-same_binary64_22489` `lt-same_binary64_22488` `sinh---cosh_binary64_22435` `sinh-+-cosh_binary64_22434` `sinh-cosh_binary64_22433` `tanh-def-c_binary64_22432` `tanh-def-b_binary64_22431` `tanh-def-a_binary64_22430` `cosh-def_binary64_22429` `sinh-def_binary64_22428` `tan-neg_binary64_22375` `cos-neg_binary64_22374` `sin-neg_binary64_22373` `tan-0_binary64_22372` `cos-0_binary64_22371` `sin-0_binary64_22370` `hang-m-tan_binary64_22369` `hang-p-tan_binary64_22368` `hang-m0-tan_binary64_22367` `hang-p0-tan_binary64_22366` `hang-0m-tan_binary64_22365` `hang-0p-tan_binary64_22364` `tan-+PI/2_binary64_22363` `tan-+PI_binary64_22362` `tan-PI_binary64_22361` `tan-PI/3_binary64_22360` `tan-PI/4_binary64_22359` `tan-PI/6_binary64_22358` `cos-+PI/2_binary64_22357` `cos-+PI_binary64_22356` `cos-PI_binary64_22355` `cos-PI/2_binary64_22354` `cos-PI/3_binary64_22353` `cos-PI/4_binary64_22352` `cos-PI/6_binary64_22351` `sin-+PI/2_binary64_22350` `sin-+PI_binary64_22349` `sin-PI_binary64_22348` `sin-PI/2_binary64_22347` `sin-PI/3_binary64_22346` `sin-PI/4_binary64_22345` `sin-PI/6_binary64_22344` `sub-1-sin_binary64_22343` `sub-1-cos_binary64_22342` `-1-add-sin_binary64_22341` `-1-add-cos_binary64_22340` `1-sub-sin_binary64_22339` `1-sub-cos_binary64_22338` `cos-sin-sum_binary64_22337` `log-E_binary64_22333` `pow-base-0_binary64_22327` `unpow1/3_binary64_22310` `exp-to-pow_binary64_22305` `pow-base-1_binary64_22303` `unpow0_binary64_22302` `unpow-1_binary64_22300` `exp-lft-cube_binary64_22299` `exp-lft-sqr_binary64_22298` `exp-cbrt_binary64_22297` `exp-sqrt_binary64_22296` `div-exp_binary64_22294` `rec-exp_binary64_22293` `prod-exp_binary64_22292` `exp-diff_binary64_22291` `exp-neg_binary64_22290` `exp-sum_binary64_22289` `e-exp-1_binary64_22288` `exp-1-e_binary64_22286` `exp-0_binary64_22285` `rem-log-exp_binary64_22284` `rem-exp-log_binary64_22283` `cube-neg_binary64_22270` `rem-3cbrt-rft_binary64_22269` `rem-3cbrt-lft_binary64_22268` `rem-cbrt-cube_binary64_22267` `rem-cube-cbrt_binary64_22266` `sqr-abs_binary64_22258` `sqr-neg_binary64_22257` `rem-square-sqrt_binary64_22255` `mul-1-neg_binary64_22235` `remove-double-neg_binary64_22231` `--rgt-identity_binary64_22229` `+-lft-identity_binary64_22227` `mul0-rgt_binary64_22226` `mul0-lft_binary64_22225` `div0_binary64_22224` `*-inverses_binary64_22223` `+-inverses_binary64_22222` `lft-mult-inverse_binary64_22221` `rgt-mult-inverse_binary64_22220` `remove-double-div_binary64_22219` `difference-of-sqr--1_binary64_22214` `difference-of-sqr-1_binary64_22213` `cancel-sign-sub_binary64_22208` `distribute-frac-neg_binary64_22206` `distribute-neg-out_binary64_22205` `distribute-rgt-neg-out_binary64_22203` `distribute-lft1-in_binary64_22198` `count-2_binary64_22191` `associate--r-_binary64_22182`

Counts

49 → 34

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	90	915
1	253	834
2	844	789
3	3584	780
4	5051	780

prune37.0ms (0.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	29	5	34
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	29	6	35

Error

Counts

35 → 6

Compiler

Compiled 577 to 261 computations (54.8% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 100 (+.f64 x y))
0.2b	(*.f64 x (/.f64 100 (+.f64 x y)))

rewrite77.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

34×	`*-un-lft-identity_binary64_22243`
25×	`add-sqr-sqrt_binary64_22265` `times-frac_binary64_22249`
20×	`add-cube-cbrt_binary64_22278`
18×	`associate-r_binary64_22183`
9×	`add-exp-log_binary64_22281` `add-cbrt-cube_binary64_22279`
7×	`distribute-lft-out_binary64_22194`
4×	`pow1_binary64_22304` `associate-/r/_binary64_22189` `associate-/r*_binary64_22187`
3×	`associate-l_binary64_22184` `associate-/l*_binary64_22188`
2×	`div-exp_binary64_22294` `prod-exp_binary64_22292` `add-log-exp_binary64_22282` `cbrt-unprod_binary64_22276` `cbrt-undiv_binary64_22277` `unswap-sqr_binary64_22211` `div-inv_binary64_22240` `flip3-+_binary64_22246` `flip-+_binary64_22217`
1×	`pow-prod-down_binary64_22314` `associate-r/_binary64_22185` `-commutative_binary64_22174` `frac-2neg_binary64_22254` `clear-num_binary64_22242`

Counts

2 → 70

Calls

2 calls:

10.0ms	(*.f64 x (/.f64 100 (+.f64 x y)))
5.0ms	(/.f64 100 (+.f64 x y))

Compiler

Compiled 1031 to 532 computations (48.4% saved)

series301.0ms (5.6%)

Error

Counts

2 → 48

Calls

2 calls:

134.0ms	(*.f64 x (/.f64 100 (+.f64 x y)))
114.0ms	(/.f64 100 (+.f64 x y))

Compiler

Compiled 1752 to 1399 computations (20.1% saved)

simplify124.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

515×	`times-frac_binary64_22249`
425×	`associate-/l*_binary64_22188`
355×	`associate-l_binary64_22184`
344×	`sub-neg_binary64_22236`
279×	`associate-r/_binary64_22185` `associate-r*_binary64_22183`
260×	`associate-/r*_binary64_22187`
246×	`associate-*l/_binary64_22186`
164×	`cancel-sign-sub-inv_binary64_22209`
128×	`neg-mul-1_binary64_22239`
125×	`div-sub_binary64_22248`
107×	`neg-sub0_binary64_22238`
75×	`*-commutative_binary64_22174`
74×	`associate-/r/_binary64_22189`
68×	`distribute-rgt-neg-in_binary64_22201`
67×	`distribute-rgt-in_binary64_22193`
62×	`associate--l+_binary64_22180`
61×	`distribute-lft-neg-in_binary64_22200`
60×	`unsub-neg_binary64_22237`
57×	`distribute-neg-frac_binary64_22207` `distribute-lft-in_binary64_22192`
49×	`associate-/l/_binary64_22190`
47×	`*-lft-identity_binary64_22232`
46×	`*-rgt-identity_binary64_22233` `associate-+l+_binary64_22176`
45×	`cube-prod_binary64_22271` `sqr-pow_binary64_22215`
43×	`associate-+l-_binary64_22178`
42×	`cube-div_binary64_22272` `+-commutative_binary64_22173`
39×	`associate--r+_binary64_22179`
36×	`associate-+r-_binary64_22177`
34×	`/-rgt-identity_binary64_22234`
33×	`log-prod_binary64_22329`
28×	`distribute-lft-out--_binary64_22195` `distribute-lft-out_binary64_22194`
27×	`log-div_binary64_22330` `unswap-sqr_binary64_22211`
25×	`unpow3_binary64_22309`
24×	`exp-prod_binary64_22295` `+-rgt-identity_binary64_22228`
21×	`cube-mult_binary64_22273` `sub0-neg_binary64_22230` `difference-of-squares_binary64_22212` `distribute-rgt-out--_binary64_22197` `distribute-rgt-out_binary64_22196`
18×	`distribute-neg-in_binary64_22204`
10×	`pow-plus_binary64_22306`
9×	`cube-unmult_binary64_22280`
7×	`distribute-rgt1-in_binary64_22199`
6×	`pow-sqr_binary64_22216` `swap-sqr_binary64_22210`
5×	`rem-sqrt-square_binary64_22256` `distribute-lft-neg-out_binary64_22202`
4×	`log-rec_binary64_22331` `unpow1/2_binary64_22307`
3×	`log-pow_binary64_22332`
2×	`unpow2_binary64_22308` `unpow1_binary64_22301` `remove-double-div_binary64_22219`
1×	`exp-sum_binary64_22289` `1-exp_binary64_22287` `exp-1-e_binary64_22286`
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_22506` `erf-erfc_binary64_22505` `erf-odd_binary64_22504` `if-if-and-not_binary64_22503` `if-if-and_binary64_22502` `if-if-or-not_binary64_22501` `if-if-or_binary64_22500` `if-not_binary64_22499` `if-same_binary64_22498` `if-false_binary64_22497` `if-true_binary64_22496` `not-gte_binary64_22495` `not-lte_binary64_22494` `not-gt_binary64_22493` `not-lt_binary64_22492` `gte-same_binary64_22491` `lte-same_binary64_22490` `gt-same_binary64_22489` `lt-same_binary64_22488` `sinh---cosh_binary64_22435` `sinh-+-cosh_binary64_22434` `sinh-cosh_binary64_22433` `tanh-def-c_binary64_22432` `tanh-def-b_binary64_22431` `tanh-def-a_binary64_22430` `cosh-def_binary64_22429` `sinh-def_binary64_22428` `tan-neg_binary64_22375` `cos-neg_binary64_22374` `sin-neg_binary64_22373` `tan-0_binary64_22372` `cos-0_binary64_22371` `sin-0_binary64_22370` `hang-m-tan_binary64_22369` `hang-p-tan_binary64_22368` `hang-m0-tan_binary64_22367` `hang-p0-tan_binary64_22366` `hang-0m-tan_binary64_22365` `hang-0p-tan_binary64_22364` `tan-+PI/2_binary64_22363` `tan-+PI_binary64_22362` `tan-PI_binary64_22361` `tan-PI/3_binary64_22360` `tan-PI/4_binary64_22359` `tan-PI/6_binary64_22358` `cos-+PI/2_binary64_22357` `cos-+PI_binary64_22356` `cos-PI_binary64_22355` `cos-PI/2_binary64_22354` `cos-PI/3_binary64_22353` `cos-PI/4_binary64_22352` `cos-PI/6_binary64_22351` `sin-+PI/2_binary64_22350` `sin-+PI_binary64_22349` `sin-PI_binary64_22348` `sin-PI/2_binary64_22347` `sin-PI/3_binary64_22346` `sin-PI/4_binary64_22345` `sin-PI/6_binary64_22344` `sub-1-sin_binary64_22343` `sub-1-cos_binary64_22342` `-1-add-sin_binary64_22341` `-1-add-cos_binary64_22340` `1-sub-sin_binary64_22339` `1-sub-cos_binary64_22338` `cos-sin-sum_binary64_22337` `log-E_binary64_22333` `pow-base-0_binary64_22327` `unpow1/3_binary64_22310` `exp-to-pow_binary64_22305` `pow-base-1_binary64_22303` `unpow0_binary64_22302` `unpow-1_binary64_22300` `exp-lft-cube_binary64_22299` `exp-lft-sqr_binary64_22298` `exp-cbrt_binary64_22297` `exp-sqrt_binary64_22296` `div-exp_binary64_22294` `rec-exp_binary64_22293` `prod-exp_binary64_22292` `exp-diff_binary64_22291` `exp-neg_binary64_22290` `e-exp-1_binary64_22288` `exp-0_binary64_22285` `rem-log-exp_binary64_22284` `rem-exp-log_binary64_22283` `cube-neg_binary64_22270` `rem-3cbrt-rft_binary64_22269` `rem-3cbrt-lft_binary64_22268` `rem-cbrt-cube_binary64_22267` `rem-cube-cbrt_binary64_22266` `sqr-abs_binary64_22258` `sqr-neg_binary64_22257` `rem-square-sqrt_binary64_22255` `mul-1-neg_binary64_22235` `remove-double-neg_binary64_22231` `--rgt-identity_binary64_22229` `+-lft-identity_binary64_22227` `mul0-rgt_binary64_22226` `mul0-lft_binary64_22225` `div0_binary64_22224` `*-inverses_binary64_22223` `+-inverses_binary64_22222` `lft-mult-inverse_binary64_22221` `rgt-mult-inverse_binary64_22220` `difference-of-sqr--1_binary64_22214` `difference-of-sqr-1_binary64_22213` `cancel-sign-sub_binary64_22208` `distribute-frac-neg_binary64_22206` `distribute-neg-out_binary64_22205` `distribute-rgt-neg-out_binary64_22203` `distribute-lft1-in_binary64_22198` `count-2_binary64_22191` `associate--r-_binary64_22182` `associate--l-_binary64_22181` `associate-+r+_binary64_22175`

Counts

118 → 69

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	157	2063
1	400	1916
2	1265	1862
3	4373	1853
4	4638	1853
5	5016	1853

prune66.0ms (1.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	68	1	69
Fresh	2	2	4
Picked	0	1	1
Done	0	1	1
Total	70	5	75

Error

Counts

75 → 5

Compiler

Compiled 1105 to 534 computations (51.7% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.0b	(.f64 (cbrt.f64 (/.f64 (.f64 100 x) (+.f64 x y))) (cbrt.f64 (/.f64 (*.f64 100 x) (+.f64 x y))))
7.8b	(cbrt.f64 (/.f64 (*.f64 100 x) (+.f64 x y)))
7.8b	(cbrt.f64 (/.f64 (*.f64 100 x) (+.f64 x y)))
7.8b	(cbrt.f64 (/.f64 (*.f64 100 x) (+.f64 x y)))

rewrite259.0ms (4.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

78×	`cbrt-prod_binary64_22274`
42×	`*-un-lft-identity_binary64_22243`
32×	`times-frac_binary64_22249`
30×	`add-sqr-sqrt_binary64_22265`
22×	`add-cube-cbrt_binary64_22278`
15×	`swap-sqr_binary64_22210`
14×	`associate-/r/_binary64_22189`
13×	`associate-l_binary64_22184` `associate-r_binary64_22183`
11×	`pow1_binary64_22304`
9×	`pow1/3_binary64_22325` `distribute-lft-out_binary64_22194`
7×	`cbrt-div_binary64_22275` `div-inv_binary64_22240` `flip3-+_binary64_22246` `flip-+_binary64_22217`
6×	`add-exp-log_binary64_22281`
4×	`add-log-exp_binary64_22282` `add-cbrt-cube_binary64_22279` `unswap-sqr_binary64_22211`
2×	`pow-prod-down_binary64_22314` `pow-prod-up_binary64_22313` `pow-sqr_binary64_22216`
1×	`pow2_binary64_22324` `pow-plus_binary64_22306` `prod-exp_binary64_22292` `cbrt-unprod_binary64_22276` `frac-times_binary64_22253` `associate-l/_binary64_22186` `associate-r/_binary64_22185` `*-commutative_binary64_22174`

Counts

4 → 123

Calls

4 calls:

17.0ms	(.f64 (cbrt.f64 (/.f64 (.f64 100 x) (+.f64 x y))) (cbrt.f64 (/.f64 (*.f64 100 x) (+.f64 x y))))
5.0ms	(cbrt.f64 (/.f64 (*.f64 100 x) (+.f64 x y)))
5.0ms	(cbrt.f64 (/.f64 (*.f64 100 x) (+.f64 x y)))
5.0ms	(cbrt.f64 (/.f64 (*.f64 100 x) (+.f64 x y)))

Compiler

Compiled 4311 to 2303 computations (46.6% saved)

series1.3s (24.7%)

Error

Counts

4 → 72

Calls

4 calls:

392.0ms	(.f64 (cbrt.f64 (/.f64 (.f64 100 x) (+.f64 x y))) (cbrt.f64 (/.f64 (*.f64 100 x) (+.f64 x y))))
252.0ms	(cbrt.f64 (/.f64 (*.f64 100 x) (+.f64 x y)))
250.0ms	(cbrt.f64 (/.f64 (*.f64 100 x) (+.f64 x y)))
240.0ms	(cbrt.f64 (/.f64 (*.f64 100 x) (+.f64 x y)))

Compiler

Compiled 7107 to 5537 computations (22.1% saved)

simplify156.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

731×	`associate-/r*_binary64_22187`
316×	`associate-/r/_binary64_22189`
202×	`cancel-sign-sub-inv_binary64_22209`
199×	`associate-r_binary64_22183`
147×	`associate-l_binary64_22184`
143×	`distribute-neg-frac_binary64_22207`
142×	`distribute-rgt-neg-in_binary64_22201`
134×	`distribute-lft-neg-in_binary64_22200`
130×	`*-commutative_binary64_22174`
124×	`times-frac_binary64_22249`
120×	`unswap-sqr_binary64_22211`
109×	`associate-/l*_binary64_22188`
105×	`sub-neg_binary64_22236`
63×	`associate-/l/_binary64_22190`
58×	`associate-*r/_binary64_22185`
56×	`+-commutative_binary64_22173`
51×	`exp-prod_binary64_22295`
50×	`neg-sub0_binary64_22238`
49×	`neg-mul-1_binary64_22239`
46×	`distribute-rgt-in_binary64_22193`
44×	`associate-*l/_binary64_22186`
43×	`sqr-pow_binary64_22215`
36×	`associate--l+_binary64_22180`
29×	`unsub-neg_binary64_22237`
28×	`distribute-lft-in_binary64_22192`
25×	`exp-sum_binary64_22289`
24×	`associate--r+_binary64_22179`
20×	`log-prod_binary64_22329`
19×	`*-rgt-identity_binary64_22233`
18×	`*-lft-identity_binary64_22232`
16×	`distribute-lft-neg-out_binary64_22202`
13×	`distribute-neg-in_binary64_22204`
12×	`distribute-rgt-out_binary64_22196`
11×	`associate-+l+_binary64_22176`
10×	`div-sub_binary64_22248`
9×	`exp-to-pow_binary64_22305` `cube-prod_binary64_22271`
8×	`exp-diff_binary64_22291` `pow-sqr_binary64_22216` `distribute-rgt-neg-out_binary64_22203`
7×	`swap-sqr_binary64_22210`
5×	`log-pow_binary64_22332` `unpow1/3_binary64_22310` `cube-unmult_binary64_22280`
4×	`log-div_binary64_22330` `unpow2_binary64_22308` `unpow1/2_binary64_22307` `unpow1_binary64_22301` `exp-neg_binary64_22290` `associate-+l-_binary64_22178` `associate-+r-_binary64_22177`
3×	`pow-plus_binary64_22306` `exp-lft-sqr_binary64_22298` `rem-sqrt-square_binary64_22256` `difference-of-squares_binary64_22212`
2×	`log-rec_binary64_22331` `unpow3_binary64_22309` `cube-mult_binary64_22273` `rem-3cbrt-lft_binary64_22268` `distribute-rgt-out--_binary64_22197` `count-2_binary64_22191`
1×	`1-exp_binary64_22287` `exp-1-e_binary64_22286` `rem-3cbrt-rft_binary64_22269` `rem-square-sqrt_binary64_22255` `mul-1-neg_binary64_22235` `distribute-lft-out--_binary64_22195` `associate-+r+_binary64_22175`
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_22506` `erf-erfc_binary64_22505` `erf-odd_binary64_22504` `if-if-and-not_binary64_22503` `if-if-and_binary64_22502` `if-if-or-not_binary64_22501` `if-if-or_binary64_22500` `if-not_binary64_22499` `if-same_binary64_22498` `if-false_binary64_22497` `if-true_binary64_22496` `not-gte_binary64_22495` `not-lte_binary64_22494` `not-gt_binary64_22493` `not-lt_binary64_22492` `gte-same_binary64_22491` `lte-same_binary64_22490` `gt-same_binary64_22489` `lt-same_binary64_22488` `sinh---cosh_binary64_22435` `sinh-+-cosh_binary64_22434` `sinh-cosh_binary64_22433` `tanh-def-c_binary64_22432` `tanh-def-b_binary64_22431` `tanh-def-a_binary64_22430` `cosh-def_binary64_22429` `sinh-def_binary64_22428` `tan-neg_binary64_22375` `cos-neg_binary64_22374` `sin-neg_binary64_22373` `tan-0_binary64_22372` `cos-0_binary64_22371` `sin-0_binary64_22370` `hang-m-tan_binary64_22369` `hang-p-tan_binary64_22368` `hang-m0-tan_binary64_22367` `hang-p0-tan_binary64_22366` `hang-0m-tan_binary64_22365` `hang-0p-tan_binary64_22364` `tan-+PI/2_binary64_22363` `tan-+PI_binary64_22362` `tan-PI_binary64_22361` `tan-PI/3_binary64_22360` `tan-PI/4_binary64_22359` `tan-PI/6_binary64_22358` `cos-+PI/2_binary64_22357` `cos-+PI_binary64_22356` `cos-PI_binary64_22355` `cos-PI/2_binary64_22354` `cos-PI/3_binary64_22353` `cos-PI/4_binary64_22352` `cos-PI/6_binary64_22351` `sin-+PI/2_binary64_22350` `sin-+PI_binary64_22349` `sin-PI_binary64_22348` `sin-PI/2_binary64_22347` `sin-PI/3_binary64_22346` `sin-PI/4_binary64_22345` `sin-PI/6_binary64_22344` `sub-1-sin_binary64_22343` `sub-1-cos_binary64_22342` `-1-add-sin_binary64_22341` `-1-add-cos_binary64_22340` `1-sub-sin_binary64_22339` `1-sub-cos_binary64_22338` `cos-sin-sum_binary64_22337` `log-E_binary64_22333` `pow-base-0_binary64_22327` `pow-base-1_binary64_22303` `unpow0_binary64_22302` `unpow-1_binary64_22300` `exp-lft-cube_binary64_22299` `exp-cbrt_binary64_22297` `exp-sqrt_binary64_22296` `div-exp_binary64_22294` `rec-exp_binary64_22293` `prod-exp_binary64_22292` `e-exp-1_binary64_22288` `exp-0_binary64_22285` `rem-log-exp_binary64_22284` `rem-exp-log_binary64_22283` `cube-div_binary64_22272` `cube-neg_binary64_22270` `rem-cbrt-cube_binary64_22267` `rem-cube-cbrt_binary64_22266` `sqr-abs_binary64_22258` `sqr-neg_binary64_22257` `/-rgt-identity_binary64_22234` `remove-double-neg_binary64_22231` `sub0-neg_binary64_22230` `--rgt-identity_binary64_22229` `+-rgt-identity_binary64_22228` `+-lft-identity_binary64_22227` `mul0-rgt_binary64_22226` `mul0-lft_binary64_22225` `div0_binary64_22224` `*-inverses_binary64_22223` `+-inverses_binary64_22222` `lft-mult-inverse_binary64_22221` `rgt-mult-inverse_binary64_22220` `remove-double-div_binary64_22219` `difference-of-sqr--1_binary64_22214` `difference-of-sqr-1_binary64_22213` `cancel-sign-sub_binary64_22208` `distribute-frac-neg_binary64_22206` `distribute-neg-out_binary64_22205` `distribute-rgt1-in_binary64_22199` `distribute-lft1-in_binary64_22198` `distribute-lft-out_binary64_22194` `associate--r-_binary64_22182` `associate--l-_binary64_22181`

Counts

195 → 118

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	255	6349
1	641	6104
2	2122	5676
3	4978	5676

prune249.0ms (4.7%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	118	0	118
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	118	5	123

Error

Counts

123 → 5

Compiler

Compiled 4561 to 2806 computations (38.5% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.1b	(pow.f64 (/.f64 (*.f64 100 x) (+.f64 x y)) 3)
0.4b	(/.f64 (*.f64 100 x) (+.f64 x y))
11.0b	(cbrt.f64 (pow.f64 (/.f64 (*.f64 100 x) (+.f64 x y)) 3))

rewrite144.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

27×	`*-un-lft-identity_binary64_22243`
26×	`cbrt-prod_binary64_22274`
20×	`unpow-prod-down_binary64_22322` `times-frac_binary64_22249` `cube-prod_binary64_22271`
15×	`add-cube-cbrt_binary64_22278` `add-sqr-sqrt_binary64_22265`
14×	`add-exp-log_binary64_22281` `add-cbrt-cube_binary64_22279`
10×	`associate-/r/_binary64_22189`
6×	`distribute-lft-out_binary64_22194`
5×	`div-inv_binary64_22240` `flip3-+_binary64_22246` `flip-+_binary64_22217`
4×	`pow1_binary64_22304` `div-exp_binary64_22294` `cbrt-undiv_binary64_22277` `associate-/r*_binary64_22187`
3×	`add-log-exp_binary64_22282` `pow-unpow_binary64_22320` `pow-exp_binary64_22311` `rem-cube-cbrt_binary64_22266`
2×	`cube-div_binary64_22272` `unpow3_binary64_22309` `cube-mult_binary64_22273` `sqr-pow_binary64_22215` `prod-exp_binary64_22292` `cbrt-unprod_binary64_22276`
1×	`pow1/3_binary64_22325` `cbrt-div_binary64_22275` `rem-cbrt-cube_binary64_22267` `frac-2neg_binary64_22254` `clear-num_binary64_22242` `associate-/l*_binary64_22188` `pow-pow_binary64_22315` `pow-to-exp_binary64_22312`

Counts

3 → 103

Calls

3 calls:

8.0ms	(pow.f64 (/.f64 (*.f64 100 x) (+.f64 x y)) 3)
6.0ms	(/.f64 (*.f64 100 x) (+.f64 x y))
6.0ms	(cbrt.f64 (pow.f64 (/.f64 (*.f64 100 x) (+.f64 x y)) 3))

Compiler

Compiled 1940 to 1136 computations (41.4% saved)

series602.0ms (11.3%)

Error

Counts

3 → 72

Calls

3 calls:

197.0ms	(pow.f64 (/.f64 (*.f64 100 x) (+.f64 x y)) 3)
175.0ms	(cbrt.f64 (pow.f64 (/.f64 (*.f64 100 x) (+.f64 x y)) 3))
136.0ms	(/.f64 (*.f64 100 x) (+.f64 x y))

Compiler

Compiled 2788 to 2330 computations (16.4% saved)

simplify141.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

383×	`unswap-sqr_binary64_22211`
284×	`log-div_binary64_22330`
232×	`cancel-sign-sub-inv_binary64_22209`
214×	`associate-/l/_binary64_22190`
147×	`log-prod_binary64_22329` `times-frac_binary64_22249`
133×	`associate-/l*_binary64_22188`
132×	`distribute-rgt-in_binary64_22193`
120×	`sub-neg_binary64_22236`
107×	`sqr-pow_binary64_22215`
105×	`distribute-lft-in_binary64_22192`
86×	`distribute-rgt-neg-in_binary64_22201`
80×	`distribute-lft-neg-in_binary64_22200` `associate-r_binary64_22183`
77×	`exp-prod_binary64_22295`
71×	`associate-l_binary64_22184`
70×	`swap-sqr_binary64_22210` `distribute-neg-frac_binary64_22207`
67×	`associate-/r_binary64_22187` `associate-r/_binary64_22185`
64×	`associate-l/_binary64_22186` `-commutative_binary64_22174`
61×	`+-commutative_binary64_22173`
59×	`cube-prod_binary64_22271`
55×	`cube-div_binary64_22272`
42×	`log-pow_binary64_22332` `neg-sub0_binary64_22238` `associate--l+_binary64_22180`
41×	`neg-mul-1_binary64_22239`
31×	`associate--r+_binary64_22179`
29×	`unpow3_binary64_22309`
28×	`cube-mult_binary64_22273`
26×	`unsub-neg_binary64_22237`
21×	`associate-/r/_binary64_22189`
20×	`distribute-neg-in_binary64_22204`
19×	`distribute-rgt-out--_binary64_22197`
16×	`rem-cbrt-cube_binary64_22267`
15×	`distribute-rgt-out_binary64_22196` `distribute-lft-out_binary64_22194`
14×	`pow-sqr_binary64_22216`
12×	`associate-+l+_binary64_22176`
11×	`cube-unmult_binary64_22280` `rem-sqrt-square_binary64_22256` `distribute-lft-out--_binary64_22195`
10×	`distribute-lft-neg-out_binary64_22202`
9×	`*-rgt-identity_binary64_22233`
8×	`pow-plus_binary64_22306`
6×	`distribute-rgt1-in_binary64_22199`
4×	`distribute-rgt-neg-out_binary64_22203`
3×	`unpow1/2_binary64_22307` `unpow1_binary64_22301` `*-lft-identity_binary64_22232` `difference-of-squares_binary64_22212` `count-2_binary64_22191`
2×	`log-rec_binary64_22331` `unpow2_binary64_22308` `rem-cube-cbrt_binary64_22266` `rem-square-sqrt_binary64_22255` `div-sub_binary64_22248`
1×	`1-exp_binary64_22287` `rem-3cbrt-lft_binary64_22268` `mul-1-neg_binary64_22235` `/-rgt-identity_binary64_22234` `associate-+l-_binary64_22178` `associate-+r-_binary64_22177`
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_22506` `erf-erfc_binary64_22505` `erf-odd_binary64_22504` `if-if-and-not_binary64_22503` `if-if-and_binary64_22502` `if-if-or-not_binary64_22501` `if-if-or_binary64_22500` `if-not_binary64_22499` `if-same_binary64_22498` `if-false_binary64_22497` `if-true_binary64_22496` `not-gte_binary64_22495` `not-lte_binary64_22494` `not-gt_binary64_22493` `not-lt_binary64_22492` `gte-same_binary64_22491` `lte-same_binary64_22490` `gt-same_binary64_22489` `lt-same_binary64_22488` `sinh---cosh_binary64_22435` `sinh-+-cosh_binary64_22434` `sinh-cosh_binary64_22433` `tanh-def-c_binary64_22432` `tanh-def-b_binary64_22431` `tanh-def-a_binary64_22430` `cosh-def_binary64_22429` `sinh-def_binary64_22428` `tan-neg_binary64_22375` `cos-neg_binary64_22374` `sin-neg_binary64_22373` `tan-0_binary64_22372` `cos-0_binary64_22371` `sin-0_binary64_22370` `hang-m-tan_binary64_22369` `hang-p-tan_binary64_22368` `hang-m0-tan_binary64_22367` `hang-p0-tan_binary64_22366` `hang-0m-tan_binary64_22365` `hang-0p-tan_binary64_22364` `tan-+PI/2_binary64_22363` `tan-+PI_binary64_22362` `tan-PI_binary64_22361` `tan-PI/3_binary64_22360` `tan-PI/4_binary64_22359` `tan-PI/6_binary64_22358` `cos-+PI/2_binary64_22357` `cos-+PI_binary64_22356` `cos-PI_binary64_22355` `cos-PI/2_binary64_22354` `cos-PI/3_binary64_22353` `cos-PI/4_binary64_22352` `cos-PI/6_binary64_22351` `sin-+PI/2_binary64_22350` `sin-+PI_binary64_22349` `sin-PI_binary64_22348` `sin-PI/2_binary64_22347` `sin-PI/3_binary64_22346` `sin-PI/4_binary64_22345` `sin-PI/6_binary64_22344` `sub-1-sin_binary64_22343` `sub-1-cos_binary64_22342` `-1-add-sin_binary64_22341` `-1-add-cos_binary64_22340` `1-sub-sin_binary64_22339` `1-sub-cos_binary64_22338` `cos-sin-sum_binary64_22337` `log-E_binary64_22333` `pow-base-0_binary64_22327` `unpow1/3_binary64_22310` `exp-to-pow_binary64_22305` `pow-base-1_binary64_22303` `unpow0_binary64_22302` `unpow-1_binary64_22300` `exp-lft-cube_binary64_22299` `exp-lft-sqr_binary64_22298` `exp-cbrt_binary64_22297` `exp-sqrt_binary64_22296` `div-exp_binary64_22294` `rec-exp_binary64_22293` `prod-exp_binary64_22292` `exp-diff_binary64_22291` `exp-neg_binary64_22290` `exp-sum_binary64_22289` `e-exp-1_binary64_22288` `exp-1-e_binary64_22286` `exp-0_binary64_22285` `rem-log-exp_binary64_22284` `rem-exp-log_binary64_22283` `cube-neg_binary64_22270` `rem-3cbrt-rft_binary64_22269` `sqr-abs_binary64_22258` `sqr-neg_binary64_22257` `remove-double-neg_binary64_22231` `sub0-neg_binary64_22230` `--rgt-identity_binary64_22229` `+-rgt-identity_binary64_22228` `+-lft-identity_binary64_22227` `mul0-rgt_binary64_22226` `mul0-lft_binary64_22225` `div0_binary64_22224` `*-inverses_binary64_22223` `+-inverses_binary64_22222` `lft-mult-inverse_binary64_22221` `rgt-mult-inverse_binary64_22220` `remove-double-div_binary64_22219` `difference-of-sqr--1_binary64_22214` `difference-of-sqr-1_binary64_22213` `cancel-sign-sub_binary64_22208` `distribute-frac-neg_binary64_22206` `distribute-neg-out_binary64_22205` `distribute-lft1-in_binary64_22198` `associate--r-_binary64_22182` `associate--l-_binary64_22181` `associate-+r+_binary64_22175`

Counts

175 → 140

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	226	3664
1	603	3500
2	2132	3247
3	4936	3247
4	5187	3247

prune141.0ms (2.6%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	140	0	140
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	140	5	145

Error

Counts

145 → 5

Compiler

Compiled 2366 to 1326 computations (44% saved)

regimes231.0ms (4.3%)

Accuracy

Total 0.2b remaining (99.7%)

Threshold costs 0.2b (99.7%)

Compiler

Compiled 1643 to 1329 computations (19.1% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1× +-commutative_binary64_22173

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_22503 if-if-and_binary64_22502 if-if-or-not_binary64_22501 if-if-or_binary64_22500 if-not_binary64_22499 if-same_binary64_22498 if-false_binary64_22497 if-true_binary64_22496 tan-0_binary64_22372 cos-0_binary64_22371 sin-0_binary64_22370 unpow1_binary64_22301 e-exp-1_binary64_22288 1-exp_binary64_22287 exp-1-e_binary64_22286 exp-0_binary64_22285 sqr-abs_binary64_22258 sqr-neg_binary64_22257 neg-mul-1_binary64_22239 neg-sub0_binary64_22238 unsub-neg_binary64_22237 sub-neg_binary64_22236 mul-1-neg_binary64_22235 /-rgt-identity_binary64_22234 *-rgt-identity_binary64_22233 *-lft-identity_binary64_22232 remove-double-neg_binary64_22231 sub0-neg_binary64_22230 --rgt-identity_binary64_22229 +-rgt-identity_binary64_22228 +-lft-identity_binary64_22227 cancel-sign-sub-inv_binary64_22209 cancel-sign-sub_binary64_22208 distribute-neg-frac_binary64_22207 distribute-frac-neg_binary64_22206 distribute-neg-out_binary64_22205 distribute-neg-in_binary64_22204 distribute-rgt-neg-out_binary64_22203 distribute-lft-neg-out_binary64_22202 distribute-rgt-neg-in_binary64_22201 distribute-lft-neg-in_binary64_22200 *-commutative_binary64_22174

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	8	10
2	8	10

end0.0ms (0%)

sample1.0s (19%)

Algorithm

1×

intervals

Results

199.0ms

8000×

body

128

valid

Compiler

Compiled 531 to 431 computations (18.8% saved)

Details

analyze185.0ms (3.5%)

sample14.0ms (0.3%)

simplify9.0ms (0.2%)

prune1.0ms (0%)

localize4.0ms (0.1%)

rewrite37.0ms (0.7%)

series150.0ms (2.8%)

simplify59.0ms (1.1%)

prune37.0ms (0.7%)

localize5.0ms (0.1%)

rewrite77.0ms (1.4%)

series301.0ms (5.6%)

simplify124.0ms (2.3%)

prune66.0ms (1.2%)

localize9.0ms (0.2%)

rewrite259.0ms (4.8%)

series1.3s (24.7%)

simplify156.0ms (2.9%)

prune249.0ms (4.7%)

localize7.0ms (0.1%)

rewrite144.0ms (2.7%)

series602.0ms (11.3%)

simplify141.0ms (2.6%)

prune141.0ms (2.6%)

regimes231.0ms (4.3%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.0s (19%)

Profiling