Details

analyze1.9s (3.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
0.8%	98.9%	0.3%	13
1.2%	98.5%	0.3%	14

Compiler

Compiled 38 to 31 computations (18.4% saved)

sample45.0ms (0.1%)

Algorithm

1×

intervals

Results

25.0ms	256×	body	128	valid
3.0ms	39×	body	128	invalid

Compiler

Compiled 75 to 67 computations (10.7% saved)

simplify311.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

918×	`distribute-rgt-in_binary64_5484`
826×	`distribute-lft-in_binary64_5483`
688×	`associate-/l*_binary64_5479`
568×	`associate-+l+_binary64_5467`
474×	`associate-/r/_binary64_5480`
434×	`associate-/r*_binary64_5478`
383×	`associate-+r+_binary64_5466`
284×	`associate-l_binary64_5475`
219×	`associate-*r/_binary64_5476`
199×	`associate-r_binary64_5474`
186×	`*-commutative_binary64_5465`
185×	`associate-*l/_binary64_5477`
136×	`distribute-rgt-out_binary64_5487`
135×	`+-commutative_binary64_5464`
129×	`times-frac_binary64_5540`
116×	`associate-/l/_binary64_5481`
111×	`sqr-pow_binary64_5506`
79×	`pow-sqr_binary64_5507`
51×	`cube-prod_binary64_5562` `unswap-sqr_binary64_5502`
40×	`distribute-lft-out_binary64_5485`
17×	`cube-div_binary64_5563`
16×	`div-exp_binary64_5585` `prod-exp_binary64_5583`
15×	`/-rgt-identity_binary64_5525`
14×	`unpow3_binary64_5600`
12×	`swap-sqr_binary64_5501`
10×	`pow-plus_binary64_5597`
9×	`cube-mult_binary64_5564`
8×	`cube-unmult_binary64_5571`
7×	`-rgt-identity_binary64_5524` `-lft-identity_binary64_5523`
4×	`rec-exp_binary64_5584`
3×	`pow-base-1_binary64_5594`
2×	`exp-prod_binary64_5586` `distribute-rgt1-in_binary64_5490`
1×	`1-exp_binary64_5578` `neg-mul-1_binary64_5530` `neg-sub0_binary64_5529` `sub-neg_binary64_5527` `--rgt-identity_binary64_5520` `*-inverses_binary64_5514` `count-2_binary64_5482`
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_5797` `erf-erfc_binary64_5796` `erf-odd_binary64_5795` `if-if-and-not_binary64_5794` `if-if-and_binary64_5793` `if-if-or-not_binary64_5792` `if-if-or_binary64_5791` `if-not_binary64_5790` `if-same_binary64_5789` `if-false_binary64_5788` `if-true_binary64_5787` `not-gte_binary64_5786` `not-lte_binary64_5785` `not-gt_binary64_5784` `not-lt_binary64_5783` `gte-same_binary64_5782` `lte-same_binary64_5781` `gt-same_binary64_5780` `lt-same_binary64_5779` `sinh---cosh_binary64_5726` `sinh-+-cosh_binary64_5725` `sinh-cosh_binary64_5724` `tanh-def-c_binary64_5723` `tanh-def-b_binary64_5722` `tanh-def-a_binary64_5721` `cosh-def_binary64_5720` `sinh-def_binary64_5719` `tan-neg_binary64_5666` `cos-neg_binary64_5665` `sin-neg_binary64_5664` `tan-0_binary64_5663` `cos-0_binary64_5662` `sin-0_binary64_5661` `hang-m-tan_binary64_5660` `hang-p-tan_binary64_5659` `hang-m0-tan_binary64_5658` `hang-p0-tan_binary64_5657` `hang-0m-tan_binary64_5656` `hang-0p-tan_binary64_5655` `tan-+PI/2_binary64_5654` `tan-+PI_binary64_5653` `tan-PI_binary64_5652` `tan-PI/3_binary64_5651` `tan-PI/4_binary64_5650` `tan-PI/6_binary64_5649` `cos-+PI/2_binary64_5648` `cos-+PI_binary64_5647` `cos-PI_binary64_5646` `cos-PI/2_binary64_5645` `cos-PI/3_binary64_5644` `cos-PI/4_binary64_5643` `cos-PI/6_binary64_5642` `sin-+PI/2_binary64_5641` `sin-+PI_binary64_5640` `sin-PI_binary64_5639` `sin-PI/2_binary64_5638` `sin-PI/3_binary64_5637` `sin-PI/4_binary64_5636` `sin-PI/6_binary64_5635` `sub-1-sin_binary64_5634` `sub-1-cos_binary64_5633` `-1-add-sin_binary64_5632` `-1-add-cos_binary64_5631` `1-sub-sin_binary64_5630` `1-sub-cos_binary64_5629` `cos-sin-sum_binary64_5628` `log-E_binary64_5624` `log-pow_binary64_5623` `log-rec_binary64_5622` `log-div_binary64_5621` `log-prod_binary64_5620` `pow-base-0_binary64_5618` `unpow1/3_binary64_5601` `unpow2_binary64_5599` `unpow1/2_binary64_5598` `exp-to-pow_binary64_5596` `unpow0_binary64_5593` `unpow1_binary64_5592` `unpow-1_binary64_5591` `exp-lft-cube_binary64_5590` `exp-lft-sqr_binary64_5589` `exp-cbrt_binary64_5588` `exp-sqrt_binary64_5587` `exp-diff_binary64_5582` `exp-neg_binary64_5581` `exp-sum_binary64_5580` `e-exp-1_binary64_5579` `exp-1-e_binary64_5577` `exp-0_binary64_5576` `rem-log-exp_binary64_5575` `rem-exp-log_binary64_5574` `cube-neg_binary64_5561` `rem-3cbrt-rft_binary64_5560` `rem-3cbrt-lft_binary64_5559` `rem-cbrt-cube_binary64_5558` `rem-cube-cbrt_binary64_5557` `sqr-abs_binary64_5549` `sqr-neg_binary64_5548` `rem-sqrt-square_binary64_5547` `rem-square-sqrt_binary64_5546` `div-sub_binary64_5539` `unsub-neg_binary64_5528` `mul-1-neg_binary64_5526` `remove-double-neg_binary64_5522` `sub0-neg_binary64_5521` `+-rgt-identity_binary64_5519` `+-lft-identity_binary64_5518` `mul0-rgt_binary64_5517` `mul0-lft_binary64_5516` `div0_binary64_5515` `+-inverses_binary64_5513` `lft-mult-inverse_binary64_5512` `rgt-mult-inverse_binary64_5511` `remove-double-div_binary64_5510` `difference-of-sqr--1_binary64_5505` `difference-of-sqr-1_binary64_5504` `difference-of-squares_binary64_5503` `cancel-sign-sub-inv_binary64_5500` `cancel-sign-sub_binary64_5499` `distribute-neg-frac_binary64_5498` `distribute-frac-neg_binary64_5497` `distribute-neg-out_binary64_5496` `distribute-neg-in_binary64_5495` `distribute-rgt-neg-out_binary64_5494` `distribute-lft-neg-out_binary64_5493` `distribute-rgt-neg-in_binary64_5492` `distribute-lft-neg-in_binary64_5491` `distribute-lft1-in_binary64_5489` `distribute-rgt-out--_binary64_5488` `distribute-lft-out--_binary64_5486` `associate--r-_binary64_5473` `associate--l-_binary64_5472` `associate--l+_binary64_5471` `associate--r+_binary64_5470` `associate-+l-_binary64_5469` `associate-+r-_binary64_5468`

Counts

1 → 5

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	55
1	56	55
2	117	55
3	256	55
4	594	55
5	1375	55
6	2063	55
7	2359	55
8	3041	55
9	3672	55
10	3887	55
11	4650	55
12	4642	55
13	4803	55

prune22.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

26.1b

Counts

6 → 3

Compiler

Compiled 296 to 216 computations (27% saved)

localize24.0ms (0%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a))
0.1b	(.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t))
0.1b	(.f64 (/.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b) (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)) y)
25.4b	(/.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b) (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496))

rewrite480.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

26.1b

Rules

33×	`add-sqr-sqrt_binary64_5556`
24×	`add-cube-cbrt_binary64_5569` `*-un-lft-identity_binary64_5534`
21×	`associate-l_binary64_5475`
19×	`times-frac_binary64_5540`
15×	`add-exp-log_binary64_5572` `add-cbrt-cube_binary64_5570`
10×	`pow1_binary64_5595`
9×	`associate-r_binary64_5474`
5×	`flip3-+_binary64_5537` `flip-+_binary64_5508`
4×	`add-log-exp_binary64_5573` `associate-/r/_binary64_5480` `prod-exp_binary64_5583` `cbrt-unprod_binary64_5567` `unswap-sqr_binary64_5502` `associate-*r/_binary64_5476`
3×	`associate-/l_binary64_5479` `associate-/r_binary64_5478` `pow-prod-down_binary64_5605` `*-commutative_binary64_5465`
2×	`div-exp_binary64_5585` `cbrt-undiv_binary64_5568` `div-inv_binary64_5531` `associate-/l/_binary64_5481` `distribute-rgt-in_binary64_5484` `distribute-lft-in_binary64_5483`
1×	`frac-2neg_binary64_5545` `clear-num_binary64_5533` `associate-*l/_binary64_5477`

Counts

4 → 109

Calls

4 calls:

33.0ms	(.f64 (/.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b) (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)) y)
28.0ms	(/.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b) (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496))
15.0ms	(.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a))
11.0ms	(.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t))

Compiler

Compiled 6444 to 4299 computations (33.3% saved)

series5.9s (10.1%)

Error

0.0b

Counts

4 → 102

Calls

4 calls:

2.8s	(.f64 (/.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b) (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)) y)
2.1s	(/.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b) (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496))
397.0ms	(.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a))
259.0ms	(.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t))

Compiler

Compiled 13961 to 11087 computations (20.6% saved)

simplify2.3s (3.9%)

Algorithm

1×	egg-herbie

Rules

402×	`associate-l_binary64_5475`
375×	`times-frac_binary64_5540` `associate-r_binary64_5474`
224×	`*-commutative_binary64_5465`
221×	`distribute-rgt-in_binary64_5484`
207×	`distribute-lft-in_binary64_5483`
205×	`associate-+r+_binary64_5466`
187×	`+-commutative_binary64_5464`
182×	`sub-neg_binary64_5527`
168×	`associate-+l+_binary64_5467`
91×	`associate-/l*_binary64_5479`
72×	`associate--l+_binary64_5471`
69×	`neg-mul-1_binary64_5530` `cancel-sign-sub-inv_binary64_5500`
68×	`neg-sub0_binary64_5529` `associate-/r*_binary64_5478`
67×	`associate-*l/_binary64_5477`
47×	`exp-prod_binary64_5586` `associate-*r/_binary64_5476`
46×	`associate--r+_binary64_5470`
38×	`unsub-neg_binary64_5528`
29×	`cube-prod_binary64_5562`
28×	`associate-/l/_binary64_5481`
27×	`exp-sum_binary64_5580`
25×	`distribute-rgt-neg-in_binary64_5492`
24×	`log-prod_binary64_5620` `sqr-pow_binary64_5506` `associate-/r/_binary64_5480`
23×	`distribute-neg-in_binary64_5495`
16×	`distribute-lft-neg-in_binary64_5491`
15×	`distribute-rgt-out_binary64_5487`
14×	`log-div_binary64_5621` `swap-sqr_binary64_5501`
11×	`unpow3_binary64_5600`
9×	`div-exp_binary64_5585` `prod-exp_binary64_5583` `cube-mult_binary64_5564` `cube-div_binary64_5563` `pow-sqr_binary64_5507` `distribute-lft-neg-out_binary64_5493`
7×	`cube-unmult_binary64_5571`
6×	`pow-plus_binary64_5597` `*-rgt-identity_binary64_5524` `unswap-sqr_binary64_5502`
5×	`distribute-lft-out_binary64_5485`
4×	`div-sub_binary64_5539` `/-rgt-identity_binary64_5525` `distribute-rgt-out--_binary64_5488`
3×	`rec-exp_binary64_5584` `difference-of-squares_binary64_5503` `distribute-neg-frac_binary64_5498` `associate-+l-_binary64_5469` `associate-+r-_binary64_5468`
1×	`log-rec_binary64_5622` `unpow2_binary64_5599` `unpow1_binary64_5592` `exp-sqrt_binary64_5587` `1-exp_binary64_5578` `exp-1-e_binary64_5577` `rem-log-exp_binary64_5575` `-lft-identity_binary64_5523` `-inverses_binary64_5514`
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_5797` `erf-erfc_binary64_5796` `erf-odd_binary64_5795` `if-if-and-not_binary64_5794` `if-if-and_binary64_5793` `if-if-or-not_binary64_5792` `if-if-or_binary64_5791` `if-not_binary64_5790` `if-same_binary64_5789` `if-false_binary64_5788` `if-true_binary64_5787` `not-gte_binary64_5786` `not-lte_binary64_5785` `not-gt_binary64_5784` `not-lt_binary64_5783` `gte-same_binary64_5782` `lte-same_binary64_5781` `gt-same_binary64_5780` `lt-same_binary64_5779` `sinh---cosh_binary64_5726` `sinh-+-cosh_binary64_5725` `sinh-cosh_binary64_5724` `tanh-def-c_binary64_5723` `tanh-def-b_binary64_5722` `tanh-def-a_binary64_5721` `cosh-def_binary64_5720` `sinh-def_binary64_5719` `tan-neg_binary64_5666` `cos-neg_binary64_5665` `sin-neg_binary64_5664` `tan-0_binary64_5663` `cos-0_binary64_5662` `sin-0_binary64_5661` `hang-m-tan_binary64_5660` `hang-p-tan_binary64_5659` `hang-m0-tan_binary64_5658` `hang-p0-tan_binary64_5657` `hang-0m-tan_binary64_5656` `hang-0p-tan_binary64_5655` `tan-+PI/2_binary64_5654` `tan-+PI_binary64_5653` `tan-PI_binary64_5652` `tan-PI/3_binary64_5651` `tan-PI/4_binary64_5650` `tan-PI/6_binary64_5649` `cos-+PI/2_binary64_5648` `cos-+PI_binary64_5647` `cos-PI_binary64_5646` `cos-PI/2_binary64_5645` `cos-PI/3_binary64_5644` `cos-PI/4_binary64_5643` `cos-PI/6_binary64_5642` `sin-+PI/2_binary64_5641` `sin-+PI_binary64_5640` `sin-PI_binary64_5639` `sin-PI/2_binary64_5638` `sin-PI/3_binary64_5637` `sin-PI/4_binary64_5636` `sin-PI/6_binary64_5635` `sub-1-sin_binary64_5634` `sub-1-cos_binary64_5633` `-1-add-sin_binary64_5632` `-1-add-cos_binary64_5631` `1-sub-sin_binary64_5630` `1-sub-cos_binary64_5629` `cos-sin-sum_binary64_5628` `log-E_binary64_5624` `log-pow_binary64_5623` `pow-base-0_binary64_5618` `unpow1/3_binary64_5601` `unpow1/2_binary64_5598` `exp-to-pow_binary64_5596` `pow-base-1_binary64_5594` `unpow0_binary64_5593` `unpow-1_binary64_5591` `exp-lft-cube_binary64_5590` `exp-lft-sqr_binary64_5589` `exp-cbrt_binary64_5588` `exp-diff_binary64_5582` `exp-neg_binary64_5581` `e-exp-1_binary64_5579` `exp-0_binary64_5576` `rem-exp-log_binary64_5574` `cube-neg_binary64_5561` `rem-3cbrt-rft_binary64_5560` `rem-3cbrt-lft_binary64_5559` `rem-cbrt-cube_binary64_5558` `rem-cube-cbrt_binary64_5557` `sqr-abs_binary64_5549` `sqr-neg_binary64_5548` `rem-sqrt-square_binary64_5547` `rem-square-sqrt_binary64_5546` `mul-1-neg_binary64_5526` `remove-double-neg_binary64_5522` `sub0-neg_binary64_5521` `--rgt-identity_binary64_5520` `+-rgt-identity_binary64_5519` `+-lft-identity_binary64_5518` `mul0-rgt_binary64_5517` `mul0-lft_binary64_5516` `div0_binary64_5515` `+-inverses_binary64_5513` `lft-mult-inverse_binary64_5512` `rgt-mult-inverse_binary64_5511` `remove-double-div_binary64_5510` `difference-of-sqr--1_binary64_5505` `difference-of-sqr-1_binary64_5504` `cancel-sign-sub_binary64_5499` `distribute-frac-neg_binary64_5497` `distribute-neg-out_binary64_5496` `distribute-rgt-neg-out_binary64_5494` `distribute-rgt1-in_binary64_5490` `distribute-lft1-in_binary64_5489` `distribute-lft-out--_binary64_5486` `count-2_binary64_5482` `associate--r-_binary64_5473` `associate--l-_binary64_5472`

Counts

211 → 379

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	417	12066
1	1215	11313
2	4314	11313

prune2.0s (3.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	373	6	379
Fresh	0	2	2
Picked	1	0	1
Done	0	0	0
Total	374	8	382

Error

0.0b

Counts

382 → 8

Compiler

Compiled 23489 to 15517 computations (33.9% saved)

localize43.0ms (0.1%)

Local error

Found 4 expressions with local error:

14.4b	(cbrt.f64 (+.f64 2737158995491925/4503599627370496 (.f64 z (+.f64 3360836715704971/281474976710656 (.f64 z (+.f64 4428869650076171/140737488355328 (*.f64 z (+.f64 z 4288183283079449/281474976710656))))))))
14.4b	(cbrt.f64 (+.f64 2737158995491925/4503599627370496 (.f64 z (+.f64 3360836715704971/281474976710656 (.f64 z (+.f64 4428869650076171/140737488355328 (*.f64 z (+.f64 z 4288183283079449/281474976710656))))))))
14.4b	(cbrt.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496))
23.3b	(/.f64 (+.f64 b (.f64 z (+.f64 a (.f64 z (+.f64 t (.f64 z (+.f64 3143161857605767/281474976710656 (.f64 z 7049496828096731/2251799813685248)))))))) (.f64 (cbrt.f64 (+.f64 2737158995491925/4503599627370496 (.f64 z (+.f64 3360836715704971/281474976710656 (.f64 z (+.f64 4428869650076171/140737488355328 (.f64 z (+.f64 z 4288183283079449/281474976710656)))))))) (cbrt.f64 (+.f64 2737158995491925/4503599627370496 (.f64 z (+.f64 3360836715704971/281474976710656 (.f64 z (+.f64 4428869650076171/140737488355328 (*.f64 z (+.f64 z 4288183283079449/281474976710656))))))))))

rewrite424.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

18×	`cbrt-div_binary64_5566`
10×	`flip3-+_binary64_5537` `flip-+_binary64_5508`
9×	`add-exp-log_binary64_5572` `add-cube-cbrt_binary64_5569` `add-sqr-sqrt_binary64_5556` `*-un-lft-identity_binary64_5534` `cbrt-prod_binary64_5565`
8×	`associate-/r/_binary64_5480`
7×	`add-cbrt-cube_binary64_5570`
4×	`pow1_binary64_5595` `add-log-exp_binary64_5573` `frac-times_binary64_5544`
3×	`times-frac_binary64_5540` `associate-/l*_binary64_5479` `pow1/3_binary64_5616`
2×	`div-exp_binary64_5585` `cbrt-undiv_binary64_5568` `associate-/l/_binary64_5481` `associate-l/_binary64_5477` `associate-r/_binary64_5476`
1×	`prod-exp_binary64_5583` `cbrt-unprod_binary64_5567` `frac-2neg_binary64_5545` `clear-num_binary64_5533` `div-inv_binary64_5531` `associate-/r*_binary64_5478`

Counts

4 → 70

Calls

4 calls:

13.0ms	(/.f64 (+.f64 b (.f64 z (+.f64 a (.f64 z (+.f64 t (.f64 z (+.f64 3143161857605767/281474976710656 (.f64 z 7049496828096731/2251799813685248)))))))) (.f64 (cbrt.f64 (+.f64 2737158995491925/4503599627370496 (.f64 z (+.f64 3360836715704971/281474976710656 (.f64 z (+.f64 4428869650076171/140737488355328 (.f64 z (+.f64 z 4288183283079449/281474976710656)))))))) (cbrt.f64 (+.f64 2737158995491925/4503599627370496 (.f64 z (+.f64 3360836715704971/281474976710656 (.f64 z (+.f64 4428869650076171/140737488355328 (*.f64 z (+.f64 z 4288183283079449/281474976710656))))))))))
13.0ms	(cbrt.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496))
3.0ms	(cbrt.f64 (+.f64 2737158995491925/4503599627370496 (.f64 z (+.f64 3360836715704971/281474976710656 (.f64 z (+.f64 4428869650076171/140737488355328 (*.f64 z (+.f64 z 4288183283079449/281474976710656))))))))
3.0ms	(cbrt.f64 (+.f64 2737158995491925/4503599627370496 (.f64 z (+.f64 3360836715704971/281474976710656 (.f64 z (+.f64 4428869650076171/140737488355328 (*.f64 z (+.f64 z 4288183283079449/281474976710656))))))))

