Details

analyze1.5s (9.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
1.6%	98.1%	0.3%	13
2.3%	97.4%	0.3%	14

Compiler

Compiled 18 to 18 computations (0% saved)

sample45.0ms (0.3%)

Algorithm

1×

intervals

Results

12.0ms	256×	body	128	valid
5.0ms	113×	body	128	invalid

Compiler

Compiled 35 to 41 computations (-17.1% saved)

simplify434.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

543×	`exp-diff_binary64_30475`
317×	`swap-sqr_binary64_30394`
290×	`unsub-neg_binary64_30421`
279×	`distribute-rgt-neg-in_binary64_30385`
245×	`exp-prod_binary64_30479` `cancel-sign-sub-inv_binary64_30393`
219×	`distribute-lft-neg-in_binary64_30384`
213×	`associate-+l-_binary64_30362`
176×	`associate-+l+_binary64_30360`
167×	`distribute-rgt-neg-out_binary64_30387`
165×	`distribute-rgt1-in_binary64_30383`
145×	`associate--r+_binary64_30363` `associate-+r-_binary64_30361`
133×	`associate--r-_binary64_30366`
132×	`associate--l+_binary64_30364`
128×	`distribute-rgt-in_binary64_30377`
126×	`associate--l-_binary64_30365` `*-commutative_binary64_30358`
125×	`pow-plus_binary64_30490`
105×	`associate-l_binary64_30368`
100×	`distribute-lft-neg-out_binary64_30386`
96×	`distribute-lft-in_binary64_30376`
95×	`associate-r_binary64_30367`
93×	`sub-neg_binary64_30420`
88×	`neg-mul-1_binary64_30423`
84×	`neg-sub0_binary64_30422`
64×	`distribute-neg-in_binary64_30388`
60×	`+-commutative_binary64_30357`
37×	`distribute-neg-out_binary64_30389`
33×	`remove-double-neg_binary64_30415`
31×	`sqr-neg_binary64_30441`
30×	`mul0-rgt_binary64_30410` `mul0-lft_binary64_30409`
20×	`+-lft-identity_binary64_30411`
19×	`sub0-neg_binary64_30414`
12×	`--rgt-identity_binary64_30413`
9×	`associate-+r+_binary64_30359`
8×	`exp-lft-sqr_binary64_30482` `distribute-lft1-in_binary64_30382`
7×	`+-rgt-identity_binary64_30412` `distribute-rgt-out_binary64_30380`
6×	`unswap-sqr_binary64_30395` `distribute-rgt-out--_binary64_30381`
5×	`pow-sqr_binary64_30400` `sqr-pow_binary64_30399`
4×	`associate-/r*_binary64_30371`
3×	`cube-unmult_binary64_30464` `count-2_binary64_30375`
2×	`unpow3_binary64_30493` `exp-sum_binary64_30473` `cube-prod_binary64_30455` `+-inverses_binary64_30406` `difference-of-squares_binary64_30396` `distribute-lft-out--_binary64_30379` `distribute-lft-out_binary64_30378`
1×	`1-exp_binary64_30471` `difference-of-sqr--1_binary64_30398` `cancel-sign-sub_binary64_30392`
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_30690` `erf-erfc_binary64_30689` `erf-odd_binary64_30688` `if-if-and-not_binary64_30687` `if-if-and_binary64_30686` `if-if-or-not_binary64_30685` `if-if-or_binary64_30684` `if-not_binary64_30683` `if-same_binary64_30682` `if-false_binary64_30681` `if-true_binary64_30680` `not-gte_binary64_30679` `not-lte_binary64_30678` `not-gt_binary64_30677` `not-lt_binary64_30676` `gte-same_binary64_30675` `lte-same_binary64_30674` `gt-same_binary64_30673` `lt-same_binary64_30672` `sinh---cosh_binary64_30619` `sinh-+-cosh_binary64_30618` `sinh-cosh_binary64_30617` `tanh-def-c_binary64_30616` `tanh-def-b_binary64_30615` `tanh-def-a_binary64_30614` `cosh-def_binary64_30613` `sinh-def_binary64_30612` `tan-neg_binary64_30559` `cos-neg_binary64_30558` `sin-neg_binary64_30557` `tan-0_binary64_30556` `cos-0_binary64_30555` `sin-0_binary64_30554` `hang-m-tan_binary64_30553` `hang-p-tan_binary64_30552` `hang-m0-tan_binary64_30551` `hang-p0-tan_binary64_30550` `hang-0m-tan_binary64_30549` `hang-0p-tan_binary64_30548` `tan-+PI/2_binary64_30547` `tan-+PI_binary64_30546` `tan-PI_binary64_30545` `tan-PI/3_binary64_30544` `tan-PI/4_binary64_30543` `tan-PI/6_binary64_30542` `cos-+PI/2_binary64_30541` `cos-+PI_binary64_30540` `cos-PI_binary64_30539` `cos-PI/2_binary64_30538` `cos-PI/3_binary64_30537` `cos-PI/4_binary64_30536` `cos-PI/6_binary64_30535` `sin-+PI/2_binary64_30534` `sin-+PI_binary64_30533` `sin-PI_binary64_30532` `sin-PI/2_binary64_30531` `sin-PI/3_binary64_30530` `sin-PI/4_binary64_30529` `sin-PI/6_binary64_30528` `sub-1-sin_binary64_30527` `sub-1-cos_binary64_30526` `-1-add-sin_binary64_30525` `-1-add-cos_binary64_30524` `1-sub-sin_binary64_30523` `1-sub-cos_binary64_30522` `cos-sin-sum_binary64_30521` `log-E_binary64_30517` `log-pow_binary64_30516` `log-rec_binary64_30515` `log-div_binary64_30514` `log-prod_binary64_30513` `pow-base-0_binary64_30511` `unpow1/3_binary64_30494` `unpow2_binary64_30492` `unpow1/2_binary64_30491` `exp-to-pow_binary64_30489` `pow-base-1_binary64_30487` `unpow0_binary64_30486` `unpow1_binary64_30485` `unpow-1_binary64_30484` `exp-lft-cube_binary64_30483` `exp-cbrt_binary64_30481` `exp-sqrt_binary64_30480` `div-exp_binary64_30478` `rec-exp_binary64_30477` `prod-exp_binary64_30476` `exp-neg_binary64_30474` `e-exp-1_binary64_30472` `exp-1-e_binary64_30470` `exp-0_binary64_30469` `rem-log-exp_binary64_30468` `rem-exp-log_binary64_30467` `cube-mult_binary64_30457` `cube-div_binary64_30456` `cube-neg_binary64_30454` `rem-3cbrt-rft_binary64_30453` `rem-3cbrt-lft_binary64_30452` `rem-cbrt-cube_binary64_30451` `rem-cube-cbrt_binary64_30450` `sqr-abs_binary64_30442` `rem-sqrt-square_binary64_30440` `rem-square-sqrt_binary64_30439` `times-frac_binary64_30433` `div-sub_binary64_30432` `mul-1-neg_binary64_30419` `/-rgt-identity_binary64_30418` `-rgt-identity_binary64_30417` `-lft-identity_binary64_30416` `div0_binary64_30408` `-inverses_binary64_30407` `lft-mult-inverse_binary64_30405` `rgt-mult-inverse_binary64_30404` `remove-double-div_binary64_30403` `difference-of-sqr-1_binary64_30397` `distribute-neg-frac_binary64_30391` `distribute-frac-neg_binary64_30390` `associate-/l/_binary64_30374` `associate-/r/_binary64_30373` `associate-/l_binary64_30372` `associate-l/_binary64_30370` `associate-r/_binary64_30369`

Counts

1 → 7

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	25
1	38	25
2	105	25
3	269	25
4	414	25
5	663	25
6	871	25
7	1285	25
8	4434	25

prune28.0ms (0.2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

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

Error

0.0b

Counts

8 → 6

Compiler

Compiled 221 to 184 computations (16.7% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (.f64 z (.f64 (.f64 y 9) t)) (.f64 a (*.f64 27 b)))
0.2b	(.f64 (.f64 y 9) t)
0.2b	(.f64 a (.f64 27 b))
5.6b	(.f64 z (.f64 (*.f64 y 9) t))

rewrite134.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

23×	`pow1_binary64_30488` `add-exp-log_binary64_30465` `add-cbrt-cube_binary64_30463`
12×	`pow-prod-down_binary64_30498` `prod-exp_binary64_30476` `cbrt-unprod_binary64_30460`
7×	`add-cube-cbrt_binary64_30462` `add-sqr-sqrt_binary64_30449` `-un-lft-identity_binary64_30427` `associate-l*_binary64_30368`
6×	`add-log-exp_binary64_30466`
5×	`associate-r_binary64_30367`
3×	`*-commutative_binary64_30358`
1×	`diff-log_binary64_30519` `flip3--_binary64_30431` `sub-neg_binary64_30420` `flip--_binary64_30402` `cancel-sign-sub-inv_binary64_30393`

Counts

4 → 69

Calls

4 calls:

7.0ms	(.f64 z (.f64 (*.f64 y 9) t))
7.0ms	(-.f64 (.f64 z (.f64 (.f64 y 9) t)) (.f64 a (*.f64 27 b)))
5.0ms	(.f64 (.f64 y 9) t)
5.0ms	(.f64 a (.f64 27 b))

Compiler

Compiled 1660 to 1094 computations (34.1% saved)

series1.0s (6.5%)

Error

0.0b

Counts

4 → 51

Calls

4 calls:

596.0ms	(-.f64 (.f64 z (.f64 (.f64 y 9) t)) (.f64 a (*.f64 27 b)))
194.0ms	(.f64 z (.f64 (*.f64 y 9) t))
95.0ms	(.f64 (.f64 y 9) t)
82.0ms	(.f64 a (.f64 27 b))

Compiler

Compiled 2138 to 1818 computations (15% saved)

simplify251.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

484×	`*-commutative_binary64_30358`
346×	`distribute-rgt-neg-in_binary64_30385`
337×	`distribute-lft-neg-in_binary64_30384`
329×	`times-frac_binary64_30433`
298×	`cancel-sign-sub-inv_binary64_30393`
269×	`associate-l_binary64_30368`
248×	`associate-r_binary64_30367`
191×	`distribute-rgt-in_binary64_30377`
160×	`distribute-lft-in_binary64_30376`
141×	`sqr-pow_binary64_30399`
136×	`exp-prod_binary64_30479`
95×	`unswap-sqr_binary64_30395`
84×	`swap-sqr_binary64_30394`
75×	`neg-sub0_binary64_30422`
74×	`neg-mul-1_binary64_30423`
72×	`log-prod_binary64_30513`
67×	`distribute-rgt-out_binary64_30380`
66×	`associate-+r+_binary64_30359`
65×	`cube-prod_binary64_30455`
62×	`associate-+l+_binary64_30360`
57×	`exp-sum_binary64_30473`
53×	`associate-/l*_binary64_30372`
47×	`pow-sqr_binary64_30400`
43×	`+-commutative_binary64_30357`
36×	`difference-of-squares_binary64_30396`
32×	`sub-neg_binary64_30420`
31×	`associate-/r*_binary64_30371`
27×	`unsub-neg_binary64_30421`
25×	`distribute-lft-neg-out_binary64_30386`
18×	`unpow3_binary64_30493`
16×	`distribute-lft-out_binary64_30378` `associate-/l/_binary64_30374`
15×	`associate-*r/_binary64_30369`
14×	`distribute-rgt-neg-out_binary64_30387`
13×	`exp-diff_binary64_30475` `cube-mult_binary64_30457`
11×	`*-rgt-identity_binary64_30417` `associate-/r/_binary64_30373`
9×	`cube-unmult_binary64_30464`
8×	`exp-to-pow_binary64_30489` `sqr-neg_binary64_30441` `*-lft-identity_binary64_30416` `mul0-rgt_binary64_30410` `mul0-lft_binary64_30409`
7×	`associate-+r-_binary64_30361`
6×	`associate-+l-_binary64_30362`
4×	`+-rgt-identity_binary64_30412`
3×	`sub0-neg_binary64_30414`
2×	`div-exp_binary64_30478` `distribute-neg-in_binary64_30388` `associate-*l/_binary64_30370` `associate--r+_binary64_30363`
1×	`log-pow_binary64_30516` `pow-plus_binary64_30490` `pow-base-1_binary64_30487` `prod-exp_binary64_30476` `1-exp_binary64_30471` `exp-1-e_binary64_30470` `rem-log-exp_binary64_30468` `cube-neg_binary64_30454` `/-rgt-identity_binary64_30418` `+-lft-identity_binary64_30411` `count-2_binary64_30375`
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_30690` `erf-erfc_binary64_30689` `erf-odd_binary64_30688` `if-if-and-not_binary64_30687` `if-if-and_binary64_30686` `if-if-or-not_binary64_30685` `if-if-or_binary64_30684` `if-not_binary64_30683` `if-same_binary64_30682` `if-false_binary64_30681` `if-true_binary64_30680` `not-gte_binary64_30679` `not-lte_binary64_30678` `not-gt_binary64_30677` `not-lt_binary64_30676` `gte-same_binary64_30675` `lte-same_binary64_30674` `gt-same_binary64_30673` `lt-same_binary64_30672` `sinh---cosh_binary64_30619` `sinh-+-cosh_binary64_30618` `sinh-cosh_binary64_30617` `tanh-def-c_binary64_30616` `tanh-def-b_binary64_30615` `tanh-def-a_binary64_30614` `cosh-def_binary64_30613` `sinh-def_binary64_30612` `tan-neg_binary64_30559` `cos-neg_binary64_30558` `sin-neg_binary64_30557` `tan-0_binary64_30556` `cos-0_binary64_30555` `sin-0_binary64_30554` `hang-m-tan_binary64_30553` `hang-p-tan_binary64_30552` `hang-m0-tan_binary64_30551` `hang-p0-tan_binary64_30550` `hang-0m-tan_binary64_30549` `hang-0p-tan_binary64_30548` `tan-+PI/2_binary64_30547` `tan-+PI_binary64_30546` `tan-PI_binary64_30545` `tan-PI/3_binary64_30544` `tan-PI/4_binary64_30543` `tan-PI/6_binary64_30542` `cos-+PI/2_binary64_30541` `cos-+PI_binary64_30540` `cos-PI_binary64_30539` `cos-PI/2_binary64_30538` `cos-PI/3_binary64_30537` `cos-PI/4_binary64_30536` `cos-PI/6_binary64_30535` `sin-+PI/2_binary64_30534` `sin-+PI_binary64_30533` `sin-PI_binary64_30532` `sin-PI/2_binary64_30531` `sin-PI/3_binary64_30530` `sin-PI/4_binary64_30529` `sin-PI/6_binary64_30528` `sub-1-sin_binary64_30527` `sub-1-cos_binary64_30526` `-1-add-sin_binary64_30525` `-1-add-cos_binary64_30524` `1-sub-sin_binary64_30523` `1-sub-cos_binary64_30522` `cos-sin-sum_binary64_30521` `log-E_binary64_30517` `log-rec_binary64_30515` `log-div_binary64_30514` `pow-base-0_binary64_30511` `unpow1/3_binary64_30494` `unpow2_binary64_30492` `unpow1/2_binary64_30491` `unpow0_binary64_30486` `unpow1_binary64_30485` `unpow-1_binary64_30484` `exp-lft-cube_binary64_30483` `exp-lft-sqr_binary64_30482` `exp-cbrt_binary64_30481` `exp-sqrt_binary64_30480` `rec-exp_binary64_30477` `exp-neg_binary64_30474` `e-exp-1_binary64_30472` `exp-0_binary64_30469` `rem-exp-log_binary64_30467` `cube-div_binary64_30456` `rem-3cbrt-rft_binary64_30453` `rem-3cbrt-lft_binary64_30452` `rem-cbrt-cube_binary64_30451` `rem-cube-cbrt_binary64_30450` `sqr-abs_binary64_30442` `rem-sqrt-square_binary64_30440` `rem-square-sqrt_binary64_30439` `div-sub_binary64_30432` `mul-1-neg_binary64_30419` `remove-double-neg_binary64_30415` `--rgt-identity_binary64_30413` `div0_binary64_30408` `*-inverses_binary64_30407` `+-inverses_binary64_30406` `lft-mult-inverse_binary64_30405` `rgt-mult-inverse_binary64_30404` `remove-double-div_binary64_30403` `difference-of-sqr--1_binary64_30398` `difference-of-sqr-1_binary64_30397` `cancel-sign-sub_binary64_30392` `distribute-neg-frac_binary64_30391` `distribute-frac-neg_binary64_30390` `distribute-neg-out_binary64_30389` `distribute-rgt1-in_binary64_30383` `distribute-lft1-in_binary64_30382` `distribute-rgt-out--_binary64_30381` `distribute-lft-out--_binary64_30379` `associate--r-_binary64_30366` `associate--l-_binary64_30365` `associate--l+_binary64_30364`

Counts

120 → 350

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	128	1577
1	331	1493
2	1186	1490
3	2289	1490
4	4446	1490

prune627.0ms (4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	344	6	350
Fresh	2	3	5
Picked	1	0	1
Done	0	0	0
Total	347	9	356

Error

0.0b

Counts

356 → 9

Compiler

Compiled 8837 to 5686 computations (35.7% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (.f64 z (pow.f64 (.f64 9 (.f64 t y)) 1)) (.f64 a (*.f64 27 b)))
0.2b	(.f64 a (.f64 27 b))
0.2b	(.f64 9 (.f64 t y))
5.6b	(.f64 z (pow.f64 (.f64 9 (*.f64 t y)) 1))

rewrite140.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

26×	`add-exp-log_binary64_30465`
16×	`add-cbrt-cube_binary64_30463`
15×	`pow1_binary64_30488`
14×	`prod-exp_binary64_30476`
11×	`add-sqr-sqrt_binary64_30449`
9×	`associate-l_binary64_30368`
8×	`add-cube-cbrt_binary64_30462` `*-un-lft-identity_binary64_30427`
7×	`pow-prod-down_binary64_30498` `cbrt-unprod_binary64_30460` `associate-r_binary64_30367`
6×	`add-log-exp_binary64_30466`
3×	`pow-exp_binary64_30495` `*-commutative_binary64_30358`
2×	`unswap-sqr_binary64_30395` `sqr-pow_binary64_30399`
1×	`pow-to-exp_binary64_30496` `unpow-prod-down_binary64_30506` `diff-log_binary64_30519` `flip3--_binary64_30431` `sub-neg_binary64_30420` `flip--_binary64_30402` `cancel-sign-sub-inv_binary64_30393`

Counts

4 → 73

Calls

4 calls:

9.0ms	(.f64 9 (.f64 t y))
6.0ms	(.f64 z (pow.f64 (.f64 9 (*.f64 t y)) 1))
6.0ms	(-.f64 (.f64 z (pow.f64 (.f64 9 (.f64 t y)) 1)) (.f64 a (*.f64 27 b)))
5.0ms	(.f64 a (.f64 27 b))

Compiler

Compiled 1949 to 1271 computations (34.8% saved)

series982.0ms (6.3%)

Error

0.0b

Counts

4 → 51

Calls

4 calls:

578.0ms	(-.f64 (.f64 z (pow.f64 (.f64 9 (.f64 t y)) 1)) (.f64 a (*.f64 27 b)))
185.0ms	(.f64 z (pow.f64 (.f64 9 (*.f64 t y)) 1))
88.0ms	(.f64 9 (.f64 t y))
82.0ms	(.f64 a (.f64 27 b))

Compiler

Compiled 2210 to 1884 computations (14.8% saved)

simplify315.0ms (2%)

Algorithm

1×	egg-herbie

Rules

583×	`times-frac_binary64_30433`
276×	`distribute-rgt-neg-in_binary64_30385`
262×	`distribute-lft-neg-in_binary64_30384`
257×	`associate-l_binary64_30368`
251×	`distribute-rgt-in_binary64_30377`
247×	`associate-r_binary64_30367`
245×	`cancel-sign-sub-inv_binary64_30393`
234×	`unswap-sqr_binary64_30395`
191×	`sqr-pow_binary64_30399`
155×	`exp-prod_binary64_30479`
113×	`log-prod_binary64_30513`
108×	`cube-prod_binary64_30455`
104×	`swap-sqr_binary64_30394`
91×	`neg-sub0_binary64_30422`
90×	`neg-mul-1_binary64_30423`
71×	`*-commutative_binary64_30358`
62×	`pow-sqr_binary64_30400` `distribute-rgt-out_binary64_30380`
47×	`distribute-lft-in_binary64_30376`
37×	`unpow3_binary64_30493`
34×	`difference-of-squares_binary64_30396` `distribute-lft-out_binary64_30378` `associate-+r+_binary64_30359`
33×	`associate-+l+_binary64_30360`
32×	`sub-neg_binary64_30420`
29×	`cube-mult_binary64_30457`
26×	`distribute-lft-neg-out_binary64_30386` `+-commutative_binary64_30357`
24×	`unsub-neg_binary64_30421`
20×	`*-rgt-identity_binary64_30417`
19×	`associate-/l*_binary64_30372`
17×	`exp-sum_binary64_30473` `*-lft-identity_binary64_30416`
16×	`pow-plus_binary64_30490` `associate-/r*_binary64_30371`
15×	`distribute-rgt-neg-out_binary64_30387`
13×	`cube-unmult_binary64_30464` `/-rgt-identity_binary64_30418`
12×	`log-pow_binary64_30516`
8×	`exp-diff_binary64_30475` `mul0-rgt_binary64_30410` `mul0-lft_binary64_30409`
5×	`associate-+r-_binary64_30361`
4×	`log-div_binary64_30514` `+-rgt-identity_binary64_30412` `associate-/l/_binary64_30374`
3×	`cube-div_binary64_30456` `sub0-neg_binary64_30414` `count-2_binary64_30375` `associate-*r/_binary64_30369` `associate-+l-_binary64_30362`
2×	`pow-base-1_binary64_30487` `unpow1_binary64_30485` `exp-sqrt_binary64_30480` `rem-sqrt-square_binary64_30440` `+-lft-identity_binary64_30411` `distribute-neg-in_binary64_30388`
1×	`log-rec_binary64_30515` `div-exp_binary64_30478` `prod-exp_binary64_30476` `1-exp_binary64_30471` `exp-1-e_binary64_30470` `rem-log-exp_binary64_30468` `sqr-neg_binary64_30441` `*-inverses_binary64_30407` `rgt-mult-inverse_binary64_30404` `distribute-rgt1-in_binary64_30383` `distribute-lft1-in_binary64_30382`
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_30690` `erf-erfc_binary64_30689` `erf-odd_binary64_30688` `if-if-and-not_binary64_30687` `if-if-and_binary64_30686` `if-if-or-not_binary64_30685` `if-if-or_binary64_30684` `if-not_binary64_30683` `if-same_binary64_30682` `if-false_binary64_30681` `if-true_binary64_30680` `not-gte_binary64_30679` `not-lte_binary64_30678` `not-gt_binary64_30677` `not-lt_binary64_30676` `gte-same_binary64_30675` `lte-same_binary64_30674` `gt-same_binary64_30673` `lt-same_binary64_30672` `sinh---cosh_binary64_30619` `sinh-+-cosh_binary64_30618` `sinh-cosh_binary64_30617` `tanh-def-c_binary64_30616` `tanh-def-b_binary64_30615` `tanh-def-a_binary64_30614` `cosh-def_binary64_30613` `sinh-def_binary64_30612` `tan-neg_binary64_30559` `cos-neg_binary64_30558` `sin-neg_binary64_30557` `tan-0_binary64_30556` `cos-0_binary64_30555` `sin-0_binary64_30554` `hang-m-tan_binary64_30553` `hang-p-tan_binary64_30552` `hang-m0-tan_binary64_30551` `hang-p0-tan_binary64_30550` `hang-0m-tan_binary64_30549` `hang-0p-tan_binary64_30548` `tan-+PI/2_binary64_30547` `tan-+PI_binary64_30546` `tan-PI_binary64_30545` `tan-PI/3_binary64_30544` `tan-PI/4_binary64_30543` `tan-PI/6_binary64_30542` `cos-+PI/2_binary64_30541` `cos-+PI_binary64_30540` `cos-PI_binary64_30539` `cos-PI/2_binary64_30538` `cos-PI/3_binary64_30537` `cos-PI/4_binary64_30536` `cos-PI/6_binary64_30535` `sin-+PI/2_binary64_30534` `sin-+PI_binary64_30533` `sin-PI_binary64_30532` `sin-PI/2_binary64_30531` `sin-PI/3_binary64_30530` `sin-PI/4_binary64_30529` `sin-PI/6_binary64_30528` `sub-1-sin_binary64_30527` `sub-1-cos_binary64_30526` `-1-add-sin_binary64_30525` `-1-add-cos_binary64_30524` `1-sub-sin_binary64_30523` `1-sub-cos_binary64_30522` `cos-sin-sum_binary64_30521` `log-E_binary64_30517` `pow-base-0_binary64_30511` `unpow1/3_binary64_30494` `unpow2_binary64_30492` `unpow1/2_binary64_30491` `exp-to-pow_binary64_30489` `unpow0_binary64_30486` `unpow-1_binary64_30484` `exp-lft-cube_binary64_30483` `exp-lft-sqr_binary64_30482` `exp-cbrt_binary64_30481` `rec-exp_binary64_30477` `exp-neg_binary64_30474` `e-exp-1_binary64_30472` `exp-0_binary64_30469` `rem-exp-log_binary64_30467` `cube-neg_binary64_30454` `rem-3cbrt-rft_binary64_30453` `rem-3cbrt-lft_binary64_30452` `rem-cbrt-cube_binary64_30451` `rem-cube-cbrt_binary64_30450` `sqr-abs_binary64_30442` `rem-square-sqrt_binary64_30439` `div-sub_binary64_30432` `mul-1-neg_binary64_30419` `remove-double-neg_binary64_30415` `--rgt-identity_binary64_30413` `div0_binary64_30408` `+-inverses_binary64_30406` `lft-mult-inverse_binary64_30405` `remove-double-div_binary64_30403` `difference-of-sqr--1_binary64_30398` `difference-of-sqr-1_binary64_30397` `cancel-sign-sub_binary64_30392` `distribute-neg-frac_binary64_30391` `distribute-frac-neg_binary64_30390` `distribute-neg-out_binary64_30389` `distribute-rgt-out--_binary64_30381` `distribute-lft-out--_binary64_30379` `associate-/r/_binary64_30373` `associate-*l/_binary64_30370` `associate--r-_binary64_30366` `associate--l-_binary64_30365` `associate--l+_binary64_30364` `associate--r+_binary64_30363`

Counts

124 → 443

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	144	1651
1	328	1570
2	1287	1570
3	2471	1570

prune968.0ms (6.2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	443	0	443
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	443	9	452

Error

0.0b

Counts

452 → 9

Compiler

Compiled 12022 to 7593 computations (36.8% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (.f64 x 2) (-.f64 (.f64 (.f64 9 t) (.f64 z y)) (.f64 a (.f64 27 b))))
0.0b	(-.f64 (.f64 (.f64 9 t) (.f64 z y)) (.f64 a (*.f64 27 b)))
0.2b	(.f64 a (.f64 27 b))
6.1b	(.f64 (.f64 9 t) (*.f64 z y))

rewrite139.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

21×	`pow1_binary64_30488` `add-exp-log_binary64_30465` `add-cbrt-cube_binary64_30463`
11×	`pow-prod-down_binary64_30498` `prod-exp_binary64_30476` `add-log-exp_binary64_30466` `cbrt-unprod_binary64_30460`
6×	`add-cube-cbrt_binary64_30462` `add-sqr-sqrt_binary64_30449` `*-un-lft-identity_binary64_30427`
5×	`cancel-sign-sub-inv_binary64_30393`
4×	`associate-l_binary64_30368` `diff-log_binary64_30519`
3×	`sub-neg_binary64_30420`
2×	`associate-r_binary64_30367` `*-commutative_binary64_30358` `flip3--_binary64_30431` `flip--_binary64_30402` `associate--r+_binary64_30363`
1×	`associate--r-_binary64_30366`

Counts

4 → 70

Calls

4 calls:

10.0ms	(-.f64 (.f64 x 2) (-.f64 (.f64 (.f64 9 t) (.f64 z y)) (.f64 a (.f64 27 b))))
7.0ms	(-.f64 (.f64 (.f64 9 t) (.f64 z y)) (.f64 a (*.f64 27 b)))
7.0ms	(.f64 (.f64 9 t) (*.f64 z y))
6.0ms	(.f64 a (.f64 27 b))

Compiler

Compiled 1853 to 1137 computations (38.6% saved)

series1.7s (11%)

Error

0.0b

Counts

4 → 81

Calls

4 calls:

799.0ms	(-.f64 (.f64 x 2) (-.f64 (.f64 (.f64 9 t) (.f64 z y)) (.f64 a (.f64 27 b))))
569.0ms	(-.f64 (.f64 (.f64 9 t) (.f64 z y)) (.f64 a (*.f64 27 b)))
190.0ms	(.f64 (.f64 9 t) (*.f64 z y))
78.0ms	(.f64 a (.f64 27 b))

Compiler

Compiled 3010 to 2545 computations (15.4% saved)

simplify436.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

383×	`cancel-sign-sub-inv_binary64_30393`
249×	`associate-l_binary64_30368`
225×	`associate-r_binary64_30367`
193×	`unsub-neg_binary64_30421`
189×	`distribute-rgt-in_binary64_30377` `distribute-lft-in_binary64_30376`
179×	`sqr-pow_binary64_30399`
178×	`distribute-rgt-neg-in_binary64_30385`
174×	`neg-sub0_binary64_30422`
173×	`exp-prod_binary64_30479` `neg-mul-1_binary64_30423`
153×	`distribute-lft-neg-in_binary64_30384`
122×	`times-frac_binary64_30433`
114×	`unswap-sqr_binary64_30395`
91×	`exp-sum_binary64_30473`
90×	`sub-neg_binary64_30420`
83×	`swap-sqr_binary64_30394`
76×	`cube-prod_binary64_30455`
75×	`log-prod_binary64_30513`
74×	`*-commutative_binary64_30358`
64×	`difference-of-squares_binary64_30396`
63×	`distribute-neg-in_binary64_30388`
62×	`pow-sqr_binary64_30400`
58×	`distribute-rgt-out_binary64_30380`
49×	`+-commutative_binary64_30357`
48×	`distribute-lft-neg-out_binary64_30386`
45×	`associate-+r+_binary64_30359`
43×	`associate-+l+_binary64_30360`
36×	`exp-diff_binary64_30475` `distribute-lft-out_binary64_30378`
27×	`unpow3_binary64_30493`
24×	`distribute-rgt-neg-out_binary64_30387`
21×	`cube-mult_binary64_30457` `mul0-rgt_binary64_30410` `mul0-lft_binary64_30409`
18×	`*-lft-identity_binary64_30416`
17×	`associate-+r-_binary64_30361`
16×	`exp-neg_binary64_30474`
13×	`*-rgt-identity_binary64_30417` `associate--r+_binary64_30363`
12×	`div-exp_binary64_30478` `remove-double-neg_binary64_30415` `associate-+l-_binary64_30362`
11×	`associate-/l*_binary64_30372`
10×	`+-rgt-identity_binary64_30412`
9×	`cube-unmult_binary64_30464`
8×	`prod-exp_binary64_30476` `sub0-neg_binary64_30414`
5×	`distribute-neg-out_binary64_30389`
4×	`sqr-neg_binary64_30441` `associate--r-_binary64_30366` `associate--l+_binary64_30364`
3×	`associate-/r/_binary64_30373` `associate-/r_binary64_30371` `associate-r/_binary64_30369`
2×	`--rgt-identity_binary64_30413` `cancel-sign-sub_binary64_30392` `associate-/l/_binary64_30374` `associate-*l/_binary64_30370`
1×	`log-pow_binary64_30516` `log-div_binary64_30514` `pow-base-1_binary64_30487` `unpow1_binary64_30485` `exp-lft-sqr_binary64_30482` `exp-sqrt_binary64_30480` `1-exp_binary64_30471` `exp-1-e_binary64_30470` `rem-log-exp_binary64_30468` `cube-div_binary64_30456` `cube-neg_binary64_30454` `rem-3cbrt-lft_binary64_30452` `rem-sqrt-square_binary64_30440` `rem-square-sqrt_binary64_30439` `*-inverses_binary64_30407` `distribute-neg-frac_binary64_30391` `count-2_binary64_30375`
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_30690` `erf-erfc_binary64_30689` `erf-odd_binary64_30688` `if-if-and-not_binary64_30687` `if-if-and_binary64_30686` `if-if-or-not_binary64_30685` `if-if-or_binary64_30684` `if-not_binary64_30683` `if-same_binary64_30682` `if-false_binary64_30681` `if-true_binary64_30680` `not-gte_binary64_30679` `not-lte_binary64_30678` `not-gt_binary64_30677` `not-lt_binary64_30676` `gte-same_binary64_30675` `lte-same_binary64_30674` `gt-same_binary64_30673` `lt-same_binary64_30672` `sinh---cosh_binary64_30619` `sinh-+-cosh_binary64_30618` `sinh-cosh_binary64_30617` `tanh-def-c_binary64_30616` `tanh-def-b_binary64_30615` `tanh-def-a_binary64_30614` `cosh-def_binary64_30613` `sinh-def_binary64_30612` `tan-neg_binary64_30559` `cos-neg_binary64_30558` `sin-neg_binary64_30557` `tan-0_binary64_30556` `cos-0_binary64_30555` `sin-0_binary64_30554` `hang-m-tan_binary64_30553` `hang-p-tan_binary64_30552` `hang-m0-tan_binary64_30551` `hang-p0-tan_binary64_30550` `hang-0m-tan_binary64_30549` `hang-0p-tan_binary64_30548` `tan-+PI/2_binary64_30547` `tan-+PI_binary64_30546` `tan-PI_binary64_30545` `tan-PI/3_binary64_30544` `tan-PI/4_binary64_30543` `tan-PI/6_binary64_30542` `cos-+PI/2_binary64_30541` `cos-+PI_binary64_30540` `cos-PI_binary64_30539` `cos-PI/2_binary64_30538` `cos-PI/3_binary64_30537` `cos-PI/4_binary64_30536` `cos-PI/6_binary64_30535` `sin-+PI/2_binary64_30534` `sin-+PI_binary64_30533` `sin-PI_binary64_30532` `sin-PI/2_binary64_30531` `sin-PI/3_binary64_30530` `sin-PI/4_binary64_30529` `sin-PI/6_binary64_30528` `sub-1-sin_binary64_30527` `sub-1-cos_binary64_30526` `-1-add-sin_binary64_30525` `-1-add-cos_binary64_30524` `1-sub-sin_binary64_30523` `1-sub-cos_binary64_30522` `cos-sin-sum_binary64_30521` `log-E_binary64_30517` `log-rec_binary64_30515` `pow-base-0_binary64_30511` `unpow1/3_binary64_30494` `unpow2_binary64_30492` `unpow1/2_binary64_30491` `pow-plus_binary64_30490` `exp-to-pow_binary64_30489` `unpow0_binary64_30486` `unpow-1_binary64_30484` `exp-lft-cube_binary64_30483` `exp-cbrt_binary64_30481` `rec-exp_binary64_30477` `e-exp-1_binary64_30472` `exp-0_binary64_30469` `rem-exp-log_binary64_30467` `rem-3cbrt-rft_binary64_30453` `rem-cbrt-cube_binary64_30451` `rem-cube-cbrt_binary64_30450` `sqr-abs_binary64_30442` `div-sub_binary64_30432` `mul-1-neg_binary64_30419` `/-rgt-identity_binary64_30418` `+-lft-identity_binary64_30411` `div0_binary64_30408` `+-inverses_binary64_30406` `lft-mult-inverse_binary64_30405` `rgt-mult-inverse_binary64_30404` `remove-double-div_binary64_30403` `difference-of-sqr--1_binary64_30398` `difference-of-sqr-1_binary64_30397` `distribute-frac-neg_binary64_30390` `distribute-rgt1-in_binary64_30383` `distribute-lft1-in_binary64_30382` `distribute-rgt-out--_binary64_30381` `distribute-lft-out--_binary64_30379` `associate--l-_binary64_30365`

Counts

151 → 424

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	148	2551
1	406	2500
2	1403	2497
3	3256	2484

prune964.0ms (6.2%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	424	0	424
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	424	9	433

Error

0.0b

Counts

433 → 9

Compiler

Compiled 12061 to 6387 computations (47% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (.f64 9 (.f64 (.f64 y z) t)) (.f64 a (*.f64 27 b)))
0.2b	(.f64 a (.f64 27 b))
0.2b	(.f64 9 (.f64 (*.f64 y z) t))
6.0b	(.f64 (.f64 y z) t)

rewrite124.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

23×	`pow1_binary64_30488` `add-exp-log_binary64_30465` `add-cbrt-cube_binary64_30463`
12×	`pow-prod-down_binary64_30498` `prod-exp_binary64_30476` `cbrt-unprod_binary64_30460`
7×	`add-cube-cbrt_binary64_30462` `add-sqr-sqrt_binary64_30449` `-un-lft-identity_binary64_30427` `associate-l*_binary64_30368`
6×	`add-log-exp_binary64_30466`
5×	`associate-r_binary64_30367`
3×	`*-commutative_binary64_30358`
1×	`diff-log_binary64_30519` `flip3--_binary64_30431` `sub-neg_binary64_30420` `flip--_binary64_30402` `cancel-sign-sub-inv_binary64_30393`

Counts

4 → 69

Calls

4 calls:

7.0ms	(-.f64 (.f64 9 (.f64 (.f64 y z) t)) (.f64 a (*.f64 27 b)))
7.0ms	(.f64 9 (.f64 (*.f64 y z) t))
6.0ms	(.f64 (.f64 y z) t)
5.0ms	(.f64 a (.f64 27 b))

Compiler

Compiled 1660 to 914 computations (44.9% saved)

series1.0s (6.6%)

Error

0.0b

Counts

4 → 54

Calls

4 calls:

549.0ms	(-.f64 (.f64 9 (.f64 (.f64 y z) t)) (.f64 a (*.f64 27 b)))
195.0ms	(.f64 9 (.f64 (*.f64 y z) t))
151.0ms	(.f64 (.f64 y z) t)
89.0ms	(.f64 a (.f64 27 b))

Compiler

Compiled 2291 to 1930 computations (15.8% saved)

simplify316.0ms (2%)

Algorithm

1×	egg-herbie

Rules

348×	`times-frac_binary64_30433`
277×	`distribute-rgt-neg-in_binary64_30385`
276×	`associate-l_binary64_30368`
263×	`distribute-lft-neg-in_binary64_30384`
249×	`associate-r_binary64_30367`
223×	`cancel-sign-sub-inv_binary64_30393`
221×	`neg-mul-1_binary64_30423`
218×	`distribute-lft-in_binary64_30376`
213×	`distribute-rgt-in_binary64_30377`
154×	`sqr-pow_binary64_30399`
127×	`exp-prod_binary64_30479`
91×	`neg-sub0_binary64_30422`
80×	`unswap-sqr_binary64_30395` `swap-sqr_binary64_30394`
73×	`log-prod_binary64_30513`
71×	`associate-+l+_binary64_30360` `*-commutative_binary64_30358`
69×	`associate-+r+_binary64_30359`
68×	`cube-prod_binary64_30455`
63×	`distribute-rgt-out_binary64_30380`
61×	`exp-sum_binary64_30473`
58×	`associate-/l*_binary64_30372`
50×	`pow-sqr_binary64_30400`
44×	`+-commutative_binary64_30357`
36×	`difference-of-squares_binary64_30396`
33×	`associate-/r*_binary64_30371`
32×	`sub-neg_binary64_30420` `distribute-lft-out_binary64_30378`
26×	`distribute-lft-neg-out_binary64_30386`
24×	`unsub-neg_binary64_30421`
21×	`unpow3_binary64_30493`
18×	`associate-/l/_binary64_30374`
17×	`associate-*r/_binary64_30369`
16×	`cube-mult_binary64_30457`
15×	`distribute-rgt-neg-out_binary64_30387`
13×	`exp-diff_binary64_30475` `associate-/r/_binary64_30373`
12×	`*-rgt-identity_binary64_30417`
9×	`cube-unmult_binary64_30464`
8×	`exp-to-pow_binary64_30489` `sqr-neg_binary64_30441` `*-lft-identity_binary64_30416` `mul0-rgt_binary64_30410` `mul0-lft_binary64_30409`
7×	`div-sub_binary64_30432` `associate-+r-_binary64_30361`
6×	`associate-+l-_binary64_30362`
3×	`sub0-neg_binary64_30414` `+-rgt-identity_binary64_30412`
2×	`div-exp_binary64_30478` `distribute-neg-in_binary64_30388` `associate--r+_binary64_30363`
1×	`log-pow_binary64_30516` `pow-plus_binary64_30490` `pow-base-1_binary64_30487` `unpow-1_binary64_30484` `prod-exp_binary64_30476` `1-exp_binary64_30471` `exp-1-e_binary64_30470` `rem-log-exp_binary64_30468` `cube-neg_binary64_30454` `/-rgt-identity_binary64_30418` `+-lft-identity_binary64_30411` `count-2_binary64_30375` `associate-*l/_binary64_30370`
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_30690` `erf-erfc_binary64_30689` `erf-odd_binary64_30688` `if-if-and-not_binary64_30687` `if-if-and_binary64_30686` `if-if-or-not_binary64_30685` `if-if-or_binary64_30684` `if-not_binary64_30683` `if-same_binary64_30682` `if-false_binary64_30681` `if-true_binary64_30680` `not-gte_binary64_30679` `not-lte_binary64_30678` `not-gt_binary64_30677` `not-lt_binary64_30676` `gte-same_binary64_30675` `lte-same_binary64_30674` `gt-same_binary64_30673` `lt-same_binary64_30672` `sinh---cosh_binary64_30619` `sinh-+-cosh_binary64_30618` `sinh-cosh_binary64_30617` `tanh-def-c_binary64_30616` `tanh-def-b_binary64_30615` `tanh-def-a_binary64_30614` `cosh-def_binary64_30613` `sinh-def_binary64_30612` `tan-neg_binary64_30559` `cos-neg_binary64_30558` `sin-neg_binary64_30557` `tan-0_binary64_30556` `cos-0_binary64_30555` `sin-0_binary64_30554` `hang-m-tan_binary64_30553` `hang-p-tan_binary64_30552` `hang-m0-tan_binary64_30551` `hang-p0-tan_binary64_30550` `hang-0m-tan_binary64_30549` `hang-0p-tan_binary64_30548` `tan-+PI/2_binary64_30547` `tan-+PI_binary64_30546` `tan-PI_binary64_30545` `tan-PI/3_binary64_30544` `tan-PI/4_binary64_30543` `tan-PI/6_binary64_30542` `cos-+PI/2_binary64_30541` `cos-+PI_binary64_30540` `cos-PI_binary64_30539` `cos-PI/2_binary64_30538` `cos-PI/3_binary64_30537` `cos-PI/4_binary64_30536` `cos-PI/6_binary64_30535` `sin-+PI/2_binary64_30534` `sin-+PI_binary64_30533` `sin-PI_binary64_30532` `sin-PI/2_binary64_30531` `sin-PI/3_binary64_30530` `sin-PI/4_binary64_30529` `sin-PI/6_binary64_30528` `sub-1-sin_binary64_30527` `sub-1-cos_binary64_30526` `-1-add-sin_binary64_30525` `-1-add-cos_binary64_30524` `1-sub-sin_binary64_30523` `1-sub-cos_binary64_30522` `cos-sin-sum_binary64_30521` `log-E_binary64_30517` `log-rec_binary64_30515` `log-div_binary64_30514` `pow-base-0_binary64_30511` `unpow1/3_binary64_30494` `unpow2_binary64_30492` `unpow1/2_binary64_30491` `unpow0_binary64_30486` `unpow1_binary64_30485` `exp-lft-cube_binary64_30483` `exp-lft-sqr_binary64_30482` `exp-cbrt_binary64_30481` `exp-sqrt_binary64_30480` `rec-exp_binary64_30477` `exp-neg_binary64_30474` `e-exp-1_binary64_30472` `exp-0_binary64_30469` `rem-exp-log_binary64_30467` `cube-div_binary64_30456` `rem-3cbrt-rft_binary64_30453` `rem-3cbrt-lft_binary64_30452` `rem-cbrt-cube_binary64_30451` `rem-cube-cbrt_binary64_30450` `sqr-abs_binary64_30442` `rem-sqrt-square_binary64_30440` `rem-square-sqrt_binary64_30439` `mul-1-neg_binary64_30419` `remove-double-neg_binary64_30415` `--rgt-identity_binary64_30413` `div0_binary64_30408` `*-inverses_binary64_30407` `+-inverses_binary64_30406` `lft-mult-inverse_binary64_30405` `rgt-mult-inverse_binary64_30404` `remove-double-div_binary64_30403` `difference-of-sqr--1_binary64_30398` `difference-of-sqr-1_binary64_30397` `cancel-sign-sub_binary64_30392` `distribute-neg-frac_binary64_30391` `distribute-frac-neg_binary64_30390` `distribute-neg-out_binary64_30389` `distribute-rgt1-in_binary64_30383` `distribute-lft1-in_binary64_30382` `distribute-rgt-out--_binary64_30381` `distribute-lft-out--_binary64_30379` `associate--r-_binary64_30366` `associate--l-_binary64_30365` `associate--l+_binary64_30364`

Counts

123 → 272

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	126	1598
1	321	1514
2	1239	1511
3	2127	1511
4	4295	1511

prune393.0ms (2.5%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	272	0	272
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	272	9	281

Error

0.0b

Counts

281 → 9

Compiler

Compiled 6670 to 3642 computations (45.4% saved)

regimes1.9s (12.3%)

Accuracy

Total 1.3b remaining (99.2%)

Threshold costs 0b (0%)

Compiler

Compiled 11764 to 12259 computations (-4.2% saved)

bsearch2.0ms (0%)

Compiler: Compiled 5 to 9 computations (-80% saved)

simplify58.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

173×	`neg-mul-1_binary64_30423` `neg-sub0_binary64_30422`
132×	`unsub-neg_binary64_30421`
97×	`distribute-rgt-neg-in_binary64_30385`
96×	`distribute-neg-out_binary64_30389`
93×	`distribute-rgt-neg-out_binary64_30387`
74×	`distribute-lft-neg-out_binary64_30386`
56×	`distribute-lft-neg-in_binary64_30384`
53×	`remove-double-neg_binary64_30415`
37×	`*-commutative_binary64_30358`
35×	`sub-neg_binary64_30420`
34×	`cancel-sign-sub-inv_binary64_30393`
29×	`+-commutative_binary64_30357`
21×	`distribute-neg-in_binary64_30388`
1×	`sqr-neg_binary64_30441` `--rgt-identity_binary64_30413`
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_30687` `if-if-and_binary64_30686` `if-if-or-not_binary64_30685` `if-if-or_binary64_30684` `if-not_binary64_30683` `if-same_binary64_30682` `if-false_binary64_30681` `if-true_binary64_30680` `tan-0_binary64_30556` `cos-0_binary64_30555` `sin-0_binary64_30554` `unpow1_binary64_30485` `e-exp-1_binary64_30472` `1-exp_binary64_30471` `exp-1-e_binary64_30470` `exp-0_binary64_30469` `sqr-abs_binary64_30442` `mul-1-neg_binary64_30419` `/-rgt-identity_binary64_30418` `-rgt-identity_binary64_30417` `-lft-identity_binary64_30416` `sub0-neg_binary64_30414` `+-rgt-identity_binary64_30412` `+-lft-identity_binary64_30411` `cancel-sign-sub_binary64_30392` `distribute-neg-frac_binary64_30391` `distribute-frac-neg_binary64_30390`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	99
1	66	99
2	95	99
3	155	99
4	229	99
5	282	99
6	358	99
7	645	99
8	518	99
9	528	99
10	530	99
11	535	99
12	540	99
13	543	99
14	544	99

Proof

(if real (<= f64 (* f64 (* f64 h0 9) h1) -20764764469643441305019127527399679504421145230761565859804653425941646269463589772458731063132732990843440514516974669778629320149153087408658985734783117349331527097154820443527491434235386214158504682116378332225723072231902010600587673001851893550415872) (+ f64 (- f64 (* f64 h2 2) (* f64 h0 (* f64 h3 (* f64 9 h1)))) (* f64 h4 (* f64 27 h5))) (if real (<= f64 (* f64 (* f64 h0 9) h1) 30974314158590182325944133873565696) (- f64 (* f64 h2 2) (- f64 (* f64 (* f64 9 h3) (* f64 h1 h0)) (* f64 h4 (* f64 27 h5)))) (=> (- f64 (* f64 h2 2) (- f64 (* f64 h1 (* f64 (* f64 h0 9) h3)) (* f64 h4 (* f64 27 h5)))))))
sub-neg_binary64_30420 =>
(if real (<= f64 (* f64 (* f64 h0 9) h1) -20764764469643441305019127527399679504421145230761565859804653425941646269463589772458731063132732990843440514516974669778629320149153087408658985734783117349331527097154820443527491434235386214158504682116378332225723072231902010600587673001851893550415872) (+ f64 (- f64 (* f64 h2 2) (* f64 h0 (* f64 h3 (* f64 9 h1)))) (* f64 h4 (* f64 27 h5))) (if real (<= f64 (* f64 (* f64 h0 9) h1) 30974314158590182325944133873565696) (- f64 (* f64 h2 2) (- f64 (* f64 (* f64 9 h3) (* f64 h1 h0)) (* f64 h4 (* f64 27 h5)))) (+ f64 (* f64 h2 2) (neg f64 (=> (- f64 (* f64 h1 (* f64 (* f64 h0 9) h3)) (* f64 h4 (* f64 27 h5))))))))
sub-neg_binary64_30420 =>
(if real (<= f64 (* f64 (* f64 h0 9) h1) -20764764469643441305019127527399679504421145230761565859804653425941646269463589772458731063132732990843440514516974669778629320149153087408658985734783117349331527097154820443527491434235386214158504682116378332225723072231902010600587673001851893550415872) (+ f64 (- f64 (* f64 h2 2) (* f64 h0 (* f64 h3 (* f64 9 h1)))) (* f64 h4 (* f64 27 h5))) (if real (<= f64 (* f64 (* f64 h0 9) h1) 30974314158590182325944133873565696) (- f64 (* f64 h2 2) (- f64 (* f64 (* f64 9 h3) (=> (* f64 h1 h0))) (* f64 h4 (* f64 27 h5)))) (+ f64 (* f64 h2 2) (neg f64 (+ f64 (* f64 h1 (* f64 (* f64 h0 9) h3)) (neg f64 (* f64 h4 (* f64 27 h5))))))))
*-commutative_binary64_30358 =>
(if real (<= f64 (* f64 (* f64 h0 9) h1) -20764764469643441305019127527399679504421145230761565859804653425941646269463589772458731063132732990843440514516974669778629320149153087408658985734783117349331527097154820443527491434235386214158504682116378332225723072231902010600587673001851893550415872) (+ f64 (- f64 (* f64 h2 2) (* f64 h0 (* f64 h3 (* f64 9 h1)))) (* f64 h4 (* f64 27 h5))) (if real (<= f64 (* f64 (* f64 h0 9) h1) 30974314158590182325944133873565696) (- f64 (* f64 h2 2) (- f64 (* f64 (* f64 9 h3) (* f64 h0 h1)) (* f64 h4 (* f64 27 h5)))) (+ f64 (* f64 h2 2) (neg f64 (=> (+ f64 (* f64 h1 (* f64 (* f64 h0 9) h3)) (neg f64 (* f64 h4 (* f64 27 h5)))))))))
+-commutative_binary64_30357 =>
(if real (<= f64 (* f64 (* f64 h0 9) h1) -20764764469643441305019127527399679504421145230761565859804653425941646269463589772458731063132732990843440514516974669778629320149153087408658985734783117349331527097154820443527491434235386214158504682116378332225723072231902010600587673001851893550415872) (+ f64 (- f64 (* f64 h2 2) (* f64 h0 (* f64 h3 (* f64 9 h1)))) (* f64 h4 (* f64 27 h5))) (if real (<= f64 (* f64 (* f64 h0 9) h1) 30974314158590182325944133873565696) (- f64 (* f64 h2 2) (- f64 (* f64 (* f64 9 h3) (* f64 h0 h1)) (* f64 h4 (* f64 27 h5)))) (+ f64 (* f64 h2 2) (=> (neg f64 (+ f64 (neg f64 (* f64 h4 (* f64 27 h5))) (* f64 h1 (* f64 (* f64 h0 9) h3))))))))
distribute-neg-in_binary64_30388 =>
(if real (<= f64 (* f64 (* f64 h0 9) h1) -20764764469643441305019127527399679504421145230761565859804653425941646269463589772458731063132732990843440514516974669778629320149153087408658985734783117349331527097154820443527491434235386214158504682116378332225723072231902010600587673001851893550415872) (+ f64 (- f64 (* f64 h2 2) (* f64 h0 (* f64 h3 (* f64 9 h1)))) (* f64 h4 (* f64 27 h5))) (if real (<= f64 (* f64 (* f64 h0 9) h1) 30974314158590182325944133873565696) (- f64 (* f64 h2 2) (- f64 (* f64 (* f64 9 h3) (* f64 h0 h1)) (* f64 h4 (* f64 27 h5)))) (+ f64 (* f64 h2 2) (+ f64 (=> (neg f64 (neg f64 (* f64 h4 (* f64 27 h5))))) (neg f64 (* f64 h1 (* f64 (* f64 h0 9) h3)))))))
remove-double-neg_binary64_30415 =>
(if real (<= f64 (* f64 (* f64 h0 9) h1) -20764764469643441305019127527399679504421145230761565859804653425941646269463589772458731063132732990843440514516974669778629320149153087408658985734783117349331527097154820443527491434235386214158504682116378332225723072231902010600587673001851893550415872) (+ f64 (- f64 (* f64 h2 2) (* f64 h0 (* f64 h3 (* f64 9 h1)))) (* f64 h4 (* f64 27 h5))) (if real (<= f64 (* f64 (* f64 h0 9) h1) 30974314158590182325944133873565696) (- f64 (* f64 h2 2) (- f64 (* f64 (* f64 9 h3) (* f64 h0 h1)) (* f64 h4 (* f64 27 h5)))) (+ f64 (* f64 h2 2) (=> (+ f64 (* f64 h4 (* f64 27 h5)) (neg f64 (* f64 h1 (* f64 (* f64 h0 9) h3))))))))
unsub-neg_binary64_30421 =>
(if real (<= f64 (* f64 (* f64 h0 9) h1) -20764764469643441305019127527399679504421145230761565859804653425941646269463589772458731063132732990843440514516974669778629320149153087408658985734783117349331527097154820443527491434235386214158504682116378332225723072231902010600587673001851893550415872) (+ f64 (- f64 (* f64 h2 2) (* f64 h0 (* f64 h3 (* f64 9 h1)))) (* f64 h4 (* f64 27 h5))) (if real (<= f64 (* f64 (* f64 h0 9) h1) 30974314158590182325944133873565696) (- f64 (* f64 h2 2) (- f64 (* f64 (* f64 9 h3) (* f64 h0 h1)) (* f64 h4 (* f64 27 h5)))) (+ f64 (* f64 h2 2) (- f64 (* f64 h4 (* f64 27 h5)) (* f64 h1 (* f64 (* f64 h0 9) h3))))))

end0.0ms (0%)

sample1.9s (12.5%)

Algorithm

1×

intervals

Results

423.0ms	8000×	body	128	valid
155.0ms	3061×	body	128	invalid

Compiler

Compiled 886 to 883 computations (0.3% saved)

Iter	Nodes	Cost
0	36	99
1	66	99
2	95	99
3	155	99
4	229	99
5	282	99
6	358	99
7	645	99
8	518	99
9	528	99
10	530	99
11	535	99
12	540	99
13	543	99
14	544	99

Iter	Nodes	Cost
0	36	99
1	66	99
2	95	99
3	155	99
4	229	99
5	282	99
6	358	99
7	645	99
8	518	99
9	528	99
10	530	99
11	535	99
12	540	99
13	543	99
14	544	99

Details

analyze1.5s (9.6%)

sample45.0ms (0.3%)

simplify434.0ms (2.8%)

prune28.0ms (0.2%)

localize14.0ms (0.1%)

rewrite134.0ms (0.9%)

series1.0s (6.5%)

simplify251.0ms (1.6%)

prune627.0ms (4%)

localize15.0ms (0.1%)

rewrite140.0ms (0.9%)

series982.0ms (6.3%)

simplify315.0ms (2%)

prune968.0ms (6.2%)

localize19.0ms (0.1%)

rewrite139.0ms (0.9%)

series1.7s (11%)

simplify436.0ms (2.8%)

prune964.0ms (6.2%)

localize14.0ms (0.1%)

rewrite124.0ms (0.8%)

series1.0s (6.6%)

simplify316.0ms (2%)

prune393.0ms (2.5%)

regimes1.9s (12.3%)

bsearch2.0ms (0%)

simplify58.0ms (0.4%)

end0.0ms (0%)

sample1.9s (12.5%)

Profiling

Iter	Nodes	Cost
0	36	99
1	66	99
2	95	99
3	155	99
4	229	99
5	282	99
6	358	99
7	645	99
8	518	99
9	528	99
10	530	99
11	535	99
12	540	99
13	543	99
14	544	99