Details

analyze1.1s (3.1%)

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
0%	99.8%	0.2%	9
1.8%	98%	0.2%	10
7.7%	92.1%	0.2%	11
10.4%	89.4%	0.2%	12
14.9%	84.9%	0.2%	13
16.2%	83.5%	0.3%	14

Compiler

Compiled 14 to 12 computations (14.3% saved)

sample35.0ms (0.1%)

Algorithm

1×

intervals

Results

8.0ms	209×	body	128	valid
7.0ms	17×	body	1024	valid
2.0ms	16×	body	512	valid
1.0ms	34×	body	128	invalid
1.0ms	12×	body	256	valid
0.0ms	2×	body	2048	valid

Compiler

Compiled 27 to 28 computations (-3.7% saved)

simplify563.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

743×	`unsub-neg_binary64_11325`
449×	`swap-sqr_binary64_11298`
258×	`sub-neg_binary64_11324`
252×	`distribute-rgt-neg-out_binary64_11291`
251×	`distribute-rgt-neg-in_binary64_11289`
236×	`distribute-neg-out_binary64_11293`
233×	`distribute-rgt1-in_binary64_11287`
217×	`distribute-lft-neg-out_binary64_11290`
197×	`distribute-lft-neg-in_binary64_11288`
195×	`distribute-frac-neg_binary64_11294`
189×	`distribute-rgt-in_binary64_11281`
186×	`associate-r_binary64_11271`
175×	`associate-/l*_binary64_11276`
154×	`distribute-neg-in_binary64_11292`
151×	`associate-l_binary64_11272`
149×	`neg-sub0_binary64_11326`
140×	`distribute-lft-in_binary64_11280`
129×	`times-frac_binary64_11337`
126×	`neg-mul-1_binary64_11327`
120×	`div-sub_binary64_11336`
116×	`cancel-sign-sub-inv_binary64_11297`
115×	`distribute-neg-frac_binary64_11295`
105×	`distribute-rgt-out_binary64_11284`
89×	`associate-+l-_binary64_11266`
85×	`associate--r+_binary64_11267`
78×	`associate--l+_binary64_11268`
57×	`+-commutative_binary64_11261`
55×	`associate-+l+_binary64_11264`
48×	`remove-double-neg_binary64_11319`
46×	`associate-+r+_binary64_11263`
41×	`*-commutative_binary64_11262`
39×	`associate-/r*_binary64_11275`
33×	`associate-+r-_binary64_11265`
26×	`associate-/l/_binary64_11278` `associate-*l/_binary64_11274`
22×	`+-rgt-identity_binary64_11316`
21×	`sqr-neg_binary64_11345` `sub0-neg_binary64_11318`
18×	`distribute-lft-out_binary64_11282`
16×	`associate-*r/_binary64_11273`
14×	`mul0-rgt_binary64_11314` `div0_binary64_11312`
13×	`mul0-lft_binary64_11313`
11×	`+-lft-identity_binary64_11315` `associate-/r/_binary64_11277`
10×	`distribute-rgt-out--_binary64_11285`
8×	`associate--r-_binary64_11270` `associate--l-_binary64_11269`
7×	`mul-1-neg_binary64_11323`
5×	`*-inverses_binary64_11311`
1×	`1-exp_binary64_11375` `cube-unmult_binary64_11368` `--rgt-identity_binary64_11317` `difference-of-sqr--1_binary64_11302` `cancel-sign-sub_binary64_11296` `distribute-lft1-in_binary64_11286` `distribute-lft-out--_binary64_11283` `count-2_binary64_11279`
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-lft-sqr_binary64_11386` `exp-cbrt_binary64_11385` `exp-sqrt_binary64_11384` `exp-prod_binary64_11383` `div-exp_binary64_11382` `rec-exp_binary64_11381` `prod-exp_binary64_11380` `exp-diff_binary64_11379` `exp-neg_binary64_11378` `exp-sum_binary64_11377` `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_11301` `difference-of-squares_binary64_11300` `unswap-sqr_binary64_11299`

Counts

1 → 5

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	19
1	21	19
2	52	19
3	140	19
4	395	19
5	893	19
6	2791	19

prune13.0ms (0%)

Pruning

5 alts after pruning (5 fresh and 0 done)

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

Error

13.4b

Counts

6 → 5

Compiler

Compiled 130 to 77 computations (40.8% saved)

localize14.0ms (0%)

Local error

Found 3 expressions with local error:

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

rewrite182.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

13.0b

Rules

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

Counts

3 → 119

Calls

3 calls:

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

Compiler

Compiled 2779 to 576 computations (79.3% saved)

series2.7s (8.1%)

Error

0.8b

Counts

3 → 111

Calls

3 calls:

1.4s	(+.f64 x (*.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t))))
880.0ms	(*.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t)))
286.0ms	(/.f64 (-.f64 z t) (-.f64 a t))

Compiler

Compiled 9776 to 5157 computations (47.2% saved)

simplify978.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

306×	`associate--l+_binary64_11268`
283×	`associate-/l*_binary64_11276`
268×	`associate--r+_binary64_11267`
239×	`times-frac_binary64_11337`
195×	`sub-neg_binary64_11324`
169×	`associate-l_binary64_11272`
158×	`associate-r_binary64_11271`
156×	`+-commutative_binary64_11261`
123×	`associate-+r+_binary64_11263`
116×	`associate-/r*_binary64_11275`
113×	`distribute-rgt-in_binary64_11281`
108×	`distribute-lft-in_binary64_11280`
91×	`*-commutative_binary64_11262`
79×	`distribute-neg-in_binary64_11292`
74×	`associate-*r/_binary64_11273`
73×	`associate-/r/_binary64_11277` `associate-*l/_binary64_11274`
60×	`associate-/l/_binary64_11278`
59×	`neg-sub0_binary64_11326`
51×	`neg-mul-1_binary64_11327`
48×	`div-sub_binary64_11336`
26×	`distribute-rgt-neg-in_binary64_11289`
21×	`sqr-pow_binary64_11303` `cancel-sign-sub-inv_binary64_11297`
19×	`distribute-neg-frac_binary64_11295`
18×	`distribute-lft-neg-in_binary64_11288`
13×	`mul-1-neg_binary64_11323`
9×	`pow-sqr_binary64_11304`
8×	`difference-of-squares_binary64_11300`
7×	`unpow3_binary64_11397` `/-rgt-identity_binary64_11322`
5×	`cube-mult_binary64_11361` `distribute-lft-neg-out_binary64_11290`
4×	`log-div_binary64_11418` `exp-prod_binary64_11383` `swap-sqr_binary64_11298`
3×	`log-prod_binary64_11417` `cube-unmult_binary64_11368` `cube-div_binary64_11360` `cube-prod_binary64_11359`
2×	`unpow2_binary64_11396` `pow-plus_binary64_11394` `exp-diff_binary64_11379` `exp-sum_binary64_11377` `*-inverses_binary64_11311` `distribute-rgt-out--_binary64_11285` `distribute-rgt-out_binary64_11284` `associate--r-_binary64_11270` `associate-+r-_binary64_11265`
1×	`div-exp_binary64_11382` `rec-exp_binary64_11381` `prod-exp_binary64_11380` `1-exp_binary64_11375` `*-rgt-identity_binary64_11321`
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` `pow-base-1_binary64_11391` `unpow0_binary64_11390` `unpow1_binary64_11389` `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-log-exp_binary64_11372` `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` `unsub-neg_binary64_11325` `*-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` `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` `unswap-sqr_binary64_11299` `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` `associate-+l-_binary64_11266` `associate-+l+_binary64_11264`

