Details

analyze1.2s (3.4%)

Algorithm

1×	search
2×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	71	220
1	160	220
2	426	220
3	993	220
4	3238	220
5	4696	220
6	5008	220
0	3	3
1	3	3

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)

sample37.0ms (0.1%)

Algorithm

1×

intervals

Results

23.0ms

256×

body

128

valid

Compiler

Compiled 75 to 62 computations (17.3% saved)

simplify44.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	55
1	57	55
2	138	55
3	306	55
4	934	55
5	4652	55
6	5236	55

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Error

22.4b

Counts

2 → 1

Compiler

Compiled 74 to 58 computations (21.6% saved)

localize23.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite470.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

21.1b

Rules

20×	`add-sqr-sqrt_binary64_11353`
15×	`add-exp-log_binary64_11369` `add-cbrt-cube_binary64_11367`
14×	`*-un-lft-identity_binary64_11331`
12×	`add-cube-cbrt_binary64_11366`
11×	`associate-l_binary64_11272`
10×	`pow1_binary64_11392`
9×	`flip3-+_binary64_11334` `flip-+_binary64_11305` `associate-r_binary64_11271`
8×	`frac-times_binary64_11341` `associate-/l/_binary64_11278` `associate-*l/_binary64_11274`
6×	`flip3--_binary64_11335` `flip--_binary64_11306`
4×	`prod-exp_binary64_11380` `add-log-exp_binary64_11370` `cbrt-unprod_binary64_11364` `associate-*r/_binary64_11273`
3×	`times-frac_binary64_11337` `associate-/r_binary64_11275` `pow-prod-down_binary64_11402` `unswap-sqr_binary64_11299` `-commutative_binary64_11262`
2×	`div-exp_binary64_11382` `cbrt-undiv_binary64_11365` `associate-/r/_binary64_11277`
1×	`frac-2neg_binary64_11342` `clear-num_binary64_11330` `div-inv_binary64_11328` `associate-/l*_binary64_11276` `distribute-rgt-in_binary64_11281` `distribute-lft-in_binary64_11280` `difference-of-squares_binary64_11300` `distribute-lft-out--_binary64_11283`

Counts

4 → 101

Calls

4 calls:

34.0ms	(/.f64 (.f64 (-.f64 x 2) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x) z)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 x 6099563062176297/140737488355328) x) 1158907574534893/4398046511104) x) 172293041005667/549755813888) x) 6624073998258585/140737488355328))
25.0ms	(.f64 (-.f64 x 2) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x) z))
14.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 x 6099563062176297/140737488355328) x) 1158907574534893/4398046511104) x) 172293041005667/549755813888) x)
14.0ms	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x)

Compiler

Compiled 5852 to 4135 computations (29.3% saved)

series3.0s (8.8%)

Error

0.5b

Counts

4 → 78

Calls

4 calls:

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

Compiler

Compiled 9185 to 7311 computations (20.4% saved)

simplify205.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

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

Counts

179 → 154

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	365	8649
1	1049	8158
2	4026	7960
3	5017	7960