Compiler

Compiled 6931 to 4994 computations (27.9% saved)

series6.4s (11.1%)

Error

0.0b

Counts

4 → 63

Calls

4 calls:

5.7s	(/.f64 (+.f64 b (.f64 z (+.f64 a (.f64 z (+.f64 t (.f64 z (+.f64 3143161857605767/281474976710656 (.f64 z 7049496828096731/2251799813685248)))))))) (.f64 (cbrt.f64 (+.f64 2737158995491925/4503599627370496 (.f64 z (+.f64 3360836715704971/281474976710656 (.f64 z (+.f64 4428869650076171/140737488355328 (.f64 z (+.f64 z 4288183283079449/281474976710656)))))))) (cbrt.f64 (+.f64 2737158995491925/4503599627370496 (.f64 z (+.f64 3360836715704971/281474976710656 (.f64 z (+.f64 4428869650076171/140737488355328 (*.f64 z (+.f64 z 4288183283079449/281474976710656))))))))))
142.0ms	(cbrt.f64 (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496))
136.0ms	(cbrt.f64 (+.f64 2737158995491925/4503599627370496 (.f64 z (+.f64 3360836715704971/281474976710656 (.f64 z (+.f64 4428869650076171/140737488355328 (*.f64 z (+.f64 z 4288183283079449/281474976710656))))))))
132.0ms	(cbrt.f64 (+.f64 2737158995491925/4503599627370496 (.f64 z (+.f64 3360836715704971/281474976710656 (.f64 z (+.f64 4428869650076171/140737488355328 (*.f64 z (+.f64 z 4288183283079449/281474976710656))))))))

