Details

analyze884.0ms (6.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
2.3%	97.4%	0.2%	9
4.7%	95.1%	0.2%	10
12.7%	87.1%	0.2%	11
15.9%	83.9%	0.2%	12
24.9%	74.9%	0.2%	13
33.3%	66.5%	0.2%	14

Compiler

Compiled 12 to 11 computations (8.3% saved)

sample24.0ms (0.2%)

Algorithm

1×

intervals

Results

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

Compiler

Compiled 23 to 26 computations (-13% saved)

simplify779.0ms (5.8%)

Algorithm

1×	egg-herbie

Rules

801×	`exp-prod_binary64_11383`
772×	`div-sub_binary64_11336`
309×	`associate-/r/_binary64_11277`
264×	`associate-r_binary64_11271`
257×	`cancel-sign-sub-inv_binary64_11297`
244×	`associate-/r*_binary64_11275`
226×	`distribute-rgt-out_binary64_11284`
185×	`associate-*l/_binary64_11274`
182×	`distribute-rgt-out--_binary64_11285`
177×	`associate-*r/_binary64_11273`
170×	`associate-l_binary64_11272`
137×	`distribute-rgt-in_binary64_11281`
120×	`distribute-lft-out_binary64_11282`
106×	`distribute-lft-out--_binary64_11283`
104×	`distribute-lft-in_binary64_11280`
99×	`sub-neg_binary64_11324`
59×	`*-commutative_binary64_11262`
55×	`distribute-frac-neg_binary64_11294`
47×	`associate-/l*_binary64_11276`
42×	`neg-mul-1_binary64_11327`
40×	`unsub-neg_binary64_11325`
36×	`neg-sub0_binary64_11326`
33×	`distribute-neg-in_binary64_11292`
30×	`times-frac_binary64_11337` `associate--r+_binary64_11267` `+-commutative_binary64_11261`
29×	`distribute-neg-frac_binary64_11295`
27×	`distribute-rgt-neg-out_binary64_11291` `distribute-rgt-neg-in_binary64_11289` `distribute-lft-neg-in_binary64_11288`
25×	`distribute-lft-neg-out_binary64_11290`
23×	`associate-/l/_binary64_11278` `associate-+l-_binary64_11266`
20×	`associate-+r-_binary64_11265` `associate-+l+_binary64_11264`
16×	`associate-+r+_binary64_11263`
13×	`distribute-rgt1-in_binary64_11287`
10×	`sub0-neg_binary64_11318`
9×	`div0_binary64_11312`
8×	`associate--r-_binary64_11270`
6×	`associate--l+_binary64_11268`
5×	`+-rgt-identity_binary64_11316` `swap-sqr_binary64_11298`
4×	`sqr-neg_binary64_11345` `mul-1-neg_binary64_11323` `--rgt-identity_binary64_11317` `associate--l-_binary64_11269`
3×	`cube-unmult_binary64_11368` `mul0-lft_binary64_11313` `*-inverses_binary64_11311` `distribute-lft1-in_binary64_11286` `count-2_binary64_11279`
2×	`remove-double-neg_binary64_11319` `+-lft-identity_binary64_11315` `mul0-rgt_binary64_11314`
1×	`exp-lft-sqr_binary64_11386` `exp-diff_binary64_11379` `exp-sum_binary64_11377` `1-exp_binary64_11375`
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_11594` `erf-erfc_binary64_11593` `erf-odd_binary64_11592` `if-if-and-not_binary64_11591` `if-if-and_binary64_11590` `if-if-or-not_binary64_11589` `if-if-or_binary64_11588` `if-not_binary64_11587` `if-same_binary64_11586` `if-false_binary64_11585` `if-true_binary64_11584` `not-gte_binary64_11583` `not-lte_binary64_11582` `not-gt_binary64_11581` `not-lt_binary64_11580` `gte-same_binary64_11579` `lte-same_binary64_11578` `gt-same_binary64_11577` `lt-same_binary64_11576` `sinh---cosh_binary64_11523` `sinh-+-cosh_binary64_11522` `sinh-cosh_binary64_11521` `tanh-def-c_binary64_11520` `tanh-def-b_binary64_11519` `tanh-def-a_binary64_11518` `cosh-def_binary64_11517` `sinh-def_binary64_11516` `tan-neg_binary64_11463` `cos-neg_binary64_11462` `sin-neg_binary64_11461` `tan-0_binary64_11460` `cos-0_binary64_11459` `sin-0_binary64_11458` `hang-m-tan_binary64_11457` `hang-p-tan_binary64_11456` `hang-m0-tan_binary64_11455` `hang-p0-tan_binary64_11454` `hang-0m-tan_binary64_11453` `hang-0p-tan_binary64_11452` `tan-+PI/2_binary64_11451` `tan-+PI_binary64_11450` `tan-PI_binary64_11449` `tan-PI/3_binary64_11448` `tan-PI/4_binary64_11447` `tan-PI/6_binary64_11446` `cos-+PI/2_binary64_11445` `cos-+PI_binary64_11444` `cos-PI_binary64_11443` `cos-PI/2_binary64_11442` `cos-PI/3_binary64_11441` `cos-PI/4_binary64_11440` `cos-PI/6_binary64_11439` `sin-+PI/2_binary64_11438` `sin-+PI_binary64_11437` `sin-PI_binary64_11436` `sin-PI/2_binary64_11435` `sin-PI/3_binary64_11434` `sin-PI/4_binary64_11433` `sin-PI/6_binary64_11432` `sub-1-sin_binary64_11431` `sub-1-cos_binary64_11430` `-1-add-sin_binary64_11429` `-1-add-cos_binary64_11428` `1-sub-sin_binary64_11427` `1-sub-cos_binary64_11426` `cos-sin-sum_binary64_11425` `log-E_binary64_11421` `log-pow_binary64_11420` `log-rec_binary64_11419` `log-div_binary64_11418` `log-prod_binary64_11417` `pow-base-0_binary64_11415` `unpow1/3_binary64_11398` `unpow3_binary64_11397` `unpow2_binary64_11396` `unpow1/2_binary64_11395` `pow-plus_binary64_11394` `exp-to-pow_binary64_11393` `pow-base-1_binary64_11391` `unpow0_binary64_11390` `unpow1_binary64_11389` `unpow-1_binary64_11388` `exp-lft-cube_binary64_11387` `exp-cbrt_binary64_11385` `exp-sqrt_binary64_11384` `div-exp_binary64_11382` `rec-exp_binary64_11381` `prod-exp_binary64_11380` `exp-neg_binary64_11378` `e-exp-1_binary64_11376` `exp-1-e_binary64_11374` `exp-0_binary64_11373` `rem-log-exp_binary64_11372` `rem-exp-log_binary64_11371` `cube-mult_binary64_11361` `cube-div_binary64_11360` `cube-prod_binary64_11359` `cube-neg_binary64_11358` `rem-3cbrt-rft_binary64_11357` `rem-3cbrt-lft_binary64_11356` `rem-cbrt-cube_binary64_11355` `rem-cube-cbrt_binary64_11354` `sqr-abs_binary64_11346` `rem-sqrt-square_binary64_11344` `rem-square-sqrt_binary64_11343` `/-rgt-identity_binary64_11322` `-rgt-identity_binary64_11321` `-lft-identity_binary64_11320` `+-inverses_binary64_11310` `lft-mult-inverse_binary64_11309` `rgt-mult-inverse_binary64_11308` `remove-double-div_binary64_11307` `pow-sqr_binary64_11304` `sqr-pow_binary64_11303` `difference-of-sqr--1_binary64_11302` `difference-of-sqr-1_binary64_11301` `difference-of-squares_binary64_11300` `unswap-sqr_binary64_11299` `cancel-sign-sub_binary64_11296` `distribute-neg-out_binary64_11293`

Counts

1 → 4

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	16
1	22	16
2	41	16
3	78	16
4	156	16
5	266	16
6	672	16
7	3803	16

prune15.0ms (0.1%)

Pruning

4 alts after pruning (4 fresh and 0 done)

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

Error

0.0b

Counts

5 → 4

Compiler

Compiled 88 to 58 computations (34.1% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 x (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t))))
0.0b	(/.f64 (-.f64 z a) (-.f64 z t))
2.6b	(/.f64 y (/.f64 (-.f64 z a) (-.f64 z t)))

rewrite284.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

218×	`times-frac_binary64_11337`
197×	`*-un-lft-identity_binary64_11331`
195×	`add-sqr-sqrt_binary64_11353`
91×	`add-cube-cbrt_binary64_11366`
52×	`difference-of-squares_binary64_11300` `distribute-lft-out--_binary64_11283`
36×	`associate-/r*_binary64_11275`
11×	`associate-/r/_binary64_11277`
10×	`add-exp-log_binary64_11369` `add-cbrt-cube_binary64_11367`
8×	`associate-/l*_binary64_11276`
6×	`div-inv_binary64_11328` `flip3--_binary64_11335` `flip--_binary64_11306`
5×	`add-log-exp_binary64_11370`
4×	`div-exp_binary64_11382` `cbrt-undiv_binary64_11365`
3×	`pow1_binary64_11392`
2×	`frac-2neg_binary64_11342` `clear-num_binary64_11330` `associate-/l/_binary64_11278`
1×	`div-sub_binary64_11336` `sum-log_binary64_11422` `flip3-+_binary64_11334` `flip-+_binary64_11305` `distribute-lft-out_binary64_11282` `+-commutative_binary64_11261`

Counts

3 → 206

Calls

3 calls:

28.0ms	(+.f64 x (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t))))
12.0ms	(/.f64 y (/.f64 (-.f64 z a) (-.f64 z t)))
8.0ms	(/.f64 (-.f64 z a) (-.f64 z t))

Compiler

Compiled 4812 to 1041 computations (78.4% saved)

series1.5s (10.8%)

Error

Counts

3 → 89

Calls

3 calls:

702.0ms	(+.f64 x (/.f64 y (/.f64 (-.f64 z a) (-.f64 z t))))
409.0ms	(/.f64 y (/.f64 (-.f64 z a) (-.f64 z t)))
262.0ms	(/.f64 (-.f64 z a) (-.f64 z t))

Compiler

Compiled 4592 to 2770 computations (39.7% saved)

simplify609.0ms (4.5%)

Algorithm

1×	egg-herbie

Rules

717×	`cancel-sign-sub-inv_binary64_11297`
337×	`sub-neg_binary64_11324`
276×	`associate-/l*_binary64_11276`
268×	`associate-/r/_binary64_11277`
225×	`associate-/l/_binary64_11278`
174×	`*-commutative_binary64_11262`
173×	`times-frac_binary64_11337`
159×	`associate-*l/_binary64_11274`
140×	`associate--l+_binary64_11268`
133×	`+-commutative_binary64_11261`
112×	`distribute-rgt-in_binary64_11281`
111×	`div-sub_binary64_11336`
109×	`associate--r+_binary64_11267`
108×	`distribute-lft-in_binary64_11280`
96×	`associate-/r*_binary64_11275`
87×	`associate-r_binary64_11271`
84×	`associate-*r/_binary64_11273`
79×	`associate-+l+_binary64_11264`
76×	`neg-sub0_binary64_11326`
70×	`neg-mul-1_binary64_11327`
66×	`associate-l_binary64_11272`
55×	`/-rgt-identity_binary64_11322`
54×	`*-rgt-identity_binary64_11321` `associate-+r+_binary64_11263`
43×	`unsub-neg_binary64_11325`
42×	`sqr-pow_binary64_11303`
23×	`distribute-neg-in_binary64_11292`
19×	`*-lft-identity_binary64_11320` `pow-sqr_binary64_11304`
17×	`prod-exp_binary64_11380` `distribute-neg-frac_binary64_11295`
16×	`div-exp_binary64_11382`
15×	`log-div_binary64_11418` `cube-div_binary64_11360`
14×	`unswap-sqr_binary64_11299`
12×	`exp-sum_binary64_11377` `distribute-rgt-neg-in_binary64_11289`
11×	`cube-prod_binary64_11359`
10×	`log-prod_binary64_11417` `pow-plus_binary64_11394` `swap-sqr_binary64_11298`
9×	`exp-prod_binary64_11383`
8×	`unpow3_binary64_11397` `difference-of-squares_binary64_11300` `distribute-lft-neg-in_binary64_11288`
7×	`mul-1-neg_binary64_11323`
6×	`cube-mult_binary64_11361`
5×	`cube-unmult_binary64_11368`
4×	`rec-exp_binary64_11381` `exp-diff_binary64_11379` `remove-double-neg_binary64_11319` `remove-double-div_binary64_11307` `associate--r-_binary64_11270`
3×	`unpow2_binary64_11396` `unpow1_binary64_11389` `distribute-lft-neg-out_binary64_11290`
2×	`div0_binary64_11312` `*-inverses_binary64_11311` `distribute-rgt-out_binary64_11284`
1×	`log-pow_binary64_11420` `log-rec_binary64_11419` `1-exp_binary64_11375` `rem-log-exp_binary64_11372` `distribute-rgt-out--_binary64_11285` `associate-+l-_binary64_11266` `associate-+r-_binary64_11265`
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_11594` `erf-erfc_binary64_11593` `erf-odd_binary64_11592` `if-if-and-not_binary64_11591` `if-if-and_binary64_11590` `if-if-or-not_binary64_11589` `if-if-or_binary64_11588` `if-not_binary64_11587` `if-same_binary64_11586` `if-false_binary64_11585` `if-true_binary64_11584` `not-gte_binary64_11583` `not-lte_binary64_11582` `not-gt_binary64_11581` `not-lt_binary64_11580` `gte-same_binary64_11579` `lte-same_binary64_11578` `gt-same_binary64_11577` `lt-same_binary64_11576` `sinh---cosh_binary64_11523` `sinh-+-cosh_binary64_11522` `sinh-cosh_binary64_11521` `tanh-def-c_binary64_11520` `tanh-def-b_binary64_11519` `tanh-def-a_binary64_11518` `cosh-def_binary64_11517` `sinh-def_binary64_11516` `tan-neg_binary64_11463` `cos-neg_binary64_11462` `sin-neg_binary64_11461` `tan-0_binary64_11460` `cos-0_binary64_11459` `sin-0_binary64_11458` `hang-m-tan_binary64_11457` `hang-p-tan_binary64_11456` `hang-m0-tan_binary64_11455` `hang-p0-tan_binary64_11454` `hang-0m-tan_binary64_11453` `hang-0p-tan_binary64_11452` `tan-+PI/2_binary64_11451` `tan-+PI_binary64_11450` `tan-PI_binary64_11449` `tan-PI/3_binary64_11448` `tan-PI/4_binary64_11447` `tan-PI/6_binary64_11446` `cos-+PI/2_binary64_11445` `cos-+PI_binary64_11444` `cos-PI_binary64_11443` `cos-PI/2_binary64_11442` `cos-PI/3_binary64_11441` `cos-PI/4_binary64_11440` `cos-PI/6_binary64_11439` `sin-+PI/2_binary64_11438` `sin-+PI_binary64_11437` `sin-PI_binary64_11436` `sin-PI/2_binary64_11435` `sin-PI/3_binary64_11434` `sin-PI/4_binary64_11433` `sin-PI/6_binary64_11432` `sub-1-sin_binary64_11431` `sub-1-cos_binary64_11430` `-1-add-sin_binary64_11429` `-1-add-cos_binary64_11428` `1-sub-sin_binary64_11427` `1-sub-cos_binary64_11426` `cos-sin-sum_binary64_11425` `log-E_binary64_11421` `pow-base-0_binary64_11415` `unpow1/3_binary64_11398` `unpow1/2_binary64_11395` `exp-to-pow_binary64_11393` `pow-base-1_binary64_11391` `unpow0_binary64_11390` `unpow-1_binary64_11388` `exp-lft-cube_binary64_11387` `exp-lft-sqr_binary64_11386` `exp-cbrt_binary64_11385` `exp-sqrt_binary64_11384` `exp-neg_binary64_11378` `e-exp-1_binary64_11376` `exp-1-e_binary64_11374` `exp-0_binary64_11373` `rem-exp-log_binary64_11371` `cube-neg_binary64_11358` `rem-3cbrt-rft_binary64_11357` `rem-3cbrt-lft_binary64_11356` `rem-cbrt-cube_binary64_11355` `rem-cube-cbrt_binary64_11354` `sqr-abs_binary64_11346` `sqr-neg_binary64_11345` `rem-sqrt-square_binary64_11344` `rem-square-sqrt_binary64_11343` `sub0-neg_binary64_11318` `--rgt-identity_binary64_11317` `+-rgt-identity_binary64_11316` `+-lft-identity_binary64_11315` `mul0-rgt_binary64_11314` `mul0-lft_binary64_11313` `+-inverses_binary64_11310` `lft-mult-inverse_binary64_11309` `rgt-mult-inverse_binary64_11308` `difference-of-sqr--1_binary64_11302` `difference-of-sqr-1_binary64_11301` `cancel-sign-sub_binary64_11296` `distribute-frac-neg_binary64_11294` `distribute-neg-out_binary64_11293` `distribute-rgt-neg-out_binary64_11291` `distribute-rgt1-in_binary64_11287` `distribute-lft1-in_binary64_11286` `distribute-lft-out--_binary64_11283` `distribute-lft-out_binary64_11282` `count-2_binary64_11279` `associate--l-_binary64_11269`

Counts

295 → 984

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	426	7565
1	1081	7370
2	4188	7346

prune984.0ms (7.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	983	1	984
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	983	5	988

Error

Counts

988 → 5

Compiler

Compiled 24946 to 3381 computations (86.4% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 x (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a))))
0.0b	(/.f64 (-.f64 z t) (-.f64 z a))
2.7b	(*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))

