Details

analyze1.6s (4.7%)

Algorithm

1×	search
2×	egg-herbie

Rules

784×	`sub-neg_binary64_25987`
606×	`+-commutative_binary64_25924`
487×	`div-sub_binary64_25999`
368×	`associate-+l+_binary64_25927`
325×	`neg-mul-1_binary64_25990`
306×	`distribute-neg-in_binary64_25955`
282×	`neg-sub0_binary64_25989` `associate--l+_binary64_25931`
214×	`associate-+r+_binary64_25926`
180×	`associate--r+_binary64_25930`
160×	`associate-+r-_binary64_25928`
149×	`cancel-sign-sub-inv_binary64_25960`
140×	`associate-/l*_binary64_25939`
119×	`associate-+l-_binary64_25929`
108×	`unsub-neg_binary64_25988`
96×	`*-commutative_binary64_25925`
67×	`+-rgt-identity_binary64_25979`
66×	`distribute-neg-frac_binary64_25958`
62×	`distribute-rgt-in_binary64_25944`
56×	`associate-/r/_binary64_25940`
50×	`distribute-lft-in_binary64_25943`
46×	`distribute-rgt-neg-in_binary64_25952` `associate-r_binary64_25934`
43×	`sub0-neg_binary64_25981`
36×	`distribute-lft-neg-in_binary64_25951`
34×	`div0_binary64_25975`
22×	`distribute-rgt-out--_binary64_25948` `distribute-rgt-out_binary64_25947`
10×	`distribute-lft-neg-out_binary64_25953`
6×	`mul0-rgt_binary64_25977` `mul0-lft_binary64_25976`
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_26257` `erf-erfc_binary64_26256` `erf-odd_binary64_26255` `if-if-and-not_binary64_26254` `if-if-and_binary64_26253` `if-if-or-not_binary64_26252` `if-if-or_binary64_26251` `if-not_binary64_26250` `if-same_binary64_26249` `if-false_binary64_26248` `if-true_binary64_26247` `not-gte_binary64_26246` `not-lte_binary64_26245` `not-gt_binary64_26244` `not-lt_binary64_26243` `gte-same_binary64_26242` `lte-same_binary64_26241` `gt-same_binary64_26240` `lt-same_binary64_26239` `sinh---cosh_binary64_26186` `sinh-+-cosh_binary64_26185` `sinh-cosh_binary64_26184` `tanh-def-c_binary64_26183` `tanh-def-b_binary64_26182` `tanh-def-a_binary64_26181` `cosh-def_binary64_26180` `sinh-def_binary64_26179` `tan-neg_binary64_26126` `cos-neg_binary64_26125` `sin-neg_binary64_26124` `tan-0_binary64_26123` `cos-0_binary64_26122` `sin-0_binary64_26121` `hang-m-tan_binary64_26120` `hang-p-tan_binary64_26119` `hang-m0-tan_binary64_26118` `hang-p0-tan_binary64_26117` `hang-0m-tan_binary64_26116` `hang-0p-tan_binary64_26115` `tan-+PI/2_binary64_26114` `tan-+PI_binary64_26113` `tan-PI_binary64_26112` `tan-PI/3_binary64_26111` `tan-PI/4_binary64_26110` `tan-PI/6_binary64_26109` `cos-+PI/2_binary64_26108` `cos-+PI_binary64_26107` `cos-PI_binary64_26106` `cos-PI/2_binary64_26105` `cos-PI/3_binary64_26104` `cos-PI/4_binary64_26103` `cos-PI/6_binary64_26102` `sin-+PI/2_binary64_26101` `sin-+PI_binary64_26100` `sin-PI_binary64_26099` `sin-PI/2_binary64_26098` `sin-PI/3_binary64_26097` `sin-PI/4_binary64_26096` `sin-PI/6_binary64_26095` `sub-1-sin_binary64_26094` `sub-1-cos_binary64_26093` `-1-add-sin_binary64_26092` `-1-add-cos_binary64_26091` `1-sub-sin_binary64_26090` `1-sub-cos_binary64_26089` `cos-sin-sum_binary64_26088` `log-E_binary64_26084` `log-pow_binary64_26083` `log-rec_binary64_26082` `log-div_binary64_26081` `log-prod_binary64_26080` `pow-base-0_binary64_26078` `unpow1/3_binary64_26061` `unpow3_binary64_26060` `unpow2_binary64_26059` `unpow1/2_binary64_26058` `pow-plus_binary64_26057` `exp-to-pow_binary64_26056` `pow-base-1_binary64_26054` `unpow0_binary64_26053` `unpow1_binary64_26052` `unpow-1_binary64_26051` `exp-lft-cube_binary64_26050` `exp-lft-sqr_binary64_26049` `exp-cbrt_binary64_26048` `exp-sqrt_binary64_26047` `exp-prod_binary64_26046` `div-exp_binary64_26045` `rec-exp_binary64_26044` `prod-exp_binary64_26043` `exp-diff_binary64_26042` `exp-neg_binary64_26041` `exp-sum_binary64_26040` `e-exp-1_binary64_26039` `1-exp_binary64_26038` `exp-1-e_binary64_26037` `exp-0_binary64_26036` `rem-log-exp_binary64_26035` `rem-exp-log_binary64_26034` `cube-unmult_binary64_26031` `cube-mult_binary64_26024` `cube-div_binary64_26023` `cube-prod_binary64_26022` `cube-neg_binary64_26021` `rem-3cbrt-rft_binary64_26020` `rem-3cbrt-lft_binary64_26019` `rem-cbrt-cube_binary64_26018` `rem-cube-cbrt_binary64_26017` `sqr-abs_binary64_26009` `sqr-neg_binary64_26008` `rem-sqrt-square_binary64_26007` `rem-square-sqrt_binary64_26006` `times-frac_binary64_26000` `mul-1-neg_binary64_25986` `/-rgt-identity_binary64_25985` `-rgt-identity_binary64_25984` `-lft-identity_binary64_25983` `remove-double-neg_binary64_25982` `--rgt-identity_binary64_25980` `+-lft-identity_binary64_25978` `-inverses_binary64_25974` `+-inverses_binary64_25973` `lft-mult-inverse_binary64_25972` `rgt-mult-inverse_binary64_25971` `remove-double-div_binary64_25970` `pow-sqr_binary64_25967` `sqr-pow_binary64_25966` `difference-of-sqr--1_binary64_25965` `difference-of-sqr-1_binary64_25964` `difference-of-squares_binary64_25963` `unswap-sqr_binary64_25962` `swap-sqr_binary64_25961` `cancel-sign-sub_binary64_25959` `distribute-frac-neg_binary64_25957` `distribute-neg-out_binary64_25956` `distribute-rgt-neg-out_binary64_25954` `distribute-rgt1-in_binary64_25950` `distribute-lft1-in_binary64_25949` `distribute-lft-out--_binary64_25946` `distribute-lft-out_binary64_25945` `count-2_binary64_25942` `associate-/l/_binary64_25941` `associate-/r_binary64_25938` `associate-l/_binary64_25937` `associate-r/_binary64_25936` `associate-l_binary64_25935` `associate--r-_binary64_25933` `associate--l-_binary64_25932`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	120	496
1	316	496
2	655	496
3	1608	496
4	3278	496
5	4497	496
6	4965	496
0	6	6
1	6	6

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
1.1%	98.6%	0.3%	12
1.9%	97.8%	0.3%	13
7%	92.7%	0.3%	14

Compiler

Compiled 22 to 17 computations (22.7% saved)

sample29.0ms (0.1%)

Algorithm

1×

intervals

Results

13.0ms

256×

body

128

valid

Compiler

Compiled 43 to 39 computations (9.3% saved)

simplify101.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

789×	`sub-neg_binary64_25987`
652×	`neg-mul-1_binary64_25990`
499×	`div-sub_binary64_25999`
495×	`cancel-sign-sub-inv_binary64_25960`
478×	`associate-/l*_binary64_25939`
430×	`distribute-neg-in_binary64_25955`
337×	`unsub-neg_binary64_25988`
335×	`distribute-rgt-in_binary64_25944`
323×	`distribute-frac-neg_binary64_25957`
245×	`neg-sub0_binary64_25989`
226×	`associate--r-_binary64_25933`
218×	`distribute-rgt-neg-in_binary64_25952`
202×	`+-commutative_binary64_25924`
200×	`associate--r+_binary64_25930`
179×	`associate-/r*_binary64_25938`
162×	`distribute-neg-frac_binary64_25958`
160×	`distribute-rgt-neg-out_binary64_25954`
157×	`distribute-lft-neg-in_binary64_25951`
154×	`associate-+l+_binary64_25927`
152×	`distribute-lft-in_binary64_25943`
139×	`associate--l-_binary64_25932`
137×	`*-commutative_binary64_25925`
136×	`associate-/r/_binary64_25940`
126×	`associate--l+_binary64_25931`
124×	`remove-double-neg_binary64_25982`
120×	`distribute-lft-neg-out_binary64_25953`
119×	`associate-+r+_binary64_25926`
117×	`associate-+l-_binary64_25929`
85×	`associate-l_binary64_25935`
77×	`associate-+r-_binary64_25928`
75×	`cancel-sign-sub_binary64_25959`
70×	`distribute-rgt-out_binary64_25947`
66×	`associate-r_binary64_25934`
49×	`distribute-neg-out_binary64_25956` `distribute-rgt-out--_binary64_25948`
46×	`sub0-neg_binary64_25981`
42×	`div0_binary64_25975`
36×	`+-rgt-identity_binary64_25979`
27×	`mul0-rgt_binary64_25977`
26×	`mul0-lft_binary64_25976` `associate-/l/_binary64_25941` `associate-*l/_binary64_25937`
25×	`*-rgt-identity_binary64_25984`
23×	`distribute-lft-out_binary64_25945`
22×	`distribute-lft-out--_binary64_25946`
19×	`/-rgt-identity_binary64_25985`
17×	`*-lft-identity_binary64_25983`
14×	`+-lft-identity_binary64_25978`
3×	`--rgt-identity_binary64_25980`
2×	`associate-*r/_binary64_25936`
1×	`1-exp_binary64_26038`
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_26257` `erf-erfc_binary64_26256` `erf-odd_binary64_26255` `if-if-and-not_binary64_26254` `if-if-and_binary64_26253` `if-if-or-not_binary64_26252` `if-if-or_binary64_26251` `if-not_binary64_26250` `if-same_binary64_26249` `if-false_binary64_26248` `if-true_binary64_26247` `not-gte_binary64_26246` `not-lte_binary64_26245` `not-gt_binary64_26244` `not-lt_binary64_26243` `gte-same_binary64_26242` `lte-same_binary64_26241` `gt-same_binary64_26240` `lt-same_binary64_26239` `sinh---cosh_binary64_26186` `sinh-+-cosh_binary64_26185` `sinh-cosh_binary64_26184` `tanh-def-c_binary64_26183` `tanh-def-b_binary64_26182` `tanh-def-a_binary64_26181` `cosh-def_binary64_26180` `sinh-def_binary64_26179` `tan-neg_binary64_26126` `cos-neg_binary64_26125` `sin-neg_binary64_26124` `tan-0_binary64_26123` `cos-0_binary64_26122` `sin-0_binary64_26121` `hang-m-tan_binary64_26120` `hang-p-tan_binary64_26119` `hang-m0-tan_binary64_26118` `hang-p0-tan_binary64_26117` `hang-0m-tan_binary64_26116` `hang-0p-tan_binary64_26115` `tan-+PI/2_binary64_26114` `tan-+PI_binary64_26113` `tan-PI_binary64_26112` `tan-PI/3_binary64_26111` `tan-PI/4_binary64_26110` `tan-PI/6_binary64_26109` `cos-+PI/2_binary64_26108` `cos-+PI_binary64_26107` `cos-PI_binary64_26106` `cos-PI/2_binary64_26105` `cos-PI/3_binary64_26104` `cos-PI/4_binary64_26103` `cos-PI/6_binary64_26102` `sin-+PI/2_binary64_26101` `sin-+PI_binary64_26100` `sin-PI_binary64_26099` `sin-PI/2_binary64_26098` `sin-PI/3_binary64_26097` `sin-PI/4_binary64_26096` `sin-PI/6_binary64_26095` `sub-1-sin_binary64_26094` `sub-1-cos_binary64_26093` `-1-add-sin_binary64_26092` `-1-add-cos_binary64_26091` `1-sub-sin_binary64_26090` `1-sub-cos_binary64_26089` `cos-sin-sum_binary64_26088` `log-E_binary64_26084` `log-pow_binary64_26083` `log-rec_binary64_26082` `log-div_binary64_26081` `log-prod_binary64_26080` `pow-base-0_binary64_26078` `unpow1/3_binary64_26061` `unpow3_binary64_26060` `unpow2_binary64_26059` `unpow1/2_binary64_26058` `pow-plus_binary64_26057` `exp-to-pow_binary64_26056` `pow-base-1_binary64_26054` `unpow0_binary64_26053` `unpow1_binary64_26052` `unpow-1_binary64_26051` `exp-lft-cube_binary64_26050` `exp-lft-sqr_binary64_26049` `exp-cbrt_binary64_26048` `exp-sqrt_binary64_26047` `exp-prod_binary64_26046` `div-exp_binary64_26045` `rec-exp_binary64_26044` `prod-exp_binary64_26043` `exp-diff_binary64_26042` `exp-neg_binary64_26041` `exp-sum_binary64_26040` `e-exp-1_binary64_26039` `exp-1-e_binary64_26037` `exp-0_binary64_26036` `rem-log-exp_binary64_26035` `rem-exp-log_binary64_26034` `cube-unmult_binary64_26031` `cube-mult_binary64_26024` `cube-div_binary64_26023` `cube-prod_binary64_26022` `cube-neg_binary64_26021` `rem-3cbrt-rft_binary64_26020` `rem-3cbrt-lft_binary64_26019` `rem-cbrt-cube_binary64_26018` `rem-cube-cbrt_binary64_26017` `sqr-abs_binary64_26009` `sqr-neg_binary64_26008` `rem-sqrt-square_binary64_26007` `rem-square-sqrt_binary64_26006` `times-frac_binary64_26000` `mul-1-neg_binary64_25986` `*-inverses_binary64_25974` `+-inverses_binary64_25973` `lft-mult-inverse_binary64_25972` `rgt-mult-inverse_binary64_25971` `remove-double-div_binary64_25970` `pow-sqr_binary64_25967` `sqr-pow_binary64_25966` `difference-of-sqr--1_binary64_25965` `difference-of-sqr-1_binary64_25964` `difference-of-squares_binary64_25963` `unswap-sqr_binary64_25962` `swap-sqr_binary64_25961` `distribute-rgt1-in_binary64_25950` `distribute-lft1-in_binary64_25949` `count-2_binary64_25942`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	31
1	36	31
2	77	31
3	169	31
4	381	31
5	751	31
6	1502	31
7	2652	31
8	3264	31
9	4095	31
10	4867	31
11	5141	31