prune558.0ms (1.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	148	6	154
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	149	6	155

Error

Counts

155 → 6

Compiler

Compiled 8385 to 5850 computations (30.2% saved)

localize23.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite435.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

35×	`add-sqr-sqrt_binary64_11353`
26×	`*-un-lft-identity_binary64_11331`
24×	`add-cube-cbrt_binary64_11366`
21×	`associate-r_binary64_11271`
19×	`times-frac_binary64_11337`
15×	`add-exp-log_binary64_11369` `add-cbrt-cube_binary64_11367`
11×	`associate-l_binary64_11272`
10×	`pow1_binary64_11392`
5×	`flip3-+_binary64_11334` `flip-+_binary64_11305` `associate-*r/_binary64_11273`
4×	`add-log-exp_binary64_11370` `associate-/r/_binary64_11277` `prod-exp_binary64_11380` `cbrt-unprod_binary64_11364` `unswap-sqr_binary64_11299`
3×	`associate-/l_binary64_11276` `associate-/r_binary64_11275` `pow-prod-down_binary64_11402` `*-commutative_binary64_11262`
2×	`div-exp_binary64_11382` `cbrt-undiv_binary64_11365` `div-inv_binary64_11328` `associate-/l/_binary64_11278` `distribute-rgt-in_binary64_11281` `distribute-lft-in_binary64_11280` `flip3--_binary64_11335` `frac-times_binary64_11341` `flip--_binary64_11306` `associate-*l/_binary64_11274`
1×	`frac-2neg_binary64_11342` `clear-num_binary64_11330` `difference-of-squares_binary64_11300` `distribute-lft-out--_binary64_11283`

Counts

4 → 115

Calls

4 calls:

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

Compiler

Compiled 6784 to 4845 computations (28.6% saved)

series3.8s (11.4%)

Error

Counts

4 → 78

Calls

4 calls:

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

Compiler

Compiled 10417 to 8403 computations (19.3% saved)

simplify375.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

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

Counts

193 → 160

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	390	11097
1	1114	10426
2	4215	10426
3	4854	10426
4	4996	10426
5	4911	10426

prune571.0ms (1.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	160	0	160
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	160	6	166

Error

Counts

166 → 6

Compiler

Compiled 9244 to 6507 computations (29.6% saved)

localize28.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite631.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

34×	`add-exp-log_binary64_11369`
29×	`add-sqr-sqrt_binary64_11353`
25×	`*-un-lft-identity_binary64_11331`
23×	`add-cube-cbrt_binary64_11366`
22×	`add-cbrt-cube_binary64_11367`
21×	`associate-r_binary64_11271`
20×	`frac-times_binary64_11341`
18×	`times-frac_binary64_11337`
14×	`pow1_binary64_11392` `prod-exp_binary64_11380` `associate-*l/_binary64_11274`
12×	`flip3-+_binary64_11334` `flip-+_binary64_11305`
9×	`flip3--_binary64_11335` `flip--_binary64_11306` `associate-r/_binary64_11273` `associate-l*_binary64_11272`
8×	`cbrt-unprod_binary64_11364`
6×	`div-exp_binary64_11382`
5×	`pow-prod-down_binary64_11402`
4×	`add-log-exp_binary64_11370` `associate-/r/_binary64_11277`
3×	`1-exp_binary64_11375` `rec-exp_binary64_11381` `cbrt-undiv_binary64_11365` `-commutative_binary64_11262` `associate-/l_binary64_11276` `associate-/r*_binary64_11275`
2×	`div-inv_binary64_11328` `unswap-sqr_binary64_11299` `distribute-rgt-in_binary64_11281` `distribute-lft-in_binary64_11280`
1×	`un-div-inv_binary64_11329` `inv-pow_binary64_11416` `pow-flip_binary64_11405` `frac-2neg_binary64_11342` `clear-num_binary64_11330` `difference-of-squares_binary64_11300` `distribute-lft-out--_binary64_11283`

Counts

4 → 141

Calls

4 calls:

29.0ms	(.f64 (.f64 (-.f64 x 2) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x) z)) (/.f64 1 (+.f64 6624073998258585/140737488355328 (.f64 x (+.f64 172293041005667/549755813888 (.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328)))))))))
22.0ms	(.f64 (-.f64 x 2) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x) z))
6.0ms	(.f64 x (+.f64 172293041005667/549755813888 (.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328))))))
5.0ms	(/.f64 1 (+.f64 6624073998258585/140737488355328 (.f64 x (+.f64 172293041005667/549755813888 (.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328))))))))

Compiler

Compiled 8548 to 6195 computations (27.5% saved)

series2.7s (8%)

Error

Counts

4 → 70

Calls

4 calls:

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

Compiler

Compiled 8693 to 6978 computations (19.7% saved)

simplify263.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

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

Counts

211 → 164

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	397	11159
1	1179	10341
2	4922	10341
3	4931	10341