Compiler

Compiled 12335 to 10045 computations (18.6% saved)

simplify945.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

423×	`cancel-sign-sub-inv_binary64_5500`
357×	`associate--l+_binary64_5471`
256×	`associate--r+_binary64_5470`
205×	`associate-r_binary64_5474`
199×	`associate-l_binary64_5475`
149×	`distribute-rgt-out_binary64_5487`
142×	`distribute-rgt-neg-in_binary64_5492`
128×	`distribute-lft-out_binary64_5485`
127×	`sub-neg_binary64_5527` `distribute-rgt-in_binary64_5484`
121×	`*-commutative_binary64_5465`
117×	`distribute-lft-in_binary64_5483`
113×	`distribute-lft-neg-in_binary64_5491`
111×	`+-commutative_binary64_5464`
105×	`associate-+r+_binary64_5466`
93×	`associate-+l+_binary64_5467`
92×	`distribute-neg-in_binary64_5495`
89×	`associate-/l*_binary64_5479`
74×	`times-frac_binary64_5540`
67×	`associate-/r*_binary64_5478`
62×	`sqr-pow_binary64_5506`
59×	`unswap-sqr_binary64_5502` `associate-*l/_binary64_5477`
56×	`neg-mul-1_binary64_5530` `neg-sub0_binary64_5529`
54×	`associate-/l/_binary64_5481`
47×	`associate-+l-_binary64_5469`
42×	`distribute-lft-neg-out_binary64_5493`
40×	`associate-*r/_binary64_5476`
30×	`pow-sqr_binary64_5507`
25×	`unsub-neg_binary64_5528` `distribute-rgt-out--_binary64_5488`
23×	`associate-/r/_binary64_5480`
19×	`distribute-lft-out--_binary64_5486`
15×	`distribute-rgt-neg-out_binary64_5494`
7×	`unpow1/3_binary64_5601`
5×	`unpow3_binary64_5600` `cube-mult_binary64_5564` `swap-sqr_binary64_5501` `associate--l-_binary64_5472`
4×	`pow-plus_binary64_5597` `cube-unmult_binary64_5571` `distribute-rgt1-in_binary64_5490`
3×	`log-div_binary64_5621` `cube-prod_binary64_5562` `associate-+r-_binary64_5468`
2×	`unpow2_binary64_5599` `unpow1_binary64_5592` `rem-3cbrt-lft_binary64_5559` `difference-of-squares_binary64_5503`
1×	`log-prod_binary64_5620` `1-exp_binary64_5578` `cube-div_binary64_5563` `-rgt-identity_binary64_5524` `-inverses_binary64_5514` `distribute-lft1-in_binary64_5489` `count-2_binary64_5482`
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_5797` `erf-erfc_binary64_5796` `erf-odd_binary64_5795` `if-if-and-not_binary64_5794` `if-if-and_binary64_5793` `if-if-or-not_binary64_5792` `if-if-or_binary64_5791` `if-not_binary64_5790` `if-same_binary64_5789` `if-false_binary64_5788` `if-true_binary64_5787` `not-gte_binary64_5786` `not-lte_binary64_5785` `not-gt_binary64_5784` `not-lt_binary64_5783` `gte-same_binary64_5782` `lte-same_binary64_5781` `gt-same_binary64_5780` `lt-same_binary64_5779` `sinh---cosh_binary64_5726` `sinh-+-cosh_binary64_5725` `sinh-cosh_binary64_5724` `tanh-def-c_binary64_5723` `tanh-def-b_binary64_5722` `tanh-def-a_binary64_5721` `cosh-def_binary64_5720` `sinh-def_binary64_5719` `tan-neg_binary64_5666` `cos-neg_binary64_5665` `sin-neg_binary64_5664` `tan-0_binary64_5663` `cos-0_binary64_5662` `sin-0_binary64_5661` `hang-m-tan_binary64_5660` `hang-p-tan_binary64_5659` `hang-m0-tan_binary64_5658` `hang-p0-tan_binary64_5657` `hang-0m-tan_binary64_5656` `hang-0p-tan_binary64_5655` `tan-+PI/2_binary64_5654` `tan-+PI_binary64_5653` `tan-PI_binary64_5652` `tan-PI/3_binary64_5651` `tan-PI/4_binary64_5650` `tan-PI/6_binary64_5649` `cos-+PI/2_binary64_5648` `cos-+PI_binary64_5647` `cos-PI_binary64_5646` `cos-PI/2_binary64_5645` `cos-PI/3_binary64_5644` `cos-PI/4_binary64_5643` `cos-PI/6_binary64_5642` `sin-+PI/2_binary64_5641` `sin-+PI_binary64_5640` `sin-PI_binary64_5639` `sin-PI/2_binary64_5638` `sin-PI/3_binary64_5637` `sin-PI/4_binary64_5636` `sin-PI/6_binary64_5635` `sub-1-sin_binary64_5634` `sub-1-cos_binary64_5633` `-1-add-sin_binary64_5632` `-1-add-cos_binary64_5631` `1-sub-sin_binary64_5630` `1-sub-cos_binary64_5629` `cos-sin-sum_binary64_5628` `log-E_binary64_5624` `log-pow_binary64_5623` `log-rec_binary64_5622` `pow-base-0_binary64_5618` `unpow1/2_binary64_5598` `exp-to-pow_binary64_5596` `pow-base-1_binary64_5594` `unpow0_binary64_5593` `unpow-1_binary64_5591` `exp-lft-cube_binary64_5590` `exp-lft-sqr_binary64_5589` `exp-cbrt_binary64_5588` `exp-sqrt_binary64_5587` `exp-prod_binary64_5586` `div-exp_binary64_5585` `rec-exp_binary64_5584` `prod-exp_binary64_5583` `exp-diff_binary64_5582` `exp-neg_binary64_5581` `exp-sum_binary64_5580` `e-exp-1_binary64_5579` `exp-1-e_binary64_5577` `exp-0_binary64_5576` `rem-log-exp_binary64_5575` `rem-exp-log_binary64_5574` `cube-neg_binary64_5561` `rem-3cbrt-rft_binary64_5560` `rem-cbrt-cube_binary64_5558` `rem-cube-cbrt_binary64_5557` `sqr-abs_binary64_5549` `sqr-neg_binary64_5548` `rem-sqrt-square_binary64_5547` `rem-square-sqrt_binary64_5546` `div-sub_binary64_5539` `mul-1-neg_binary64_5526` `/-rgt-identity_binary64_5525` `*-lft-identity_binary64_5523` `remove-double-neg_binary64_5522` `sub0-neg_binary64_5521` `--rgt-identity_binary64_5520` `+-rgt-identity_binary64_5519` `+-lft-identity_binary64_5518` `mul0-rgt_binary64_5517` `mul0-lft_binary64_5516` `div0_binary64_5515` `+-inverses_binary64_5513` `lft-mult-inverse_binary64_5512` `rgt-mult-inverse_binary64_5511` `remove-double-div_binary64_5510` `difference-of-sqr--1_binary64_5505` `difference-of-sqr-1_binary64_5504` `cancel-sign-sub_binary64_5499` `distribute-neg-frac_binary64_5498` `distribute-frac-neg_binary64_5497` `distribute-neg-out_binary64_5496` `associate--r-_binary64_5473`

Counts

133 → 227

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	277	8630
1	741	7250
2	2490	6654

prune1.9s (3.2%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	227	0	227
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	227	8	235

Error

0.0b

Counts

235 → 8

Compiler

Compiled 20886 to 15038 computations (28% saved)

localize26.0ms (0%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a))
0.1b	(.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t))
2.0b	(/.f64 y (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496))
26.7b	(.f64 (/.f64 y (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)) (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b))

rewrite417.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

33×	`add-sqr-sqrt_binary64_5556`
24×	`add-cube-cbrt_binary64_5569` `*-un-lft-identity_binary64_5534`
21×	`associate-l_binary64_5475`
19×	`times-frac_binary64_5540`
15×	`add-exp-log_binary64_5572` `add-cbrt-cube_binary64_5570`
10×	`pow1_binary64_5595`
9×	`associate-r_binary64_5474`
6×	`flip3-+_binary64_5537` `flip-+_binary64_5508` `associate-*r/_binary64_5476`
4×	`prod-exp_binary64_5583` `add-log-exp_binary64_5573` `cbrt-unprod_binary64_5567` `unswap-sqr_binary64_5502` `associate-/r/_binary64_5480`
3×	`pow-prod-down_binary64_5605` `distribute-rgt-in_binary64_5484` `distribute-lft-in_binary64_5483` `-commutative_binary64_5465` `associate-/l_binary64_5479` `associate-/r*_binary64_5478`
2×	`div-exp_binary64_5585` `cbrt-undiv_binary64_5568` `frac-times_binary64_5544` `div-inv_binary64_5531`
1×	`associate-*l/_binary64_5477` `frac-2neg_binary64_5545` `clear-num_binary64_5533`

Counts

4 → 113

Calls

4 calls:

32.0ms	(.f64 (/.f64 y (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)) (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b))
17.0ms	(.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a))
14.0ms	(/.f64 y (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496))
11.0ms	(.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t))

Compiler

Compiled 6274 to 4164 computations (33.6% saved)

series4.0s (6.9%)

Error

0.0b

Counts

4 → 86

Calls

4 calls:

2.7s	(.f64 (/.f64 y (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)) (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a)) b))
411.0ms	(.f64 z (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t)) a))
366.0ms	(/.f64 y (+.f64 (.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z (+.f64 z 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496))
264.0ms	(.f64 z (+.f64 (.f64 z (+.f64 (*.f64 z 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) t))

Compiler

Compiled 10210 to 7937 computations (22.3% saved)

simplify1.5s (2.7%)

Algorithm

1×	egg-herbie

Rules

513×	`times-frac_binary64_5540`
439×	`associate-l_binary64_5475`
407×	`associate-r_binary64_5474`
298×	`distribute-rgt-in_binary64_5484`
285×	`distribute-lft-in_binary64_5483`
246×	`*-commutative_binary64_5465`
136×	`associate-+r+_binary64_5466`
135×	`+-commutative_binary64_5464`
114×	`associate-+l+_binary64_5467`
109×	`associate-*l/_binary64_5477`
86×	`associate-/l*_binary64_5479`
80×	`associate-*r/_binary64_5476`
62×	`exp-prod_binary64_5586`
59×	`cancel-sign-sub-inv_binary64_5500`
46×	`associate-/r*_binary64_5478` `associate--l+_binary64_5471`
44×	`sub-neg_binary64_5527`
43×	`exp-sum_binary64_5580`
35×	`sqr-pow_binary64_5506` `associate-/l/_binary64_5481`
30×	`cube-prod_binary64_5562`
28×	`associate--r+_binary64_5470`
26×	`neg-mul-1_binary64_5530` `neg-sub0_binary64_5529`
25×	`distribute-rgt-neg-in_binary64_5492` `associate-/r/_binary64_5480`
24×	`log-prod_binary64_5620`
15×	`distribute-neg-in_binary64_5495` `distribute-lft-neg-in_binary64_5491`
14×	`log-div_binary64_5621` `unpow3_binary64_5600` `pow-sqr_binary64_5507` `swap-sqr_binary64_5501`
11×	`cube-mult_binary64_5564`
10×	`distribute-lft-neg-out_binary64_5493`
9×	`div-exp_binary64_5585` `prod-exp_binary64_5583` `cube-div_binary64_5563` `distribute-rgt-out_binary64_5487`
6×	`pow-plus_binary64_5597` `unswap-sqr_binary64_5502`
5×	`cube-unmult_binary64_5571`
4×	`/-rgt-identity_binary64_5525` `difference-of-squares_binary64_5503` `distribute-rgt-out--_binary64_5488`
3×	`rec-exp_binary64_5584` `*-rgt-identity_binary64_5524` `distribute-neg-frac_binary64_5498` `distribute-lft-out_binary64_5485` `associate-+l-_binary64_5469` `associate-+r-_binary64_5468`
1×	`log-rec_binary64_5622` `unpow2_binary64_5599` `unpow1_binary64_5592` `exp-sqrt_binary64_5587` `1-exp_binary64_5578` `exp-1-e_binary64_5577` `rem-log-exp_binary64_5575` `unsub-neg_binary64_5528` `-lft-identity_binary64_5523` `-inverses_binary64_5514`
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_5797` `erf-erfc_binary64_5796` `erf-odd_binary64_5795` `if-if-and-not_binary64_5794` `if-if-and_binary64_5793` `if-if-or-not_binary64_5792` `if-if-or_binary64_5791` `if-not_binary64_5790` `if-same_binary64_5789` `if-false_binary64_5788` `if-true_binary64_5787` `not-gte_binary64_5786` `not-lte_binary64_5785` `not-gt_binary64_5784` `not-lt_binary64_5783` `gte-same_binary64_5782` `lte-same_binary64_5781` `gt-same_binary64_5780` `lt-same_binary64_5779` `sinh---cosh_binary64_5726` `sinh-+-cosh_binary64_5725` `sinh-cosh_binary64_5724` `tanh-def-c_binary64_5723` `tanh-def-b_binary64_5722` `tanh-def-a_binary64_5721` `cosh-def_binary64_5720` `sinh-def_binary64_5719` `tan-neg_binary64_5666` `cos-neg_binary64_5665` `sin-neg_binary64_5664` `tan-0_binary64_5663` `cos-0_binary64_5662` `sin-0_binary64_5661` `hang-m-tan_binary64_5660` `hang-p-tan_binary64_5659` `hang-m0-tan_binary64_5658` `hang-p0-tan_binary64_5657` `hang-0m-tan_binary64_5656` `hang-0p-tan_binary64_5655` `tan-+PI/2_binary64_5654` `tan-+PI_binary64_5653` `tan-PI_binary64_5652` `tan-PI/3_binary64_5651` `tan-PI/4_binary64_5650` `tan-PI/6_binary64_5649` `cos-+PI/2_binary64_5648` `cos-+PI_binary64_5647` `cos-PI_binary64_5646` `cos-PI/2_binary64_5645` `cos-PI/3_binary64_5644` `cos-PI/4_binary64_5643` `cos-PI/6_binary64_5642` `sin-+PI/2_binary64_5641` `sin-+PI_binary64_5640` `sin-PI_binary64_5639` `sin-PI/2_binary64_5638` `sin-PI/3_binary64_5637` `sin-PI/4_binary64_5636` `sin-PI/6_binary64_5635` `sub-1-sin_binary64_5634` `sub-1-cos_binary64_5633` `-1-add-sin_binary64_5632` `-1-add-cos_binary64_5631` `1-sub-sin_binary64_5630` `1-sub-cos_binary64_5629` `cos-sin-sum_binary64_5628` `log-E_binary64_5624` `log-pow_binary64_5623` `pow-base-0_binary64_5618` `unpow1/3_binary64_5601` `unpow1/2_binary64_5598` `exp-to-pow_binary64_5596` `pow-base-1_binary64_5594` `unpow0_binary64_5593` `unpow-1_binary64_5591` `exp-lft-cube_binary64_5590` `exp-lft-sqr_binary64_5589` `exp-cbrt_binary64_5588` `exp-diff_binary64_5582` `exp-neg_binary64_5581` `e-exp-1_binary64_5579` `exp-0_binary64_5576` `rem-exp-log_binary64_5574` `cube-neg_binary64_5561` `rem-3cbrt-rft_binary64_5560` `rem-3cbrt-lft_binary64_5559` `rem-cbrt-cube_binary64_5558` `rem-cube-cbrt_binary64_5557` `sqr-abs_binary64_5549` `sqr-neg_binary64_5548` `rem-sqrt-square_binary64_5547` `rem-square-sqrt_binary64_5546` `div-sub_binary64_5539` `mul-1-neg_binary64_5526` `remove-double-neg_binary64_5522` `sub0-neg_binary64_5521` `--rgt-identity_binary64_5520` `+-rgt-identity_binary64_5519` `+-lft-identity_binary64_5518` `mul0-rgt_binary64_5517` `mul0-lft_binary64_5516` `div0_binary64_5515` `+-inverses_binary64_5513` `lft-mult-inverse_binary64_5512` `rgt-mult-inverse_binary64_5511` `remove-double-div_binary64_5510` `difference-of-sqr--1_binary64_5505` `difference-of-sqr-1_binary64_5504` `cancel-sign-sub_binary64_5499` `distribute-frac-neg_binary64_5497` `distribute-neg-out_binary64_5496` `distribute-rgt-neg-out_binary64_5494` `distribute-rgt1-in_binary64_5490` `distribute-lft1-in_binary64_5489` `distribute-lft-out--_binary64_5486` `count-2_binary64_5482` `associate--r-_binary64_5473` `associate--l-_binary64_5472`