Counts

230 → 341

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	516	8620
1	1510	8311

prune469.0ms (1.4%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	335	6	341
Fresh	2	2	4
Picked	0	1	1
Done	0	0	0
Total	337	9	346

Error

0.3b

Counts

346 → 9

Compiler

Compiled 12671 to 2396 computations (81.1% saved)

localize16.0ms (0%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (-.f64 z t))
0.6b	(cbrt.f64 (-.f64 z t))
0.8b	(.f64 (-.f64 y x) (.f64 (/.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 a t))) (/.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 a t)))))
3.1b	(+.f64 x (.f64 (.f64 (-.f64 y x) (*.f64 (/.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 a t))) (/.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 a t))))) (/.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 a t)))))

rewrite181.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

0.3b

Rules

22×	`add-exp-log_binary64_11369`
14×	`add-cbrt-cube_binary64_11367` `add-sqr-sqrt_binary64_11353`
13×	`*-un-lft-identity_binary64_11331`
10×	`cbrt-prod_binary64_11362`
9×	`pow1_binary64_11392` `prod-exp_binary64_11380` `cbrt-unprod_binary64_11364` `frac-times_binary64_11341`
7×	`add-cube-cbrt_binary64_11366`
6×	`add-log-exp_binary64_11370` `flip3--_binary64_11335` `associate-*r/_binary64_11273` `flip--_binary64_11306`
5×	`associate-l/_binary64_11274` `associate-l*_binary64_11272`
4×	`div-exp_binary64_11382` `cbrt-undiv_binary64_11365` `cbrt-div_binary64_11363`
3×	`pow-prod-down_binary64_11402` `difference-of-squares_binary64_11300` `distribute-lft-out--_binary64_11283`
2×	`pow1/3_binary64_11413`
1×	`sum-log_binary64_11422` `flip3-+_binary64_11334` `flip-+_binary64_11305` `+-commutative_binary64_11261` `unswap-sqr_binary64_11299` `associate-r_binary64_11271` `*-commutative_binary64_11262`