prune598.0ms (1.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	164	0	164
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	164	6	170

Error

Counts

170 → 6

Compiler

Compiled 9283 to 6548 computations (29.5% saved)

localize33.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite850.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

45×	`pow1_binary64_11392`
28×	`add-exp-log_binary64_11369` `add-cbrt-cube_binary64_11367`
20×	`associate-*r/_binary64_11273` `distribute-rgt-in_binary64_11281` `distribute-lft-in_binary64_11280`
18×	`pow-prod-down_binary64_11402`
16×	`*-un-lft-identity_binary64_11331`
15×	`add-sqr-sqrt_binary64_11353`
12×	`add-cube-cbrt_binary64_11366`
11×	`prod-exp_binary64_11380` `cbrt-unprod_binary64_11364`
10×	`flip3-+_binary64_11334` `associate-/l/_binary64_11278` `flip-+_binary64_11305`
8×	`frac-times_binary64_11341` `associate--l+_binary64_11268`
7×	`times-frac_binary64_11337` `associate-/r*_binary64_11275`
6×	`flip3--_binary64_11335` `flip--_binary64_11306` `cancel-sign-sub-inv_binary64_11297`
5×	`associate-r_binary64_11271`
4×	`div-exp_binary64_11382` `add-log-exp_binary64_11370` `cbrt-undiv_binary64_11365` `associate-l/_binary64_11274` `associate-/r/_binary64_11277` `associate-l*_binary64_11272` `pow-prod-up_binary64_11401` `pow-sqr_binary64_11304`
2×	`frac-2neg_binary64_11342` `distribute-lft-out_binary64_11282` `clear-num_binary64_11330` `div-inv_binary64_11328` `associate-/l_binary64_11276` `sub-neg_binary64_11324` `-commutative_binary64_11262` `pow-plus_binary64_11394`
1×	`unswap-sqr_binary64_11299` `difference-of-squares_binary64_11300` `pow2_binary64_11412` `swap-sqr_binary64_11298`

Counts

4 → 141

Calls

4 calls:

46.0ms	(/.f64 (.f64 (-.f64 x 2) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x) z)) (+.f64 (/.f64 (.f64 x (-.f64 (.f64 (.f64 x (+.f64 1158907574534893/4398046511104 (.f64 x (+.f64 x 6099563062176297/140737488355328)))) (.f64 x (+.f64 1158907574534893/4398046511104 (.f64 x (+.f64 x 6099563062176297/140737488355328))))) 29684891978980450326726114889/302231454903657293676544)) (-.f64 (.f64 (+.f64 (*.f64 (+.f64 x 6099563062176297/140737488355328) x) 1158907574534893/4398046511104) x) 172293041005667/549755813888)) 6624073998258585/140737488355328))
32.0ms	(/.f64 (.f64 x (-.f64 (.f64 (.f64 x (+.f64 1158907574534893/4398046511104 (.f64 x (+.f64 x 6099563062176297/140737488355328)))) (.f64 x (+.f64 1158907574534893/4398046511104 (.f64 x (+.f64 x 6099563062176297/140737488355328))))) 29684891978980450326726114889/302231454903657293676544)) (-.f64 (.f64 (+.f64 (.f64 (+.f64 x 6099563062176297/140737488355328) x) 1158907574534893/4398046511104) x) 172293041005667/549755813888))
18.0ms	(.f64 x (-.f64 (.f64 (.f64 x (+.f64 1158907574534893/4398046511104 (.f64 x (+.f64 x 6099563062176297/140737488355328)))) (.f64 x (+.f64 1158907574534893/4398046511104 (.f64 x (+.f64 x 6099563062176297/140737488355328))))) 29684891978980450326726114889/302231454903657293676544))
12.0ms	(.f64 (.f64 x (+.f64 1158907574534893/4398046511104 (.f64 x (+.f64 x 6099563062176297/140737488355328)))) (.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328)))))

Compiler

Compiled 11427 to 8204 computations (28.2% saved)

series10.3s (30.7%)

Error

Counts

4 → 54

Calls

4 calls:

9.5s	(/.f64 (.f64 (-.f64 x 2) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x) z)) (+.f64 (/.f64 (.f64 x (-.f64 (.f64 (.f64 x (+.f64 1158907574534893/4398046511104 (.f64 x (+.f64 x 6099563062176297/140737488355328)))) (.f64 x (+.f64 1158907574534893/4398046511104 (.f64 x (+.f64 x 6099563062176297/140737488355328))))) 29684891978980450326726114889/302231454903657293676544)) (-.f64 (.f64 (+.f64 (*.f64 (+.f64 x 6099563062176297/140737488355328) x) 1158907574534893/4398046511104) x) 172293041005667/549755813888)) 6624073998258585/140737488355328))
119.0ms	(/.f64 (.f64 x (-.f64 (.f64 (.f64 x (+.f64 1158907574534893/4398046511104 (.f64 x (+.f64 x 6099563062176297/140737488355328)))) (.f64 x (+.f64 1158907574534893/4398046511104 (.f64 x (+.f64 x 6099563062176297/140737488355328))))) 29684891978980450326726114889/302231454903657293676544)) (-.f64 (.f64 (+.f64 (.f64 (+.f64 x 6099563062176297/140737488355328) x) 1158907574534893/4398046511104) x) 172293041005667/549755813888))
79.0ms	(.f64 x (-.f64 (.f64 (.f64 x (+.f64 1158907574534893/4398046511104 (.f64 x (+.f64 x 6099563062176297/140737488355328)))) (.f64 x (+.f64 1158907574534893/4398046511104 (.f64 x (+.f64 x 6099563062176297/140737488355328))))) 29684891978980450326726114889/302231454903657293676544))
62.0ms	(.f64 (.f64 x (+.f64 1158907574534893/4398046511104 (.f64 x (+.f64 x 6099563062176297/140737488355328)))) (.f64 x (+.f64 1158907574534893/4398046511104 (*.f64 x (+.f64 x 6099563062176297/140737488355328)))))

Compiler

Compiled 24318 to 19693 computations (19% saved)

simplify507.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

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

Counts

