Details

analyze932.0ms (0.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
25%	74.9%	0.1%	6
25%	74.9%	0.1%	7
37.4%	62.4%	0.1%	8
37.4%	62.4%	0.1%	9
37.4%	62.4%	0.1%	10
43.7%	56.2%	0.1%	11
43.7%	56.2%	0.1%	12
43.7%	56.2%	0.1%	13
61.7%	38.2%	0.1%	14

Compiler

Compiled 38 to 30 computations (21.1% saved)

sample32.0ms (0%)

Algorithm

1×

intervals

Results

20.0ms

256×

body

128

valid

Compiler

Compiled 75 to 62 computations (17.3% saved)

simplify213.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

385×	`cancel-sign-sub-inv_binary64_13343`
274×	`associate-l_binary64_13318`
272×	`distribute-rgt-out_binary64_13330`
264×	`associate--l+_binary64_13314`
263×	`unsub-neg_binary64_13371`
235×	`associate--r+_binary64_13313`
228×	`distribute-neg-out_binary64_13339`
215×	`distribute-rgt-in_binary64_13327` `distribute-lft-in_binary64_13326`
198×	`associate-r_binary64_13317`
167×	`distribute-rgt-neg-out_binary64_13337`
154×	`distribute-lft-neg-out_binary64_13336`
152×	`sub-neg_binary64_13370`
149×	`associate-/l*_binary64_13322`
117×	`distribute-lft-neg-in_binary64_13334`
116×	`neg-sub0_binary64_13372`
115×	`+-commutative_binary64_13307`
105×	`*-commutative_binary64_13308`
100×	`distribute-rgt-neg-in_binary64_13335`
98×	`distribute-lft-out_binary64_13328`
93×	`associate-+r+_binary64_13309`
92×	`associate-+l+_binary64_13310`
88×	`neg-mul-1_binary64_13373`
80×	`distribute-neg-in_binary64_13338`
78×	`div-sub_binary64_13382`
45×	`distribute-rgt-out--_binary64_13331`
43×	`associate-*l/_binary64_13320`
41×	`associate-*r/_binary64_13319`
39×	`associate-+l-_binary64_13312`
32×	`associate-+r-_binary64_13311`
27×	`cancel-sign-sub_binary64_13342`
26×	`distribute-frac-neg_binary64_13340`
23×	`sub0-neg_binary64_13364`
22×	`associate--l-_binary64_13315`
21×	`distribute-lft-out--_binary64_13329`
19×	`associate--r-_binary64_13316`
14×	`+-rgt-identity_binary64_13362`
12×	`mul-1-neg_binary64_13369` `distribute-neg-frac_binary64_13341`
11×	`distribute-rgt1-in_binary64_13333` `associate-/r/_binary64_13323`
8×	`mul0-rgt_binary64_13360` `mul0-lft_binary64_13359`
7×	`associate-/r*_binary64_13321`
6×	`associate-/l/_binary64_13324`
3×	`sqr-pow_binary64_13349`
2×	`div0_binary64_13358`
1×	`pow-plus_binary64_13440` `1-exp_binary64_13421` `cube-unmult_binary64_13414` `remove-double-neg_binary64_13365` `--rgt-identity_binary64_13363` `pow-sqr_binary64_13350` `count-2_binary64_13325`
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_13640` `erf-erfc_binary64_13639` `erf-odd_binary64_13638` `if-if-and-not_binary64_13637` `if-if-and_binary64_13636` `if-if-or-not_binary64_13635` `if-if-or_binary64_13634` `if-not_binary64_13633` `if-same_binary64_13632` `if-false_binary64_13631` `if-true_binary64_13630` `not-gte_binary64_13629` `not-lte_binary64_13628` `not-gt_binary64_13627` `not-lt_binary64_13626` `gte-same_binary64_13625` `lte-same_binary64_13624` `gt-same_binary64_13623` `lt-same_binary64_13622` `sinh---cosh_binary64_13569` `sinh-+-cosh_binary64_13568` `sinh-cosh_binary64_13567` `tanh-def-c_binary64_13566` `tanh-def-b_binary64_13565` `tanh-def-a_binary64_13564` `cosh-def_binary64_13563` `sinh-def_binary64_13562` `tan-neg_binary64_13509` `cos-neg_binary64_13508` `sin-neg_binary64_13507` `tan-0_binary64_13506` `cos-0_binary64_13505` `sin-0_binary64_13504` `hang-m-tan_binary64_13503` `hang-p-tan_binary64_13502` `hang-m0-tan_binary64_13501` `hang-p0-tan_binary64_13500` `hang-0m-tan_binary64_13499` `hang-0p-tan_binary64_13498` `tan-+PI/2_binary64_13497` `tan-+PI_binary64_13496` `tan-PI_binary64_13495` `tan-PI/3_binary64_13494` `tan-PI/4_binary64_13493` `tan-PI/6_binary64_13492` `cos-+PI/2_binary64_13491` `cos-+PI_binary64_13490` `cos-PI_binary64_13489` `cos-PI/2_binary64_13488` `cos-PI/3_binary64_13487` `cos-PI/4_binary64_13486` `cos-PI/6_binary64_13485` `sin-+PI/2_binary64_13484` `sin-+PI_binary64_13483` `sin-PI_binary64_13482` `sin-PI/2_binary64_13481` `sin-PI/3_binary64_13480` `sin-PI/4_binary64_13479` `sin-PI/6_binary64_13478` `sub-1-sin_binary64_13477` `sub-1-cos_binary64_13476` `-1-add-sin_binary64_13475` `-1-add-cos_binary64_13474` `1-sub-sin_binary64_13473` `1-sub-cos_binary64_13472` `cos-sin-sum_binary64_13471` `log-E_binary64_13467` `log-pow_binary64_13466` `log-rec_binary64_13465` `log-div_binary64_13464` `log-prod_binary64_13463` `pow-base-0_binary64_13461` `unpow1/3_binary64_13444` `unpow3_binary64_13443` `unpow2_binary64_13442` `unpow1/2_binary64_13441` `exp-to-pow_binary64_13439` `pow-base-1_binary64_13437` `unpow0_binary64_13436` `unpow1_binary64_13435` `unpow-1_binary64_13434` `exp-lft-cube_binary64_13433` `exp-lft-sqr_binary64_13432` `exp-cbrt_binary64_13431` `exp-sqrt_binary64_13430` `exp-prod_binary64_13429` `div-exp_binary64_13428` `rec-exp_binary64_13427` `prod-exp_binary64_13426` `exp-diff_binary64_13425` `exp-neg_binary64_13424` `exp-sum_binary64_13423` `e-exp-1_binary64_13422` `exp-1-e_binary64_13420` `exp-0_binary64_13419` `rem-log-exp_binary64_13418` `rem-exp-log_binary64_13417` `cube-mult_binary64_13407` `cube-div_binary64_13406` `cube-prod_binary64_13405` `cube-neg_binary64_13404` `rem-3cbrt-rft_binary64_13403` `rem-3cbrt-lft_binary64_13402` `rem-cbrt-cube_binary64_13401` `rem-cube-cbrt_binary64_13400` `sqr-abs_binary64_13392` `sqr-neg_binary64_13391` `rem-sqrt-square_binary64_13390` `rem-square-sqrt_binary64_13389` `times-frac_binary64_13383` `/-rgt-identity_binary64_13368` `-rgt-identity_binary64_13367` `-lft-identity_binary64_13366` `+-lft-identity_binary64_13361` `*-inverses_binary64_13357` `+-inverses_binary64_13356` `lft-mult-inverse_binary64_13355` `rgt-mult-inverse_binary64_13354` `remove-double-div_binary64_13353` `difference-of-sqr--1_binary64_13348` `difference-of-sqr-1_binary64_13347` `difference-of-squares_binary64_13346` `unswap-sqr_binary64_13345` `swap-sqr_binary64_13344` `distribute-lft1-in_binary64_13332`

Counts

1 → 3

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	55
1	56	55
2	143	55
3	378	55
4	1145	55
5	1954	55

prune14.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

23.7b

Counts

4 → 3

Compiler

Compiled 222 to 168 computations (24.3% saved)

localize24.0ms (0%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104))
0.1b	(.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))
2.5b	(/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328) (-.f64 x 2))
22.9b	(/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328) (-.f64 x 2)))

rewrite902.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Error

23.6b

Rules

138×	`times-frac_binary64_13383`
112×	`add-sqr-sqrt_binary64_13399`
108×	`*-un-lft-identity_binary64_13377`
76×	`add-cube-cbrt_binary64_13412`
26×	`associate-/r*_binary64_13321`
16×	`difference-of-squares_binary64_13346` `distribute-lft-out--_binary64_13329`
15×	`add-exp-log_binary64_13415` `add-cbrt-cube_binary64_13413`
11×	`associate-/r/_binary64_13323`
8×	`pow1_binary64_13438`
6×	`div-inv_binary64_13374` `associate-/l_binary64_13322` `associate-l_binary64_13318` `associate-r*_binary64_13317`
5×	`flip3--_binary64_13381` `flip--_binary64_13352`
4×	`div-exp_binary64_13428` `add-log-exp_binary64_13416` `cbrt-undiv_binary64_13411` `flip3-+_binary64_13380` `associate-/l/_binary64_13324` `flip-+_binary64_13351` `associate-*r/_binary64_13319`
2×	`frac-2neg_binary64_13388` `clear-num_binary64_13376` `pow-prod-down_binary64_13448` `prod-exp_binary64_13426` `cbrt-unprod_binary64_13410` `unswap-sqr_binary64_13345` `distribute-rgt-in_binary64_13327` `distribute-lft-in_binary64_13326` `*-commutative_binary64_13308`

Counts

4 → 187

Calls

4 calls:

38.0ms	(/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328) (-.f64 x 2)))
19.0ms	(/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328) (-.f64 x 2))
10.0ms	(.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104))
7.0ms	(.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))

Compiler

Compiled 11624 to 8396 computations (27.8% saved)

series2.3s (0.8%)

Error

0.0b

Counts

4 → 51

Calls

4 calls:

1.8s	(/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328) (-.f64 x 2)))
135.0ms	(.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104))
88.0ms	(.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))
80.0ms	(/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328) (-.f64 x 2))

Compiler

Compiled 6754 to 5403 computations (20% saved)

simplify2.1s (0.7%)

Algorithm

1×	egg-herbie

Rules

331×	`associate-l_binary64_13318`
302×	`associate-r_binary64_13317`
274×	`distribute-rgt-in_binary64_13327`
256×	`distribute-lft-in_binary64_13326`
251×	`*-commutative_binary64_13308`
195×	`associate-/l*_binary64_13322`
191×	`associate-/r/_binary64_13323`
181×	`associate-/l/_binary64_13324`
137×	`associate-*l/_binary64_13320`
128×	`+-commutative_binary64_13307`
111×	`associate-+r+_binary64_13309`
94×	`associate-+l+_binary64_13310`
77×	`neg-mul-1_binary64_13373`
76×	`neg-sub0_binary64_13372`
71×	`associate-*r/_binary64_13319`
55×	`sub-neg_binary64_13370` `associate--r+_binary64_13313`
53×	`times-frac_binary64_13383`
50×	`associate--l+_binary64_13314`
45×	`associate-/r*_binary64_13321`
42×	`exp-prod_binary64_13429`
39×	`cancel-sign-sub-inv_binary64_13343` `distribute-neg-in_binary64_13338`
26×	`cube-prod_binary64_13405`
22×	`sqr-pow_binary64_13349`
20×	`div-sub_binary64_13382` `distribute-rgt-neg-in_binary64_13335`
19×	`exp-sum_binary64_13423`
18×	`log-prod_binary64_13463`
16×	`div-exp_binary64_13428` `prod-exp_binary64_13426` `swap-sqr_binary64_13344`
15×	`distribute-lft-neg-in_binary64_13334`
12×	`log-div_binary64_13464`
11×	`unswap-sqr_binary64_13345` `distribute-rgt-out_binary64_13330`
10×	`cube-unmult_binary64_13414`
9×	`pow-sqr_binary64_13350`
8×	`unpow3_binary64_13443` `cube-mult_binary64_13407` `/-rgt-identity_binary64_13368`
6×	`cube-div_binary64_13406`
5×	`unsub-neg_binary64_13371` `difference-of-squares_binary64_13346` `distribute-lft-neg-out_binary64_13336`
4×	`pow-plus_binary64_13440` `rec-exp_binary64_13427`
3×	`*-rgt-identity_binary64_13367` `remove-double-div_binary64_13353` `distribute-neg-frac_binary64_13341`
2×	`distribute-rgt-out--_binary64_13331` `distribute-lft-out_binary64_13328` `associate--r-_binary64_13316` `associate-+l-_binary64_13312` `associate-+r-_binary64_13311`
1×	`log-pow_binary64_13466` `log-rec_binary64_13465` `unpow2_binary64_13442` `unpow1_binary64_13435` `exp-sqrt_binary64_13430` `1-exp_binary64_13421` `exp-1-e_binary64_13420` `rem-log-exp_binary64_13418` `*-inverses_binary64_13357`
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_13640` `erf-erfc_binary64_13639` `erf-odd_binary64_13638` `if-if-and-not_binary64_13637` `if-if-and_binary64_13636` `if-if-or-not_binary64_13635` `if-if-or_binary64_13634` `if-not_binary64_13633` `if-same_binary64_13632` `if-false_binary64_13631` `if-true_binary64_13630` `not-gte_binary64_13629` `not-lte_binary64_13628` `not-gt_binary64_13627` `not-lt_binary64_13626` `gte-same_binary64_13625` `lte-same_binary64_13624` `gt-same_binary64_13623` `lt-same_binary64_13622` `sinh---cosh_binary64_13569` `sinh-+-cosh_binary64_13568` `sinh-cosh_binary64_13567` `tanh-def-c_binary64_13566` `tanh-def-b_binary64_13565` `tanh-def-a_binary64_13564` `cosh-def_binary64_13563` `sinh-def_binary64_13562` `tan-neg_binary64_13509` `cos-neg_binary64_13508` `sin-neg_binary64_13507` `tan-0_binary64_13506` `cos-0_binary64_13505` `sin-0_binary64_13504` `hang-m-tan_binary64_13503` `hang-p-tan_binary64_13502` `hang-m0-tan_binary64_13501` `hang-p0-tan_binary64_13500` `hang-0m-tan_binary64_13499` `hang-0p-tan_binary64_13498` `tan-+PI/2_binary64_13497` `tan-+PI_binary64_13496` `tan-PI_binary64_13495` `tan-PI/3_binary64_13494` `tan-PI/4_binary64_13493` `tan-PI/6_binary64_13492` `cos-+PI/2_binary64_13491` `cos-+PI_binary64_13490` `cos-PI_binary64_13489` `cos-PI/2_binary64_13488` `cos-PI/3_binary64_13487` `cos-PI/4_binary64_13486` `cos-PI/6_binary64_13485` `sin-+PI/2_binary64_13484` `sin-+PI_binary64_13483` `sin-PI_binary64_13482` `sin-PI/2_binary64_13481` `sin-PI/3_binary64_13480` `sin-PI/4_binary64_13479` `sin-PI/6_binary64_13478` `sub-1-sin_binary64_13477` `sub-1-cos_binary64_13476` `-1-add-sin_binary64_13475` `-1-add-cos_binary64_13474` `1-sub-sin_binary64_13473` `1-sub-cos_binary64_13472` `cos-sin-sum_binary64_13471` `log-E_binary64_13467` `pow-base-0_binary64_13461` `unpow1/3_binary64_13444` `unpow1/2_binary64_13441` `exp-to-pow_binary64_13439` `pow-base-1_binary64_13437` `unpow0_binary64_13436` `unpow-1_binary64_13434` `exp-lft-cube_binary64_13433` `exp-lft-sqr_binary64_13432` `exp-cbrt_binary64_13431` `exp-diff_binary64_13425` `exp-neg_binary64_13424` `e-exp-1_binary64_13422` `exp-0_binary64_13419` `rem-exp-log_binary64_13417` `cube-neg_binary64_13404` `rem-3cbrt-rft_binary64_13403` `rem-3cbrt-lft_binary64_13402` `rem-cbrt-cube_binary64_13401` `rem-cube-cbrt_binary64_13400` `sqr-abs_binary64_13392` `sqr-neg_binary64_13391` `rem-sqrt-square_binary64_13390` `rem-square-sqrt_binary64_13389` `mul-1-neg_binary64_13369` `*-lft-identity_binary64_13366` `remove-double-neg_binary64_13365` `sub0-neg_binary64_13364` `--rgt-identity_binary64_13363` `+-rgt-identity_binary64_13362` `+-lft-identity_binary64_13361` `mul0-rgt_binary64_13360` `mul0-lft_binary64_13359` `div0_binary64_13358` `+-inverses_binary64_13356` `lft-mult-inverse_binary64_13355` `rgt-mult-inverse_binary64_13354` `difference-of-sqr--1_binary64_13348` `difference-of-sqr-1_binary64_13347` `cancel-sign-sub_binary64_13342` `distribute-frac-neg_binary64_13340` `distribute-neg-out_binary64_13339` `distribute-rgt-neg-out_binary64_13337` `distribute-rgt1-in_binary64_13333` `distribute-lft1-in_binary64_13332` `distribute-lft-out--_binary64_13329` `count-2_binary64_13325` `associate--l-_binary64_13315`

Counts

238 → 653

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	470	15542
1	1232	14873
2	4814	14675

prune5.3s (1.8%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	648	5	653
Fresh	0	2	2
Picked	1	0	1
Done	0	0	0
Total	649	7	656

Error

Counts

656 → 7

Compiler

Compiled 47388 to 34152 computations (27.9% saved)

localize27.0ms (0%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104))
0.1b	(.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))
0.3b	(/.f64 (-.f64 x 2) (/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z)))
22.9b	(/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z))