rewrite142.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

76×	`add-sqr-sqrt_binary64_11353`
71×	`*-un-lft-identity_binary64_11331`
51×	`times-frac_binary64_11337`
31×	`associate-r_binary64_11271`
27×	`add-cube-cbrt_binary64_11366`
22×	`difference-of-squares_binary64_11300` `distribute-lft-out--_binary64_11283`
10×	`add-exp-log_binary64_11369` `add-cbrt-cube_binary64_11367`
5×	`pow1_binary64_11392` `add-log-exp_binary64_11370` `associate-/l_binary64_11276` `associate-/r_binary64_11275`
4×	`associate-/r/_binary64_11277`
3×	`associate-l_binary64_11272` `flip3--_binary64_11335` `flip--_binary64_11306`
2×	`div-exp_binary64_11382` `prod-exp_binary64_11380` `cbrt-unprod_binary64_11364` `cbrt-undiv_binary64_11365` `unswap-sqr_binary64_11299` `div-inv_binary64_11328` `associate-/l/_binary64_11278`
1×	`pow-prod-down_binary64_11402` `associate-r/_binary64_11273` `-commutative_binary64_11262` `frac-2neg_binary64_11342` `div-sub_binary64_11336` `clear-num_binary64_11330` `sum-log_binary64_11422` `flip3-+_binary64_11334` `flip-+_binary64_11305` `+-commutative_binary64_11261`