Counts

4 → 79

Calls

4 calls:

31.0ms	(.f64 (-.f64 y x) (.f64 (/.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 a t))) (/.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 a t)))))
7.0ms	(cbrt.f64 (-.f64 z t))
5.0ms	(+.f64 x (.f64 (.f64 (-.f64 y x) (*.f64 (/.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 a t))) (/.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 a t))))) (/.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 a t)))))
3.0ms	(cbrt.f64 (-.f64 z t))

Compiler

Compiled 3795 to 446 computations (88.2% saved)

series5.7s (16.9%)

Error

0.1b

Counts

4 → 88

Calls

4 calls:

3.5s	(.f64 (-.f64 y x) (.f64 (/.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 a t))) (/.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 a t)))))
1.8s	(+.f64 x (.f64 (.f64 (-.f64 y x) (*.f64 (/.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 a t))) (/.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 a t))))) (/.f64 (cbrt.f64 (-.f64 z t)) (cbrt.f64 (-.f64 a t)))))
123.0ms	(cbrt.f64 (-.f64 z t))
118.0ms	(cbrt.f64 (-.f64 z t))

Compiler

Compiled 13289 to 8209 computations (38.2% saved)

simplify891.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

713×	`times-frac_binary64_11337`
522×	`associate-/l*_binary64_11276`
401×	`associate-/r*_binary64_11275`
186×	`*-commutative_binary64_11262`
149×	`sub-neg_binary64_11324`
145×	`+-commutative_binary64_11261`
101×	`associate-+r+_binary64_11263`
89×	`associate-r_binary64_11271`
79×	`distribute-rgt-in_binary64_11281`
75×	`distribute-lft-in_binary64_11280`
73×	`associate-/r/_binary64_11277`
66×	`distribute-neg-in_binary64_11292`
61×	`sqr-pow_binary64_11303`
60×	`cancel-sign-sub-inv_binary64_11297`
58×	`neg-sub0_binary64_11326`
56×	`neg-mul-1_binary64_11327`
38×	`distribute-rgt-neg-in_binary64_11289`
34×	`associate-*r/_binary64_11273`
32×	`associate--l+_binary64_11268`
28×	`associate--r+_binary64_11267`
26×	`pow-sqr_binary64_11304` `distribute-lft-neg-in_binary64_11288`
20×	`associate-l_binary64_11272`
16×	`exp-prod_binary64_11383`
14×	`distribute-neg-frac_binary64_11295`
12×	`log-prod_binary64_11417` `unswap-sqr_binary64_11299`
11×	`unpow1/3_binary64_11398` `mul-1-neg_binary64_11323` `distribute-lft-neg-out_binary64_11290`
9×	`unpow3_binary64_11397` `div-sub_binary64_11336`
8×	`log-div_binary64_11418` `difference-of-squares_binary64_11300` `swap-sqr_binary64_11298` `distribute-lft-out_binary64_11282`
7×	`cube-mult_binary64_11361`
6×	`unpow2_binary64_11396` `distribute-rgt-out_binary64_11284`
5×	`exp-sum_binary64_11377` `cube-prod_binary64_11359`
4×	`log-rec_binary64_11419` `pow-plus_binary64_11394` `cube-unmult_binary64_11368` `distribute-rgt-neg-out_binary64_11291` `associate-*l/_binary64_11274`
3×	`log-pow_binary64_11420` `associate-/l/_binary64_11278`
2×	`cube-div_binary64_11360` `distribute-neg-out_binary64_11293` `distribute-rgt-out--_binary64_11285` `associate-+r-_binary64_11265`
1×	`prod-exp_binary64_11380` `exp-diff_binary64_11379` `1-exp_binary64_11375` `rem-log-exp_binary64_11372` `rem-3cbrt-lft_binary64_11356` `rem-cube-cbrt_binary64_11354` `remove-double-neg_binary64_11319` `*-inverses_binary64_11311` `cancel-sign-sub_binary64_11296` `distribute-lft-out--_binary64_11283` `count-2_binary64_11279` `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` `pow-base-0_binary64_11415` `unpow1/2_binary64_11395` `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-lft-sqr_binary64_11386` `exp-cbrt_binary64_11385` `exp-sqrt_binary64_11384` `div-exp_binary64_11382` `rec-exp_binary64_11381` `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-cbrt-cube_binary64_11355` `sqr-abs_binary64_11346` `sqr-neg_binary64_11345` `rem-sqrt-square_binary64_11344` `rem-square-sqrt_binary64_11343` `unsub-neg_binary64_11325` `/-rgt-identity_binary64_11322` `-rgt-identity_binary64_11321` `-lft-identity_binary64_11320` `sub0-neg_binary64_11318` `--rgt-identity_binary64_11317` `+-rgt-identity_binary64_11316` `+-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` `distribute-frac-neg_binary64_11294` `distribute-rgt1-in_binary64_11287` `distribute-lft1-in_binary64_11286` `associate--r-_binary64_11270` `associate--l-_binary64_11269` `associate-+l+_binary64_11264`