rewrite980.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

138×	`times-frac_binary64_13383`
110×	`add-sqr-sqrt_binary64_13399`
106×	`*-un-lft-identity_binary64_13377`
74×	`add-cube-cbrt_binary64_13412`
18×	`associate-/r*_binary64_13321`
16×	`difference-of-squares_binary64_13346` `distribute-lft-out--_binary64_13329`
15×	`add-exp-log_binary64_13415` `add-cbrt-cube_binary64_13413` `associate-/r/_binary64_13323`
10×	`flip3-+_binary64_13380` `flip-+_binary64_13351`
8×	`pow1_binary64_13438` `div-inv_binary64_13374` `associate-/l*_binary64_13322`
6×	`associate-l_binary64_13318` `associate-r_binary64_13317`
4×	`div-exp_binary64_13428` `add-log-exp_binary64_13416` `cbrt-undiv_binary64_13411` `associate-/l/_binary64_13324` `associate-*r/_binary64_13319`
2×	`frac-2neg_binary64_13388` `clear-num_binary64_13376` `pow-prod-down_binary64_13448` `prod-exp_binary64_13426` `cbrt-unprod_binary64_13410` `unswap-sqr_binary64_13345` `distribute-rgt-in_binary64_13327` `distribute-lft-in_binary64_13326` `*-commutative_binary64_13308`
1×	`div-sub_binary64_13382` `flip3--_binary64_13381` `flip--_binary64_13352`