prune3.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

26.7b

Counts

2 → 1

Compiler

Compiled 42 to 31 computations (26.2% saved)

localize15.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (+.f64 x y) z)
1.8b	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
2.2b	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
24.9b	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))

rewrite194.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

26.6b

Rules

38×	`*-un-lft-identity_binary64_25994`
18×	`add-sqr-sqrt_binary64_26016`
16×	`add-cube-cbrt_binary64_26029`
15×	`times-frac_binary64_26000`
13×	`distribute-lft-out_binary64_25945`
11×	`add-log-exp_binary64_26033`
10×	`associate-*l/_binary64_25937`
8×	`add-exp-log_binary64_26032` `add-cbrt-cube_binary64_26030`
7×	`flip3-+_binary64_25997` `flip-+_binary64_25968`
6×	`pow1_binary64_26055`
5×	`associate-/r*_binary64_25938`
4×	`frac-add_binary64_26002` `associate-l_binary64_25935`
3×	`associate-/l_binary64_25939` `associate-r*_binary64_25934`
2×	`flip3--_binary64_25998` `associate-/l/_binary64_25941` `flip--_binary64_25969` `associate-/r/_binary64_25940` `sum-log_binary64_26085` `diff-log_binary64_26086`
1×	`div-exp_binary64_26045` `cbrt-undiv_binary64_26028` `frac-2neg_binary64_26005` `div-sub_binary64_25999` `clear-num_binary64_25993` `div-inv_binary64_25991` `+-commutative_binary64_25924` `sub-neg_binary64_25987` `cancel-sign-sub-inv_binary64_25960` `associate--l+_binary64_25931` `pow-prod-down_binary64_26065` `prod-exp_binary64_26043` `cbrt-unprod_binary64_26027` `unswap-sqr_binary64_25962` `*-commutative_binary64_25925`