Counts

199 → 341

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	386	9178
1	1216	8653
2	4459	8653

prune1.6s (2.7%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	341	0	341
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	341	8	349

Error

0.0b

Counts

349 → 8

Compiler

Compiled 19881 to 12919 computations (35% saved)

localize48.0ms (0.1%)

Local error

Found 4 expressions with local error:

13.2b	(.f64 (/.f64 a (+.f64 (+.f64 (pow.f64 z 4) (+.f64 (.f64 z 3360836715704971/281474976710656) 2737158995491925/4503599627370496)) (+.f64 (.f64 (pow.f64 z 3) 4288183283079449/281474976710656) (.f64 z (.f64 z 4428869650076171/140737488355328))))) (.f64 z y))
21.4b	(.f64 (/.f64 t (+.f64 (+.f64 (pow.f64 z 4) (+.f64 (.f64 z 3360836715704971/281474976710656) 2737158995491925/4503599627370496)) (+.f64 (.f64 (pow.f64 z 3) 4288183283079449/281474976710656) (.f64 z (.f64 z 4428869650076171/140737488355328))))) (.f64 (*.f64 z z) y))
23.7b	(/.f64 (.f64 (pow.f64 z 3) (.f64 3143161857605767/281474976710656 y)) (+.f64 (+.f64 (pow.f64 z 4) (+.f64 (.f64 z 3360836715704971/281474976710656) 2737158995491925/4503599627370496)) (+.f64 (.f64 (pow.f64 z 3) 4288183283079449/281474976710656) (.f64 z (.f64 z 4428869650076171/140737488355328)))))
25.4b	(/.f64 (.f64 7049496828096731/2251799813685248 (.f64 (pow.f64 z 4) y)) (+.f64 (+.f64 (pow.f64 z 4) (+.f64 (.f64 z 3360836715704971/281474976710656) 2737158995491925/4503599627370496)) (+.f64 (.f64 (pow.f64 z 3) 4288183283079449/281474976710656) (.f64 z (.f64 z 4428869650076171/140737488355328)))))

rewrite3.0s (5.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

76×	`*-un-lft-identity_binary64_5534`
74×	`add-exp-log_binary64_5572`
55×	`add-cbrt-cube_binary64_5570`
50×	`associate-l_binary64_5475`
40×	`times-frac_binary64_5540`
34×	`prod-exp_binary64_5583`
30×	`distribute-lft-out_binary64_5485`
26×	`add-cube-cbrt_binary64_5569` `add-sqr-sqrt_binary64_5556`
24×	`cbrt-unprod_binary64_5567` `associate-/r/_binary64_5480`
20×	`flip3-+_binary64_5537` `flip-+_binary64_5508`
18×	`pow1_binary64_5595`
17×	`div-exp_binary64_5585`
16×	`frac-add_binary64_5542`
11×	`cbrt-undiv_binary64_5568`
10×	`associate-/r*_binary64_5478`
9×	`pow-prod-down_binary64_5605`
4×	`add-log-exp_binary64_5573` `div-inv_binary64_5531`
3×	`pow-to-exp_binary64_5603` `pow-exp_binary64_5602`
2×	`frac-2neg_binary64_5545` `clear-num_binary64_5533` `associate-/l_binary64_5479` `associate-l/_binary64_5477` `associate-r_binary64_5474` `*-commutative_binary64_5465`

Counts

4 → 167

Calls

4 calls:

25.0ms	(.f64 (/.f64 t (+.f64 (+.f64 (pow.f64 z 4) (+.f64 (.f64 z 3360836715704971/281474976710656) 2737158995491925/4503599627370496)) (+.f64 (.f64 (pow.f64 z 3) 4288183283079449/281474976710656) (.f64 z (.f64 z 4428869650076171/140737488355328))))) (.f64 (*.f64 z z) y))
22.0ms	(.f64 (/.f64 a (+.f64 (+.f64 (pow.f64 z 4) (+.f64 (.f64 z 3360836715704971/281474976710656) 2737158995491925/4503599627370496)) (+.f64 (.f64 (pow.f64 z 3) 4288183283079449/281474976710656) (.f64 z (.f64 z 4428869650076171/140737488355328))))) (.f64 z y))
21.0ms	(/.f64 (.f64 (pow.f64 z 3) (.f64 3143161857605767/281474976710656 y)) (+.f64 (+.f64 (pow.f64 z 4) (+.f64 (.f64 z 3360836715704971/281474976710656) 2737158995491925/4503599627370496)) (+.f64 (.f64 (pow.f64 z 3) 4288183283079449/281474976710656) (.f64 z (.f64 z 4428869650076171/140737488355328)))))
21.0ms	(/.f64 (.f64 7049496828096731/2251799813685248 (.f64 (pow.f64 z 4) y)) (+.f64 (+.f64 (pow.f64 z 4) (+.f64 (.f64 z 3360836715704971/281474976710656) 2737158995491925/4503599627370496)) (+.f64 (.f64 (pow.f64 z 3) 4288183283079449/281474976710656) (.f64 z (.f64 z 4428869650076171/140737488355328)))))

Compiler

Compiled 29104 to 20872 computations (28.3% saved)

series3.2s (5.5%)

Error

0.0b

Counts

4 → 50

Calls

4 calls:

875.0ms	(.f64 (/.f64 t (+.f64 (+.f64 (pow.f64 z 4) (+.f64 (.f64 z 3360836715704971/281474976710656) 2737158995491925/4503599627370496)) (+.f64 (.f64 (pow.f64 z 3) 4288183283079449/281474976710656) (.f64 z (.f64 z 4428869650076171/140737488355328))))) (.f64 (*.f64 z z) y))
865.0ms	(.f64 (/.f64 a (+.f64 (+.f64 (pow.f64 z 4) (+.f64 (.f64 z 3360836715704971/281474976710656) 2737158995491925/4503599627370496)) (+.f64 (.f64 (pow.f64 z 3) 4288183283079449/281474976710656) (.f64 z (.f64 z 4428869650076171/140737488355328))))) (.f64 z y))
535.0ms	(/.f64 (.f64 (pow.f64 z 3) (.f64 3143161857605767/281474976710656 y)) (+.f64 (+.f64 (pow.f64 z 4) (+.f64 (.f64 z 3360836715704971/281474976710656) 2737158995491925/4503599627370496)) (+.f64 (.f64 (pow.f64 z 3) 4288183283079449/281474976710656) (.f64 z (.f64 z 4428869650076171/140737488355328)))))
532.0ms	(/.f64 (.f64 7049496828096731/2251799813685248 (.f64 (pow.f64 z 4) y)) (+.f64 (+.f64 (pow.f64 z 4) (+.f64 (.f64 z 3360836715704971/281474976710656) 2737158995491925/4503599627370496)) (+.f64 (.f64 (pow.f64 z 3) 4288183283079449/281474976710656) (.f64 z (.f64 z 4428869650076171/140737488355328)))))

Compiler

Compiled 17624 to 13207 computations (25.1% saved)

simplify1.7s (3%)

Algorithm

1×	egg-herbie

Rules

678×	`associate-r_binary64_5474`
637×	`associate-l_binary64_5475`
325×	`associate-/l*_binary64_5479`
197×	`times-frac_binary64_5540` `associate-*l/_binary64_5477`
181×	`distribute-rgt-in_binary64_5484`
167×	`distribute-lft-in_binary64_5483`
153×	`associate-/r*_binary64_5478`
116×	`associate-*r/_binary64_5476`
110×	`*-commutative_binary64_5465`
76×	`cancel-sign-sub-inv_binary64_5500`
74×	`associate-/l/_binary64_5481`
56×	`associate-/r/_binary64_5480`
52×	`sub-neg_binary64_5527`
51×	`distribute-rgt-neg-in_binary64_5492`
37×	`distribute-lft-neg-in_binary64_5491`
35×	`neg-mul-1_binary64_5530` `neg-sub0_binary64_5529`
31×	`swap-sqr_binary64_5501`
29×	`+-commutative_binary64_5464`
27×	`sqr-pow_binary64_5506`
23×	`distribute-neg-in_binary64_5495`
20×	`log-prod_binary64_5620` `unswap-sqr_binary64_5502`
19×	`cube-unmult_binary64_5571`
16×	`log-div_binary64_5621`
14×	`distribute-lft-neg-out_binary64_5493`
13×	`pow-sqr_binary64_5507`
11×	`associate-+r+_binary64_5466`
10×	`unpow3_binary64_5600` `cube-prod_binary64_5562` `distribute-neg-frac_binary64_5498` `associate--l+_binary64_5471`
9×	`cube-mult_binary64_5564`
8×	`exp-prod_binary64_5586`
6×	`distribute-rgt-out--_binary64_5488`
4×	`/-rgt-identity_binary64_5525`
3×	`difference-of-squares_binary64_5503` `associate--r+_binary64_5470` `associate-+r-_binary64_5468`
2×	`log-pow_binary64_5623` `pow-plus_binary64_5597` `div-sub_binary64_5539` `*-lft-identity_binary64_5523` `associate-+l-_binary64_5469` `associate-+l+_binary64_5467`
1×	`unpow2_binary64_5599` `1-exp_binary64_5578` `cube-div_binary64_5563` `unsub-neg_binary64_5528` `*-inverses_binary64_5514` `count-2_binary64_5482`
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_5797` `erf-erfc_binary64_5796` `erf-odd_binary64_5795` `if-if-and-not_binary64_5794` `if-if-and_binary64_5793` `if-if-or-not_binary64_5792` `if-if-or_binary64_5791` `if-not_binary64_5790` `if-same_binary64_5789` `if-false_binary64_5788` `if-true_binary64_5787` `not-gte_binary64_5786` `not-lte_binary64_5785` `not-gt_binary64_5784` `not-lt_binary64_5783` `gte-same_binary64_5782` `lte-same_binary64_5781` `gt-same_binary64_5780` `lt-same_binary64_5779` `sinh---cosh_binary64_5726` `sinh-+-cosh_binary64_5725` `sinh-cosh_binary64_5724` `tanh-def-c_binary64_5723` `tanh-def-b_binary64_5722` `tanh-def-a_binary64_5721` `cosh-def_binary64_5720` `sinh-def_binary64_5719` `tan-neg_binary64_5666` `cos-neg_binary64_5665` `sin-neg_binary64_5664` `tan-0_binary64_5663` `cos-0_binary64_5662` `sin-0_binary64_5661` `hang-m-tan_binary64_5660` `hang-p-tan_binary64_5659` `hang-m0-tan_binary64_5658` `hang-p0-tan_binary64_5657` `hang-0m-tan_binary64_5656` `hang-0p-tan_binary64_5655` `tan-+PI/2_binary64_5654` `tan-+PI_binary64_5653` `tan-PI_binary64_5652` `tan-PI/3_binary64_5651` `tan-PI/4_binary64_5650` `tan-PI/6_binary64_5649` `cos-+PI/2_binary64_5648` `cos-+PI_binary64_5647` `cos-PI_binary64_5646` `cos-PI/2_binary64_5645` `cos-PI/3_binary64_5644` `cos-PI/4_binary64_5643` `cos-PI/6_binary64_5642` `sin-+PI/2_binary64_5641` `sin-+PI_binary64_5640` `sin-PI_binary64_5639` `sin-PI/2_binary64_5638` `sin-PI/3_binary64_5637` `sin-PI/4_binary64_5636` `sin-PI/6_binary64_5635` `sub-1-sin_binary64_5634` `sub-1-cos_binary64_5633` `-1-add-sin_binary64_5632` `-1-add-cos_binary64_5631` `1-sub-sin_binary64_5630` `1-sub-cos_binary64_5629` `cos-sin-sum_binary64_5628` `log-E_binary64_5624` `log-rec_binary64_5622` `pow-base-0_binary64_5618` `unpow1/3_binary64_5601` `unpow1/2_binary64_5598` `exp-to-pow_binary64_5596` `pow-base-1_binary64_5594` `unpow0_binary64_5593` `unpow1_binary64_5592` `unpow-1_binary64_5591` `exp-lft-cube_binary64_5590` `exp-lft-sqr_binary64_5589` `exp-cbrt_binary64_5588` `exp-sqrt_binary64_5587` `div-exp_binary64_5585` `rec-exp_binary64_5584` `prod-exp_binary64_5583` `exp-diff_binary64_5582` `exp-neg_binary64_5581` `exp-sum_binary64_5580` `e-exp-1_binary64_5579` `exp-1-e_binary64_5577` `exp-0_binary64_5576` `rem-log-exp_binary64_5575` `rem-exp-log_binary64_5574` `cube-neg_binary64_5561` `rem-3cbrt-rft_binary64_5560` `rem-3cbrt-lft_binary64_5559` `rem-cbrt-cube_binary64_5558` `rem-cube-cbrt_binary64_5557` `sqr-abs_binary64_5549` `sqr-neg_binary64_5548` `rem-sqrt-square_binary64_5547` `rem-square-sqrt_binary64_5546` `mul-1-neg_binary64_5526` `*-rgt-identity_binary64_5524` `remove-double-neg_binary64_5522` `sub0-neg_binary64_5521` `--rgt-identity_binary64_5520` `+-rgt-identity_binary64_5519` `+-lft-identity_binary64_5518` `mul0-rgt_binary64_5517` `mul0-lft_binary64_5516` `div0_binary64_5515` `+-inverses_binary64_5513` `lft-mult-inverse_binary64_5512` `rgt-mult-inverse_binary64_5511` `remove-double-div_binary64_5510` `difference-of-sqr--1_binary64_5505` `difference-of-sqr-1_binary64_5504` `cancel-sign-sub_binary64_5499` `distribute-frac-neg_binary64_5497` `distribute-neg-out_binary64_5496` `distribute-rgt-neg-out_binary64_5494` `distribute-rgt1-in_binary64_5490` `distribute-lft1-in_binary64_5489` `distribute-rgt-out_binary64_5487` `distribute-lft-out--_binary64_5486` `distribute-lft-out_binary64_5485` `associate--r-_binary64_5473` `associate--l-_binary64_5472`

Counts

217 → 488

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	412	11344
1	1287	9631

prune10.8s (18.6%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	488	0	488
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	488	8	496

Error

0.0b

Counts

496 → 8

Compiler

Compiled 80557 to 57634 computations (28.5% saved)

regimes4.5s (7.7%)

Accuracy

Total 0.7b remaining (97.8%)

Threshold costs 0.7b (97.8%)

Compiler

Compiled 37684 to 30654 computations (18.7% saved)

bsearch90.0ms (0.2%)

Steps

Iters	Range		Point
2	5.192481329971052e+26	5.693798657697154e+26	5.255145995936815e+26
10	-2.399904837743698e+19	-2952305.3233431727	-4204316794228.3296

Compiler

Compiled 1 to 6 computations (-500% saved)

simplify40.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

37×	`neg-mul-1_binary64_5530` `neg-sub0_binary64_5529`
29×	`+-commutative_binary64_5464`
27×	`*-commutative_binary64_5465`
18×	`distribute-rgt-neg-in_binary64_5492` `distribute-lft-neg-in_binary64_5491`
14×	`unsub-neg_binary64_5528` `sub-neg_binary64_5527`
13×	`*-rgt-identity_binary64_5524` `distribute-rgt-neg-out_binary64_5494`
12×	`*-lft-identity_binary64_5523` `distribute-lft-neg-out_binary64_5493`
4×	`distribute-neg-in_binary64_5495`
3×	`distribute-neg-frac_binary64_5498`
1×	`if-if-or-not_binary64_5792` `1-exp_binary64_5578` `cancel-sign-sub-inv_binary64_5500`
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_5794` `if-if-and_binary64_5793` `if-if-or_binary64_5791` `if-not_binary64_5790` `if-same_binary64_5789` `if-false_binary64_5788` `if-true_binary64_5787` `tan-0_binary64_5663` `cos-0_binary64_5662` `sin-0_binary64_5661` `unpow1_binary64_5592` `e-exp-1_binary64_5579` `exp-1-e_binary64_5577` `exp-0_binary64_5576` `sqr-abs_binary64_5549` `sqr-neg_binary64_5548` `mul-1-neg_binary64_5526` `/-rgt-identity_binary64_5525` `remove-double-neg_binary64_5522` `sub0-neg_binary64_5521` `--rgt-identity_binary64_5520` `+-rgt-identity_binary64_5519` `+-lft-identity_binary64_5518` `cancel-sign-sub_binary64_5499` `distribute-frac-neg_binary64_5497` `distribute-neg-out_binary64_5496`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	64	139
1	99	139
2	107	139
3	125	139
4	154	139
5	177	139
6	193	139
7	248	139
8	249	139
9	250	139

Proof

(=> (if real (<= f64 h0 -8610440794579619/2048) (+ f64 h1 (* f64 (- f64 (+ f64 (* f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (/ f64 1 (pow f64 h0 2))) (+ f64 (/ f64 h2 (pow f64 h0 2)) (+ f64 (/ f64 h3 (pow f64 h0 3)) 7049496828096731/2251799813685248))) (+ f64 (* f64 294511697023225582562761574479979984080591668066857772569935795/50216813883093446110686315385661331328818843555712276103168 (/ f64 1 (pow f64 h0 3))) (+ f64 (* f64 4288183283079449/281474976710656 (/ f64 h2 (pow f64 h0 3))) (* f64 23151763167026757919721122556003/633825300114114700748351602688 (/ f64 1 h0))))) h4)) (if real (<= f64 h0 525514599593681471638863872) (+ f64 h1 (* f64 (/ f64 h4 (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 h0 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)) (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 (* f64 h0 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) h2)) h3)) h5))) (+ f64 h1 (* f64 (- f64 (+ f64 (* f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (/ f64 1 (pow f64 h0 2))) (+ f64 (/ f64 h2 (pow f64 h0 2)) (+ f64 (/ f64 h3 (pow f64 h0 3)) 7049496828096731/2251799813685248))) (+ f64 (* f64 294511697023225582562761574479979984080591668066857772569935795/50216813883093446110686315385661331328818843555712276103168 (/ f64 1 (pow f64 h0 3))) (+ f64 (* f64 4288183283079449/281474976710656 (/ f64 h2 (pow f64 h0 3))) (* f64 23151763167026757919721122556003/633825300114114700748351602688 (/ f64 1 h0))))) h4)))))
if-if-or-not_binary64_5792 =>
(if real (or real (<= f64 h0 -8610440794579619/2048) (not real (<= f64 h0 525514599593681471638863872))) (+ f64 h1 (* f64 (=> (- f64 (+ f64 (* f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (/ f64 1 (pow f64 h0 2))) (+ f64 (/ f64 h2 (pow f64 h0 2)) (+ f64 (/ f64 h3 (pow f64 h0 3)) 7049496828096731/2251799813685248))) (+ f64 (* f64 294511697023225582562761574479979984080591668066857772569935795/50216813883093446110686315385661331328818843555712276103168 (/ f64 1 (pow f64 h0 3))) (+ f64 (* f64 4288183283079449/281474976710656 (/ f64 h2 (pow f64 h0 3))) (* f64 23151763167026757919721122556003/633825300114114700748351602688 (/ f64 1 h0)))))) h4)) (+ f64 h1 (* f64 (/ f64 h4 (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 h0 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)) (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 (* f64 h0 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) h2)) h3)) h5))))
sub-neg_binary64_5527 =>
(if real (or real (<= f64 h0 -8610440794579619/2048) (not real (<= f64 h0 525514599593681471638863872))) (+ f64 h1 (* f64 (+ f64 (+ f64 (* f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (/ f64 1 (pow f64 h0 2))) (+ f64 (/ f64 h2 (pow f64 h0 2)) (+ f64 (/ f64 h3 (pow f64 h0 3)) 7049496828096731/2251799813685248))) (neg f64 (+ f64 (* f64 294511697023225582562761574479979984080591668066857772569935795/50216813883093446110686315385661331328818843555712276103168 (/ f64 1 (pow f64 h0 3))) (+ f64 (* f64 4288183283079449/281474976710656 (/ f64 h2 (pow f64 h0 3))) (* f64 23151763167026757919721122556003/633825300114114700748351602688 (/ f64 1 h0)))))) h4)) (+ f64 h1 (* f64 (/ f64 h4 (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 h0 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)) (+ f64 (* f64 h0 (=> (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 (* f64 h0 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) h2)) h3))) h5))))
+-commutative_binary64_5464 =>
(if real (or real (<= f64 h0 -8610440794579619/2048) (not real (<= f64 h0 525514599593681471638863872))) (+ f64 h1 (* f64 (+ f64 (+ f64 (* f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (/ f64 1 (pow f64 h0 2))) (+ f64 (/ f64 h2 (pow f64 h0 2)) (+ f64 (/ f64 h3 (pow f64 h0 3)) 7049496828096731/2251799813685248))) (neg f64 (+ f64 (* f64 294511697023225582562761574479979984080591668066857772569935795/50216813883093446110686315385661331328818843555712276103168 (/ f64 1 (pow f64 h0 3))) (+ f64 (* f64 4288183283079449/281474976710656 (/ f64 h2 (pow f64 h0 3))) (* f64 23151763167026757919721122556003/633825300114114700748351602688 (/ f64 1 h0)))))) h4)) (+ f64 h1 (* f64 (/ f64 h4 (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 h0 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)) (+ f64 (* f64 h0 (+ f64 h3 (* f64 h0 (=> (+ f64 (* f64 h0 (+ f64 (* f64 h0 7049496828096731/2251799813685248) 3143161857605767/281474976710656)) h2))))) h5))))
+-commutative_binary64_5464 =>
(if real (or real (<= f64 h0 -8610440794579619/2048) (not real (<= f64 h0 525514599593681471638863872))) (+ f64 h1 (* f64 (+ f64 (+ f64 (* f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (/ f64 1 (pow f64 h0 2))) (+ f64 (/ f64 h2 (pow f64 h0 2)) (+ f64 (/ f64 h3 (pow f64 h0 3)) 7049496828096731/2251799813685248))) (=> (neg f64 (+ f64 (* f64 294511697023225582562761574479979984080591668066857772569935795/50216813883093446110686315385661331328818843555712276103168 (/ f64 1 (pow f64 h0 3))) (+ f64 (* f64 4288183283079449/281474976710656 (/ f64 h2 (pow f64 h0 3))) (* f64 23151763167026757919721122556003/633825300114114700748351602688 (/ f64 1 h0))))))) h4)) (+ f64 h1 (* f64 (/ f64 h4 (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 h0 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)) (+ f64 (* f64 h0 (+ f64 h3 (* f64 h0 (+ f64 h2 (* f64 h0 (+ f64 (* f64 h0 7049496828096731/2251799813685248) 3143161857605767/281474976710656)))))) h5))))
distribute-neg-in_binary64_5495 =>
(if real (or real (<= f64 h0 -8610440794579619/2048) (not real (<= f64 h0 525514599593681471638863872))) (+ f64 h1 (* f64 (+ f64 (+ f64 (* f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (/ f64 1 (pow f64 h0 2))) (+ f64 (/ f64 h2 (pow f64 h0 2)) (+ f64 (/ f64 h3 (pow f64 h0 3)) 7049496828096731/2251799813685248))) (+ f64 (neg f64 (* f64 294511697023225582562761574479979984080591668066857772569935795/50216813883093446110686315385661331328818843555712276103168 (/ f64 1 (pow f64 h0 3)))) (neg f64 (=> (+ f64 (* f64 4288183283079449/281474976710656 (/ f64 h2 (pow f64 h0 3))) (* f64 23151763167026757919721122556003/633825300114114700748351602688 (/ f64 1 h0))))))) h4)) (+ f64 h1 (* f64 (/ f64 h4 (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 h0 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)) (+ f64 (* f64 h0 (+ f64 h3 (* f64 h0 (+ f64 h2 (* f64 h0 (+ f64 (* f64 h0 7049496828096731/2251799813685248) 3143161857605767/281474976710656)))))) h5))))
+-commutative_binary64_5464 =>
(if real (or real (<= f64 h0 -8610440794579619/2048) (not real (<= f64 h0 525514599593681471638863872))) (+ f64 h1 (* f64 (+ f64 (+ f64 (* f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (/ f64 1 (pow f64 h0 2))) (+ f64 (/ f64 h2 (pow f64 h0 2)) (+ f64 (/ f64 h3 (pow f64 h0 3)) 7049496828096731/2251799813685248))) (+ f64 (neg f64 (* f64 294511697023225582562761574479979984080591668066857772569935795/50216813883093446110686315385661331328818843555712276103168 (/ f64 1 (pow f64 h0 3)))) (=> (neg f64 (+ f64 (* f64 23151763167026757919721122556003/633825300114114700748351602688 (/ f64 1 h0)) (* f64 4288183283079449/281474976710656 (/ f64 h2 (pow f64 h0 3)))))))) h4)) (+ f64 h1 (* f64 (/ f64 h4 (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 h0 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)) (+ f64 (* f64 h0 (+ f64 h3 (* f64 h0 (+ f64 h2 (* f64 h0 (+ f64 (* f64 h0 7049496828096731/2251799813685248) 3143161857605767/281474976710656)))))) h5))))
distribute-neg-in_binary64_5495 =>
(if real (or real (<= f64 h0 -8610440794579619/2048) (not real (<= f64 h0 525514599593681471638863872))) (+ f64 h1 (* f64 (+ f64 (+ f64 (* f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (/ f64 1 (pow f64 h0 2))) (+ f64 (/ f64 h2 (pow f64 h0 2)) (+ f64 (/ f64 h3 (pow f64 h0 3)) 7049496828096731/2251799813685248))) (+ f64 (=> (neg f64 (* f64 294511697023225582562761574479979984080591668066857772569935795/50216813883093446110686315385661331328818843555712276103168 (/ f64 1 (pow f64 h0 3))))) (+ f64 (neg f64 (* f64 23151763167026757919721122556003/633825300114114700748351602688 (/ f64 1 h0))) (neg f64 (* f64 4288183283079449/281474976710656 (/ f64 h2 (pow f64 h0 3))))))) h4)) (+ f64 h1 (* f64 (/ f64 h4 (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 h0 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)) (+ f64 (* f64 h0 (+ f64 h3 (* f64 h0 (+ f64 h2 (* f64 h0 (+ f64 (* f64 h0 7049496828096731/2251799813685248) 3143161857605767/281474976710656)))))) h5))))
distribute-rgt-neg-in_binary64_5492 =>
(if real (or real (<= f64 h0 -8610440794579619/2048) (not real (<= f64 h0 525514599593681471638863872))) (+ f64 h1 (* f64 (+ f64 (+ f64 (* f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (/ f64 1 (pow f64 h0 2))) (+ f64 (/ f64 h2 (pow f64 h0 2)) (+ f64 (/ f64 h3 (pow f64 h0 3)) 7049496828096731/2251799813685248))) (+ f64 (* f64 294511697023225582562761574479979984080591668066857772569935795/50216813883093446110686315385661331328818843555712276103168 (neg f64 (/ f64 1 (pow f64 h0 3)))) (=> (+ f64 (neg f64 (* f64 23151763167026757919721122556003/633825300114114700748351602688 (/ f64 1 h0))) (neg f64 (* f64 4288183283079449/281474976710656 (/ f64 h2 (pow f64 h0 3)))))))) h4)) (+ f64 h1 (* f64 (/ f64 h4 (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 h0 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)) (+ f64 (* f64 h0 (+ f64 h3 (* f64 h0 (+ f64 h2 (* f64 h0 (+ f64 (* f64 h0 7049496828096731/2251799813685248) 3143161857605767/281474976710656)))))) h5))))
unsub-neg_binary64_5528 =>
(if real (or real (<= f64 h0 -8610440794579619/2048) (not real (<= f64 h0 525514599593681471638863872))) (+ f64 h1 (* f64 (+ f64 (+ f64 (* f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (/ f64 1 (pow f64 h0 2))) (+ f64 (/ f64 h2 (pow f64 h0 2)) (+ f64 (/ f64 h3 (pow f64 h0 3)) 7049496828096731/2251799813685248))) (+ f64 (* f64 294511697023225582562761574479979984080591668066857772569935795/50216813883093446110686315385661331328818843555712276103168 (=> (neg f64 (/ f64 1 (pow f64 h0 3))))) (- f64 (neg f64 (* f64 23151763167026757919721122556003/633825300114114700748351602688 (/ f64 1 h0))) (* f64 4288183283079449/281474976710656 (/ f64 h2 (pow f64 h0 3)))))) h4)) (+ f64 h1 (* f64 (/ f64 h4 (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 h0 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)) (+ f64 (* f64 h0 (+ f64 h3 (* f64 h0 (+ f64 h2 (* f64 h0 (+ f64 (* f64 h0 7049496828096731/2251799813685248) 3143161857605767/281474976710656)))))) h5))))
distribute-neg-frac_binary64_5498 =>
(if real (or real (<= f64 h0 -8610440794579619/2048) (not real (<= f64 h0 525514599593681471638863872))) (+ f64 h1 (* f64 (+ f64 (+ f64 (* f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (/ f64 1 (pow f64 h0 2))) (+ f64 (/ f64 h2 (pow f64 h0 2)) (+ f64 (/ f64 h3 (pow f64 h0 3)) 7049496828096731/2251799813685248))) (+ f64 (* f64 294511697023225582562761574479979984080591668066857772569935795/50216813883093446110686315385661331328818843555712276103168 (/ f64 (neg f64 1) (pow f64 h0 3))) (- f64 (=> (neg f64 (* f64 23151763167026757919721122556003/633825300114114700748351602688 (/ f64 1 h0)))) (* f64 4288183283079449/281474976710656 (/ f64 h2 (pow f64 h0 3)))))) h4)) (+ f64 h1 (* f64 (/ f64 h4 (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 h0 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)) (+ f64 (* f64 h0 (+ f64 h3 (* f64 h0 (+ f64 h2 (* f64 h0 (+ f64 (* f64 h0 7049496828096731/2251799813685248) 3143161857605767/281474976710656)))))) h5))))
distribute-rgt-neg-in_binary64_5492 =>
(if real (or real (<= f64 h0 -8610440794579619/2048) (not real (<= f64 h0 525514599593681471638863872))) (+ f64 h1 (* f64 (+ f64 (+ f64 (* f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (/ f64 1 (pow f64 h0 2))) (+ f64 (/ f64 h2 (pow f64 h0 2)) (+ f64 (/ f64 h3 (pow f64 h0 3)) 7049496828096731/2251799813685248))) (+ f64 (* f64 294511697023225582562761574479979984080591668066857772569935795/50216813883093446110686315385661331328818843555712276103168 (/ f64 (=> (neg f64 1)) (pow f64 h0 3))) (- f64 (* f64 23151763167026757919721122556003/633825300114114700748351602688 (neg f64 (/ f64 1 h0))) (* f64 4288183283079449/281474976710656 (/ f64 h2 (pow f64 h0 3)))))) h4)) (+ f64 h1 (* f64 (/ f64 h4 (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 h0 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)) (+ f64 (* f64 h0 (+ f64 h3 (* f64 h0 (+ f64 h2 (* f64 h0 (+ f64 (* f64 h0 7049496828096731/2251799813685248) 3143161857605767/281474976710656)))))) h5))))
neg-mul-1_binary64_5530 =>
(if real (or real (<= f64 h0 -8610440794579619/2048) (not real (<= f64 h0 525514599593681471638863872))) (+ f64 h1 (* f64 (+ f64 (+ f64 (* f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (/ f64 1 (pow f64 h0 2))) (+ f64 (/ f64 h2 (pow f64 h0 2)) (+ f64 (/ f64 h3 (pow f64 h0 3)) 7049496828096731/2251799813685248))) (+ f64 (* f64 294511697023225582562761574479979984080591668066857772569935795/50216813883093446110686315385661331328818843555712276103168 (/ f64 (* f64 -1 1) (pow f64 h0 3))) (- f64 (* f64 23151763167026757919721122556003/633825300114114700748351602688 (=> (neg f64 (/ f64 1 h0)))) (* f64 4288183283079449/281474976710656 (/ f64 h2 (pow f64 h0 3)))))) h4)) (+ f64 h1 (* f64 (/ f64 h4 (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 h0 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)) (+ f64 (* f64 h0 (+ f64 h3 (* f64 h0 (+ f64 h2 (* f64 h0 (+ f64 (* f64 h0 7049496828096731/2251799813685248) 3143161857605767/281474976710656)))))) h5))))
distribute-neg-frac_binary64_5498 =>
(if real (or real (<= f64 h0 -8610440794579619/2048) (not real (<= f64 h0 525514599593681471638863872))) (+ f64 h1 (* f64 (+ f64 (+ f64 (* f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (/ f64 1 (pow f64 h0 2))) (+ f64 (/ f64 h2 (pow f64 h0 2)) (+ f64 (/ f64 h3 (pow f64 h0 3)) 7049496828096731/2251799813685248))) (+ f64 (* f64 294511697023225582562761574479979984080591668066857772569935795/50216813883093446110686315385661331328818843555712276103168 (/ f64 (* f64 -1 1) (pow f64 h0 3))) (- f64 (* f64 23151763167026757919721122556003/633825300114114700748351602688 (/ f64 (=> (neg f64 1)) h0)) (* f64 4288183283079449/281474976710656 (/ f64 h2 (pow f64 h0 3)))))) h4)) (+ f64 h1 (* f64 (/ f64 h4 (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 h0 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)) (+ f64 (* f64 h0 (+ f64 h3 (* f64 h0 (+ f64 h2 (* f64 h0 (+ f64 (* f64 h0 7049496828096731/2251799813685248) 3143161857605767/281474976710656)))))) h5))))
neg-mul-1_binary64_5530 =>
(if real (or real (<= f64 h0 -8610440794579619/2048) (not real (<= f64 h0 525514599593681471638863872))) (+ f64 h1 (* f64 (+ f64 (+ f64 (* f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (/ f64 1 (pow f64 h0 2))) (+ f64 (/ f64 h2 (pow f64 h0 2)) (+ f64 (/ f64 h3 (pow f64 h0 3)) 7049496828096731/2251799813685248))) (+ f64 (* f64 294511697023225582562761574479979984080591668066857772569935795/50216813883093446110686315385661331328818843555712276103168 (/ f64 (* f64 -1 1) (pow f64 h0 3))) (- f64 (* f64 23151763167026757919721122556003/633825300114114700748351602688 (/ f64 (=> (* f64 -1 1)) h0)) (* f64 4288183283079449/281474976710656 (/ f64 h2 (pow f64 h0 3)))))) h4)) (+ f64 h1 (* f64 (/ f64 h4 (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 h0 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)) (+ f64 (* f64 h0 (+ f64 h3 (* f64 h0 (+ f64 h2 (* f64 h0 (+ f64 (* f64 h0 7049496828096731/2251799813685248) 3143161857605767/281474976710656)))))) h5))))
*-rgt-identity_binary64_5524 =>
(if real (or real (<= f64 h0 -8610440794579619/2048) (not real (<= f64 h0 525514599593681471638863872))) (+ f64 h1 (* f64 (+ f64 (+ f64 (* f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (/ f64 1 (pow f64 h0 2))) (+ f64 (/ f64 h2 (pow f64 h0 2)) (+ f64 (/ f64 h3 (pow f64 h0 3)) 7049496828096731/2251799813685248))) (+ f64 (* f64 294511697023225582562761574479979984080591668066857772569935795/50216813883093446110686315385661331328818843555712276103168 (/ f64 (=> (* f64 -1 1)) (pow f64 h0 3))) (- f64 (* f64 23151763167026757919721122556003/633825300114114700748351602688 (/ f64 -1 h0)) (* f64 4288183283079449/281474976710656 (/ f64 h2 (pow f64 h0 3)))))) h4)) (+ f64 h1 (* f64 (/ f64 h4 (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 h0 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)) (+ f64 (* f64 h0 (+ f64 h3 (* f64 h0 (+ f64 h2 (* f64 h0 (+ f64 (* f64 h0 7049496828096731/2251799813685248) 3143161857605767/281474976710656)))))) h5))))
*-rgt-identity_binary64_5524 =>
(if real (or real (<= f64 h0 -8610440794579619/2048) (not real (<= f64 h0 525514599593681471638863872))) (+ f64 h1 (* f64 (+ f64 (+ f64 (* f64 81702972970233816761127909406680643088908197035/178405961588244985132285746181186892047843328 (/ f64 1 (pow f64 h0 2))) (+ f64 (/ f64 h2 (pow f64 h0 2)) (+ f64 (/ f64 h3 (pow f64 h0 3)) 7049496828096731/2251799813685248))) (+ f64 (* f64 294511697023225582562761574479979984080591668066857772569935795/50216813883093446110686315385661331328818843555712276103168 (/ f64 -1 (pow f64 h0 3))) (- f64 (* f64 23151763167026757919721122556003/633825300114114700748351602688 (/ f64 -1 h0)) (* f64 4288183283079449/281474976710656 (/ f64 h2 (pow f64 h0 3)))))) h4)) (+ f64 h1 (* f64 (/ f64 h4 (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 (* f64 h0 (+ f64 h0 4288183283079449/281474976710656)) 4428869650076171/140737488355328)) 3360836715704971/281474976710656)) 2737158995491925/4503599627370496)) (+ f64 (* f64 h0 (+ f64 h3 (* f64 h0 (+ f64 h2 (* f64 h0 (+ f64 (* f64 h0 7049496828096731/2251799813685248) 3143161857605767/281474976710656)))))) h5))))