Counts

4 → 188

Calls

4 calls:

30.0ms	(/.f64 (-.f64 x 2) (/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z)))
29.0ms	(/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z))
16.0ms	(.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104))
7.0ms	(.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))

Compiler

Compiled 12431 to 8911 computations (28.3% saved)

series4.9s (1.7%)

Error

Counts

4 → 67

Calls

4 calls:

2.4s	(/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z))
1.9s	(/.f64 (-.f64 x 2) (/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z)))
136.0ms	(.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104))
85.0ms	(.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))

Compiler

Compiled 15376 to 12144 computations (21% saved)

simplify4.7s (1.6%)

Algorithm

1×	egg-herbie

Rules

415×	`times-frac_binary64_13383`
288×	`distribute-rgt-in_binary64_13327`
276×	`distribute-lft-in_binary64_13326`
170×	`associate-/l/_binary64_13324`
164×	`*-commutative_binary64_13308` `+-commutative_binary64_13307`
135×	`sub-neg_binary64_13370`
112×	`associate-+r+_binary64_13309`
97×	`associate-/r/_binary64_13323`
82×	`associate-*r/_binary64_13319`
75×	`div-sub_binary64_13382`
67×	`unswap-sqr_binary64_13345`
66×	`cancel-sign-sub-inv_binary64_13343`
65×	`associate-/l*_binary64_13322`
58×	`distribute-neg-in_binary64_13338`
51×	`sqr-pow_binary64_13349`
40×	`neg-mul-1_binary64_13373` `neg-sub0_binary64_13372`
23×	`pow-sqr_binary64_13350`
21×	`associate-l_binary64_13318` `associate-r_binary64_13317`
20×	`distribute-rgt-neg-in_binary64_13335` `associate--l+_binary64_13314`
18×	`associate--r+_binary64_13313`
16×	`swap-sqr_binary64_13344`
15×	`associate-/r*_binary64_13321`
13×	`unpow3_binary64_13443` `cube-mult_binary64_13407` `distribute-lft-neg-in_binary64_13334` `distribute-rgt-out_binary64_13330`
12×	`/-rgt-identity_binary64_13368`
10×	`cube-unmult_binary64_13414`
9×	`*-rgt-identity_binary64_13367`
8×	`cube-prod_binary64_13405`
7×	`exp-prod_binary64_13429` `distribute-lft-neg-out_binary64_13336`
6×	`log-prod_binary64_13463`
5×	`unpow2_binary64_13442` `pow-plus_binary64_13440` `distribute-neg-frac_binary64_13341`
4×	`log-div_binary64_13464` `difference-of-squares_binary64_13346` `distribute-rgt-out--_binary64_13331` `associate-*l/_binary64_13320`
3×	`exp-sum_binary64_13423`
2×	`unsub-neg_binary64_13371` `remove-double-div_binary64_13353` `distribute-lft-out_binary64_13328` `associate-+r-_binary64_13311`
1×	`div-exp_binary64_13428` `rec-exp_binary64_13427` `prod-exp_binary64_13426` `exp-diff_binary64_13425` `1-exp_binary64_13421` `*-inverses_binary64_13357` `associate--r-_binary64_13316`
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_13640` `erf-erfc_binary64_13639` `erf-odd_binary64_13638` `if-if-and-not_binary64_13637` `if-if-and_binary64_13636` `if-if-or-not_binary64_13635` `if-if-or_binary64_13634` `if-not_binary64_13633` `if-same_binary64_13632` `if-false_binary64_13631` `if-true_binary64_13630` `not-gte_binary64_13629` `not-lte_binary64_13628` `not-gt_binary64_13627` `not-lt_binary64_13626` `gte-same_binary64_13625` `lte-same_binary64_13624` `gt-same_binary64_13623` `lt-same_binary64_13622` `sinh---cosh_binary64_13569` `sinh-+-cosh_binary64_13568` `sinh-cosh_binary64_13567` `tanh-def-c_binary64_13566` `tanh-def-b_binary64_13565` `tanh-def-a_binary64_13564` `cosh-def_binary64_13563` `sinh-def_binary64_13562` `tan-neg_binary64_13509` `cos-neg_binary64_13508` `sin-neg_binary64_13507` `tan-0_binary64_13506` `cos-0_binary64_13505` `sin-0_binary64_13504` `hang-m-tan_binary64_13503` `hang-p-tan_binary64_13502` `hang-m0-tan_binary64_13501` `hang-p0-tan_binary64_13500` `hang-0m-tan_binary64_13499` `hang-0p-tan_binary64_13498` `tan-+PI/2_binary64_13497` `tan-+PI_binary64_13496` `tan-PI_binary64_13495` `tan-PI/3_binary64_13494` `tan-PI/4_binary64_13493` `tan-PI/6_binary64_13492` `cos-+PI/2_binary64_13491` `cos-+PI_binary64_13490` `cos-PI_binary64_13489` `cos-PI/2_binary64_13488` `cos-PI/3_binary64_13487` `cos-PI/4_binary64_13486` `cos-PI/6_binary64_13485` `sin-+PI/2_binary64_13484` `sin-+PI_binary64_13483` `sin-PI_binary64_13482` `sin-PI/2_binary64_13481` `sin-PI/3_binary64_13480` `sin-PI/4_binary64_13479` `sin-PI/6_binary64_13478` `sub-1-sin_binary64_13477` `sub-1-cos_binary64_13476` `-1-add-sin_binary64_13475` `-1-add-cos_binary64_13474` `1-sub-sin_binary64_13473` `1-sub-cos_binary64_13472` `cos-sin-sum_binary64_13471` `log-E_binary64_13467` `log-pow_binary64_13466` `log-rec_binary64_13465` `pow-base-0_binary64_13461` `unpow1/3_binary64_13444` `unpow1/2_binary64_13441` `exp-to-pow_binary64_13439` `pow-base-1_binary64_13437` `unpow0_binary64_13436` `unpow1_binary64_13435` `unpow-1_binary64_13434` `exp-lft-cube_binary64_13433` `exp-lft-sqr_binary64_13432` `exp-cbrt_binary64_13431` `exp-sqrt_binary64_13430` `exp-neg_binary64_13424` `e-exp-1_binary64_13422` `exp-1-e_binary64_13420` `exp-0_binary64_13419` `rem-log-exp_binary64_13418` `rem-exp-log_binary64_13417` `cube-div_binary64_13406` `cube-neg_binary64_13404` `rem-3cbrt-rft_binary64_13403` `rem-3cbrt-lft_binary64_13402` `rem-cbrt-cube_binary64_13401` `rem-cube-cbrt_binary64_13400` `sqr-abs_binary64_13392` `sqr-neg_binary64_13391` `rem-sqrt-square_binary64_13390` `rem-square-sqrt_binary64_13389` `mul-1-neg_binary64_13369` `*-lft-identity_binary64_13366` `remove-double-neg_binary64_13365` `sub0-neg_binary64_13364` `--rgt-identity_binary64_13363` `+-rgt-identity_binary64_13362` `+-lft-identity_binary64_13361` `mul0-rgt_binary64_13360` `mul0-lft_binary64_13359` `div0_binary64_13358` `+-inverses_binary64_13356` `lft-mult-inverse_binary64_13355` `rgt-mult-inverse_binary64_13354` `difference-of-sqr--1_binary64_13348` `difference-of-sqr-1_binary64_13347` `cancel-sign-sub_binary64_13342` `distribute-frac-neg_binary64_13340` `distribute-neg-out_binary64_13339` `distribute-rgt-neg-out_binary64_13337` `distribute-rgt1-in_binary64_13333` `distribute-lft1-in_binary64_13332` `distribute-lft-out--_binary64_13329` `count-2_binary64_13325` `associate--l-_binary64_13315` `associate-+l-_binary64_13312` `associate-+l+_binary64_13310`

Counts

255 → 555

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	774	22835
1	2271	22046

prune4.7s (1.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	555	0	555
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	555	7	562

Error

Counts

562 → 7

Compiler

Compiled 43940 to 30890 computations (29.7% saved)

localize25.0ms (0%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104))
0.1b	(.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))
2.6b	(/.f64 (-.f64 x 2) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328))
23.0b	(.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (/.f64 (-.f64 x 2) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328)))

rewrite498.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

51×	`add-sqr-sqrt_binary64_13399`
42×	`*-un-lft-identity_binary64_13377`
31×	`times-frac_binary64_13383`
28×	`add-cube-cbrt_binary64_13412`
27×	`associate-r_binary64_13317`
15×	`add-exp-log_binary64_13415` `add-cbrt-cube_binary64_13413`
10×	`pow1_binary64_13438`
9×	`associate-l_binary64_13318`
7×	`difference-of-squares_binary64_13346` `distribute-lft-out--_binary64_13329`
6×	`flip3-+_binary64_13380` `flip-+_binary64_13351`
5×	`associate-r/_binary64_13319` `associate-/l_binary64_13322`
4×	`prod-exp_binary64_13426` `add-log-exp_binary64_13416` `cbrt-unprod_binary64_13410` `unswap-sqr_binary64_13345` `associate-/r/_binary64_13323`
3×	`pow-prod-down_binary64_13448` `-commutative_binary64_13308` `associate-/r_binary64_13321`
2×	`div-exp_binary64_13428` `cbrt-undiv_binary64_13411` `frac-times_binary64_13387` `associate-*l/_binary64_13320` `div-inv_binary64_13374` `associate-/l/_binary64_13324` `distribute-rgt-in_binary64_13327` `distribute-lft-in_binary64_13326`
1×	`frac-2neg_binary64_13388` `div-sub_binary64_13382` `clear-num_binary64_13376` `flip3--_binary64_13381` `flip--_binary64_13352`

Counts

4 → 128

Calls

4 calls:

41.0ms	(.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (/.f64 (-.f64 x 2) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328)))
18.0ms	(/.f64 (-.f64 x 2) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328))
11.0ms	(.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104))
7.0ms	(.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))

Compiler

Compiled 7047 to 5075 computations (28% saved)

series2.3s (0.8%)

Error

Counts

4 → 51

Calls

4 calls:

1.8s	(.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (/.f64 (-.f64 x 2) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328)))
123.0ms	(.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104))
79.0ms	(/.f64 (-.f64 x 2) (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328))
75.0ms	(.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664))

Compiler

Compiled 6860 to 5505 computations (19.8% saved)

simplify1.3s (0.4%)

Algorithm

1×	egg-herbie

Rules

400×	`associate-l_binary64_13318`
376×	`times-frac_binary64_13383`
326×	`associate-r_binary64_13317`
282×	`distribute-rgt-in_binary64_13327`
276×	`distribute-lft-in_binary64_13326`
187×	`*-commutative_binary64_13308`
122×	`+-commutative_binary64_13307`
106×	`associate-/l*_binary64_13322`
94×	`associate-+r+_binary64_13309`
80×	`associate-+l+_binary64_13310`
74×	`associate-*r/_binary64_13319`
73×	`neg-mul-1_binary64_13373`
72×	`neg-sub0_binary64_13372`
69×	`associate-*l/_binary64_13320`
67×	`sub-neg_binary64_13370`
60×	`associate--l+_binary64_13314`
57×	`associate--r+_binary64_13313`
53×	`exp-prod_binary64_13429`
50×	`div-sub_binary64_13382`
47×	`associate-/l/_binary64_13324`
41×	`associate-/r*_binary64_13321`
40×	`cancel-sign-sub-inv_binary64_13343`
39×	`cube-prod_binary64_13405`
33×	`sqr-pow_binary64_13349`
32×	`exp-sum_binary64_13423` `unsub-neg_binary64_13371`
27×	`distribute-neg-in_binary64_13338`
25×	`log-prod_binary64_13463`
24×	`associate-/r/_binary64_13323`
18×	`swap-sqr_binary64_13344`
14×	`log-div_binary64_13464` `unpow3_binary64_13443` `distribute-rgt-neg-in_binary64_13335`
13×	`cube-mult_binary64_13407` `pow-sqr_binary64_13350`
9×	`div-exp_binary64_13428` `prod-exp_binary64_13426` `cube-unmult_binary64_13414` `cube-div_binary64_13406`
8×	`unswap-sqr_binary64_13345` `distribute-lft-neg-in_binary64_13334` `distribute-rgt-out_binary64_13330`
7×	`/-rgt-identity_binary64_13368` `*-rgt-identity_binary64_13367`
6×	`distribute-lft-neg-out_binary64_13336`
4×	`difference-of-squares_binary64_13346`
3×	`log-rec_binary64_13465` `rec-exp_binary64_13427`
2×	`pow-plus_binary64_13440` `distribute-neg-frac_binary64_13341` `distribute-lft-out_binary64_13328` `associate-+l-_binary64_13312` `associate-+r-_binary64_13311`
1×	`unpow2_binary64_13442` `unpow1_binary64_13435` `exp-sqrt_binary64_13430` `exp-diff_binary64_13425` `1-exp_binary64_13421` `exp-1-e_binary64_13420` `rem-log-exp_binary64_13418` `*-inverses_binary64_13357` `distribute-rgt-out--_binary64_13331` `associate--r-_binary64_13316`
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_13640` `erf-erfc_binary64_13639` `erf-odd_binary64_13638` `if-if-and-not_binary64_13637` `if-if-and_binary64_13636` `if-if-or-not_binary64_13635` `if-if-or_binary64_13634` `if-not_binary64_13633` `if-same_binary64_13632` `if-false_binary64_13631` `if-true_binary64_13630` `not-gte_binary64_13629` `not-lte_binary64_13628` `not-gt_binary64_13627` `not-lt_binary64_13626` `gte-same_binary64_13625` `lte-same_binary64_13624` `gt-same_binary64_13623` `lt-same_binary64_13622` `sinh---cosh_binary64_13569` `sinh-+-cosh_binary64_13568` `sinh-cosh_binary64_13567` `tanh-def-c_binary64_13566` `tanh-def-b_binary64_13565` `tanh-def-a_binary64_13564` `cosh-def_binary64_13563` `sinh-def_binary64_13562` `tan-neg_binary64_13509` `cos-neg_binary64_13508` `sin-neg_binary64_13507` `tan-0_binary64_13506` `cos-0_binary64_13505` `sin-0_binary64_13504` `hang-m-tan_binary64_13503` `hang-p-tan_binary64_13502` `hang-m0-tan_binary64_13501` `hang-p0-tan_binary64_13500` `hang-0m-tan_binary64_13499` `hang-0p-tan_binary64_13498` `tan-+PI/2_binary64_13497` `tan-+PI_binary64_13496` `tan-PI_binary64_13495` `tan-PI/3_binary64_13494` `tan-PI/4_binary64_13493` `tan-PI/6_binary64_13492` `cos-+PI/2_binary64_13491` `cos-+PI_binary64_13490` `cos-PI_binary64_13489` `cos-PI/2_binary64_13488` `cos-PI/3_binary64_13487` `cos-PI/4_binary64_13486` `cos-PI/6_binary64_13485` `sin-+PI/2_binary64_13484` `sin-+PI_binary64_13483` `sin-PI_binary64_13482` `sin-PI/2_binary64_13481` `sin-PI/3_binary64_13480` `sin-PI/4_binary64_13479` `sin-PI/6_binary64_13478` `sub-1-sin_binary64_13477` `sub-1-cos_binary64_13476` `-1-add-sin_binary64_13475` `-1-add-cos_binary64_13474` `1-sub-sin_binary64_13473` `1-sub-cos_binary64_13472` `cos-sin-sum_binary64_13471` `log-E_binary64_13467` `log-pow_binary64_13466` `pow-base-0_binary64_13461` `unpow1/3_binary64_13444` `unpow1/2_binary64_13441` `exp-to-pow_binary64_13439` `pow-base-1_binary64_13437` `unpow0_binary64_13436` `unpow-1_binary64_13434` `exp-lft-cube_binary64_13433` `exp-lft-sqr_binary64_13432` `exp-cbrt_binary64_13431` `exp-neg_binary64_13424` `e-exp-1_binary64_13422` `exp-0_binary64_13419` `rem-exp-log_binary64_13417` `cube-neg_binary64_13404` `rem-3cbrt-rft_binary64_13403` `rem-3cbrt-lft_binary64_13402` `rem-cbrt-cube_binary64_13401` `rem-cube-cbrt_binary64_13400` `sqr-abs_binary64_13392` `sqr-neg_binary64_13391` `rem-sqrt-square_binary64_13390` `rem-square-sqrt_binary64_13389` `mul-1-neg_binary64_13369` `*-lft-identity_binary64_13366` `remove-double-neg_binary64_13365` `sub0-neg_binary64_13364` `--rgt-identity_binary64_13363` `+-rgt-identity_binary64_13362` `+-lft-identity_binary64_13361` `mul0-rgt_binary64_13360` `mul0-lft_binary64_13359` `div0_binary64_13358` `+-inverses_binary64_13356` `lft-mult-inverse_binary64_13355` `rgt-mult-inverse_binary64_13354` `remove-double-div_binary64_13353` `difference-of-sqr--1_binary64_13348` `difference-of-sqr-1_binary64_13347` `cancel-sign-sub_binary64_13342` `distribute-frac-neg_binary64_13340` `distribute-neg-out_binary64_13339` `distribute-rgt-neg-out_binary64_13337` `distribute-rgt1-in_binary64_13333` `distribute-lft1-in_binary64_13332` `distribute-lft-out--_binary64_13329` `count-2_binary64_13325` `associate--l-_binary64_13315`