Counts

4 → 90

Calls

4 calls:

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

Compiler

Compiled 3256 to 447 computations (86.3% saved)

series3.0s (8.5%)

Error

5.5b

Counts

4 → 129

Calls

4 calls:

1.5s	(/.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b)) (+.f64 (+.f64 x t) y))
672.0ms	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
452.0ms	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
138.0ms	(*.f64 (+.f64 x y) z)

Compiler

Compiled 11519 to 5731 computations (50.2% saved)

simplify142.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

493×	`times-frac_binary64_26000`
431×	`associate-/l*_binary64_25939`
256×	`associate-l_binary64_25935`
230×	`associate-/r*_binary64_25938`
229×	`distribute-rgt-in_binary64_25944`
212×	`distribute-lft-in_binary64_25943`
202×	`+-commutative_binary64_25924`
151×	`associate-+r+_binary64_25926`
124×	`sub-neg_binary64_25987`
106×	`associate-/r/_binary64_25940`
103×	`*-commutative_binary64_25925`
65×	`distribute-neg-in_binary64_25955`
55×	`cancel-sign-sub-inv_binary64_25960`
42×	`associate-r_binary64_25934`
40×	`neg-sub0_binary64_25989` `sqr-pow_binary64_25966`
37×	`neg-mul-1_binary64_25990`
28×	`distribute-rgt-neg-in_binary64_25952` `associate--l+_binary64_25931`
25×	`associate-*l/_binary64_25937`
22×	`associate-*r/_binary64_25936`
20×	`div-sub_binary64_25999` `distribute-lft-neg-in_binary64_25951`
19×	`associate--r+_binary64_25930`
17×	`associate-/l/_binary64_25941`
14×	`unpow3_binary64_26060`
13×	`cube-mult_binary64_26024`
8×	`exp-prod_binary64_26046` `exp-sum_binary64_26040` `cube-prod_binary64_26022` `swap-sqr_binary64_25961` `distribute-lft-neg-out_binary64_25953`
6×	`unpow2_binary64_26059` `unpow1_binary64_26052` `difference-of-squares_binary64_25963`
5×	`/-rgt-identity_binary64_25985` `distribute-rgt-out--_binary64_25948`
4×	`distribute-rgt-out_binary64_25947`
3×	`log-prod_binary64_26080` `exp-diff_binary64_26042` `cube-unmult_binary64_26031` `mul-1-neg_binary64_25986` `associate-+r-_binary64_25928`
2×	`log-div_binary64_26081` `div-exp_binary64_26045` `distribute-neg-frac_binary64_25958` `associate-+l+_binary64_25927`
1×	`prod-exp_binary64_26043` `1-exp_binary64_26038` `unsub-neg_binary64_25988` `*-rgt-identity_binary64_25984` `unswap-sqr_binary64_25962` `distribute-lft-out_binary64_25945`
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_26257` `erf-erfc_binary64_26256` `erf-odd_binary64_26255` `if-if-and-not_binary64_26254` `if-if-and_binary64_26253` `if-if-or-not_binary64_26252` `if-if-or_binary64_26251` `if-not_binary64_26250` `if-same_binary64_26249` `if-false_binary64_26248` `if-true_binary64_26247` `not-gte_binary64_26246` `not-lte_binary64_26245` `not-gt_binary64_26244` `not-lt_binary64_26243` `gte-same_binary64_26242` `lte-same_binary64_26241` `gt-same_binary64_26240` `lt-same_binary64_26239` `sinh---cosh_binary64_26186` `sinh-+-cosh_binary64_26185` `sinh-cosh_binary64_26184` `tanh-def-c_binary64_26183` `tanh-def-b_binary64_26182` `tanh-def-a_binary64_26181` `cosh-def_binary64_26180` `sinh-def_binary64_26179` `tan-neg_binary64_26126` `cos-neg_binary64_26125` `sin-neg_binary64_26124` `tan-0_binary64_26123` `cos-0_binary64_26122` `sin-0_binary64_26121` `hang-m-tan_binary64_26120` `hang-p-tan_binary64_26119` `hang-m0-tan_binary64_26118` `hang-p0-tan_binary64_26117` `hang-0m-tan_binary64_26116` `hang-0p-tan_binary64_26115` `tan-+PI/2_binary64_26114` `tan-+PI_binary64_26113` `tan-PI_binary64_26112` `tan-PI/3_binary64_26111` `tan-PI/4_binary64_26110` `tan-PI/6_binary64_26109` `cos-+PI/2_binary64_26108` `cos-+PI_binary64_26107` `cos-PI_binary64_26106` `cos-PI/2_binary64_26105` `cos-PI/3_binary64_26104` `cos-PI/4_binary64_26103` `cos-PI/6_binary64_26102` `sin-+PI/2_binary64_26101` `sin-+PI_binary64_26100` `sin-PI_binary64_26099` `sin-PI/2_binary64_26098` `sin-PI/3_binary64_26097` `sin-PI/4_binary64_26096` `sin-PI/6_binary64_26095` `sub-1-sin_binary64_26094` `sub-1-cos_binary64_26093` `-1-add-sin_binary64_26092` `-1-add-cos_binary64_26091` `1-sub-sin_binary64_26090` `1-sub-cos_binary64_26089` `cos-sin-sum_binary64_26088` `log-E_binary64_26084` `log-pow_binary64_26083` `log-rec_binary64_26082` `pow-base-0_binary64_26078` `unpow1/3_binary64_26061` `unpow1/2_binary64_26058` `pow-plus_binary64_26057` `exp-to-pow_binary64_26056` `pow-base-1_binary64_26054` `unpow0_binary64_26053` `unpow-1_binary64_26051` `exp-lft-cube_binary64_26050` `exp-lft-sqr_binary64_26049` `exp-cbrt_binary64_26048` `exp-sqrt_binary64_26047` `rec-exp_binary64_26044` `exp-neg_binary64_26041` `e-exp-1_binary64_26039` `exp-1-e_binary64_26037` `exp-0_binary64_26036` `rem-log-exp_binary64_26035` `rem-exp-log_binary64_26034` `cube-div_binary64_26023` `cube-neg_binary64_26021` `rem-3cbrt-rft_binary64_26020` `rem-3cbrt-lft_binary64_26019` `rem-cbrt-cube_binary64_26018` `rem-cube-cbrt_binary64_26017` `sqr-abs_binary64_26009` `sqr-neg_binary64_26008` `rem-sqrt-square_binary64_26007` `rem-square-sqrt_binary64_26006` `-lft-identity_binary64_25983` `remove-double-neg_binary64_25982` `sub0-neg_binary64_25981` `--rgt-identity_binary64_25980` `+-rgt-identity_binary64_25979` `+-lft-identity_binary64_25978` `mul0-rgt_binary64_25977` `mul0-lft_binary64_25976` `div0_binary64_25975` `-inverses_binary64_25974` `+-inverses_binary64_25973` `lft-mult-inverse_binary64_25972` `rgt-mult-inverse_binary64_25971` `remove-double-div_binary64_25970` `pow-sqr_binary64_25967` `difference-of-sqr--1_binary64_25965` `difference-of-sqr-1_binary64_25964` `cancel-sign-sub_binary64_25959` `distribute-frac-neg_binary64_25957` `distribute-neg-out_binary64_25956` `distribute-rgt-neg-out_binary64_25954` `distribute-rgt1-in_binary64_25950` `distribute-lft1-in_binary64_25949` `distribute-lft-out--_binary64_25946` `count-2_binary64_25942` `associate--r-_binary64_25933` `associate--l-_binary64_25932` `associate-+l-_binary64_25929`

Counts

219 → 197

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	577	8414
1	1785	8228
2	5108	8228

prune266.0ms (0.8%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	185	12	197
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	186	12	198

Error

5.7b

Counts

198 → 12

Compiler

Compiled 7196 to 1203 computations (83.3% saved)

localize15.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b	(/.f64 1 (/.f64 (+.f64 y (+.f64 t x)) (+.f64 (.f64 z (+.f64 y x)) (-.f64 (.f64 a (+.f64 y t)) (*.f64 y b)))))
1.0b	(-.f64 (.f64 a (+.f64 y t)) (.f64 y b))
3.3b	(+.f64 (.f64 z (+.f64 y x)) (-.f64 (.f64 a (+.f64 y t)) (*.f64 y b)))
24.9b	(/.f64 (+.f64 y (+.f64 t x)) (+.f64 (.f64 z (+.f64 y x)) (-.f64 (.f64 a (+.f64 y t)) (*.f64 y b))))

rewrite396.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

5.7b

Rules

156×	`*-un-lft-identity_binary64_25994`
150×	`times-frac_binary64_26000`
76×	`add-cube-cbrt_binary64_26029` `add-sqr-sqrt_binary64_26016`
48×	`distribute-lft-out_binary64_25945`
31×	`associate-/r/_binary64_25940`
28×	`associate-/r*_binary64_25938`
24×	`associate-*r/_binary64_25936` `frac-add_binary64_26002`
19×	`flip3-+_binary64_25997` `flip-+_binary64_25968`
17×	`add-exp-log_binary64_26032`
13×	`flip3--_binary64_25998` `flip--_binary64_25969`
11×	`add-log-exp_binary64_26033` `add-cbrt-cube_binary64_26030`
8×	`div-exp_binary64_26045` `associate-/l*_binary64_25939`
6×	`div-inv_binary64_25991`
5×	`pow1_binary64_26055`
4×	`cbrt-undiv_binary64_26028` `associate-+r+_binary64_25926` `associate--l+_binary64_25931`
3×	`distribute-rgt-in_binary64_25944` `distribute-lft-in_binary64_25943`
2×	`frac-2neg_binary64_26005` `clear-num_binary64_25993` `associate-/l/_binary64_25941` `diff-log_binary64_26086` `sum-log_binary64_26085` `associate-+l+_binary64_25927` `sub-neg_binary64_25987` `cancel-sign-sub-inv_binary64_25960` `1-exp_binary64_26038` `rec-exp_binary64_26044`
1×	`associate-+r-_binary64_25928` `+-commutative_binary64_25924` `inv-pow_binary64_26079` `pow-flip_binary64_26068`

Counts

4 → 204

Calls

4 calls:

21.0ms	(/.f64 1 (/.f64 (+.f64 y (+.f64 t x)) (+.f64 (.f64 z (+.f64 y x)) (-.f64 (.f64 a (+.f64 y t)) (*.f64 y b)))))
18.0ms	(/.f64 (+.f64 y (+.f64 t x)) (+.f64 (.f64 z (+.f64 y x)) (-.f64 (.f64 a (+.f64 y t)) (*.f64 y b))))
16.0ms	(+.f64 (.f64 z (+.f64 y x)) (-.f64 (.f64 a (+.f64 y t)) (*.f64 y b)))
6.0ms	(-.f64 (.f64 a (+.f64 y t)) (.f64 y b))

Compiler

Compiled 10040 to 1541 computations (84.7% saved)

series5.9s (17%)

Error

5.4b

Counts

4 → 145

Calls

4 calls:

3.1s	(/.f64 (+.f64 y (+.f64 t x)) (+.f64 (.f64 z (+.f64 y x)) (-.f64 (.f64 a (+.f64 y t)) (*.f64 y b))))
1.5s	(/.f64 1 (/.f64 (+.f64 y (+.f64 t x)) (+.f64 (.f64 z (+.f64 y x)) (-.f64 (.f64 a (+.f64 y t)) (*.f64 y b)))))
686.0ms	(+.f64 (.f64 z (+.f64 y x)) (-.f64 (.f64 a (+.f64 y t)) (*.f64 y b)))
314.0ms	(-.f64 (.f64 a (+.f64 y t)) (.f64 y b))

Compiler

Compiled 22082 to 11898 computations (46.1% saved)

simplify299.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

297×	`distribute-rgt-in_binary64_25944`
291×	`associate-/r/_binary64_25940`
274×	`distribute-lft-in_binary64_25943`
253×	`+-commutative_binary64_25924`
184×	`associate-/l*_binary64_25939`
180×	`associate-+r+_binary64_25926`
165×	`sub-neg_binary64_25987`
125×	`*-commutative_binary64_25925`
111×	`associate-/l/_binary64_25941`
98×	`distribute-neg-in_binary64_25955`
79×	`associate-/r*_binary64_25938`
65×	`cancel-sign-sub-inv_binary64_25960`
60×	`sqr-pow_binary64_25966`
57×	`neg-sub0_binary64_25989`
53×	`neg-mul-1_binary64_25990`
49×	`times-frac_binary64_26000`
39×	`associate-r_binary64_25934`
35×	`associate--l+_binary64_25931`
29×	`associate--r+_binary64_25930`
26×	`distribute-rgt-neg-in_binary64_25952`
21×	`associate-*r/_binary64_25936`
17×	`distribute-lft-neg-in_binary64_25951`
16×	`unpow2_binary64_26059` `unpow1_binary64_26052`
13×	`unpow3_binary64_26060` `cube-mult_binary64_26024` `associate-l_binary64_25935`
10×	`div-sub_binary64_25999` `distribute-neg-frac_binary64_25958`
8×	`exp-prod_binary64_26046`
7×	`exp-sum_binary64_26040` `unswap-sqr_binary64_25962` `distribute-lft-neg-out_binary64_25953` `distribute-rgt-out_binary64_25947`
6×	`cube-prod_binary64_26022` `/-rgt-identity_binary64_25985` `associate-+r-_binary64_25928`
5×	`log-div_binary64_26081` `mul-1-neg_binary64_25986` `swap-sqr_binary64_25961` `distribute-rgt-out--_binary64_25948` `distribute-lft-out_binary64_25945`
4×	`cube-unmult_binary64_26031` `unsub-neg_binary64_25988` `difference-of-squares_binary64_25963`
3×	`remove-double-div_binary64_25970` `associate--r-_binary64_25933`
2×	`log-rec_binary64_26082` `log-prod_binary64_26080` `prod-exp_binary64_26043` `-rgt-identity_binary64_25984` `associate-l/_binary64_25937`
1×	`div-exp_binary64_26045` `1-exp_binary64_26038` `*-lft-identity_binary64_25983` `sub0-neg_binary64_25981`
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_26257` `erf-erfc_binary64_26256` `erf-odd_binary64_26255` `if-if-and-not_binary64_26254` `if-if-and_binary64_26253` `if-if-or-not_binary64_26252` `if-if-or_binary64_26251` `if-not_binary64_26250` `if-same_binary64_26249` `if-false_binary64_26248` `if-true_binary64_26247` `not-gte_binary64_26246` `not-lte_binary64_26245` `not-gt_binary64_26244` `not-lt_binary64_26243` `gte-same_binary64_26242` `lte-same_binary64_26241` `gt-same_binary64_26240` `lt-same_binary64_26239` `sinh---cosh_binary64_26186` `sinh-+-cosh_binary64_26185` `sinh-cosh_binary64_26184` `tanh-def-c_binary64_26183` `tanh-def-b_binary64_26182` `tanh-def-a_binary64_26181` `cosh-def_binary64_26180` `sinh-def_binary64_26179` `tan-neg_binary64_26126` `cos-neg_binary64_26125` `sin-neg_binary64_26124` `tan-0_binary64_26123` `cos-0_binary64_26122` `sin-0_binary64_26121` `hang-m-tan_binary64_26120` `hang-p-tan_binary64_26119` `hang-m0-tan_binary64_26118` `hang-p0-tan_binary64_26117` `hang-0m-tan_binary64_26116` `hang-0p-tan_binary64_26115` `tan-+PI/2_binary64_26114` `tan-+PI_binary64_26113` `tan-PI_binary64_26112` `tan-PI/3_binary64_26111` `tan-PI/4_binary64_26110` `tan-PI/6_binary64_26109` `cos-+PI/2_binary64_26108` `cos-+PI_binary64_26107` `cos-PI_binary64_26106` `cos-PI/2_binary64_26105` `cos-PI/3_binary64_26104` `cos-PI/4_binary64_26103` `cos-PI/6_binary64_26102` `sin-+PI/2_binary64_26101` `sin-+PI_binary64_26100` `sin-PI_binary64_26099` `sin-PI/2_binary64_26098` `sin-PI/3_binary64_26097` `sin-PI/4_binary64_26096` `sin-PI/6_binary64_26095` `sub-1-sin_binary64_26094` `sub-1-cos_binary64_26093` `-1-add-sin_binary64_26092` `-1-add-cos_binary64_26091` `1-sub-sin_binary64_26090` `1-sub-cos_binary64_26089` `cos-sin-sum_binary64_26088` `log-E_binary64_26084` `log-pow_binary64_26083` `pow-base-0_binary64_26078` `unpow1/3_binary64_26061` `unpow1/2_binary64_26058` `pow-plus_binary64_26057` `exp-to-pow_binary64_26056` `pow-base-1_binary64_26054` `unpow0_binary64_26053` `unpow-1_binary64_26051` `exp-lft-cube_binary64_26050` `exp-lft-sqr_binary64_26049` `exp-cbrt_binary64_26048` `exp-sqrt_binary64_26047` `rec-exp_binary64_26044` `exp-diff_binary64_26042` `exp-neg_binary64_26041` `e-exp-1_binary64_26039` `exp-1-e_binary64_26037` `exp-0_binary64_26036` `rem-log-exp_binary64_26035` `rem-exp-log_binary64_26034` `cube-div_binary64_26023` `cube-neg_binary64_26021` `rem-3cbrt-rft_binary64_26020` `rem-3cbrt-lft_binary64_26019` `rem-cbrt-cube_binary64_26018` `rem-cube-cbrt_binary64_26017` `sqr-abs_binary64_26009` `sqr-neg_binary64_26008` `rem-sqrt-square_binary64_26007` `rem-square-sqrt_binary64_26006` `remove-double-neg_binary64_25982` `--rgt-identity_binary64_25980` `+-rgt-identity_binary64_25979` `+-lft-identity_binary64_25978` `mul0-rgt_binary64_25977` `mul0-lft_binary64_25976` `div0_binary64_25975` `*-inverses_binary64_25974` `+-inverses_binary64_25973` `lft-mult-inverse_binary64_25972` `rgt-mult-inverse_binary64_25971` `pow-sqr_binary64_25967` `difference-of-sqr--1_binary64_25965` `difference-of-sqr-1_binary64_25964` `cancel-sign-sub_binary64_25959` `distribute-frac-neg_binary64_25957` `distribute-neg-out_binary64_25956` `distribute-rgt-neg-out_binary64_25954` `distribute-rgt1-in_binary64_25950` `distribute-lft1-in_binary64_25949` `distribute-lft-out--_binary64_25946` `count-2_binary64_25942` `associate--l-_binary64_25932` `associate-+l-_binary64_25929` `associate-+l+_binary64_25927`