Counts

167 → 248

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	632	8000
1	1957	6979

prune505.0ms (1.5%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	246	2	248
Fresh	1	6	7
Picked	0	1	1
Done	0	1	1
Total	247	10	257

Error

0.1b

Counts

257 → 10

Compiler

Compiled 13780 to 3233 computations (76.5% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

1.9b	(*.f64 (/.f64 (-.f64 z t) (-.f64 a t)) (-.f64 y x))
3.1b	(+.f64 x (*.f64 (/.f64 (-.f64 z t) (-.f64 a t)) (-.f64 y x)))
3.1b	(+.f64 x (*.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t))))
3.1b	(+.f64 x (*.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t))))

rewrite206.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

47×	`add-sqr-sqrt_binary64_11353`
42×	`*-un-lft-identity_binary64_11331`
31×	`associate-l_binary64_11272`
26×	`times-frac_binary64_11337`
20×	`add-cube-cbrt_binary64_11366`
12×	`cancel-sign-sub-inv_binary64_11297`
11×	`difference-of-squares_binary64_11300` `distribute-lft-out--_binary64_11283`
10×	`add-log-exp_binary64_11370`
9×	`add-exp-log_binary64_11369` `add-cbrt-cube_binary64_11367`
8×	`distribute-rgt-in_binary64_11281` `associate-+r+_binary64_11263` `distribute-lft-in_binary64_11280`
6×	`pow1_binary64_11392`
5×	`associate-r_binary64_11271`
4×	`sub-neg_binary64_11324`
3×	`sum-log_binary64_11422` `flip3-+_binary64_11334` `flip-+_binary64_11305` `+-commutative_binary64_11261` `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`

Counts

4 → 105

Calls

4 calls:

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

Compiler

Compiled 5890 to 657 computations (88.8% saved)

series5.5s (16.1%)

Error

0.1b

Counts

4 → 164

Calls

4 calls:

1.4s	(+.f64 x (*.f64 (/.f64 (-.f64 z t) (-.f64 a t)) (-.f64 y x)))
1.4s	(+.f64 x (*.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t))))
1.4s	(+.f64 x (*.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t))))
918.0ms	(*.f64 (/.f64 (-.f64 z t) (-.f64 a t)) (-.f64 y x))

Compiler

Compiled 26984 to 10205 computations (62.2% saved)

simplify1.7s (5%)

Algorithm

1×	egg-herbie

Rules