195 → 170

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	454	19790
1	1222	17024
2	4786	17024
3	4998	17024
4	4903	17024

prune1.3s (4%)

Pruning

6 alts after pruning (3 fresh and 3 done)

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

Error

Counts

176 → 6

Compiler

Compiled 16486 to 12111 computations (26.5% saved)

regimes1.9s (5.5%)

Accuracy

Total 0.6b remaining (98.8%)

Threshold costs 0.6b (98.8%)

Compiler

Compiled 16562 to 13059 computations (21.2% saved)

bsearch81.0ms (0.2%)

Steps

Iters	Range		Point
8	7.745884537599218e+53	3.2630226414178093e+56	1.8332820652046963e+56
8	-4.863457553914727e+70	-7.409071978435591e+67	-9.880642904091123e+67

Compiler

Compiled 1 to 3 computations (-200% saved)

simplify13.0ms (0%)

Algorithm

1×	egg-herbie

Rules

20×	`neg-mul-1_binary64_11327` `neg-sub0_binary64_11326` `+-commutative_binary64_11261`
17×	`*-commutative_binary64_11262`
10×	`unsub-neg_binary64_11325`
9×	`sub-neg_binary64_11324`
8×	`*-rgt-identity_binary64_11321` `distribute-rgt-neg-in_binary64_11289` `distribute-lft-neg-in_binary64_11288`
7×	`distribute-rgt-neg-out_binary64_11291`
6×	`*-lft-identity_binary64_11320` `distribute-lft-neg-out_binary64_11290`
2×	`distribute-neg-frac_binary64_11295` `distribute-neg-in_binary64_11292`
1×	`if-if-or-not_binary64_11589` `1-exp_binary64_11375` `/-rgt-identity_binary64_11322`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `if-if-and-not_binary64_11591` `if-if-and_binary64_11590` `if-if-or_binary64_11588` `if-not_binary64_11587` `if-same_binary64_11586` `if-false_binary64_11585` `if-true_binary64_11584` `tan-0_binary64_11460` `cos-0_binary64_11459` `sin-0_binary64_11458` `unpow1_binary64_11389` `e-exp-1_binary64_11376` `exp-1-e_binary64_11374` `exp-0_binary64_11373` `sqr-abs_binary64_11346` `sqr-neg_binary64_11345` `mul-1-neg_binary64_11323` `remove-double-neg_binary64_11319` `sub0-neg_binary64_11318` `--rgt-identity_binary64_11317` `+-rgt-identity_binary64_11316` `+-lft-identity_binary64_11315` `cancel-sign-sub-inv_binary64_11297` `cancel-sign-sub_binary64_11296` `distribute-frac-neg_binary64_11294` `distribute-neg-out_binary64_11293`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	53	106
1	82	106
2	93	106
3	109	106
4	121	106
5	129	106
6	133	106
7	160	106
8	159	106
9	151	106

end0.0ms (0%)

sample3.7s (11%)

Algorithm

1×

intervals

Results

651.0ms	8000×	body	128	valid
0.0ms	5×	body	128	invalid

Compiler

Compiled 4200 to 3306 computations (21.3% saved)

Iter	Nodes	Cost
0	53	106
1	82	106
2	93	106
3	109	106
4	121	106
5	129	106
6	133	106
7	160	106
8	159	106
9	151	106

Iter	Nodes	Cost
0	53	106
1	82	106
2	93	106
3	109	106
4	121	106
5	129	106
6	133	106
7	160	106
8	159	106
9	151	106

Details

analyze1.2s (3.4%)

sample37.0ms (0.1%)

simplify44.0ms (0.1%)

prune4.0ms (0%)

localize23.0ms (0.1%)

rewrite470.0ms (1.4%)

series3.0s (8.8%)

simplify205.0ms (0.6%)

prune558.0ms (1.7%)

localize23.0ms (0.1%)

rewrite435.0ms (1.3%)

series3.8s (11.4%)

simplify375.0ms (1.1%)

prune571.0ms (1.7%)

localize28.0ms (0.1%)

rewrite631.0ms (1.9%)

series2.7s (8%)

simplify263.0ms (0.8%)

prune598.0ms (1.8%)

localize33.0ms (0.1%)

rewrite850.0ms (2.5%)

series10.3s (30.7%)

simplify507.0ms (1.5%)

prune1.3s (4%)

regimes1.9s (5.5%)

bsearch81.0ms (0.2%)

simplify13.0ms (0%)

end0.0ms (0%)

sample3.7s (11%)

Profiling

Iter	Nodes	Cost
0	53	106
1	82	106
2	93	106
3	109	106
4	121	106
5	129	106
6	133	106
7	160	106
8	159	106
9	151	106