Counts

3 → 113

Calls

3 calls:

15.0ms	(*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))
8.0ms	(/.f64 (-.f64 z t) (-.f64 z a))
6.0ms	(+.f64 x (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a))))

Compiler

Compiled 2369 to 535 computations (77.4% saved)

series1.4s (10.2%)

Error

Counts

3 → 86

Calls

3 calls:

698.0ms	(+.f64 x (*.f64 y (/.f64 (-.f64 z t) (-.f64 z a))))
384.0ms	(*.f64 y (/.f64 (-.f64 z t) (-.f64 z a)))
215.0ms	(/.f64 (-.f64 z t) (-.f64 z a))

Compiler

Compiled 4280 to 2557 computations (40.3% saved)

simplify444.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

673×	`cancel-sign-sub-inv_binary64_11297`
492×	`distribute-rgt-in_binary64_11281`
470×	`distribute-lft-in_binary64_11280`
286×	`sub-neg_binary64_11324`
148×	`associate-/l*_binary64_11276`
140×	`times-frac_binary64_11337`
131×	`associate-l_binary64_11272`
128×	`associate--l+_binary64_11268`
124×	`associate-r_binary64_11271`
120×	`+-commutative_binary64_11261`
100×	`distribute-neg-frac_binary64_11295`
91×	`distribute-rgt-neg-in_binary64_11289`
89×	`associate--r+_binary64_11267`
82×	`div-sub_binary64_11336`
80×	`*-commutative_binary64_11262`
78×	`associate-*r/_binary64_11273`
77×	`associate-*l/_binary64_11274`
76×	`distribute-lft-neg-in_binary64_11288`
74×	`associate-/r*_binary64_11275`
70×	`associate-+l+_binary64_11264`
67×	`neg-sub0_binary64_11326`
61×	`neg-mul-1_binary64_11327`
59×	`associate-/l/_binary64_11278`
49×	`associate-/r/_binary64_11277`
48×	`associate-+r+_binary64_11263`
45×	`distribute-lft-neg-out_binary64_11290`
41×	`distribute-neg-in_binary64_11292`
40×	`distribute-rgt-out_binary64_11284`
39×	`sqr-pow_binary64_11303`
38×	`*-rgt-identity_binary64_11321`
33×	`unsub-neg_binary64_11325` `distribute-rgt-neg-out_binary64_11291`
32×	`*-lft-identity_binary64_11320`
18×	`distribute-rgt-out--_binary64_11285`
17×	`unswap-sqr_binary64_11299`
16×	`log-div_binary64_11418` `distribute-lft-out_binary64_11282`
15×	`cube-div_binary64_11360` `/-rgt-identity_binary64_11322` `pow-sqr_binary64_11304`
14×	`log-prod_binary64_11417` `cube-prod_binary64_11359`
11×	`exp-prod_binary64_11383`
10×	`prod-exp_binary64_11380` `exp-sum_binary64_11377` `distribute-rgt1-in_binary64_11287`
9×	`unpow3_binary64_11397` `div-exp_binary64_11382`
8×	`difference-of-squares_binary64_11300`
7×	`mul-1-neg_binary64_11323`
6×	`pow-plus_binary64_11394` `cube-mult_binary64_11361` `swap-sqr_binary64_11298`
4×	`exp-diff_binary64_11379` `distribute-lft-out--_binary64_11283`
3×	`rec-exp_binary64_11381` `cube-unmult_binary64_11368` `distribute-lft1-in_binary64_11286`
2×	`log-rec_binary64_11419` `unpow2_binary64_11396` `unpow1_binary64_11389` `remove-double-neg_binary64_11319` `*-inverses_binary64_11311` `associate--r-_binary64_11270` `associate-+l-_binary64_11266` `associate-+r-_binary64_11265`
1×	`exp-sqrt_binary64_11384` `1-exp_binary64_11375` `exp-1-e_binary64_11374` `rem-log-exp_binary64_11372` `div0_binary64_11312`
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_11594` `erf-erfc_binary64_11593` `erf-odd_binary64_11592` `if-if-and-not_binary64_11591` `if-if-and_binary64_11590` `if-if-or-not_binary64_11589` `if-if-or_binary64_11588` `if-not_binary64_11587` `if-same_binary64_11586` `if-false_binary64_11585` `if-true_binary64_11584` `not-gte_binary64_11583` `not-lte_binary64_11582` `not-gt_binary64_11581` `not-lt_binary64_11580` `gte-same_binary64_11579` `lte-same_binary64_11578` `gt-same_binary64_11577` `lt-same_binary64_11576` `sinh---cosh_binary64_11523` `sinh-+-cosh_binary64_11522` `sinh-cosh_binary64_11521` `tanh-def-c_binary64_11520` `tanh-def-b_binary64_11519` `tanh-def-a_binary64_11518` `cosh-def_binary64_11517` `sinh-def_binary64_11516` `tan-neg_binary64_11463` `cos-neg_binary64_11462` `sin-neg_binary64_11461` `tan-0_binary64_11460` `cos-0_binary64_11459` `sin-0_binary64_11458` `hang-m-tan_binary64_11457` `hang-p-tan_binary64_11456` `hang-m0-tan_binary64_11455` `hang-p0-tan_binary64_11454` `hang-0m-tan_binary64_11453` `hang-0p-tan_binary64_11452` `tan-+PI/2_binary64_11451` `tan-+PI_binary64_11450` `tan-PI_binary64_11449` `tan-PI/3_binary64_11448` `tan-PI/4_binary64_11447` `tan-PI/6_binary64_11446` `cos-+PI/2_binary64_11445` `cos-+PI_binary64_11444` `cos-PI_binary64_11443` `cos-PI/2_binary64_11442` `cos-PI/3_binary64_11441` `cos-PI/4_binary64_11440` `cos-PI/6_binary64_11439` `sin-+PI/2_binary64_11438` `sin-+PI_binary64_11437` `sin-PI_binary64_11436` `sin-PI/2_binary64_11435` `sin-PI/3_binary64_11434` `sin-PI/4_binary64_11433` `sin-PI/6_binary64_11432` `sub-1-sin_binary64_11431` `sub-1-cos_binary64_11430` `-1-add-sin_binary64_11429` `-1-add-cos_binary64_11428` `1-sub-sin_binary64_11427` `1-sub-cos_binary64_11426` `cos-sin-sum_binary64_11425` `log-E_binary64_11421` `log-pow_binary64_11420` `pow-base-0_binary64_11415` `unpow1/3_binary64_11398` `unpow1/2_binary64_11395` `exp-to-pow_binary64_11393` `pow-base-1_binary64_11391` `unpow0_binary64_11390` `unpow-1_binary64_11388` `exp-lft-cube_binary64_11387` `exp-lft-sqr_binary64_11386` `exp-cbrt_binary64_11385` `exp-neg_binary64_11378` `e-exp-1_binary64_11376` `exp-0_binary64_11373` `rem-exp-log_binary64_11371` `cube-neg_binary64_11358` `rem-3cbrt-rft_binary64_11357` `rem-3cbrt-lft_binary64_11356` `rem-cbrt-cube_binary64_11355` `rem-cube-cbrt_binary64_11354` `sqr-abs_binary64_11346` `sqr-neg_binary64_11345` `rem-sqrt-square_binary64_11344` `rem-square-sqrt_binary64_11343` `sub0-neg_binary64_11318` `--rgt-identity_binary64_11317` `+-rgt-identity_binary64_11316` `+-lft-identity_binary64_11315` `mul0-rgt_binary64_11314` `mul0-lft_binary64_11313` `+-inverses_binary64_11310` `lft-mult-inverse_binary64_11309` `rgt-mult-inverse_binary64_11308` `remove-double-div_binary64_11307` `difference-of-sqr--1_binary64_11302` `difference-of-sqr-1_binary64_11301` `cancel-sign-sub_binary64_11296` `distribute-frac-neg_binary64_11294` `distribute-neg-out_binary64_11293` `count-2_binary64_11279` `associate--l-_binary64_11269`

Counts

199 → 322

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	284	4214
1	772	4058
2	2874	3755

prune489.0ms (3.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	322	0	322
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	322	5	327

Error

Counts

327 → 5

Compiler

Compiled 7107 to 1169 computations (83.6% saved)

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (*.f64 (/.f64 y (-.f64 z a)) (-.f64 z t)))
10.7b	(*.f64 (/.f64 y (-.f64 z a)) (-.f64 z t))

rewrite95.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

29×	`add-sqr-sqrt_binary64_11353`
24×	`*-un-lft-identity_binary64_11331`
21×	`associate-l_binary64_11272`
16×	`add-cube-cbrt_binary64_11366` `times-frac_binary64_11337`
12×	`cancel-sign-sub-inv_binary64_11297`
8×	`distribute-rgt-in_binary64_11281` `distribute-lft-in_binary64_11280` `associate-+r+_binary64_11263`
7×	`add-exp-log_binary64_11369` `add-cbrt-cube_binary64_11367`
5×	`associate-r_binary64_11271`
4×	`pow1_binary64_11392` `add-log-exp_binary64_11370` `sub-neg_binary64_11324` `difference-of-squares_binary64_11300` `distribute-lft-out--_binary64_11283`
3×	`flip3--_binary64_11335` `flip--_binary64_11306`
2×	`prod-exp_binary64_11380` `cbrt-unprod_binary64_11364` `frac-times_binary64_11341` `unswap-sqr_binary64_11299` `associate-*r/_binary64_11273` `associate-/r/_binary64_11277`
1×	`pow-prod-down_binary64_11402` `div-exp_binary64_11382` `cbrt-undiv_binary64_11365` `associate-l/_binary64_11274` `div-inv_binary64_11328` `-commutative_binary64_11262` `sum-log_binary64_11422` `flip3-+_binary64_11334` `flip-+_binary64_11305` `+-commutative_binary64_11261`

Counts

2 → 73

Calls

2 calls:

14.0ms	(*.f64 (/.f64 y (-.f64 z a)) (-.f64 z t))
4.0ms	(+.f64 x (*.f64 (/.f64 y (-.f64 z a)) (-.f64 z t)))

Compiler

Compiled 1533 to 340 computations (77.8% saved)

series1.1s (8.5%)

Error

Counts

2 → 65

Calls

2 calls:

715.0ms	(+.f64 x (*.f64 (/.f64 y (-.f64 z a)) (-.f64 z t)))
369.0ms	(*.f64 (/.f64 y (-.f64 z a)) (-.f64 z t))

Compiler

Compiled 3279 to 1881 computations (42.6% saved)

simplify367.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

620×	`cancel-sign-sub-inv_binary64_11297`
572×	`times-frac_binary64_11337`
507×	`distribute-rgt-in_binary64_11281`
480×	`distribute-lft-in_binary64_11280`
223×	`sub-neg_binary64_11324`
119×	`associate-r_binary64_11271`
118×	`associate-l_binary64_11272`
108×	`associate-/l*_binary64_11276`
102×	`associate--l+_binary64_11268`
100×	`*-commutative_binary64_11262`
96×	`+-commutative_binary64_11261`
89×	`distribute-lft-neg-out_binary64_11290`
82×	`distribute-rgt-neg-in_binary64_11289`
73×	`distribute-rgt-neg-out_binary64_11291` `associate--r+_binary64_11267`
71×	`associate-*l/_binary64_11274`
62×	`distribute-lft-neg-in_binary64_11288`
60×	`associate-+l+_binary64_11264`
59×	`distribute-neg-frac_binary64_11295`
52×	`neg-sub0_binary64_11326` `associate-*r/_binary64_11273`
47×	`associate-+r+_binary64_11263`
44×	`div-sub_binary64_11336` `neg-mul-1_binary64_11327` `distribute-rgt-out_binary64_11284`
43×	`sqr-pow_binary64_11303`
35×	`associate-/r*_binary64_11275`
31×	`unsub-neg_binary64_11325`
30×	`distribute-neg-in_binary64_11292`
19×	`associate-/r/_binary64_11277`
18×	`cube-prod_binary64_11359`
17×	`pow-sqr_binary64_11304`
16×	`*-rgt-identity_binary64_11321` `unswap-sqr_binary64_11299`
14×	`log-prod_binary64_11417` `*-lft-identity_binary64_11320` `distribute-lft-out_binary64_11282`
13×	`swap-sqr_binary64_11298` `distribute-rgt-out--_binary64_11285`
11×	`exp-prod_binary64_11383`
10×	`unpow3_binary64_11397` `exp-sum_binary64_11377`
8×	`log-div_binary64_11418` `cube-mult_binary64_11361` `cube-div_binary64_11360`
6×	`pow-plus_binary64_11394` `mul-1-neg_binary64_11323` `difference-of-squares_binary64_11300`
5×	`distribute-rgt1-in_binary64_11287`
4×	`exp-diff_binary64_11379` `cube-unmult_binary64_11368` `distribute-lft-out--_binary64_11283`
3×	`associate-+r-_binary64_11265`
2×	`unpow2_binary64_11396` `unpow1_binary64_11389` `prod-exp_binary64_11380` `distribute-frac-neg_binary64_11294` `distribute-lft1-in_binary64_11286` `associate-+l-_binary64_11266`
1×	`pow-base-1_binary64_11391` `exp-sqrt_binary64_11384` `1-exp_binary64_11375` `exp-1-e_binary64_11374` `rem-log-exp_binary64_11372` `rem-3cbrt-lft_binary64_11356` `rem-sqrt-square_binary64_11344` `rem-square-sqrt_binary64_11343` `/-rgt-identity_binary64_11322` `+-rgt-identity_binary64_11316` `*-inverses_binary64_11311`
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_11594` `erf-erfc_binary64_11593` `erf-odd_binary64_11592` `if-if-and-not_binary64_11591` `if-if-and_binary64_11590` `if-if-or-not_binary64_11589` `if-if-or_binary64_11588` `if-not_binary64_11587` `if-same_binary64_11586` `if-false_binary64_11585` `if-true_binary64_11584` `not-gte_binary64_11583` `not-lte_binary64_11582` `not-gt_binary64_11581` `not-lt_binary64_11580` `gte-same_binary64_11579` `lte-same_binary64_11578` `gt-same_binary64_11577` `lt-same_binary64_11576` `sinh---cosh_binary64_11523` `sinh-+-cosh_binary64_11522` `sinh-cosh_binary64_11521` `tanh-def-c_binary64_11520` `tanh-def-b_binary64_11519` `tanh-def-a_binary64_11518` `cosh-def_binary64_11517` `sinh-def_binary64_11516` `tan-neg_binary64_11463` `cos-neg_binary64_11462` `sin-neg_binary64_11461` `tan-0_binary64_11460` `cos-0_binary64_11459` `sin-0_binary64_11458` `hang-m-tan_binary64_11457` `hang-p-tan_binary64_11456` `hang-m0-tan_binary64_11455` `hang-p0-tan_binary64_11454` `hang-0m-tan_binary64_11453` `hang-0p-tan_binary64_11452` `tan-+PI/2_binary64_11451` `tan-+PI_binary64_11450` `tan-PI_binary64_11449` `tan-PI/3_binary64_11448` `tan-PI/4_binary64_11447` `tan-PI/6_binary64_11446` `cos-+PI/2_binary64_11445` `cos-+PI_binary64_11444` `cos-PI_binary64_11443` `cos-PI/2_binary64_11442` `cos-PI/3_binary64_11441` `cos-PI/4_binary64_11440` `cos-PI/6_binary64_11439` `sin-+PI/2_binary64_11438` `sin-+PI_binary64_11437` `sin-PI_binary64_11436` `sin-PI/2_binary64_11435` `sin-PI/3_binary64_11434` `sin-PI/4_binary64_11433` `sin-PI/6_binary64_11432` `sub-1-sin_binary64_11431` `sub-1-cos_binary64_11430` `-1-add-sin_binary64_11429` `-1-add-cos_binary64_11428` `1-sub-sin_binary64_11427` `1-sub-cos_binary64_11426` `cos-sin-sum_binary64_11425` `log-E_binary64_11421` `log-pow_binary64_11420` `log-rec_binary64_11419` `pow-base-0_binary64_11415` `unpow1/3_binary64_11398` `unpow1/2_binary64_11395` `exp-to-pow_binary64_11393` `unpow0_binary64_11390` `unpow-1_binary64_11388` `exp-lft-cube_binary64_11387` `exp-lft-sqr_binary64_11386` `exp-cbrt_binary64_11385` `div-exp_binary64_11382` `rec-exp_binary64_11381` `exp-neg_binary64_11378` `e-exp-1_binary64_11376` `exp-0_binary64_11373` `rem-exp-log_binary64_11371` `cube-neg_binary64_11358` `rem-3cbrt-rft_binary64_11357` `rem-cbrt-cube_binary64_11355` `rem-cube-cbrt_binary64_11354` `sqr-abs_binary64_11346` `sqr-neg_binary64_11345` `remove-double-neg_binary64_11319` `sub0-neg_binary64_11318` `--rgt-identity_binary64_11317` `+-lft-identity_binary64_11315` `mul0-rgt_binary64_11314` `mul0-lft_binary64_11313` `div0_binary64_11312` `+-inverses_binary64_11310` `lft-mult-inverse_binary64_11309` `rgt-mult-inverse_binary64_11308` `remove-double-div_binary64_11307` `difference-of-sqr--1_binary64_11302` `difference-of-sqr-1_binary64_11301` `cancel-sign-sub_binary64_11296` `distribute-neg-out_binary64_11293` `count-2_binary64_11279` `associate-/l/_binary64_11278` `associate--r-_binary64_11270` `associate--l-_binary64_11269`