Counts

179 → 291

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	373	8725
1	1079	8059
2	4219	7861

prune1.4s (0.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	290	1	291
Fresh	2	3	5
Picked	0	1	1
Done	1	0	1
Total	293	5	298

Error

Counts

298 → 5

Compiler

Compiled 18452 to 13178 computations (28.6% saved)

localize57.0ms (0%)

Local error

Found 4 expressions with local error:

22.7b	(/.f64 (pow.f64 x 4) (+.f64 (pow.f64 x 4) (+.f64 (+.f64 (.f64 (pow.f64 x 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+.f64 (.f64 x 172293041005667/549755813888) (.f64 x (.f64 x 1158907574534893/4398046511104))))))
22.7b	(/.f64 (+.f64 (pow.f64 x 4) (+.f64 (+.f64 (.f64 (pow.f64 x 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+.f64 (.f64 x 172293041005667/549755813888) (.f64 x (.f64 x 1158907574534893/4398046511104))))) (pow.f64 x 3))
22.7b	(/.f64 (.f64 (.f64 x x) 604816789577447/2199023255552) (+.f64 (pow.f64 x 4) (+.f64 (+.f64 (.f64 (pow.f64 x 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+.f64 (.f64 x 172293041005667/549755813888) (.f64 x (.f64 x 1158907574534893/4398046511104))))))
23.9b	(/.f64 (pow.f64 x 5) (+.f64 (pow.f64 x 4) (+.f64 (+.f64 (.f64 (pow.f64 x 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+.f64 (.f64 x 172293041005667/549755813888) (.f64 x (.f64 x 1158907574534893/4398046511104))))))

rewrite6.7s (2.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

232×	`*-un-lft-identity_binary64_13377`
135×	`times-frac_binary64_13383`
93×	`distribute-lft-out_binary64_13328`
77×	`add-cube-cbrt_binary64_13412` `add-sqr-sqrt_binary64_13399`
54×	`unpow-prod-down_binary64_13456`
28×	`add-exp-log_binary64_13415`
27×	`associate-/r*_binary64_13321`
20×	`associate-/l*_binary64_13322`
19×	`add-cbrt-cube_binary64_13413`
18×	`sqr-pow_binary64_13349` `cube-prod_binary64_13405`
12×	`div-exp_binary64_13428`
6×	`cbrt-undiv_binary64_13411` `associate-/r/_binary64_13323` `unpow3_binary64_13443` `cube-mult_binary64_13407`
4×	`pow1_binary64_13438` `add-log-exp_binary64_13416` `frac-2neg_binary64_13388` `clear-num_binary64_13376` `div-inv_binary64_13374` `flip3-+_binary64_13380` `flip-+_binary64_13351`
3×	`pow-to-exp_binary64_13446` `pow-exp_binary64_13445` `prod-exp_binary64_13426` `cbrt-unprod_binary64_13410`
2×	`associate-/l/_binary64_13324`

Counts

4 → 248

Calls

4 calls:

20.0ms	(/.f64 (+.f64 (pow.f64 x 4) (+.f64 (+.f64 (.f64 (pow.f64 x 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+.f64 (.f64 x 172293041005667/549755813888) (.f64 x (.f64 x 1158907574534893/4398046511104))))) (pow.f64 x 3))
19.0ms	(/.f64 (.f64 (.f64 x x) 604816789577447/2199023255552) (+.f64 (pow.f64 x 4) (+.f64 (+.f64 (.f64 (pow.f64 x 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+.f64 (.f64 x 172293041005667/549755813888) (.f64 x (.f64 x 1158907574534893/4398046511104))))))
18.0ms	(/.f64 (pow.f64 x 4) (+.f64 (pow.f64 x 4) (+.f64 (+.f64 (.f64 (pow.f64 x 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+.f64 (.f64 x 172293041005667/549755813888) (.f64 x (.f64 x 1158907574534893/4398046511104))))))
18.0ms	(/.f64 (pow.f64 x 5) (+.f64 (pow.f64 x 4) (+.f64 (+.f64 (.f64 (pow.f64 x 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+.f64 (.f64 x 172293041005667/549755813888) (.f64 x (.f64 x 1158907574534893/4398046511104))))))

Compiler

Compiled 53148 to 39895 computations (24.9% saved)

series1.0s (0.4%)

Error

Counts

4 → 42

Calls

4 calls:

161.0ms	(/.f64 (.f64 (.f64 x x) 604816789577447/2199023255552) (+.f64 (pow.f64 x 4) (+.f64 (+.f64 (.f64 (pow.f64 x 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+.f64 (.f64 x 172293041005667/549755813888) (.f64 x (.f64 x 1158907574534893/4398046511104))))))
158.0ms	(/.f64 (pow.f64 x 4) (+.f64 (pow.f64 x 4) (+.f64 (+.f64 (.f64 (pow.f64 x 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+.f64 (.f64 x 172293041005667/549755813888) (.f64 x (.f64 x 1158907574534893/4398046511104))))))
153.0ms	(/.f64 (+.f64 (pow.f64 x 4) (+.f64 (+.f64 (.f64 (pow.f64 x 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+.f64 (.f64 x 172293041005667/549755813888) (.f64 x (.f64 x 1158907574534893/4398046511104))))) (pow.f64 x 3))
132.0ms	(/.f64 (pow.f64 x 5) (+.f64 (pow.f64 x 4) (+.f64 (+.f64 (.f64 (pow.f64 x 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+.f64 (.f64 x 172293041005667/549755813888) (.f64 x (.f64 x 1158907574534893/4398046511104))))))

Compiler

Compiled 15924 to 12237 computations (23.2% saved)

simplify1.7s (0.6%)

Algorithm

1×	egg-herbie

Rules

390×	`cancel-sign-sub-inv_binary64_13343`
255×	`associate-/l*_binary64_13322`
203×	`associate-/r*_binary64_13321`
198×	`times-frac_binary64_13383`
184×	`associate-l_binary64_13318`
156×	`associate-r_binary64_13317`
149×	`associate-/l/_binary64_13324`
146×	`associate-/r/_binary64_13323`
110×	`sub-neg_binary64_13370` `sqr-pow_binary64_13349`
104×	`log-prod_binary64_13463`
97×	`associate-*l/_binary64_13320`
96×	`distribute-neg-in_binary64_13338`
78×	`distribute-rgt-in_binary64_13327`
74×	`pow-sqr_binary64_13350` `distribute-neg-frac_binary64_13341`
72×	`distribute-lft-in_binary64_13326`
71×	`associate-r/_binary64_13319` `-commutative_binary64_13308`
68×	`+-commutative_binary64_13307`
66×	`log-div_binary64_13464`
60×	`cube-prod_binary64_13405`
54×	`swap-sqr_binary64_13344`
53×	`neg-mul-1_binary64_13373`
52×	`neg-sub0_binary64_13372`
44×	`cube-div_binary64_13406`
39×	`unswap-sqr_binary64_13345`
37×	`log-pow_binary64_13466`
36×	`pow-plus_binary64_13440`
35×	`/-rgt-identity_binary64_13368` `associate-+l+_binary64_13310`
33×	`associate-+r+_binary64_13309`
31×	`associate--l+_binary64_13314`
30×	`*-rgt-identity_binary64_13367`
29×	`div-sub_binary64_13382`
28×	`associate--r+_binary64_13313`
26×	`distribute-rgt-neg-in_binary64_13335`
22×	`unsub-neg_binary64_13371`
20×	`cube-unmult_binary64_13414`
19×	`distribute-rgt-neg-out_binary64_13337` `distribute-lft-neg-in_binary64_13334`
16×	`div-exp_binary64_13428` `prod-exp_binary64_13426`
9×	`unpow3_binary64_13443` `pow-base-1_binary64_13437`
8×	`rem-sqrt-square_binary64_13390`
7×	`cube-mult_binary64_13407` `distribute-lft-neg-out_binary64_13336`
5×	`log-rec_binary64_13465` `*-lft-identity_binary64_13366`
4×	`exp-prod_binary64_13429` `rec-exp_binary64_13427`
2×	`difference-of-squares_binary64_13346` `associate-+l-_binary64_13312`
1×	`unpow2_binary64_13442` `unpow1_binary64_13435` `1-exp_binary64_13421` `rem-log-exp_binary64_13418` `rem-cbrt-cube_binary64_13401` `rem-cube-cbrt_binary64_13400` `rem-square-sqrt_binary64_13389` `sub0-neg_binary64_13364` `*-inverses_binary64_13357` `distribute-rgt-out--_binary64_13331` `distribute-rgt-out_binary64_13330` `distribute-lft-out_binary64_13328` `count-2_binary64_13325` `associate-+r-_binary64_13311`
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_13640` `erf-erfc_binary64_13639` `erf-odd_binary64_13638` `if-if-and-not_binary64_13637` `if-if-and_binary64_13636` `if-if-or-not_binary64_13635` `if-if-or_binary64_13634` `if-not_binary64_13633` `if-same_binary64_13632` `if-false_binary64_13631` `if-true_binary64_13630` `not-gte_binary64_13629` `not-lte_binary64_13628` `not-gt_binary64_13627` `not-lt_binary64_13626` `gte-same_binary64_13625` `lte-same_binary64_13624` `gt-same_binary64_13623` `lt-same_binary64_13622` `sinh---cosh_binary64_13569` `sinh-+-cosh_binary64_13568` `sinh-cosh_binary64_13567` `tanh-def-c_binary64_13566` `tanh-def-b_binary64_13565` `tanh-def-a_binary64_13564` `cosh-def_binary64_13563` `sinh-def_binary64_13562` `tan-neg_binary64_13509` `cos-neg_binary64_13508` `sin-neg_binary64_13507` `tan-0_binary64_13506` `cos-0_binary64_13505` `sin-0_binary64_13504` `hang-m-tan_binary64_13503` `hang-p-tan_binary64_13502` `hang-m0-tan_binary64_13501` `hang-p0-tan_binary64_13500` `hang-0m-tan_binary64_13499` `hang-0p-tan_binary64_13498` `tan-+PI/2_binary64_13497` `tan-+PI_binary64_13496` `tan-PI_binary64_13495` `tan-PI/3_binary64_13494` `tan-PI/4_binary64_13493` `tan-PI/6_binary64_13492` `cos-+PI/2_binary64_13491` `cos-+PI_binary64_13490` `cos-PI_binary64_13489` `cos-PI/2_binary64_13488` `cos-PI/3_binary64_13487` `cos-PI/4_binary64_13486` `cos-PI/6_binary64_13485` `sin-+PI/2_binary64_13484` `sin-+PI_binary64_13483` `sin-PI_binary64_13482` `sin-PI/2_binary64_13481` `sin-PI/3_binary64_13480` `sin-PI/4_binary64_13479` `sin-PI/6_binary64_13478` `sub-1-sin_binary64_13477` `sub-1-cos_binary64_13476` `-1-add-sin_binary64_13475` `-1-add-cos_binary64_13474` `1-sub-sin_binary64_13473` `1-sub-cos_binary64_13472` `cos-sin-sum_binary64_13471` `log-E_binary64_13467` `pow-base-0_binary64_13461` `unpow1/3_binary64_13444` `unpow1/2_binary64_13441` `exp-to-pow_binary64_13439` `unpow0_binary64_13436` `unpow-1_binary64_13434` `exp-lft-cube_binary64_13433` `exp-lft-sqr_binary64_13432` `exp-cbrt_binary64_13431` `exp-sqrt_binary64_13430` `exp-diff_binary64_13425` `exp-neg_binary64_13424` `exp-sum_binary64_13423` `e-exp-1_binary64_13422` `exp-1-e_binary64_13420` `exp-0_binary64_13419` `rem-exp-log_binary64_13417` `cube-neg_binary64_13404` `rem-3cbrt-rft_binary64_13403` `rem-3cbrt-lft_binary64_13402` `sqr-abs_binary64_13392` `sqr-neg_binary64_13391` `mul-1-neg_binary64_13369` `remove-double-neg_binary64_13365` `--rgt-identity_binary64_13363` `+-rgt-identity_binary64_13362` `+-lft-identity_binary64_13361` `mul0-rgt_binary64_13360` `mul0-lft_binary64_13359` `div0_binary64_13358` `+-inverses_binary64_13356` `lft-mult-inverse_binary64_13355` `rgt-mult-inverse_binary64_13354` `remove-double-div_binary64_13353` `difference-of-sqr--1_binary64_13348` `difference-of-sqr-1_binary64_13347` `cancel-sign-sub_binary64_13342` `distribute-frac-neg_binary64_13340` `distribute-neg-out_binary64_13339` `distribute-rgt1-in_binary64_13333` `distribute-lft1-in_binary64_13332` `distribute-lft-out--_binary64_13329` `associate--r-_binary64_13316` `associate--l-_binary64_13315`

Counts

290 → 1807

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	374	13633
1	789	12793
2	3536	12793

prune4.1min (83%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	1807	0	1807
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	1807	5	1812

Error

Counts

1812 → 5

Compiler

Compiled 390792 to 294396 computations (24.7% saved)

regimes2.8s (0.9%)

Accuracy

Total 0.7b remaining (99.6%)

Threshold costs 0.7b (99.6%)

Compiler

Compiled 26344 to 20476 computations (22.3% saved)

bsearch179.0ms (0.1%)

Steps

Iters	Range		Point
9	2.9040618746980397e+17	2.7136164501273798e+23	2.684414262750609e+23
10	-6.975218310165518e+66	-1.331504617386549e+57	-2.530021484323837e+58

Compiler

Compiled 1 to 3 computations (-200% saved)

simplify38.0ms (0%)

Algorithm

1×	egg-herbie

Rules

33×	`+-commutative_binary64_13307`
30×	`*-commutative_binary64_13308`
21×	`sub-neg_binary64_13370`
18×	`neg-mul-1_binary64_13373` `neg-sub0_binary64_13372`
7×	`distribute-rgt-neg-in_binary64_13335` `distribute-lft-neg-in_binary64_13334`
6×	`unsub-neg_binary64_13371` `distribute-neg-in_binary64_13338`
4×	`distribute-neg-frac_binary64_13341`
1×	`if-if-or-not_binary64_13635`
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_13637` `if-if-and_binary64_13636` `if-if-or_binary64_13634` `if-not_binary64_13633` `if-same_binary64_13632` `if-false_binary64_13631` `if-true_binary64_13630` `tan-0_binary64_13506` `cos-0_binary64_13505` `sin-0_binary64_13504` `unpow1_binary64_13435` `e-exp-1_binary64_13422` `1-exp_binary64_13421` `exp-1-e_binary64_13420` `exp-0_binary64_13419` `sqr-abs_binary64_13392` `sqr-neg_binary64_13391` `mul-1-neg_binary64_13369` `/-rgt-identity_binary64_13368` `-rgt-identity_binary64_13367` `-lft-identity_binary64_13366` `remove-double-neg_binary64_13365` `sub0-neg_binary64_13364` `--rgt-identity_binary64_13363` `+-rgt-identity_binary64_13362` `+-lft-identity_binary64_13361` `cancel-sign-sub-inv_binary64_13343` `cancel-sign-sub_binary64_13342` `distribute-frac-neg_binary64_13340` `distribute-neg-out_binary64_13339` `distribute-rgt-neg-out_binary64_13337` `distribute-lft-neg-out_binary64_13336`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	69	337
1	102	337
2	121	337
3	147	337
4	172	337
5	199	337
6	221	337
7	233	337
8	240	337
9	242	337

Proof

(=> (if real (<= f64 h0 -25300214843238367746029476246441010283191781678565606555648) (+ f64 (+ f64 (* f64 h0 4688685437421479/1125899906842624) (/ f64 81511910168990465552173642919232296056782908311/22300745198530623141535718272648361505980416 h0)) (- f64 (/ f64 h1 (* f64 h0 h0)) (+ f64 17448247778806919815970102288319/158456325028528675187087900672 (/ f64 411079566672578105091495589387081860448247525304606980272914735/3138550867693340381917894711603833208051177722232017256448 (* f64 h0 h0))))) (if real (<= f64 h0 268441426275060894662656) (- f64 (+ f64 (+ f64 (* f64 4688685437421479/1125899906842624 (/ f64 (pow f64 h0 5) (+ f64 (pow f64 h0 4) (+ f64 (+ f64 (* f64 (pow f64 h0 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+ f64 (* f64 h0 172293041005667/549755813888) (* f64 h0 (* f64 h0 1158907574534893/4398046511104))))))) (+ f64 (* f64 39615190152108849/562949953421312 (/ f64 (pow f64 h0 4) (+ f64 (pow f64 h0 4) (+ f64 (+ f64 (* f64 (pow f64 h0 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+ f64 (* f64 h0 172293041005667/549755813888) (* f64 h0 (* f64 h0 1158907574534893/4398046511104))))))) (* f64 (/ f64 h0 (/ f64 (+ f64 (pow f64 h0 4) (+ f64 (+ f64 (* f64 (pow f64 h0 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+ f64 (* f64 h0 172293041005667/549755813888) (* f64 h0 (* f64 h0 1158907574534893/4398046511104))))) h0)) h1))) (* f64 (/ f64 h2 (+ f64 (pow f64 h0 4) (+ f64 (+ f64 (* f64 (pow f64 h0 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+ f64 (* f64 h0 172293041005667/549755813888) (* f64 h0 (* f64 h0 1158907574534893/4398046511104)))))) (- f64 h0 2))) (+ f64 (/ f64 699450132071715/35184372088832 (/ f64 (+ f64 (pow f64 h0 4) (+ f64 (+ f64 (* f64 (pow f64 h0 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+ f64 (* f64 h0 172293041005667/549755813888) (* f64 h0 (* f64 h0 1158907574534893/4398046511104))))) (pow f64 h0 3))) (+ f64 (/ f64 (* f64 (* f64 h0 h1) 2) (+ f64 (pow f64 h0 4) (+ f64 (+ f64 (* f64 (pow f64 h0 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+ f64 (* f64 h0 172293041005667/549755813888) (* f64 h0 (* f64 h0 1158907574534893/4398046511104)))))) (/ f64 (* f64 (* f64 h0 h0) 604816789577447/2199023255552) (+ f64 (pow f64 h0 4) (+ f64 (+ f64 (* f64 (pow f64 h0 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+ f64 (* f64 h0 172293041005667/549755813888) (* f64 h0 (* f64 h0 1158907574534893/4398046511104))))))))) (+ f64 (+ f64 (* f64 h0 4688685437421479/1125899906842624) (/ f64 81511910168990465552173642919232296056782908311/22300745198530623141535718272648361505980416 h0)) (- f64 (/ f64 h1 (* f64 h0 h0)) (+ f64 17448247778806919815970102288319/158456325028528675187087900672 (/ f64 411079566672578105091495589387081860448247525304606980272914735/3138550867693340381917894711603833208051177722232017256448 (* f64 h0 h0))))))))
if-if-or-not_binary64_13635 =>
(if real (or real (<= f64 h0 -25300214843238367746029476246441010283191781678565606555648) (not real (<= f64 h0 268441426275060894662656))) (+ f64 (+ f64 (* f64 h0 4688685437421479/1125899906842624) (/ f64 81511910168990465552173642919232296056782908311/22300745198530623141535718272648361505980416 h0)) (- f64 (/ f64 h1 (* f64 h0 h0)) (+ f64 17448247778806919815970102288319/158456325028528675187087900672 (/ f64 411079566672578105091495589387081860448247525304606980272914735/3138550867693340381917894711603833208051177722232017256448 (* f64 h0 h0))))) (- f64 (+ f64 (+ f64 (* f64 4688685437421479/1125899906842624 (/ f64 (pow f64 h0 5) (+ f64 (pow f64 h0 4) (+ f64 (+ f64 (* f64 (pow f64 h0 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+ f64 (* f64 h0 172293041005667/549755813888) (* f64 h0 (* f64 h0 1158907574534893/4398046511104))))))) (+ f64 (* f64 39615190152108849/562949953421312 (/ f64 (pow f64 h0 4) (+ f64 (pow f64 h0 4) (+ f64 (+ f64 (* f64 (pow f64 h0 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+ f64 (* f64 h0 172293041005667/549755813888) (* f64 h0 (* f64 h0 1158907574534893/4398046511104))))))) (=> (* f64 (/ f64 h0 (/ f64 (+ f64 (pow f64 h0 4) (+ f64 (+ f64 (* f64 (pow f64 h0 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+ f64 (* f64 h0 172293041005667/549755813888) (* f64 h0 (* f64 h0 1158907574534893/4398046511104))))) h0)) h1)))) (* f64 (/ f64 h2 (+ f64 (pow f64 h0 4) (+ f64 (+ f64 (* f64 (pow f64 h0 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+ f64 (* f64 h0 172293041005667/549755813888) (* f64 h0 (* f64 h0 1158907574534893/4398046511104)))))) (- f64 h0 2))) (+ f64 (/ f64 699450132071715/35184372088832 (/ f64 (+ f64 (pow f64 h0 4) (+ f64 (+ f64 (* f64 (pow f64 h0 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+ f64 (* f64 h0 172293041005667/549755813888) (* f64 h0 (* f64 h0 1158907574534893/4398046511104))))) (pow f64 h0 3))) (+ f64 (/ f64 (* f64 (* f64 h0 h1) 2) (+ f64 (pow f64 h0 4) (+ f64 (+ f64 (* f64 (pow f64 h0 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+ f64 (* f64 h0 172293041005667/549755813888) (* f64 h0 (* f64 h0 1158907574534893/4398046511104)))))) (/ f64 (* f64 (* f64 h0 h0) 604816789577447/2199023255552) (+ f64 (pow f64 h0 4) (+ f64 (+ f64 (* f64 (pow f64 h0 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+ f64 (* f64 h0 172293041005667/549755813888) (* f64 h0 (* f64 h0 1158907574534893/4398046511104))))))))))
*-commutative_binary64_13308 =>
(if real (or real (<= f64 h0 -25300214843238367746029476246441010283191781678565606555648) (not real (<= f64 h0 268441426275060894662656))) (+ f64 (+ f64 (* f64 h0 4688685437421479/1125899906842624) (/ f64 81511910168990465552173642919232296056782908311/22300745198530623141535718272648361505980416 h0)) (- f64 (/ f64 h1 (* f64 h0 h0)) (+ f64 17448247778806919815970102288319/158456325028528675187087900672 (/ f64 411079566672578105091495589387081860448247525304606980272914735/3138550867693340381917894711603833208051177722232017256448 (* f64 h0 h0))))) (- f64 (+ f64 (+ f64 (* f64 4688685437421479/1125899906842624 (/ f64 (pow f64 h0 5) (+ f64 (pow f64 h0 4) (+ f64 (+ f64 (* f64 (pow f64 h0 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+ f64 (* f64 h0 172293041005667/549755813888) (* f64 h0 (* f64 h0 1158907574534893/4398046511104))))))) (+ f64 (* f64 39615190152108849/562949953421312 (/ f64 (pow f64 h0 4) (+ f64 (pow f64 h0 4) (+ f64 (+ f64 (* f64 (pow f64 h0 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+ f64 (* f64 h0 172293041005667/549755813888) (* f64 h0 (* f64 h0 1158907574534893/4398046511104))))))) (* f64 h1 (/ f64 h0 (/ f64 (+ f64 (pow f64 h0 4) (+ f64 (+ f64 (* f64 (pow f64 h0 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+ f64 (* f64 h0 172293041005667/549755813888) (* f64 h0 (* f64 h0 1158907574534893/4398046511104))))) h0))))) (* f64 (/ f64 h2 (+ f64 (pow f64 h0 4) (+ f64 (+ f64 (* f64 (pow f64 h0 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+ f64 (* f64 h0 172293041005667/549755813888) (* f64 h0 (* f64 h0 1158907574534893/4398046511104)))))) (- f64 h0 2))) (+ f64 (/ f64 699450132071715/35184372088832 (/ f64 (+ f64 (pow f64 h0 4) (+ f64 (+ f64 (* f64 (pow f64 h0 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+ f64 (* f64 h0 172293041005667/549755813888) (* f64 h0 (* f64 h0 1158907574534893/4398046511104))))) (pow f64 h0 3))) (+ f64 (/ f64 (=> (* f64 (* f64 h0 h1) 2)) (+ f64 (pow f64 h0 4) (+ f64 (+ f64 (* f64 (pow f64 h0 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+ f64 (* f64 h0 172293041005667/549755813888) (* f64 h0 (* f64 h0 1158907574534893/4398046511104)))))) (/ f64 (* f64 (* f64 h0 h0) 604816789577447/2199023255552) (+ f64 (pow f64 h0 4) (+ f64 (+ f64 (* f64 (pow f64 h0 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+ f64 (* f64 h0 172293041005667/549755813888) (* f64 h0 (* f64 h0 1158907574534893/4398046511104))))))))))
*-commutative_binary64_13308 =>
(if real (or real (<= f64 h0 -25300214843238367746029476246441010283191781678565606555648) (not real (<= f64 h0 268441426275060894662656))) (+ f64 (+ f64 (* f64 h0 4688685437421479/1125899906842624) (/ f64 81511910168990465552173642919232296056782908311/22300745198530623141535718272648361505980416 h0)) (- f64 (/ f64 h1 (* f64 h0 h0)) (+ f64 17448247778806919815970102288319/158456325028528675187087900672 (/ f64 411079566672578105091495589387081860448247525304606980272914735/3138550867693340381917894711603833208051177722232017256448 (* f64 h0 h0))))) (- f64 (+ f64 (+ f64 (* f64 4688685437421479/1125899906842624 (/ f64 (pow f64 h0 5) (+ f64 (pow f64 h0 4) (+ f64 (+ f64 (* f64 (pow f64 h0 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+ f64 (* f64 h0 172293041005667/549755813888) (* f64 h0 (* f64 h0 1158907574534893/4398046511104))))))) (+ f64 (* f64 39615190152108849/562949953421312 (/ f64 (pow f64 h0 4) (+ f64 (pow f64 h0 4) (+ f64 (+ f64 (* f64 (pow f64 h0 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+ f64 (* f64 h0 172293041005667/549755813888) (* f64 h0 (* f64 h0 1158907574534893/4398046511104))))))) (* f64 h1 (/ f64 h0 (/ f64 (+ f64 (pow f64 h0 4) (+ f64 (+ f64 (* f64 (pow f64 h0 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+ f64 (* f64 h0 172293041005667/549755813888) (* f64 h0 (* f64 h0 1158907574534893/4398046511104))))) h0))))) (* f64 (/ f64 h2 (+ f64 (pow f64 h0 4) (+ f64 (+ f64 (* f64 (pow f64 h0 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+ f64 (* f64 h0 172293041005667/549755813888) (* f64 h0 (* f64 h0 1158907574534893/4398046511104)))))) (- f64 h0 2))) (+ f64 (/ f64 699450132071715/35184372088832 (/ f64 (+ f64 (pow f64 h0 4) (+ f64 (+ f64 (* f64 (pow f64 h0 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+ f64 (* f64 h0 172293041005667/549755813888) (* f64 h0 (* f64 h0 1158907574534893/4398046511104))))) (pow f64 h0 3))) (+ f64 (/ f64 (* f64 2 (* f64 h0 h1)) (+ f64 (pow f64 h0 4) (+ f64 (+ f64 (* f64 (pow f64 h0 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+ f64 (* f64 h0 172293041005667/549755813888) (* f64 h0 (* f64 h0 1158907574534893/4398046511104)))))) (/ f64 (* f64 (* f64 h0 h0) 604816789577447/2199023255552) (+ f64 (pow f64 h0 4) (+ f64 (+ f64 (* f64 (pow f64 h0 3) 6099563062176297/140737488355328) 6624073998258585/140737488355328) (+ f64 (* f64 h0 172293041005667/549755813888) (* f64 h0 (* f64 h0 1158907574534893/4398046511104))))))))))

end0.0ms (0%)

sample5.4s (1.8%)

Algorithm

1×

intervals

Results

629.0ms	8000×	body	128	valid
0.0ms	3×	body	128	invalid

Compiler

Compiled 6904 to 5353 computations (22.5% saved)

Iter	Nodes	Cost
0	69	337
1	102	337
2	121	337
3	147	337
4	172	337
5	199	337
6	221	337
7	233	337
8	240	337
9	242	337

Iter	Nodes	Cost
0	69	337
1	102	337
2	121	337
3	147	337
4	172	337
5	199	337
6	221	337
7	233	337
8	240	337
9	242	337

Details

analyze932.0ms (0.3%)

sample32.0ms (0%)

simplify213.0ms (0.1%)

prune14.0ms (0%)

localize24.0ms (0%)

rewrite902.0ms (0.3%)

series2.3s (0.8%)

simplify2.1s (0.7%)

prune5.3s (1.8%)

localize27.0ms (0%)

rewrite980.0ms (0.3%)

series4.9s (1.7%)

simplify4.7s (1.6%)

prune4.7s (1.6%)

localize25.0ms (0%)

rewrite498.0ms (0.2%)

series2.3s (0.8%)

simplify1.3s (0.4%)

prune1.4s (0.5%)

localize57.0ms (0%)

rewrite6.7s (2.3%)

series1.0s (0.4%)

simplify1.7s (0.6%)

prune4.1min (83%)

regimes2.8s (0.9%)

bsearch179.0ms (0.1%)

simplify38.0ms (0%)

end0.0ms (0%)

sample5.4s (1.8%)

Profiling

Iter	Nodes	Cost
0	69	337
1	102	337
2	121	337
3	147	337
4	172	337
5	199	337
6	221	337
7	233	337
8	240	337
9	242	337