end0.0ms (0%)

sample4.5s (7.7%)

Algorithm

1×

intervals

Results

668.0ms	8000×	body	128	valid
84.0ms	890×	body	128	invalid

Compiler

Compiled 4901 to 3974 computations (18.9% saved)

Iter	Nodes	Cost
0	64	139
1	99	139
2	107	139
3	125	139
4	154	139
5	177	139
6	193	139
7	248	139
8	249	139
9	250	139

Iter	Nodes	Cost
0	64	139
1	99	139
2	107	139
3	125	139
4	154	139
5	177	139
6	193	139
7	248	139
8	249	139
9	250	139

Details

analyze1.9s (3.3%)

sample45.0ms (0.1%)

simplify311.0ms (0.5%)

prune22.0ms (0%)

localize24.0ms (0%)

rewrite480.0ms (0.8%)

series5.9s (10.1%)

simplify2.3s (3.9%)

prune2.0s (3.5%)

localize43.0ms (0.1%)

rewrite424.0ms (0.7%)

series6.4s (11.1%)

simplify945.0ms (1.6%)

prune1.9s (3.2%)

localize26.0ms (0%)

rewrite417.0ms (0.7%)

series4.0s (6.9%)

simplify1.5s (2.7%)

prune1.6s (2.7%)

localize48.0ms (0.1%)

rewrite3.0s (5.2%)

series3.2s (5.5%)

simplify1.7s (3%)

prune10.8s (18.6%)

regimes4.5s (7.7%)

bsearch90.0ms (0.2%)

simplify40.0ms (0.1%)

end0.0ms (0%)

sample4.5s (7.7%)

Profiling

Iter	Nodes	Cost
0	64	139
1	99	139
2	107	139
3	125	139
4	154	139
5	177	139
6	193	139
7	248	139
8	249	139
9	250	139