Details

analyze375.0ms (8.3%)

Algorithm

1×

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
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
18.7%	81.1%	0.1%	8
40.6%	56.9%	2.5%	9
46%	49.5%	4.4%	10
50.3%	44.9%	4.8%	11
60.3%	30.5%	9.2%	12
62.9%	25.7%	11.4%	13
65.2%	23.2%	11.7%	14

Compiler

Compiled 14 to 13 computations (7.1% saved)

sample22.0ms (0.5%)

Algorithm

1×

intervals

Results

9.0ms	256×	body	128	valid
1.0ms	38×	body	128	invalid

Compiler

Compiled 27 to 28 computations (-3.7% saved)

simplify1.3s (28.6%)

Algorithm

1×	egg-herbie

Rules

970×	`exp-prod_binary64_15134`
402×	`cancel-sign-sub-inv_binary64_15048`
345×	`associate-/l*_binary64_15027`
325×	`distribute-rgt-out_binary64_15035`
303×	`associate-r_binary64_15022`
295×	`associate-l_binary64_15023`
249×	`div-sub_binary64_15087`
243×	`distribute-rgt-out--_binary64_15036`
228×	`distribute-lft-out_binary64_15033`
207×	`distribute-lft-out--_binary64_15034`
170×	`distribute-rgt-in_binary64_15032`
156×	`associate-/l/_binary64_15029`
123×	`sub-neg_binary64_15075`
96×	`distribute-lft-in_binary64_15031`
87×	`distribute-neg-in_binary64_15043`
74×	`associate-*l/_binary64_15025`
72×	`associate--r+_binary64_15018`
71×	`distribute-rgt-neg-in_binary64_15040`
69×	`unsub-neg_binary64_15076`
62×	`times-frac_binary64_15088` `associate-/r*_binary64_15026`
61×	`associate-+l-_binary64_15017`
60×	`associate-*r/_binary64_15024`
59×	`associate-+l+_binary64_15015`
54×	`neg-mul-1_binary64_15078`
52×	`*-commutative_binary64_15013`
50×	`neg-sub0_binary64_15077`
46×	`distribute-lft-neg-in_binary64_15039` `associate-+r+_binary64_15014`
44×	`associate--l+_binary64_15019`
41×	`associate-/r/_binary64_15028`
38×	`distribute-lft-neg-out_binary64_15041` `+-commutative_binary64_15012`
32×	`distribute-neg-frac_binary64_15046`
26×	`associate-+r-_binary64_15016`
25×	`distribute-rgt-neg-out_binary64_15042`
18×	`associate--r-_binary64_15021`
15×	`pow-plus_binary64_15145` `distribute-rgt1-in_binary64_15038`
14×	`exp-sum_binary64_15128`
12×	`distribute-frac-neg_binary64_15045` `associate--l-_binary64_15020`
11×	`sub0-neg_binary64_15069`
9×	`+-rgt-identity_binary64_15067`
7×	`cube-unmult_binary64_15119`
5×	`remove-double-neg_binary64_15070` `--rgt-identity_binary64_15068` `sqr-pow_binary64_15054`
4×	`distribute-lft1-in_binary64_15037` `count-2_binary64_15030`
3×	`exp-lft-sqr_binary64_15137` `cube-div_binary64_15111` `cube-prod_binary64_15110` `/-rgt-identity_binary64_15073` `+-lft-identity_binary64_15066` `mul0-lft_binary64_15064` `div0_binary64_15063`
2×	`pow-base-1_binary64_15142` `mul0-rgt_binary64_15065` `pow-sqr_binary64_15055`
1×	`exp-diff_binary64_15130` `1-exp_binary64_15126` `mul-1-neg_binary64_15074` `-rgt-identity_binary64_15072` `-inverses_binary64_15062`
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_15345` `erf-erfc_binary64_15344` `erf-odd_binary64_15343` `if-if-and-not_binary64_15342` `if-if-and_binary64_15341` `if-if-or-not_binary64_15340` `if-if-or_binary64_15339` `if-not_binary64_15338` `if-same_binary64_15337` `if-false_binary64_15336` `if-true_binary64_15335` `not-gte_binary64_15334` `not-lte_binary64_15333` `not-gt_binary64_15332` `not-lt_binary64_15331` `gte-same_binary64_15330` `lte-same_binary64_15329` `gt-same_binary64_15328` `lt-same_binary64_15327` `sinh---cosh_binary64_15274` `sinh-+-cosh_binary64_15273` `sinh-cosh_binary64_15272` `tanh-def-c_binary64_15271` `tanh-def-b_binary64_15270` `tanh-def-a_binary64_15269` `cosh-def_binary64_15268` `sinh-def_binary64_15267` `tan-neg_binary64_15214` `cos-neg_binary64_15213` `sin-neg_binary64_15212` `tan-0_binary64_15211` `cos-0_binary64_15210` `sin-0_binary64_15209` `hang-m-tan_binary64_15208` `hang-p-tan_binary64_15207` `hang-m0-tan_binary64_15206` `hang-p0-tan_binary64_15205` `hang-0m-tan_binary64_15204` `hang-0p-tan_binary64_15203` `tan-+PI/2_binary64_15202` `tan-+PI_binary64_15201` `tan-PI_binary64_15200` `tan-PI/3_binary64_15199` `tan-PI/4_binary64_15198` `tan-PI/6_binary64_15197` `cos-+PI/2_binary64_15196` `cos-+PI_binary64_15195` `cos-PI_binary64_15194` `cos-PI/2_binary64_15193` `cos-PI/3_binary64_15192` `cos-PI/4_binary64_15191` `cos-PI/6_binary64_15190` `sin-+PI/2_binary64_15189` `sin-+PI_binary64_15188` `sin-PI_binary64_15187` `sin-PI/2_binary64_15186` `sin-PI/3_binary64_15185` `sin-PI/4_binary64_15184` `sin-PI/6_binary64_15183` `sub-1-sin_binary64_15182` `sub-1-cos_binary64_15181` `-1-add-sin_binary64_15180` `-1-add-cos_binary64_15179` `1-sub-sin_binary64_15178` `1-sub-cos_binary64_15177` `cos-sin-sum_binary64_15176` `log-E_binary64_15172` `log-pow_binary64_15171` `log-rec_binary64_15170` `log-div_binary64_15169` `log-prod_binary64_15168` `pow-base-0_binary64_15166` `unpow1/3_binary64_15149` `unpow3_binary64_15148` `unpow2_binary64_15147` `unpow1/2_binary64_15146` `exp-to-pow_binary64_15144` `unpow0_binary64_15141` `unpow1_binary64_15140` `unpow-1_binary64_15139` `exp-lft-cube_binary64_15138` `exp-cbrt_binary64_15136` `exp-sqrt_binary64_15135` `div-exp_binary64_15133` `rec-exp_binary64_15132` `prod-exp_binary64_15131` `exp-neg_binary64_15129` `e-exp-1_binary64_15127` `exp-1-e_binary64_15125` `exp-0_binary64_15124` `rem-log-exp_binary64_15123` `rem-exp-log_binary64_15122` `cube-mult_binary64_15112` `cube-neg_binary64_15109` `rem-3cbrt-rft_binary64_15108` `rem-3cbrt-lft_binary64_15107` `rem-cbrt-cube_binary64_15106` `rem-cube-cbrt_binary64_15105` `sqr-abs_binary64_15097` `sqr-neg_binary64_15096` `rem-sqrt-square_binary64_15095` `rem-square-sqrt_binary64_15094` `*-lft-identity_binary64_15071` `+-inverses_binary64_15061` `lft-mult-inverse_binary64_15060` `rgt-mult-inverse_binary64_15059` `remove-double-div_binary64_15058` `difference-of-sqr--1_binary64_15053` `difference-of-sqr-1_binary64_15052` `difference-of-squares_binary64_15051` `unswap-sqr_binary64_15050` `swap-sqr_binary64_15049` `cancel-sign-sub_binary64_15047` `distribute-neg-out_binary64_15044`

Counts

1 → 4

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	13	19
1	25	19
2	51	19
3	116	19
4	236	19
5	413	19
6	902	16
7	3604	16

prune10.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	2	2	4
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	3	2	5

Error

0.0b

Counts

5 → 2

Compiler

Compiled 74 to 61 computations (17.6% saved)

localize13.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 1 (*.f64 4 (+.f64 1/4 (/.f64 (-.f64 x z) y))))
0.0b	(/.f64 (-.f64 x z) y)

rewrite77.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

20×	`add-sqr-sqrt_binary64_15104` `*-un-lft-identity_binary64_15082`
15×	`times-frac_binary64_15088`
12×	`add-cube-cbrt_binary64_15117`
5×	`associate-/l*_binary64_15027`
4×	`add-exp-log_binary64_15120` `add-log-exp_binary64_15121` `add-cbrt-cube_binary64_15118` `difference-of-squares_binary64_15051` `distribute-lft-out--_binary64_15034`
3×	`associate-/r*_binary64_15026`
2×	`pow1_binary64_15143` `associate-/l/_binary64_15029` `associate-+r+_binary64_15014`
1×	`div-exp_binary64_15133` `cbrt-undiv_binary64_15116` `frac-2neg_binary64_15093` `div-sub_binary64_15087` `clear-num_binary64_15081` `div-inv_binary64_15079` `flip3--_binary64_15086` `flip--_binary64_15057` `sum-log_binary64_15173` `flip3-+_binary64_15085` `flip-+_binary64_15056` `distribute-rgt-in_binary64_15032` `distribute-lft-in_binary64_15031` `+-commutative_binary64_15012`

Counts

2 → 51

Calls

2 calls:

7.0ms	(/.f64 (-.f64 x z) y)
3.0ms	(+.f64 1 (*.f64 4 (+.f64 1/4 (/.f64 (-.f64 x z) y))))

Compiler

Compiled 992 to 537 computations (45.9% saved)

series538.0ms (11.9%)

Error

Counts

2 → 33

Calls

2 calls:

325.0ms	(+.f64 1 (*.f64 4 (+.f64 1/4 (/.f64 (-.f64 x z) y))))
185.0ms	(/.f64 (-.f64 x z) y)

Compiler

Compiled 900 to 748 computations (16.9% saved)

simplify278.0ms (6.1%)

Algorithm

1×	egg-herbie

Rules

384×	`distribute-rgt-in_binary64_15032`
369×	`distribute-lft-in_binary64_15031`
280×	`associate-l_binary64_15023`
262×	`div-sub_binary64_15087`
228×	`distribute-rgt-out_binary64_15035`
219×	`distribute-rgt-neg-out_binary64_15042` `associate-r_binary64_15022`
211×	`cancel-sign-sub-inv_binary64_15048`
190×	`distribute-lft-neg-out_binary64_15041`
147×	`distribute-neg-in_binary64_15043`
142×	`sub-neg_binary64_15075`
134×	`associate-*l/_binary64_15025`
98×	`distribute-rgt-out--_binary64_15036`
84×	`*-commutative_binary64_15013`
83×	`associate-/l*_binary64_15027`
81×	`associate-*r/_binary64_15024`
76×	`times-frac_binary64_15088`
71×	`distribute-rgt-neg-in_binary64_15040`
69×	`exp-prod_binary64_15134` `unsub-neg_binary64_15076`
66×	`distribute-lft-neg-in_binary64_15039`
65×	`distribute-frac-neg_binary64_15045`
64×	`neg-sub0_binary64_15077`
63×	`associate-+l+_binary64_15015`
62×	`sqr-pow_binary64_15054`
61×	`distribute-neg-frac_binary64_15046`
55×	`associate-/l/_binary64_15029`
54×	`exp-sum_binary64_15128`
52×	`associate-/r*_binary64_15026`
51×	`neg-mul-1_binary64_15078`
48×	`associate-+r+_binary64_15014`
44×	`unswap-sqr_binary64_15050`
40×	`+-commutative_binary64_15012`
36×	`pow-sqr_binary64_15055` `associate-/r/_binary64_15028`
31×	`*-lft-identity_binary64_15071`
29×	`associate--r+_binary64_15018`
26×	`cube-prod_binary64_15110` `swap-sqr_binary64_15049`
25×	`*-rgt-identity_binary64_15072` `distribute-rgt1-in_binary64_15038`
22×	`associate--l+_binary64_15019`
21×	`log-prod_binary64_15168` `exp-diff_binary64_15130`
20×	`associate-+r-_binary64_15016`
19×	`prod-exp_binary64_15131`
17×	`associate-+l-_binary64_15017`
16×	`div-exp_binary64_15133` `distribute-lft1-in_binary64_15037`
15×	`pow-plus_binary64_15145` `/-rgt-identity_binary64_15073`
14×	`log-pow_binary64_15171`
13×	`cube-div_binary64_15111` `+-rgt-identity_binary64_15067` `distribute-neg-out_binary64_15044`
9×	`log-div_binary64_15169`
8×	`sub0-neg_binary64_15069`
7×	`mul-1-neg_binary64_15074` `associate--r-_binary64_15021`
6×	`pow-base-1_binary64_15142` `distribute-lft-out--_binary64_15034`
5×	`cube-unmult_binary64_15119` `sqr-neg_binary64_15096` `remove-double-neg_binary64_15070`
4×	`unpow3_binary64_15148` `rec-exp_binary64_15132` `cube-mult_binary64_15112` `distribute-lft-out_binary64_15033`
2×	`log-rec_binary64_15170` `cube-neg_binary64_15109` `associate--l-_binary64_15020`
1×	`1-exp_binary64_15126` `exp-1-e_binary64_15125` `rem-log-exp_binary64_15123` `--rgt-identity_binary64_15068` `mul0-lft_binary64_15064` `div0_binary64_15063` `difference-of-sqr-1_binary64_15052` `difference-of-squares_binary64_15051` `count-2_binary64_15030`
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_15345` `erf-erfc_binary64_15344` `erf-odd_binary64_15343` `if-if-and-not_binary64_15342` `if-if-and_binary64_15341` `if-if-or-not_binary64_15340` `if-if-or_binary64_15339` `if-not_binary64_15338` `if-same_binary64_15337` `if-false_binary64_15336` `if-true_binary64_15335` `not-gte_binary64_15334` `not-lte_binary64_15333` `not-gt_binary64_15332` `not-lt_binary64_15331` `gte-same_binary64_15330` `lte-same_binary64_15329` `gt-same_binary64_15328` `lt-same_binary64_15327` `sinh---cosh_binary64_15274` `sinh-+-cosh_binary64_15273` `sinh-cosh_binary64_15272` `tanh-def-c_binary64_15271` `tanh-def-b_binary64_15270` `tanh-def-a_binary64_15269` `cosh-def_binary64_15268` `sinh-def_binary64_15267` `tan-neg_binary64_15214` `cos-neg_binary64_15213` `sin-neg_binary64_15212` `tan-0_binary64_15211` `cos-0_binary64_15210` `sin-0_binary64_15209` `hang-m-tan_binary64_15208` `hang-p-tan_binary64_15207` `hang-m0-tan_binary64_15206` `hang-p0-tan_binary64_15205` `hang-0m-tan_binary64_15204` `hang-0p-tan_binary64_15203` `tan-+PI/2_binary64_15202` `tan-+PI_binary64_15201` `tan-PI_binary64_15200` `tan-PI/3_binary64_15199` `tan-PI/4_binary64_15198` `tan-PI/6_binary64_15197` `cos-+PI/2_binary64_15196` `cos-+PI_binary64_15195` `cos-PI_binary64_15194` `cos-PI/2_binary64_15193` `cos-PI/3_binary64_15192` `cos-PI/4_binary64_15191` `cos-PI/6_binary64_15190` `sin-+PI/2_binary64_15189` `sin-+PI_binary64_15188` `sin-PI_binary64_15187` `sin-PI/2_binary64_15186` `sin-PI/3_binary64_15185` `sin-PI/4_binary64_15184` `sin-PI/6_binary64_15183` `sub-1-sin_binary64_15182` `sub-1-cos_binary64_15181` `-1-add-sin_binary64_15180` `-1-add-cos_binary64_15179` `1-sub-sin_binary64_15178` `1-sub-cos_binary64_15177` `cos-sin-sum_binary64_15176` `log-E_binary64_15172` `pow-base-0_binary64_15166` `unpow1/3_binary64_15149` `unpow2_binary64_15147` `unpow1/2_binary64_15146` `exp-to-pow_binary64_15144` `unpow0_binary64_15141` `unpow1_binary64_15140` `unpow-1_binary64_15139` `exp-lft-cube_binary64_15138` `exp-lft-sqr_binary64_15137` `exp-cbrt_binary64_15136` `exp-sqrt_binary64_15135` `exp-neg_binary64_15129` `e-exp-1_binary64_15127` `exp-0_binary64_15124` `rem-exp-log_binary64_15122` `rem-3cbrt-rft_binary64_15108` `rem-3cbrt-lft_binary64_15107` `rem-cbrt-cube_binary64_15106` `rem-cube-cbrt_binary64_15105` `sqr-abs_binary64_15097` `rem-sqrt-square_binary64_15095` `rem-square-sqrt_binary64_15094` `+-lft-identity_binary64_15066` `mul0-rgt_binary64_15065` `*-inverses_binary64_15062` `+-inverses_binary64_15061` `lft-mult-inverse_binary64_15060` `rgt-mult-inverse_binary64_15059` `remove-double-div_binary64_15058` `difference-of-sqr--1_binary64_15053` `cancel-sign-sub_binary64_15047`