Counts

349 → 319

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	865	19869
1	2767	19357
2	5111	19357

prune497.0ms (1.4%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	311	8	319
Fresh	3	8	11
Picked	0	1	1
Done	0	0	0
Total	314	17	331

Error

5.7b

Counts

331 → 17

Compiler

Compiled 15480 to 3030 computations (80.4% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 1 (+.f64 y (+.f64 t x)))
1.8b	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
2.2b	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
25.0b	(.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (.f64 y b)) (/.f64 1 (+.f64 y (+.f64 t x))))

rewrite213.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

5.7b

Rules

60×	`*-un-lft-identity_binary64_25994`
32×	`times-frac_binary64_26000`
31×	`add-sqr-sqrt_binary64_26016`
24×	`add-cube-cbrt_binary64_26029`
21×	`associate-r_binary64_25934` `distribute-lft-out_binary64_25945`
17×	`add-exp-log_binary64_26032`
11×	`add-log-exp_binary64_26033` `add-cbrt-cube_binary64_26030`
10×	`associate-*l/_binary64_25937`
7×	`pow1_binary64_26055` `flip3-+_binary64_25997` `flip-+_binary64_25968`
5×	`associate-/r*_binary64_25938`
4×	`div-exp_binary64_26045` `prod-exp_binary64_26043` `associate-/r/_binary64_25940` `frac-add_binary64_26002`
3×	`flip3--_binary64_25998` `flip--_binary64_25969` `unswap-sqr_binary64_25962` `associate-l_binary64_25935` `associate-/l*_binary64_25939`
2×	`1-exp_binary64_26038` `rec-exp_binary64_26044` `cbrt-unprod_binary64_26027` `cbrt-undiv_binary64_26028` `frac-times_binary64_26004` `div-inv_binary64_25991` `sum-log_binary64_26085` `diff-log_binary64_26086`
1×	`pow-prod-down_binary64_26065` `un-div-inv_binary64_25992` `associate-r/_binary64_25936` `-commutative_binary64_25925` `+-commutative_binary64_25924` `sub-neg_binary64_25987` `cancel-sign-sub-inv_binary64_25960` `associate--l+_binary64_25931` `inv-pow_binary64_26079` `pow-flip_binary64_26068` `frac-2neg_binary64_26005` `clear-num_binary64_25993`