Counts

138 → 306

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	244	3100
1	678	2983
2	2328	2767

prune241.0ms (1.8%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	306	0	306
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	306	5	311

Error

Counts

311 → 5

Compiler

Compiled 6687 to 923 computations (86.2% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a)))
0.0b	(*.f64 y (-.f64 z t))
9.1b	(/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a))

rewrite92.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

17×	`add-sqr-sqrt_binary64_11353` `*-un-lft-identity_binary64_11331`
10×	`add-exp-log_binary64_11369` `add-cbrt-cube_binary64_11367`
9×	`add-cube-cbrt_binary64_11366`
6×	`cancel-sign-sub-inv_binary64_11297`
5×	`pow1_binary64_11392` `add-log-exp_binary64_11370` `times-frac_binary64_11337` `associate-/r_binary64_11275` `associate-r*_binary64_11271`
4×	`associate-*r/_binary64_11273` `distribute-rgt-in_binary64_11281` `distribute-lft-in_binary64_11280`
3×	`difference-of-squares_binary64_11300` `distribute-lft-out--_binary64_11283` `flip3--_binary64_11335` `flip--_binary64_11306` `associate-l_binary64_11272`
2×	`prod-exp_binary64_11380` `div-exp_binary64_11382` `cbrt-undiv_binary64_11365` `cbrt-unprod_binary64_11364` `associate-/l/_binary64_11278` `associate-/r/_binary64_11277` `sub-neg_binary64_11324`
1×	`frac-2neg_binary64_11342` `clear-num_binary64_11330` `div-inv_binary64_11328` `associate-/l_binary64_11276` `pow-prod-down_binary64_11402` `unswap-sqr_binary64_11299` `-commutative_binary64_11262` `sum-log_binary64_11422` `flip3-+_binary64_11334` `flip-+_binary64_11305` `distribute-lft-out_binary64_11282` `+-commutative_binary64_11261`