481×	`associate-+r+_binary64_11263`
345×	`associate-+l+_binary64_11264`
241×	`associate--l+_binary64_11268`
223×	`associate-/l*_binary64_11276`
209×	`associate--r+_binary64_11267`
179×	`times-frac_binary64_11337`
176×	`associate-l_binary64_11272`
163×	`associate-r_binary64_11271`
151×	`sub-neg_binary64_11324`
139×	`+-commutative_binary64_11261`
123×	`distribute-rgt-in_binary64_11281`
116×	`distribute-lft-in_binary64_11280`
92×	`*-commutative_binary64_11262`
74×	`associate-/r*_binary64_11275`
72×	`associate-*l/_binary64_11274`
61×	`distribute-neg-in_binary64_11292`
55×	`associate-*r/_binary64_11273`
53×	`neg-sub0_binary64_11326`
47×	`neg-mul-1_binary64_11327`
43×	`associate-/r/_binary64_11277`
28×	`distribute-rgt-neg-in_binary64_11289`
23×	`sqr-pow_binary64_11303` `cancel-sign-sub-inv_binary64_11297`
17×	`distribute-neg-frac_binary64_11295` `distribute-lft-neg-in_binary64_11288`
16×	`div-sub_binary64_11336`
13×	`distribute-lft-neg-out_binary64_11290`
11×	`mul-1-neg_binary64_11323`
9×	`pow-sqr_binary64_11304`
8×	`unpow3_binary64_11397`
7×	`distribute-rgt-neg-out_binary64_11291`
6×	`cube-mult_binary64_11361`
4×	`exp-prod_binary64_11383` `cube-prod_binary64_11359` `difference-of-squares_binary64_11300` `swap-sqr_binary64_11298` `distribute-rgt-out--_binary64_11285` `associate-+r-_binary64_11265`
3×	`log-div_binary64_11418` `log-prod_binary64_11417` `cube-unmult_binary64_11368` `cube-div_binary64_11360` `*-rgt-identity_binary64_11321`
2×	`unpow2_binary64_11396` `pow-plus_binary64_11394` `prod-exp_binary64_11380` `exp-diff_binary64_11379` `exp-sum_binary64_11377` `*-lft-identity_binary64_11320` `distribute-rgt-out_binary64_11284` `associate-+l-_binary64_11266`
1×	`1-exp_binary64_11375` `rem-3cbrt-lft_binary64_11356` `rem-square-sqrt_binary64_11343` `*-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` `pow-base-1_binary64_11391` `unpow0_binary64_11390` `unpow1_binary64_11389` `unpow-1_binary64_11388` `exp-lft-cube_binary64_11387` `exp-lft-sqr_binary64_11386` `exp-cbrt_binary64_11385` `exp-sqrt_binary64_11384` `div-exp_binary64_11382` `rec-exp_binary64_11381` `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-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` `rem-sqrt-square_binary64_11344` `unsub-neg_binary64_11325` `/-rgt-identity_binary64_11322` `remove-double-neg_binary64_11319` `sub0-neg_binary64_11318` `--rgt-identity_binary64_11317` `+-rgt-identity_binary64_11316` `+-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` `unswap-sqr_binary64_11299` `cancel-sign-sub_binary64_11296` `distribute-frac-neg_binary64_11294` `distribute-neg-out_binary64_11293` `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_11278` `associate--r-_binary64_11270` `associate--l-_binary64_11269`

Counts

269 → 539

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	465	12780
1	1352	12183

prune1.0s (3%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	537	2	539
Fresh	1	6	7
Picked	1	0	1
Done	0	2	2
Total	539	10	549

Error

0.1b

Counts

549 → 10

Compiler

Compiled 37552 to 3698 computations (90.2% saved)

localize28.0ms (0.1%)

Local error

Found 4 expressions with local error:

3.1b	(+.f64 x (*.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t))))
3.4b	(cbrt.f64 (/.f64 (-.f64 z t) (-.f64 a t)))
3.4b	(cbrt.f64 (/.f64 (-.f64 z t) (-.f64 a t)))
3.4b	(cbrt.f64 (/.f64 (-.f64 z t) (-.f64 a t)))

rewrite321.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

97×	`add-sqr-sqrt_binary64_11353` `*-un-lft-identity_binary64_11331`
93×	`cbrt-prod_binary64_11362`
75×	`times-frac_binary64_11337`
37×	`add-cube-cbrt_binary64_11366`
30×	`difference-of-squares_binary64_11300` `distribute-lft-out--_binary64_11283`
6×	`add-log-exp_binary64_11370` `associate-/r/_binary64_11277`
4×	`pow1_binary64_11392` `add-exp-log_binary64_11369` `add-cbrt-cube_binary64_11367`
3×	`pow1/3_binary64_11413` `cbrt-div_binary64_11363` `div-inv_binary64_11328` `flip3--_binary64_11335` `flip--_binary64_11306`
1×	`sum-log_binary64_11422` `flip3-+_binary64_11334` `flip-+_binary64_11305` `+-commutative_binary64_11261`