Counts

4 → 118

Calls

4 calls:

22.0ms	(.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (.f64 y b)) (/.f64 1 (+.f64 y (+.f64 t x))))
11.0ms	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
8.0ms	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
7.0ms	(/.f64 1 (+.f64 y (+.f64 t x)))

Compiler

Compiled 4286 to 890 computations (79.2% saved)

series3.1s (9%)

Error

5.4b

Counts

4 → 143

Calls

4 calls:

1.6s	(.f64 (-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (.f64 y b)) (/.f64 1 (+.f64 y (+.f64 t x))))
634.0ms	(-.f64 (+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a)) (*.f64 y b))
426.0ms	(+.f64 (.f64 (+.f64 x y) z) (.f64 (+.f64 t y) a))
247.0ms	(/.f64 1 (+.f64 y (+.f64 t x)))

Compiler

Compiled 13720 to 7344 computations (46.5% saved)

simplify157.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

537×	`times-frac_binary64_26000`
466×	`associate-/l*_binary64_25939`
274×	`associate-/r*_binary64_25938`
228×	`+-commutative_binary64_25924`
223×	`distribute-rgt-in_binary64_25944`
210×	`distribute-lft-in_binary64_25943`
164×	`associate-+r+_binary64_25926`
152×	`sub-neg_binary64_25987`
128×	`associate-/r/_binary64_25940`
123×	`*-commutative_binary64_25925`
76×	`distribute-neg-in_binary64_25955`
55×	`cancel-sign-sub-inv_binary64_25960`
48×	`neg-sub0_binary64_25989`
45×	`neg-mul-1_binary64_25990`
43×	`associate-r_binary64_25934`
41×	`sqr-pow_binary64_25966`
35×	`associate--l+_binary64_25931`
29×	`distribute-rgt-neg-in_binary64_25952`
28×	`associate-*r/_binary64_25936`
27×	`associate--r+_binary64_25930`
20×	`distribute-lft-neg-in_binary64_25951`
15×	`associate-/l/_binary64_25941` `associate-l_binary64_25935`
13×	`unpow3_binary64_26060` `cube-mult_binary64_26024`
12×	`div-sub_binary64_25999`
10×	`exp-prod_binary64_26046` `swap-sqr_binary64_25961`
9×	`distribute-lft-neg-out_binary64_25953`
8×	`exp-sum_binary64_26040` `*-rgt-identity_binary64_25984`
6×	`unpow2_binary64_26059` `unpow1_binary64_26052` `cube-prod_binary64_26022` `difference-of-squares_binary64_25963`
5×	`distribute-neg-frac_binary64_25958` `distribute-rgt-out--_binary64_25948` `associate-+r-_binary64_25928`
4×	`cube-unmult_binary64_26031` `distribute-rgt-out_binary64_25947`
3×	`log-prod_binary64_26080` `mul-1-neg_binary64_25986`
2×	`log-div_binary64_26081` `div-exp_binary64_26045` `unsub-neg_binary64_25988` `/-rgt-identity_binary64_25985`
1×	`log-rec_binary64_26082` `prod-exp_binary64_26043` `exp-diff_binary64_26042` `1-exp_binary64_26038` `-lft-identity_binary64_25983` `+-rgt-identity_binary64_25979` `distribute-lft-out_binary64_25945` `associate-l/_binary64_25937` `associate-+l+_binary64_25927`
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_26257` `erf-erfc_binary64_26256` `erf-odd_binary64_26255` `if-if-and-not_binary64_26254` `if-if-and_binary64_26253` `if-if-or-not_binary64_26252` `if-if-or_binary64_26251` `if-not_binary64_26250` `if-same_binary64_26249` `if-false_binary64_26248` `if-true_binary64_26247` `not-gte_binary64_26246` `not-lte_binary64_26245` `not-gt_binary64_26244` `not-lt_binary64_26243` `gte-same_binary64_26242` `lte-same_binary64_26241` `gt-same_binary64_26240` `lt-same_binary64_26239` `sinh---cosh_binary64_26186` `sinh-+-cosh_binary64_26185` `sinh-cosh_binary64_26184` `tanh-def-c_binary64_26183` `tanh-def-b_binary64_26182` `tanh-def-a_binary64_26181` `cosh-def_binary64_26180` `sinh-def_binary64_26179` `tan-neg_binary64_26126` `cos-neg_binary64_26125` `sin-neg_binary64_26124` `tan-0_binary64_26123` `cos-0_binary64_26122` `sin-0_binary64_26121` `hang-m-tan_binary64_26120` `hang-p-tan_binary64_26119` `hang-m0-tan_binary64_26118` `hang-p0-tan_binary64_26117` `hang-0m-tan_binary64_26116` `hang-0p-tan_binary64_26115` `tan-+PI/2_binary64_26114` `tan-+PI_binary64_26113` `tan-PI_binary64_26112` `tan-PI/3_binary64_26111` `tan-PI/4_binary64_26110` `tan-PI/6_binary64_26109` `cos-+PI/2_binary64_26108` `cos-+PI_binary64_26107` `cos-PI_binary64_26106` `cos-PI/2_binary64_26105` `cos-PI/3_binary64_26104` `cos-PI/4_binary64_26103` `cos-PI/6_binary64_26102` `sin-+PI/2_binary64_26101` `sin-+PI_binary64_26100` `sin-PI_binary64_26099` `sin-PI/2_binary64_26098` `sin-PI/3_binary64_26097` `sin-PI/4_binary64_26096` `sin-PI/6_binary64_26095` `sub-1-sin_binary64_26094` `sub-1-cos_binary64_26093` `-1-add-sin_binary64_26092` `-1-add-cos_binary64_26091` `1-sub-sin_binary64_26090` `1-sub-cos_binary64_26089` `cos-sin-sum_binary64_26088` `log-E_binary64_26084` `log-pow_binary64_26083` `pow-base-0_binary64_26078` `unpow1/3_binary64_26061` `unpow1/2_binary64_26058` `pow-plus_binary64_26057` `exp-to-pow_binary64_26056` `pow-base-1_binary64_26054` `unpow0_binary64_26053` `unpow-1_binary64_26051` `exp-lft-cube_binary64_26050` `exp-lft-sqr_binary64_26049` `exp-cbrt_binary64_26048` `exp-sqrt_binary64_26047` `rec-exp_binary64_26044` `exp-neg_binary64_26041` `e-exp-1_binary64_26039` `exp-1-e_binary64_26037` `exp-0_binary64_26036` `rem-log-exp_binary64_26035` `rem-exp-log_binary64_26034` `cube-div_binary64_26023` `cube-neg_binary64_26021` `rem-3cbrt-rft_binary64_26020` `rem-3cbrt-lft_binary64_26019` `rem-cbrt-cube_binary64_26018` `rem-cube-cbrt_binary64_26017` `sqr-abs_binary64_26009` `sqr-neg_binary64_26008` `rem-sqrt-square_binary64_26007` `rem-square-sqrt_binary64_26006` `remove-double-neg_binary64_25982` `sub0-neg_binary64_25981` `--rgt-identity_binary64_25980` `+-lft-identity_binary64_25978` `mul0-rgt_binary64_25977` `mul0-lft_binary64_25976` `div0_binary64_25975` `*-inverses_binary64_25974` `+-inverses_binary64_25973` `lft-mult-inverse_binary64_25972` `rgt-mult-inverse_binary64_25971` `remove-double-div_binary64_25970` `pow-sqr_binary64_25967` `difference-of-sqr--1_binary64_25965` `difference-of-sqr-1_binary64_25964` `unswap-sqr_binary64_25962` `cancel-sign-sub_binary64_25959` `distribute-frac-neg_binary64_25957` `distribute-neg-out_binary64_25956` `distribute-rgt-neg-out_binary64_25954` `distribute-rgt1-in_binary64_25950` `distribute-lft1-in_binary64_25949` `distribute-lft-out--_binary64_25946` `count-2_binary64_25942` `associate--r-_binary64_25933` `associate--l-_binary64_25932` `associate-+l-_binary64_25929`

Counts

261 → 217

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	656	9759
1	1990	9438
2	5188	9438

prune311.0ms (0.9%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	215	2	217
Fresh	0	15	15
Picked	1	0	1
Done	0	1	1
Total	216	18	234

Error

5.7b

Counts

234 → 18

Compiler

Compiled 8621 to 1962 computations (77.2% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

3.3b	(+.f64 (.f64 z (+.f64 x y)) (-.f64 (.f64 a (+.f64 t y)) (*.f64 y b)))
24.9b	(/.f64 (+.f64 t (+.f64 x y)) (+.f64 (.f64 z (+.f64 x y)) (-.f64 (.f64 a (+.f64 t y)) (*.f64 y b))))
24.9b	(/.f64 (+.f64 t (+.f64 x y)) (+.f64 (.f64 z (+.f64 x y)) (-.f64 (.f64 a (+.f64 t y)) (*.f64 y b))))
24.9b	(/.f64 (+.f64 t (+.f64 x y)) (+.f64 (.f64 z (+.f64 x y)) (-.f64 (.f64 a (+.f64 t y)) (*.f64 y b))))

rewrite447.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

5.7b

Rules

94×	`*-un-lft-identity_binary64_25994`
45×	`times-frac_binary64_26000`
36×	`distribute-lft-out_binary64_25945`
34×	`add-cube-cbrt_binary64_26029` `add-sqr-sqrt_binary64_26016`
18×	`associate-/r/_binary64_25940`
16×	`associate-*r/_binary64_25936` `frac-add_binary64_26002`
15×	`flip3-+_binary64_25997` `flip-+_binary64_25968` `associate-/l*_binary64_25939`
10×	`add-exp-log_binary64_26032` `add-cbrt-cube_binary64_26030`
9×	`add-log-exp_binary64_26033` `associate-/r*_binary64_25938`
8×	`flip3--_binary64_25998` `flip--_binary64_25969`
6×	`associate-/l/_binary64_25941`
4×	`pow1_binary64_26055` `associate-+r+_binary64_25926`
3×	`div-exp_binary64_26045` `cbrt-undiv_binary64_26028` `frac-2neg_binary64_26005` `clear-num_binary64_25993` `div-inv_binary64_25991`
2×	`sum-log_binary64_26085` `distribute-rgt-in_binary64_25944` `associate-+l+_binary64_25927` `distribute-lft-in_binary64_25943` `associate--l+_binary64_25931`
1×	`diff-log_binary64_26086` `associate-+r-_binary64_25928` `sub-neg_binary64_25987` `cancel-sign-sub-inv_binary64_25960` `+-commutative_binary64_25924`

Counts

4 → 152

Calls

4 calls:

20.0ms	(/.f64 (+.f64 t (+.f64 x y)) (+.f64 (.f64 z (+.f64 x y)) (-.f64 (.f64 a (+.f64 t y)) (*.f64 y b))))
19.0ms	(/.f64 (+.f64 t (+.f64 x y)) (+.f64 (.f64 z (+.f64 x y)) (-.f64 (.f64 a (+.f64 t y)) (*.f64 y b))))
18.0ms	(/.f64 (+.f64 t (+.f64 x y)) (+.f64 (.f64 z (+.f64 x y)) (-.f64 (.f64 a (+.f64 t y)) (*.f64 y b))))
12.0ms	(+.f64 (.f64 z (+.f64 x y)) (-.f64 (.f64 a (+.f64 t y)) (*.f64 y b)))

Compiler

Compiled 14133 to 1184 computations (91.6% saved)

series10.5s (30.2%)

Error

5.7b

Counts

4 → 147

Calls

4 calls:

3.1s	(/.f64 (+.f64 t (+.f64 x y)) (+.f64 (.f64 z (+.f64 x y)) (-.f64 (.f64 a (+.f64 t y)) (*.f64 y b))))
3.1s	(/.f64 (+.f64 t (+.f64 x y)) (+.f64 (.f64 z (+.f64 x y)) (-.f64 (.f64 a (+.f64 t y)) (*.f64 y b))))
3.1s	(/.f64 (+.f64 t (+.f64 x y)) (+.f64 (.f64 z (+.f64 x y)) (-.f64 (.f64 a (+.f64 t y)) (*.f64 y b))))
705.0ms	(+.f64 (.f64 z (+.f64 x y)) (-.f64 (.f64 a (+.f64 t y)) (*.f64 y b)))

Compiler

Compiled 53787 to 23124 computations (57% saved)

simplify267.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

495×	`associate-/l*_binary64_25939`
446×	`associate-/r*_binary64_25938`
230×	`distribute-rgt-in_binary64_25944`
209×	`distribute-lft-in_binary64_25943`
201×	`associate-l_binary64_25935`
196×	`associate-r_binary64_25934`
118×	`+-commutative_binary64_25924`
90×	`sub-neg_binary64_25987`
85×	`associate-*l/_binary64_25937`
81×	`associate-*r/_binary64_25936`
76×	`*-commutative_binary64_25925`
73×	`associate-/r/_binary64_25940`
68×	`associate-+r+_binary64_25926`
66×	`cancel-sign-sub-inv_binary64_25960`
55×	`distribute-neg-in_binary64_25955`
51×	`sqr-pow_binary64_25966`
48×	`times-frac_binary64_26000`
38×	`neg-sub0_binary64_25989`
35×	`neg-mul-1_binary64_25990`
30×	`associate-/l/_binary64_25941`
24×	`distribute-rgt-neg-in_binary64_25952`
19×	`associate--l+_binary64_25931`
16×	`distribute-lft-neg-in_binary64_25951`
15×	`unpow2_binary64_26059` `unpow1_binary64_26052`
14×	`associate--r+_binary64_25930`
11×	`unpow3_binary64_26060` `cube-mult_binary64_26024`
8×	`exp-sum_binary64_26040`
7×	`distribute-lft-neg-out_binary64_25953` `distribute-rgt-out_binary64_25947`
6×	`exp-prod_binary64_26046` `cube-prod_binary64_26022` `distribute-neg-frac_binary64_25958` `associate-+r-_binary64_25928`
5×	`unswap-sqr_binary64_25962` `distribute-lft-out_binary64_25945`
4×	`div-sub_binary64_25999` `unsub-neg_binary64_25988` `mul-1-neg_binary64_25986` `difference-of-squares_binary64_25963` `distribute-rgt-out--_binary64_25948`
3×	`cube-unmult_binary64_26031` `/-rgt-identity_binary64_25985` `swap-sqr_binary64_25961`
2×	`log-div_binary64_26081` `prod-exp_binary64_26043`
1×	`div-exp_binary64_26045` `1-exp_binary64_26038` `associate--r-_binary64_25933`
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_26257` `erf-erfc_binary64_26256` `erf-odd_binary64_26255` `if-if-and-not_binary64_26254` `if-if-and_binary64_26253` `if-if-or-not_binary64_26252` `if-if-or_binary64_26251` `if-not_binary64_26250` `if-same_binary64_26249` `if-false_binary64_26248` `if-true_binary64_26247` `not-gte_binary64_26246` `not-lte_binary64_26245` `not-gt_binary64_26244` `not-lt_binary64_26243` `gte-same_binary64_26242` `lte-same_binary64_26241` `gt-same_binary64_26240` `lt-same_binary64_26239` `sinh---cosh_binary64_26186` `sinh-+-cosh_binary64_26185` `sinh-cosh_binary64_26184` `tanh-def-c_binary64_26183` `tanh-def-b_binary64_26182` `tanh-def-a_binary64_26181` `cosh-def_binary64_26180` `sinh-def_binary64_26179` `tan-neg_binary64_26126` `cos-neg_binary64_26125` `sin-neg_binary64_26124` `tan-0_binary64_26123` `cos-0_binary64_26122` `sin-0_binary64_26121` `hang-m-tan_binary64_26120` `hang-p-tan_binary64_26119` `hang-m0-tan_binary64_26118` `hang-p0-tan_binary64_26117` `hang-0m-tan_binary64_26116` `hang-0p-tan_binary64_26115` `tan-+PI/2_binary64_26114` `tan-+PI_binary64_26113` `tan-PI_binary64_26112` `tan-PI/3_binary64_26111` `tan-PI/4_binary64_26110` `tan-PI/6_binary64_26109` `cos-+PI/2_binary64_26108` `cos-+PI_binary64_26107` `cos-PI_binary64_26106` `cos-PI/2_binary64_26105` `cos-PI/3_binary64_26104` `cos-PI/4_binary64_26103` `cos-PI/6_binary64_26102` `sin-+PI/2_binary64_26101` `sin-+PI_binary64_26100` `sin-PI_binary64_26099` `sin-PI/2_binary64_26098` `sin-PI/3_binary64_26097` `sin-PI/4_binary64_26096` `sin-PI/6_binary64_26095` `sub-1-sin_binary64_26094` `sub-1-cos_binary64_26093` `-1-add-sin_binary64_26092` `-1-add-cos_binary64_26091` `1-sub-sin_binary64_26090` `1-sub-cos_binary64_26089` `cos-sin-sum_binary64_26088` `log-E_binary64_26084` `log-pow_binary64_26083` `log-rec_binary64_26082` `log-prod_binary64_26080` `pow-base-0_binary64_26078` `unpow1/3_binary64_26061` `unpow1/2_binary64_26058` `pow-plus_binary64_26057` `exp-to-pow_binary64_26056` `pow-base-1_binary64_26054` `unpow0_binary64_26053` `unpow-1_binary64_26051` `exp-lft-cube_binary64_26050` `exp-lft-sqr_binary64_26049` `exp-cbrt_binary64_26048` `exp-sqrt_binary64_26047` `rec-exp_binary64_26044` `exp-diff_binary64_26042` `exp-neg_binary64_26041` `e-exp-1_binary64_26039` `exp-1-e_binary64_26037` `exp-0_binary64_26036` `rem-log-exp_binary64_26035` `rem-exp-log_binary64_26034` `cube-div_binary64_26023` `cube-neg_binary64_26021` `rem-3cbrt-rft_binary64_26020` `rem-3cbrt-lft_binary64_26019` `rem-cbrt-cube_binary64_26018` `rem-cube-cbrt_binary64_26017` `sqr-abs_binary64_26009` `sqr-neg_binary64_26008` `rem-sqrt-square_binary64_26007` `rem-square-sqrt_binary64_26006` `-rgt-identity_binary64_25984` `-lft-identity_binary64_25983` `remove-double-neg_binary64_25982` `sub0-neg_binary64_25981` `--rgt-identity_binary64_25980` `+-rgt-identity_binary64_25979` `+-lft-identity_binary64_25978` `mul0-rgt_binary64_25977` `mul0-lft_binary64_25976` `div0_binary64_25975` `*-inverses_binary64_25974` `+-inverses_binary64_25973` `lft-mult-inverse_binary64_25972` `rgt-mult-inverse_binary64_25971` `remove-double-div_binary64_25970` `pow-sqr_binary64_25967` `difference-of-sqr--1_binary64_25965` `difference-of-sqr-1_binary64_25964` `cancel-sign-sub_binary64_25959` `distribute-frac-neg_binary64_25957` `distribute-neg-out_binary64_25956` `distribute-rgt-neg-out_binary64_25954` `distribute-rgt1-in_binary64_25950` `distribute-lft1-in_binary64_25949` `distribute-lft-out--_binary64_25946` `count-2_binary64_25942` `associate--l-_binary64_25932` `associate-+l-_binary64_25929` `associate-+l+_binary64_25927`