Counts

3 → 71

Calls

3 calls:

10.0ms	(/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a))
7.0ms	(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a)))
7.0ms	(*.f64 y (-.f64 z t))

Compiler

Compiled 1337 to 337 computations (74.8% saved)

series1.3s (9.9%)

Error

Counts

3 → 80

Calls

3 calls:

721.0ms	(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a)))
399.0ms	(/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a))
145.0ms	(*.f64 y (-.f64 z t))

Compiler

Compiled 3732 to 2148 computations (42.4% saved)

simplify470.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

636×	`cancel-sign-sub-inv_binary64_11297`
501×	`distribute-rgt-in_binary64_11281`
479×	`distribute-lft-in_binary64_11280`
252×	`sub-neg_binary64_11324`
151×	`associate-/l*_binary64_11276`
134×	`times-frac_binary64_11337`
115×	`associate-l_binary64_11272`
114×	`associate-r_binary64_11271`
111×	`div-sub_binary64_11336`
104×	`associate--l+_binary64_11268`
100×	`+-commutative_binary64_11261`
96×	`distribute-rgt-neg-in_binary64_11289`
81×	`distribute-neg-frac_binary64_11295`
78×	`distribute-lft-neg-in_binary64_11288`
75×	`associate--r+_binary64_11267`
74×	`*-commutative_binary64_11262`
69×	`distribute-lft-neg-out_binary64_11290`
60×	`associate-/r_binary64_11275` `associate-l/_binary64_11274`
58×	`associate-+l+_binary64_11264`
56×	`neg-sub0_binary64_11326` `distribute-rgt-neg-out_binary64_11291`
50×	`neg-mul-1_binary64_11327`
47×	`exp-prod_binary64_11383`
44×	`sqr-pow_binary64_11303` `associate-*r/_binary64_11273` `associate-+r+_binary64_11263`
40×	`associate-/r/_binary64_11277`
37×	`*-rgt-identity_binary64_11321`
33×	`distribute-neg-in_binary64_11292`
32×	`associate-/l/_binary64_11278`
30×	`distribute-rgt-out_binary64_11284`
27×	`log-div_binary64_11418`
26×	`cube-div_binary64_11360` `unsub-neg_binary64_11325`
23×	`*-lft-identity_binary64_11320`
21×	`/-rgt-identity_binary64_11322`
20×	`cube-prod_binary64_11359`
17×	`log-prod_binary64_11417` `pow-sqr_binary64_11304`
13×	`difference-of-squares_binary64_11300` `swap-sqr_binary64_11298`
12×	`exp-sum_binary64_11377` `distribute-rgt-out--_binary64_11285`
11×	`unpow3_binary64_11397`
10×	`distribute-lft-out_binary64_11282`
9×	`cube-mult_binary64_11361`
7×	`unswap-sqr_binary64_11299`
6×	`pow-plus_binary64_11394` `exp-diff_binary64_11379`
5×	`remove-double-neg_binary64_11319` `distribute-rgt1-in_binary64_11287`
4×	`log-rec_binary64_11419` `cube-unmult_binary64_11368` `mul-1-neg_binary64_11323`
3×	`cancel-sign-sub_binary64_11296` `distribute-frac-neg_binary64_11294`
2×	`unpow2_binary64_11396` `unpow1_binary64_11389` `prod-exp_binary64_11380` `exp-neg_binary64_11378` `distribute-lft1-in_binary64_11286` `distribute-lft-out--_binary64_11283` `associate--r-_binary64_11270` `associate-+r-_binary64_11265`
1×	`pow-base-1_binary64_11391` `exp-sqrt_binary64_11384` `div-exp_binary64_11382` `rec-exp_binary64_11381` `1-exp_binary64_11375` `exp-1-e_binary64_11374` `rem-log-exp_binary64_11372` `rem-3cbrt-lft_binary64_11356` `rem-sqrt-square_binary64_11344` `rem-square-sqrt_binary64_11343` `+-rgt-identity_binary64_11316` `div0_binary64_11312` `*-inverses_binary64_11311` `associate-+l-_binary64_11266`
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_11594` `erf-erfc_binary64_11593` `erf-odd_binary64_11592` `if-if-and-not_binary64_11591` `if-if-and_binary64_11590` `if-if-or-not_binary64_11589` `if-if-or_binary64_11588` `if-not_binary64_11587` `if-same_binary64_11586` `if-false_binary64_11585` `if-true_binary64_11584` `not-gte_binary64_11583` `not-lte_binary64_11582` `not-gt_binary64_11581` `not-lt_binary64_11580` `gte-same_binary64_11579` `lte-same_binary64_11578` `gt-same_binary64_11577` `lt-same_binary64_11576` `sinh---cosh_binary64_11523` `sinh-+-cosh_binary64_11522` `sinh-cosh_binary64_11521` `tanh-def-c_binary64_11520` `tanh-def-b_binary64_11519` `tanh-def-a_binary64_11518` `cosh-def_binary64_11517` `sinh-def_binary64_11516` `tan-neg_binary64_11463` `cos-neg_binary64_11462` `sin-neg_binary64_11461` `tan-0_binary64_11460` `cos-0_binary64_11459` `sin-0_binary64_11458` `hang-m-tan_binary64_11457` `hang-p-tan_binary64_11456` `hang-m0-tan_binary64_11455` `hang-p0-tan_binary64_11454` `hang-0m-tan_binary64_11453` `hang-0p-tan_binary64_11452` `tan-+PI/2_binary64_11451` `tan-+PI_binary64_11450` `tan-PI_binary64_11449` `tan-PI/3_binary64_11448` `tan-PI/4_binary64_11447` `tan-PI/6_binary64_11446` `cos-+PI/2_binary64_11445` `cos-+PI_binary64_11444` `cos-PI_binary64_11443` `cos-PI/2_binary64_11442` `cos-PI/3_binary64_11441` `cos-PI/4_binary64_11440` `cos-PI/6_binary64_11439` `sin-+PI/2_binary64_11438` `sin-+PI_binary64_11437` `sin-PI_binary64_11436` `sin-PI/2_binary64_11435` `sin-PI/3_binary64_11434` `sin-PI/4_binary64_11433` `sin-PI/6_binary64_11432` `sub-1-sin_binary64_11431` `sub-1-cos_binary64_11430` `-1-add-sin_binary64_11429` `-1-add-cos_binary64_11428` `1-sub-sin_binary64_11427` `1-sub-cos_binary64_11426` `cos-sin-sum_binary64_11425` `log-E_binary64_11421` `log-pow_binary64_11420` `pow-base-0_binary64_11415` `unpow1/3_binary64_11398` `unpow1/2_binary64_11395` `exp-to-pow_binary64_11393` `unpow0_binary64_11390` `unpow-1_binary64_11388` `exp-lft-cube_binary64_11387` `exp-lft-sqr_binary64_11386` `exp-cbrt_binary64_11385` `e-exp-1_binary64_11376` `exp-0_binary64_11373` `rem-exp-log_binary64_11371` `cube-neg_binary64_11358` `rem-3cbrt-rft_binary64_11357` `rem-cbrt-cube_binary64_11355` `rem-cube-cbrt_binary64_11354` `sqr-abs_binary64_11346` `sqr-neg_binary64_11345` `sub0-neg_binary64_11318` `--rgt-identity_binary64_11317` `+-lft-identity_binary64_11315` `mul0-rgt_binary64_11314` `mul0-lft_binary64_11313` `+-inverses_binary64_11310` `lft-mult-inverse_binary64_11309` `rgt-mult-inverse_binary64_11308` `remove-double-div_binary64_11307` `difference-of-sqr--1_binary64_11302` `difference-of-sqr-1_binary64_11301` `distribute-neg-out_binary64_11293` `count-2_binary64_11279` `associate--l-_binary64_11269`

Counts

151 → 367

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	234	2961
1	649	2808
2	2540	2592

prune308.0ms (2.3%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	367	0	367
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	367	5	372

Error

Counts

372 → 5

Compiler

Compiled 8072 to 1002 computations (87.6% saved)

regimes605.0ms (4.5%)

Accuracy

Total 0.7b remaining (99.4%)

Threshold costs 0.7b (99.4%)

Compiler

Compiled 3788 to 3754 computations (0.9% saved)

bsearch37.0ms (0.3%)

Steps

Iters	Range		Point
8	1.7268774617141258e+17	3.3956131310471977e+21	7.73500297203524e+18
5	-4.184383090874128e-250	-1.2224228193919822e-250	-4.1081096876749744e-250

Compiler

Compiled 1 to 5 computations (-400% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

6×	`+-commutative_binary64_11261`
4×	`sub-neg_binary64_11324` `*-commutative_binary64_11262`
2×	`neg-mul-1_binary64_11327` `neg-sub0_binary64_11326`
1×	`if-if-or-not_binary64_11589`
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_11591` `if-if-and_binary64_11590` `if-if-or_binary64_11588` `if-not_binary64_11587` `if-same_binary64_11586` `if-false_binary64_11585` `if-true_binary64_11584` `tan-0_binary64_11460` `cos-0_binary64_11459` `sin-0_binary64_11458` `unpow1_binary64_11389` `e-exp-1_binary64_11376` `1-exp_binary64_11375` `exp-1-e_binary64_11374` `exp-0_binary64_11373` `sqr-abs_binary64_11346` `sqr-neg_binary64_11345` `unsub-neg_binary64_11325` `mul-1-neg_binary64_11323` `/-rgt-identity_binary64_11322` `-rgt-identity_binary64_11321` `-lft-identity_binary64_11320` `remove-double-neg_binary64_11319` `sub0-neg_binary64_11318` `--rgt-identity_binary64_11317` `+-rgt-identity_binary64_11316` `+-lft-identity_binary64_11315` `cancel-sign-sub-inv_binary64_11297` `cancel-sign-sub_binary64_11296` `distribute-neg-frac_binary64_11295` `distribute-frac-neg_binary64_11294` `distribute-neg-out_binary64_11293` `distribute-neg-in_binary64_11292` `distribute-rgt-neg-out_binary64_11291` `distribute-lft-neg-out_binary64_11290` `distribute-rgt-neg-in_binary64_11289` `distribute-lft-neg-in_binary64_11288`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	46
1	32	46
2	40	46
3	44	46
4	46	46