Counts

84 → 116

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	123	1141
1	306	1076
2	826	1076
3	3047	1076

prune119.0ms (2.6%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	115	1	116
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	117	1	118

Error

Counts

118 → 1

Compiler

Compiled 1877 to 1028 computations (45.2% saved)

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(/.f64 (*.f64 4 (-.f64 x z)) y)

rewrite30.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

6×	`add-exp-log_binary64_15120` `add-cbrt-cube_binary64_15118`
3×	`add-cube-cbrt_binary64_15117` `add-sqr-sqrt_binary64_15104` `times-frac_binary64_15088` `-un-lft-identity_binary64_15082` `associate-/r_binary64_15026`
2×	`div-exp_binary64_15133` `cbrt-undiv_binary64_15116` `associate-*r/_binary64_15024` `associate-/l/_binary64_15029`
1×	`pow1_binary64_15143` `prod-exp_binary64_15131` `add-log-exp_binary64_15121` `cbrt-unprod_binary64_15115` `frac-2neg_binary64_15093` `clear-num_binary64_15081` `div-inv_binary64_15079` `flip3--_binary64_15086` `flip--_binary64_15057` `associate-/l*_binary64_15027`

Counts

1 → 23

Calls

1 calls:

8.0ms

(/.f64 (*.f64 4 (-.f64 x z)) y)

Compiler

Compiled 358 to 206 computations (42.5% saved)

series248.0ms (5.5%)

Error

Counts

1 → 15

Calls

1 calls:

238.0ms

(/.f64 (*.f64 4 (-.f64 x z)) y)

Compiler

Compiled 417 to 353 computations (15.3% saved)

simplify162.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

500×	`div-sub_binary64_15087`
405×	`associate-/l*_binary64_15027`
318×	`associate-l_binary64_15023`
316×	`times-frac_binary64_15088`
291×	`distribute-rgt-neg-out_binary64_15042`
266×	`associate-*l/_binary64_15025`
244×	`associate-r_binary64_15022`
220×	`distribute-rgt-in_binary64_15032`
216×	`distribute-lft-in_binary64_15031`
179×	`associate-*r/_binary64_15024`
162×	`associate-/l/_binary64_15029`
106×	`distribute-frac-neg_binary64_15045`
95×	`associate-/r*_binary64_15026`
89×	`associate-/r/_binary64_15028`
77×	`sub-neg_binary64_15075`
75×	`cancel-sign-sub-inv_binary64_15048`
73×	`*-commutative_binary64_15013`
56×	`neg-sub0_binary64_15077`
53×	`distribute-neg-frac_binary64_15046`
50×	`swap-sqr_binary64_15049`
42×	`neg-mul-1_binary64_15078`
41×	`log-prod_binary64_15168`
38×	`cube-prod_binary64_15110`
33×	`unsub-neg_binary64_15076`
31×	`log-div_binary64_15169` `sqr-pow_binary64_15054`
28×	`cube-div_binary64_15111`
27×	`exp-prod_binary64_15134`
25×	`distribute-neg-in_binary64_15043`
19×	`*-rgt-identity_binary64_15072` `distribute-lft-neg-out_binary64_15041` `+-commutative_binary64_15012`
16×	`distribute-rgt-neg-in_binary64_15040`
15×	`exp-sum_binary64_15128`
12×	`distribute-lft-neg-in_binary64_15039`
11×	`*-lft-identity_binary64_15071` `associate-+r-_binary64_15016` `associate-+r+_binary64_15014`
10×	`exp-diff_binary64_15130`
9×	`unswap-sqr_binary64_15050`
8×	`/-rgt-identity_binary64_15073` `associate--l-_binary64_15020` `associate-+l-_binary64_15017`
7×	`unpow3_binary64_15148` `+-rgt-identity_binary64_15067` `pow-sqr_binary64_15055` `associate-+l+_binary64_15015`
6×	`cube-unmult_binary64_15119` `remove-double-neg_binary64_15070`
5×	`sqr-neg_binary64_15096`
4×	`mul-1-neg_binary64_15074` `distribute-rgt-out_binary64_15035`
3×	`sub0-neg_binary64_15069` `distribute-lft-out--_binary64_15034` `associate--l+_binary64_15019`
2×	`log-rec_binary64_15170` `cube-mult_binary64_15112` `cube-neg_binary64_15109` `--rgt-identity_binary64_15068` `div0_binary64_15063` `associate--r-_binary64_15021` `associate--r+_binary64_15018`
1×	`prod-exp_binary64_15131` `1-exp_binary64_15126` `rem-log-exp_binary64_15123` `mul0-rgt_binary64_15065` `mul0-lft_binary64_15064` `distribute-rgt-out--_binary64_15036`
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_15345` `erf-erfc_binary64_15344` `erf-odd_binary64_15343` `if-if-and-not_binary64_15342` `if-if-and_binary64_15341` `if-if-or-not_binary64_15340` `if-if-or_binary64_15339` `if-not_binary64_15338` `if-same_binary64_15337` `if-false_binary64_15336` `if-true_binary64_15335` `not-gte_binary64_15334` `not-lte_binary64_15333` `not-gt_binary64_15332` `not-lt_binary64_15331` `gte-same_binary64_15330` `lte-same_binary64_15329` `gt-same_binary64_15328` `lt-same_binary64_15327` `sinh---cosh_binary64_15274` `sinh-+-cosh_binary64_15273` `sinh-cosh_binary64_15272` `tanh-def-c_binary64_15271` `tanh-def-b_binary64_15270` `tanh-def-a_binary64_15269` `cosh-def_binary64_15268` `sinh-def_binary64_15267` `tan-neg_binary64_15214` `cos-neg_binary64_15213` `sin-neg_binary64_15212` `tan-0_binary64_15211` `cos-0_binary64_15210` `sin-0_binary64_15209` `hang-m-tan_binary64_15208` `hang-p-tan_binary64_15207` `hang-m0-tan_binary64_15206` `hang-p0-tan_binary64_15205` `hang-0m-tan_binary64_15204` `hang-0p-tan_binary64_15203` `tan-+PI/2_binary64_15202` `tan-+PI_binary64_15201` `tan-PI_binary64_15200` `tan-PI/3_binary64_15199` `tan-PI/4_binary64_15198` `tan-PI/6_binary64_15197` `cos-+PI/2_binary64_15196` `cos-+PI_binary64_15195` `cos-PI_binary64_15194` `cos-PI/2_binary64_15193` `cos-PI/3_binary64_15192` `cos-PI/4_binary64_15191` `cos-PI/6_binary64_15190` `sin-+PI/2_binary64_15189` `sin-+PI_binary64_15188` `sin-PI_binary64_15187` `sin-PI/2_binary64_15186` `sin-PI/3_binary64_15185` `sin-PI/4_binary64_15184` `sin-PI/6_binary64_15183` `sub-1-sin_binary64_15182` `sub-1-cos_binary64_15181` `-1-add-sin_binary64_15180` `-1-add-cos_binary64_15179` `1-sub-sin_binary64_15178` `1-sub-cos_binary64_15177` `cos-sin-sum_binary64_15176` `log-E_binary64_15172` `log-pow_binary64_15171` `pow-base-0_binary64_15166` `unpow1/3_binary64_15149` `unpow2_binary64_15147` `unpow1/2_binary64_15146` `pow-plus_binary64_15145` `exp-to-pow_binary64_15144` `pow-base-1_binary64_15142` `unpow0_binary64_15141` `unpow1_binary64_15140` `unpow-1_binary64_15139` `exp-lft-cube_binary64_15138` `exp-lft-sqr_binary64_15137` `exp-cbrt_binary64_15136` `exp-sqrt_binary64_15135` `div-exp_binary64_15133` `rec-exp_binary64_15132` `exp-neg_binary64_15129` `e-exp-1_binary64_15127` `exp-1-e_binary64_15125` `exp-0_binary64_15124` `rem-exp-log_binary64_15122` `rem-3cbrt-rft_binary64_15108` `rem-3cbrt-lft_binary64_15107` `rem-cbrt-cube_binary64_15106` `rem-cube-cbrt_binary64_15105` `sqr-abs_binary64_15097` `rem-sqrt-square_binary64_15095` `rem-square-sqrt_binary64_15094` `+-lft-identity_binary64_15066` `*-inverses_binary64_15062` `+-inverses_binary64_15061` `lft-mult-inverse_binary64_15060` `rgt-mult-inverse_binary64_15059` `remove-double-div_binary64_15058` `difference-of-sqr--1_binary64_15053` `difference-of-sqr-1_binary64_15052` `difference-of-squares_binary64_15051` `cancel-sign-sub_binary64_15047` `distribute-neg-out_binary64_15044` `distribute-rgt1-in_binary64_15038` `distribute-lft1-in_binary64_15037` `distribute-lft-out_binary64_15033` `count-2_binary64_15030`

Counts

38 → 81

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	75	479
1	198	414
2	701	414
3	3306	414

prune66.0ms (1.5%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	81	0	81
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	81	1	82

Error

Counts

82 → 1

Compiler

Compiled 1100 to 573 computations (47.9% saved)

regimes400.0ms (8.8%)

Accuracy

Total 0.1b remaining (99.2%)

Threshold costs 0.1b (99.2%)

Compiler

Compiled 1075 to 1078 computations (-0.3% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64_15012`
2×	`sub-neg_binary64_15075` `*-commutative_binary64_15013`
1×	`neg-mul-1_binary64_15078` `neg-sub0_binary64_15077`
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_15342` `if-if-and_binary64_15341` `if-if-or-not_binary64_15340` `if-if-or_binary64_15339` `if-not_binary64_15338` `if-same_binary64_15337` `if-false_binary64_15336` `if-true_binary64_15335` `tan-0_binary64_15211` `cos-0_binary64_15210` `sin-0_binary64_15209` `unpow1_binary64_15140` `e-exp-1_binary64_15127` `1-exp_binary64_15126` `exp-1-e_binary64_15125` `exp-0_binary64_15124` `sqr-abs_binary64_15097` `sqr-neg_binary64_15096` `unsub-neg_binary64_15076` `mul-1-neg_binary64_15074` `/-rgt-identity_binary64_15073` `-rgt-identity_binary64_15072` `-lft-identity_binary64_15071` `remove-double-neg_binary64_15070` `sub0-neg_binary64_15069` `--rgt-identity_binary64_15068` `+-rgt-identity_binary64_15067` `+-lft-identity_binary64_15066` `cancel-sign-sub-inv_binary64_15048` `cancel-sign-sub_binary64_15047` `distribute-neg-frac_binary64_15046` `distribute-frac-neg_binary64_15045` `distribute-neg-out_binary64_15044` `distribute-neg-in_binary64_15043` `distribute-rgt-neg-out_binary64_15042` `distribute-lft-neg-out_binary64_15041` `distribute-rgt-neg-in_binary64_15040` `distribute-lft-neg-in_binary64_15039`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	13
1	14	13
2	19	13
3	21	13
4	22	13

Proof

(+ f64 2 (/ f64 (* f64 4 (- f64 h0 h1)) h2))

end0.0ms (0%)

sample887.0ms (19.6%)

Algorithm

1×

intervals

Results

305.0ms	8000×	body	128	valid
33.0ms	938×	body	128	invalid

Compiler

Compiled 212 to 213 computations (-0.5% saved)

Details

analyze375.0ms (8.3%)

sample22.0ms (0.5%)

simplify1.3s (28.6%)

prune10.0ms (0.2%)

localize13.0ms (0.3%)

rewrite77.0ms (1.7%)

series538.0ms (11.9%)

simplify278.0ms (6.1%)

prune119.0ms (2.6%)

localize7.0ms (0.1%)

rewrite30.0ms (0.7%)

series248.0ms (5.5%)

simplify162.0ms (3.6%)

prune66.0ms (1.5%)

regimes400.0ms (8.8%)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample887.0ms (19.6%)

Profiling