Counts

4 → 131

Calls

4 calls:

8.0ms	(cbrt.f64 (/.f64 (-.f64 z t) (-.f64 a t)))
7.0ms	(cbrt.f64 (/.f64 (-.f64 z t) (-.f64 a t)))
7.0ms	(cbrt.f64 (/.f64 (-.f64 z t) (-.f64 a t)))
4.0ms	(+.f64 x (*.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t))))

Compiler

Compiled 9731 to 1048 computations (89.2% saved)

series4.2s (12.5%)

Error

0.1b

Counts

4 → 104

Calls

4 calls:

1.4s	(+.f64 x (*.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t))))
733.0ms	(cbrt.f64 (/.f64 (-.f64 z t) (-.f64 a t)))
728.0ms	(cbrt.f64 (/.f64 (-.f64 z t) (-.f64 a t)))
720.0ms	(cbrt.f64 (/.f64 (-.f64 z t) (-.f64 a t)))

Compiler

Compiled 25053 to 10451 computations (58.3% saved)

simplify1.9s (5.7%)

Algorithm

1×	egg-herbie

Rules

464×	`times-frac_binary64_11337`
374×	`associate-/l*_binary64_11276`
282×	`associate-/r*_binary64_11275`
274×	`associate-r_binary64_11271`
218×	`associate-l_binary64_11272`
125×	`sub-neg_binary64_11324`
115×	`+-commutative_binary64_11261`
107×	`*-commutative_binary64_11262`
99×	`associate-*r/_binary64_11273`
88×	`associate-*l/_binary64_11274`
82×	`associate-+r+_binary64_11263`
61×	`associate-/r/_binary64_11277`
51×	`cancel-sign-sub-inv_binary64_11297`
50×	`distribute-rgt-in_binary64_11281`
49×	`sqr-pow_binary64_11303`
47×	`neg-sub0_binary64_11326` `distribute-neg-in_binary64_11292`
46×	`distribute-lft-in_binary64_11280`
45×	`neg-mul-1_binary64_11327`
34×	`distribute-rgt-neg-in_binary64_11289`
32×	`associate-/l/_binary64_11278`
26×	`unswap-sqr_binary64_11299` `associate--l+_binary64_11268`
21×	`pow-sqr_binary64_11304` `distribute-lft-neg-in_binary64_11288`
20×	`associate--r+_binary64_11267`
16×	`distribute-neg-frac_binary64_11295`
14×	`div-sub_binary64_11336`
11×	`distribute-lft-neg-out_binary64_11290`
10×	`exp-prod_binary64_11383`
8×	`unpow3_binary64_11397` `cube-mult_binary64_11361` `mul-1-neg_binary64_11323`
7×	`unpow1/3_binary64_11398`
6×	`log-div_binary64_11418` `difference-of-squares_binary64_11300`
5×	`exp-sum_binary64_11377` `distribute-rgt-out--_binary64_11285` `distribute-rgt-out_binary64_11284`
4×	`log-rec_binary64_11419` `unpow2_binary64_11396` `pow-plus_binary64_11394` `cube-prod_binary64_11359` `/-rgt-identity_binary64_11322` `swap-sqr_binary64_11298`
2×	`cube-unmult_binary64_11368` `cube-div_binary64_11360` `*-inverses_binary64_11311` `distribute-neg-out_binary64_11293`
1×	`div-exp_binary64_11382` `rec-exp_binary64_11381` `prod-exp_binary64_11380` `exp-diff_binary64_11379` `1-exp_binary64_11375` `rem-log-exp_binary64_11372` `rem-3cbrt-lft_binary64_11356` `unsub-neg_binary64_11325` `remove-double-neg_binary64_11319` `distribute-rgt-neg-out_binary64_11291` `distribute-lft-out_binary64_11282` `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` `log-pow_binary64_11420` `log-prod_binary64_11417` `pow-base-0_binary64_11415` `unpow1/2_binary64_11395` `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-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-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` `-rgt-identity_binary64_11321` `-lft-identity_binary64_11320` `sub0-neg_binary64_11318` `--rgt-identity_binary64_11317` `+-rgt-identity_binary64_11316` `+-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-frac-neg_binary64_11294` `distribute-rgt1-in_binary64_11287` `distribute-lft1-in_binary64_11286` `distribute-lft-out--_binary64_11283` `count-2_binary64_11279` `associate--r-_binary64_11270` `associate--l-_binary64_11269` `associate-+l-_binary64_11266` `associate-+l+_binary64_11264`