Proof

(=> (if real (<= f64 h0 -413950325260951/1007641851683931820587806291420968258893675472328417820220872324040744595635843008946260940337480903424595632540239579541935629958157893251896932560850028184716008537290582817399466548302510149103210893455908181007667595468047259786297601506742546990374638711734272) (+ f64 h1 (* f64 h0 (/ f64 (- f64 h2 h3) (- f64 h2 h4)))) (if real (<= f64 h0 7735002972035239936) (+ f64 h1 (/ f64 (* f64 h0 (- f64 h2 h3)) (- f64 h2 h4))) (+ f64 h1 (* f64 h0 (/ f64 (- f64 h2 h3) (- f64 h2 h4)))))))
if-if-or-not_binary64_11589 =>
(if real (or real (<= f64 h0 -413950325260951/1007641851683931820587806291420968258893675472328417820220872324040744595635843008946260940337480903424595632540239579541935629958157893251896932560850028184716008537290582817399466548302510149103210893455908181007667595468047259786297601506742546990374638711734272) (not real (<= f64 h0 7735002972035239936))) (+ f64 h1 (* f64 h0 (/ f64 (- f64 h2 h3) (- f64 h2 h4)))) (+ f64 h1 (/ f64 (* f64 h0 (- f64 h2 h3)) (- f64 h2 h4))))