Counts

299 → 265

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	445	18793
1	1542	18043
2	5100	18043

prune659.0ms (1.9%)

Pruning

18 alts after pruning (16 fresh and 2 done)

	Pruned	Kept	Total
New	265	0	265
Fresh	0	16	16
Picked	0	1	1
Done	0	1	1
Total	265	18	283

Error

5.7b

Counts

283 → 18

Compiler

Compiled 26223 to 3035 computations (88.4% saved)

regimes3.7s (10.7%)

Accuracy

Total 3.3b remaining (43.7%)

Threshold costs 0b (0%)

Compiler

Compiled 25442 to 16144 computations (36.5% saved)

bsearch8.0ms (0%)

Compiler: Compiled 21 to 16 computations (23.8% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Rules

17×	`+-commutative_binary64_25924`
11×	`*-commutative_binary64_25925`
7×	`sub-neg_binary64_25987`
4×	`neg-mul-1_binary64_25990` `neg-sub0_binary64_25989`
2×	`cancel-sign-sub-inv_binary64_25960` `distribute-rgt-neg-in_binary64_25952`
1×	`if-if-or-not_binary64_26252` `distribute-neg-frac_binary64_25958` `distribute-lft-neg-out_binary64_25953` `distribute-lft-neg-in_binary64_25951`
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_26254` `if-if-and_binary64_26253` `if-if-or_binary64_26251` `if-not_binary64_26250` `if-same_binary64_26249` `if-false_binary64_26248` `if-true_binary64_26247` `tan-0_binary64_26123` `cos-0_binary64_26122` `sin-0_binary64_26121` `unpow1_binary64_26052` `e-exp-1_binary64_26039` `1-exp_binary64_26038` `exp-1-e_binary64_26037` `exp-0_binary64_26036` `sqr-abs_binary64_26009` `sqr-neg_binary64_26008` `unsub-neg_binary64_25988` `mul-1-neg_binary64_25986` `/-rgt-identity_binary64_25985` `-rgt-identity_binary64_25984` `-lft-identity_binary64_25983` `remove-double-neg_binary64_25982` `sub0-neg_binary64_25981` `--rgt-identity_binary64_25980` `+-rgt-identity_binary64_25979` `+-lft-identity_binary64_25978` `cancel-sign-sub_binary64_25959` `distribute-frac-neg_binary64_25957` `distribute-neg-out_binary64_25956` `distribute-neg-in_binary64_25955` `distribute-rgt-neg-out_binary64_25954`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	40	154
1	69	154
2	85	154
3	93	154
4	97	154
5	97	154

end0.0ms (0%)

sample2.9s (8.3%)

Algorithm

1×

intervals

Results

438.0ms	7998×	body	128	valid
0.0ms	1×	body	1024	valid
0.0ms	1×	body	256	valid

Compiler

Compiled 3795 to 2363 computations (37.7% saved)

Details

analyze1.6s (4.7%)

sample29.0ms (0.1%)

simplify101.0ms (0.3%)

prune3.0ms (0%)

localize15.0ms (0%)

rewrite194.0ms (0.6%)

series3.0s (8.5%)

simplify142.0ms (0.4%)

prune266.0ms (0.8%)

localize15.0ms (0%)

rewrite396.0ms (1.1%)

series5.9s (17%)

simplify299.0ms (0.9%)

prune497.0ms (1.4%)

localize19.0ms (0.1%)

rewrite213.0ms (0.6%)

series3.1s (9%)

simplify157.0ms (0.5%)

prune311.0ms (0.9%)

localize20.0ms (0.1%)

rewrite447.0ms (1.3%)

series10.5s (30.2%)

simplify267.0ms (0.8%)

prune659.0ms (1.9%)

regimes3.7s (10.7%)

bsearch8.0ms (0%)

simplify7.0ms (0%)

end0.0ms (0%)

sample2.9s (8.3%)

Profiling