Counts

235 → 290

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	509	10941
1	1499	10665

prune895.0ms (2.7%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	290	0	290
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	290	10	300

Error

0.1b

Counts

300 → 10

Compiler

Compiled 27728 to 4691 computations (83.1% saved)

regimes2.0s (6%)

Accuracy

Total 7.4b remaining (98.6%)

Threshold costs 0b (0%)

Compiler

Compiled 13482 to 8490 computations (37% saved)

bsearch5.0ms (0%)

Compiler: Compiled 13 to 11 computations (15.4% saved)

simplify10.0ms (0%)

Algorithm

1×	egg-herbie

Rules

17×	`+-commutative_binary64_11261`
11×	`sub-neg_binary64_11324` `*-commutative_binary64_11262`
7×	`neg-mul-1_binary64_11327` `neg-sub0_binary64_11326`
2×	`unsub-neg_binary64_11325` `distribute-neg-frac_binary64_11295` `distribute-neg-in_binary64_11292`
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-not_binary64_11589` `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` `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-frac-neg_binary64_11294` `distribute-neg-out_binary64_11293` `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	42	159
1	59	159
2	74	159
3	90	159
4	101	159
5	107	159
6	109	159

Proof

(if real (<= f64 (+ f64 h0 (/ f64 (* f64 (- f64 h1 h0) (- f64 h2 h3)) (- f64 h4 h3))) -8882106437321359/30030067315218800919884630782037027445247038374198014146711597563050526250476926831789640794321325523394216076738821850476730762665208973047045843626559620640158907690363610309346513399556581649279919071671610504617321356178738468477058455548958390664298496) (+ f64 h0 (* f64 (- f64 h1 h0) (/ f64 (- f64 h2 h3) (- f64 h4 h3)))) (if real (<= f64 (+ f64 h0 (/ f64 (* f64 (- f64 h1 h0) (- f64 h2 h3)) (- f64 h4 h3))) 0) (- f64 (+ f64 (/ f64 h4 (/ f64 h3 h1)) (+ f64 h1 (/ f64 h0 (/ f64 h3 h2)))) (+ f64 (/ f64 h2 (/ f64 h3 h1)) (/ f64 h4 (/ f64 h3 h0)))) (+ f64 h0 (* f64 (* f64 (- f64 h1 h0) (/ f64 (* f64 (cbrt f64 (- f64 h2 h3)) (cbrt f64 (- f64 h2 h3))) (* f64 (cbrt f64 (- f64 h4 h3)) (cbrt f64 (- f64 h4 h3))))) (/ f64 (cbrt f64 (- f64 h2 h3)) (cbrt f64 (- f64 h4 h3)))))))

end0.0ms (0%)

sample2.6s (7.6%)

Algorithm

1×

intervals

Results

286.0ms	6742×	body	128	valid
54.0ms	353×	body	1024	valid
53.0ms	498×	body	512	valid
51.0ms	1238×	body	128	invalid
25.0ms	346×	body	256	valid
11.0ms	61×	body	2048	valid

Compiler

Compiled 2407 to 1486 computations (38.3% saved)

Details

analyze1.1s (3.1%)

sample35.0ms (0.1%)

simplify563.0ms (1.7%)

prune13.0ms (0%)

localize14.0ms (0%)

rewrite182.0ms (0.5%)

series2.7s (8.1%)

simplify978.0ms (2.9%)

prune469.0ms (1.4%)

localize16.0ms (0%)

rewrite181.0ms (0.5%)

series5.7s (16.9%)

simplify891.0ms (2.6%)

prune505.0ms (1.5%)

localize19.0ms (0.1%)

rewrite206.0ms (0.6%)

series5.5s (16.1%)

simplify1.7s (5%)

prune1.0s (3%)

localize28.0ms (0.1%)

rewrite321.0ms (0.9%)

series4.2s (12.5%)

simplify1.9s (5.7%)

prune895.0ms (2.7%)

regimes2.0s (6%)

bsearch5.0ms (0%)

simplify10.0ms (0%)

end0.0ms (0%)

sample2.6s (7.6%)

Profiling