end0.0ms (0%)

sample1.2s (9.2%)

Algorithm

1×

intervals

Results

306.0ms	7997×	body	128	valid
24.0ms	705×	body	128	invalid
0.0ms	2×	body	1024	valid
0.0ms	1×	body	512	valid

Compiler

Compiled 511 to 489 computations (4.3% saved)

Details

analyze884.0ms (6.6%)

sample24.0ms (0.2%)

simplify779.0ms (5.8%)

prune15.0ms (0.1%)

localize8.0ms (0.1%)

rewrite284.0ms (2.1%)

series1.5s (10.8%)

simplify609.0ms (4.5%)

prune984.0ms (7.3%)

localize8.0ms (0.1%)

rewrite142.0ms (1.1%)

series1.4s (10.2%)

simplify444.0ms (3.3%)

prune489.0ms (3.6%)

localize9.0ms (0.1%)

rewrite95.0ms (0.7%)

series1.1s (8.5%)

simplify367.0ms (2.7%)

prune241.0ms (1.8%)

localize10.0ms (0.1%)

rewrite92.0ms (0.7%)

series1.3s (9.9%)

simplify470.0ms (3.5%)

prune308.0ms (2.3%)

regimes605.0ms (4.5%)

bsearch37.0ms (0.3%)

simplify6.0ms (0%)

end0.0ms (0%)

sample1.2s (9.2%)

Profiling