Details

analyze2.2s (6.4%)

Algorithm

1×	search
2×	egg-herbie

Rules

1294×	`distribute-rgt-in_binary64`
1222×	`distribute-lft-in_binary64`
573×	`associate-l_binary64`
382×	`associate-+l+_binary64` `associate-+r+_binary64`
310×	`associate-r_binary64`
169×	`+-commutative_binary64`
156×	`*-commutative_binary64`
48×	`sqr-pow_binary64` `unswap-sqr_binary64`
24×	`cube-unmult_binary64`
8×	`unpow3_binary64`
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` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `cos-neg_binary64` `sin-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `log-pow_binary64` `log-rec_binary64` `log-div_binary64` `log-prod_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `unpow2_binary64` `unpow1/2_binary64` `pow-plus_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow1_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `exp-prod_binary64` `div-exp_binary64` `rec-exp_binary64` `prod-exp_binary64` `exp-diff_binary64` `exp-neg_binary64` `exp-sum_binary64` `e-exp-1_binary64` `1-exp_binary64` `exp-1-e_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-mult_binary64` `cube-div_binary64` `cube-prod_binary64` `cube-neg_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `rem-sqrt-square_binary64` `rem-square-sqrt_binary64` `times-frac_binary64` `div-sub_binary64` `neg-mul-1_binary64` `neg-sub0_binary64` `unsub-neg_binary64` `sub-neg_binary64` `mul-1-neg_binary64` `/-rgt-identity_binary64` `-rgt-identity_binary64` `-lft-identity_binary64` `remove-double-neg_binary64` `sub0-neg_binary64` `--rgt-identity_binary64` `+-rgt-identity_binary64` `+-lft-identity_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `div0_binary64` `-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `remove-double-div_binary64` `pow-sqr_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_binary64` `swap-sqr_binary64` `cancel-sign-sub-inv_binary64` `cancel-sign-sub_binary64` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-neg-in_binary64` `distribute-rgt-neg-out_binary64` `distribute-lft-neg-out_binary64` `distribute-rgt-neg-in_binary64` `distribute-lft-neg-in_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `distribute-rgt-out--_binary64` `distribute-rgt-out_binary64` `distribute-lft-out--_binary64` `distribute-lft-out_binary64` `count-2_binary64` `associate-/l/_binary64` `associate-/r/_binary64` `associate-/l_binary64` `associate-/r_binary64` `associate-l/_binary64` `associate-*r/_binary64` `associate--r-_binary64` `associate--l-_binary64` `associate--l+_binary64` `associate--r+_binary64` `associate-+l-_binary64` `associate-+r-_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	329	1421
1	612	1421
2	1284	1421
3	2638	1421
4	2765	1421
5	2784	1421
6	2991	1421
7	3418	1421
8	3477	1421
9	6111	1421
0	8	8
1	8	8

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	99.6%	0.4%	8
0%	99.6%	0.4%	9
0%	99.6%	0.4%	10
0%	99.6%	0.4%	11
0%	99.6%	0.4%	12
0%	99.6%	0.4%	13
0%	99.6%	0.4%	14

Compiler

Compiled 34 to 27 computations (20.6% saved)

sample47.0ms (0.1%)

Algorithm

1×

intervals

Results

21.0ms	256×	body	128	valid
0.0ms	4×	body	128	invalid

Compiler

Compiled 67 to 61 computations (9% saved)

simplify206.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

916×	`sqr-pow_binary64`
572×	`unswap-sqr_binary64`
378×	`pow-sqr_binary64`
359×	`associate-+l+_binary64`
334×	`*-commutative_binary64`
299×	`cube-prod_binary64`
285×	`unpow3_binary64`
281×	`cube-mult_binary64`
231×	`associate-+r+_binary64`
186×	`associate-l_binary64`
160×	`distribute-rgt-in_binary64`
158×	`distribute-lft-in_binary64`
156×	`+-commutative_binary64`
118×	`associate-r_binary64`
68×	`distribute-rgt-out_binary64`
38×	`pow-plus_binary64`
28×	`distribute-lft-out_binary64`
24×	`rem-sqrt-square_binary64`
10×	`unpow2_binary64` `unpow1/2_binary64` `unpow1_binary64`
9×	`cube-unmult_binary64`
1×	`1-exp_binary64`
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` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `cos-neg_binary64` `sin-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `log-pow_binary64` `log-rec_binary64` `log-div_binary64` `log-prod_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `exp-prod_binary64` `div-exp_binary64` `rec-exp_binary64` `prod-exp_binary64` `exp-diff_binary64` `exp-neg_binary64` `exp-sum_binary64` `e-exp-1_binary64` `exp-1-e_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-div_binary64` `cube-neg_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `rem-square-sqrt_binary64` `times-frac_binary64` `div-sub_binary64` `neg-mul-1_binary64` `neg-sub0_binary64` `unsub-neg_binary64` `sub-neg_binary64` `mul-1-neg_binary64` `/-rgt-identity_binary64` `-rgt-identity_binary64` `-lft-identity_binary64` `remove-double-neg_binary64` `sub0-neg_binary64` `--rgt-identity_binary64` `+-rgt-identity_binary64` `+-lft-identity_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `div0_binary64` `-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `remove-double-div_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `difference-of-squares_binary64` `swap-sqr_binary64` `cancel-sign-sub-inv_binary64` `cancel-sign-sub_binary64` `distribute-neg-frac_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-neg-in_binary64` `distribute-rgt-neg-out_binary64` `distribute-lft-neg-out_binary64` `distribute-rgt-neg-in_binary64` `distribute-lft-neg-in_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `distribute-rgt-out--_binary64` `distribute-lft-out--_binary64` `count-2_binary64` `associate-/l/_binary64` `associate-/r/_binary64` `associate-/l_binary64` `associate-/r_binary64` `associate-l/_binary64` `associate-*r/_binary64` `associate--r-_binary64` `associate--l-_binary64` `associate--l+_binary64` `associate--r+_binary64` `associate-+l-_binary64` `associate-+r-_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	49
1	42	49
2	89	49
3	167	49
4	380	49
5	662	49
6	707	49
7	788	49
8	1000	49
9	1093	49
10	1269	49
11	1758	49
12	1827	49
13	1855	49
14	1936	49
15	2077	49
16	2272	49
17	2419	49
18	2738	49
19	3166	49
20	3711	49
21	3999	49
22	4135	49
23	4221	49
24	4301	49
25	4367	49
26	4835	49

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

33.1b

Counts

2 → 1

Compiler

Compiled 66 to 52 computations (21.2% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y)
0.1b	(.f64 (+.f64 (.f64 x y) z) y)
0.1b	(.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y)
32.3b	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))

rewrite349.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

33.0b

Rules

24×	`add-sqr-sqrt_binary64`
18×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
12×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
10×	`pow1_binary64`
9×	`times-frac_binary64` `associate-l_binary64` `associate-r_binary64`
6×	`associate-*l/_binary64`
5×	`flip3-+_binary64` `flip-+_binary64`
4×	`add-log-exp_binary64`
3×	`associate-/l_binary64` `associate-/r_binary64` `pow-prod-down_binary64` `prod-exp_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `*-commutative_binary64`
2×	`associate-/l/_binary64` `associate-/r/_binary64`
1×	`div-exp_binary64` `cbrt-undiv_binary64` `frac-2neg_binary64` `clear-num_binary64` `div-inv_binary64`

Counts

4 → 91

Calls

4 calls:

32.0ms	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
12.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y)
10.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y)
7.0ms	(.f64 (+.f64 (.f64 x y) z) y)

Compiler

Compiled 4302 to 1194 computations (72.2% saved)

series2.1s (6.1%)

Error

7.1b

Counts

4 → 121

Calls

4 calls:

1.7s	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
104.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y)
66.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y)
45.0ms	(.f64 (+.f64 (.f64 x y) z) y)

Compiler

Compiled 19918 to 13922 computations (30.1% saved)

simplify212.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

447×	`associate-/l*_binary64`
441×	`times-frac_binary64`
394×	`associate-/r*_binary64`
196×	`+-commutative_binary64`
185×	`distribute-rgt-in_binary64` `*-commutative_binary64`
175×	`distribute-lft-in_binary64`
140×	`associate-+r+_binary64`
93×	`associate-/r/_binary64`
67×	`sub-neg_binary64`
55×	`associate-*r/_binary64`
53×	`sqr-pow_binary64`
39×	`associate-r_binary64`
37×	`distribute-neg-in_binary64`
26×	`neg-mul-1_binary64` `neg-sub0_binary64`
22×	`unswap-sqr_binary64`
20×	`swap-sqr_binary64`
17×	`associate-/l/_binary64` `associate-l_binary64`
15×	`associate--l+_binary64`
14×	`unpow3_binary64`
13×	`cancel-sign-sub-inv_binary64`
12×	`exp-prod_binary64` `cube-mult_binary64` `cube-prod_binary64` `associate--r+_binary64`
10×	`distribute-rgt-neg-in_binary64`
9×	`log-prod_binary64` `unpow2_binary64` `unpow1_binary64` `distribute-rgt-out_binary64`
6×	`exp-sum_binary64` `distribute-lft-neg-in_binary64`
5×	`cube-unmult_binary64` `distribute-neg-frac_binary64`
4×	`distribute-lft-neg-out_binary64`
3×	`/-rgt-identity_binary64` `*-rgt-identity_binary64` `difference-of-squares_binary64`
2×	`log-div_binary64` `unsub-neg_binary64` `distribute-lft-out_binary64`
1×	`1-exp_binary64` `distribute-rgt-out--_binary64` `associate-*l/_binary64` `associate-+r-_binary64`
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` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `cos-neg_binary64` `sin-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `log-pow_binary64` `log-rec_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `unpow1/2_binary64` `pow-plus_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `div-exp_binary64` `rec-exp_binary64` `prod-exp_binary64` `exp-diff_binary64` `exp-neg_binary64` `e-exp-1_binary64` `exp-1-e_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-div_binary64` `cube-neg_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `rem-sqrt-square_binary64` `rem-square-sqrt_binary64` `div-sub_binary64` `mul-1-neg_binary64` `-lft-identity_binary64` `remove-double-neg_binary64` `sub0-neg_binary64` `--rgt-identity_binary64` `+-rgt-identity_binary64` `+-lft-identity_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `div0_binary64` `-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `remove-double-div_binary64` `pow-sqr_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `cancel-sign-sub_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-rgt-neg-out_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `distribute-lft-out--_binary64` `count-2_binary64` `associate--r-_binary64` `associate--l-_binary64` `associate-+l-_binary64` `associate-+l+_binary64`

Counts

212 → 188

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	696	12573
1	2057	12300
2	5001	12300

prune283.0ms (0.8%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	171	17	188
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	172	17	189

Error

8.5b

Counts

189 → 17

Compiler

Compiled 8708 to 3452 computations (60.4% saved)

localize27.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 (+.f64 (.f64 x y) z) y)
0.1b	(.f64 y (+.f64 c (.f64 y (+.f64 b (*.f64 y (+.f64 y a))))))
0.4b	(/.f64 1 (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (*.f64 y (+.f64 y a))))))))
32.3b	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (/.f64 1 (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a)))))))))

rewrite261.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

8.5b

Rules

35×	`add-sqr-sqrt_binary64`
25×	`*-un-lft-identity_binary64`
24×	`add-cube-cbrt_binary64`
21×	`add-exp-log_binary64` `associate-r_binary64`
20×	`times-frac_binary64`
15×	`add-cbrt-cube_binary64`
11×	`pow1_binary64`
9×	`associate-l_binary64`
6×	`prod-exp_binary64` `flip3-+_binary64` `flip-+_binary64`
5×	`unswap-sqr_binary64`
4×	`div-exp_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `associate-*l/_binary64` `associate-/r/_binary64`
3×	`pow-prod-down_binary64` `associate-r/_binary64` `-commutative_binary64` `associate-/l_binary64` `associate-/r_binary64`
2×	`1-exp_binary64` `rec-exp_binary64` `cbrt-undiv_binary64` `frac-times_binary64` `div-inv_binary64`
1×	`un-div-inv_binary64` `inv-pow_binary64` `pow-flip_binary64` `frac-2neg_binary64` `clear-num_binary64` `distribute-rgt-in_binary64` `distribute-lft-in_binary64`

Counts

4 → 117

Calls

4 calls:

24.0ms	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (/.f64 1 (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a)))))))))
7.0ms	(.f64 (+.f64 (.f64 x y) z) y)
6.0ms	(.f64 y (+.f64 c (.f64 y (+.f64 b (*.f64 y (+.f64 y a))))))
5.0ms	(/.f64 1 (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (*.f64 y (+.f64 y a))))))))

Compiler

Compiled 5766 to 1719 computations (70.2% saved)

series2.2s (6.6%)

Error

8.5b

Counts

4 → 127

Calls

4 calls:

1.7s	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (/.f64 1 (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a)))))))))
205.0ms	(/.f64 1 (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (*.f64 y (+.f64 y a))))))))
105.0ms	(.f64 y (+.f64 c (.f64 y (+.f64 b (*.f64 y (+.f64 y a))))))
46.0ms	(.f64 (+.f64 (.f64 x y) z) y)

Compiler

Compiled 22468 to 15997 computations (28.8% saved)

simplify245.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

502×	`associate-/l*_binary64`
491×	`times-frac_binary64`
219×	`distribute-rgt-in_binary64`
211×	`distribute-lft-in_binary64`
204×	`+-commutative_binary64`
195×	`*-commutative_binary64`
147×	`associate-+r+_binary64`
104×	`associate-/r/_binary64`
86×	`sub-neg_binary64`
69×	`associate-*r/_binary64`
55×	`sqr-pow_binary64`
49×	`distribute-neg-in_binary64`
45×	`associate-/r*_binary64`
40×	`associate-r_binary64`
34×	`neg-mul-1_binary64` `neg-sub0_binary64`
24×	`cancel-sign-sub-inv_binary64`
23×	`unswap-sqr_binary64`
20×	`swap-sqr_binary64`
19×	`distribute-rgt-neg-in_binary64` `associate-l_binary64`
17×	`associate--l+_binary64`
16×	`associate--r+_binary64`
15×	`unpow3_binary64`
14×	`cube-mult_binary64` `distribute-lft-neg-in_binary64`
12×	`exp-prod_binary64` `distribute-neg-frac_binary64`
10×	`cube-prod_binary64` `*-rgt-identity_binary64` `associate-/l/_binary64`
9×	`log-prod_binary64` `unpow2_binary64` `unpow1_binary64` `distribute-rgt-out_binary64`
6×	`cube-unmult_binary64`
5×	`exp-sum_binary64` `distribute-lft-neg-out_binary64`
4×	`difference-of-squares_binary64`
3×	`associate-+r-_binary64`
2×	`log-div_binary64` `unsub-neg_binary64` `/-rgt-identity_binary64` `distribute-lft-out_binary64`
1×	`log-rec_binary64` `1-exp_binary64` `div-sub_binary64` `-lft-identity_binary64` `+-rgt-identity_binary64` `distribute-rgt-out--_binary64` `associate-l/_binary64`
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` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `cos-neg_binary64` `sin-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `log-pow_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `unpow1/2_binary64` `pow-plus_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `div-exp_binary64` `rec-exp_binary64` `prod-exp_binary64` `exp-diff_binary64` `exp-neg_binary64` `e-exp-1_binary64` `exp-1-e_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-div_binary64` `cube-neg_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `rem-sqrt-square_binary64` `rem-square-sqrt_binary64` `mul-1-neg_binary64` `remove-double-neg_binary64` `sub0-neg_binary64` `--rgt-identity_binary64` `+-lft-identity_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `div0_binary64` `*-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `remove-double-div_binary64` `pow-sqr_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `cancel-sign-sub_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-rgt-neg-out_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `distribute-lft-out--_binary64` `count-2_binary64` `associate--r-_binary64` `associate--l-_binary64` `associate-+l-_binary64` `associate-+l+_binary64`

Counts

244 → 185

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	746	14580
1	2214	14115
2	5017	14115

prune269.0ms (0.8%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	184	1	185
Fresh	1	15	16
Picked	0	1	1
Done	0	0	0
Total	185	17	202

Error

8.5b

Counts

202 → 17

Compiler

Compiled 8936 to 3844 computations (57% saved)

localize25.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 y (+.f64 z (.f64 y x)))
0.1b	(.f64 y (+.f64 c (.f64 y (+.f64 b (*.f64 y (+.f64 y a))))))
0.4b	(/.f64 1 (/.f64 (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a))))))) (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (*.f64 y x))))))))))
32.3b	(/.f64 (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a))))))) (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (*.f64 y x)))))))))

rewrite347.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

8.5b

Rules

90×	`times-frac_binary64`
64×	`add-sqr-sqrt_binary64`
60×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
21×	`add-exp-log_binary64`
18×	`associate-/r*_binary64`
15×	`add-cbrt-cube_binary64`
11×	`associate-/r/_binary64`
9×	`pow1_binary64`
8×	`div-exp_binary64` `flip3-+_binary64` `flip-+_binary64`
6×	`div-inv_binary64` `associate-/l_binary64` `associate-l_binary64` `associate-r*_binary64`
4×	`add-log-exp_binary64` `cbrt-undiv_binary64` `associate-*r/_binary64`
2×	`frac-2neg_binary64` `clear-num_binary64` `associate-/l/_binary64` `1-exp_binary64` `rec-exp_binary64` `pow-prod-down_binary64` `prod-exp_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `distribute-rgt-in_binary64` `distribute-lft-in_binary64` `*-commutative_binary64`
1×	`inv-pow_binary64` `pow-flip_binary64`

Counts

4 → 159

Calls

4 calls:

8.0ms	(/.f64 1 (/.f64 (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a))))))) (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (*.f64 y x))))))))))
8.0ms	(/.f64 (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a))))))) (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (*.f64 y x)))))))))
6.0ms	(.f64 y (+.f64 z (.f64 y x)))
6.0ms	(.f64 y (+.f64 c (.f64 y (+.f64 b (*.f64 y (+.f64 y a))))))

Compiler

Compiled 9416 to 3040 computations (67.7% saved)

series4.3s (12.7%)

Error

4.4b

Counts

4 → 152

Calls

4 calls:

2.3s	(/.f64 (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a))))))) (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (*.f64 y x)))))))))
1.7s	(/.f64 1 (/.f64 (+.f64 i (.f64 y (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a))))))) (+.f64 t (.f64 y (+.f64 7925469156333415/34359738368 (.f64 y (+.f64 471841060772561/17179869184 (.f64 y (+.f64 z (*.f64 y x))))))))))
104.0ms	(.f64 y (+.f64 c (.f64 y (+.f64 b (*.f64 y (+.f64 y a))))))
47.0ms	(.f64 y (+.f64 z (.f64 y x)))

Compiler

Compiled 34747 to 24988 computations (28.1% saved)

simplify654.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

312×	`+-commutative_binary64`
255×	`distribute-rgt-in_binary64`
245×	`associate-+r+_binary64`
240×	`distribute-lft-in_binary64`
234×	`*-commutative_binary64`
158×	`associate-/l*_binary64`
112×	`sub-neg_binary64`
92×	`associate-*r/_binary64`
89×	`associate-/r*_binary64`
73×	`associate-/l/_binary64`
67×	`distribute-neg-in_binary64`
63×	`sqr-pow_binary64`
50×	`cancel-sign-sub-inv_binary64`
47×	`unswap-sqr_binary64`
41×	`neg-mul-1_binary64`
40×	`neg-sub0_binary64` `associate-/r/_binary64` `associate-r_binary64`
32×	`distribute-rgt-neg-in_binary64`
30×	`times-frac_binary64`
25×	`associate--l+_binary64`
23×	`distribute-lft-neg-in_binary64`
21×	`exp-prod_binary64`
20×	`associate--r+_binary64`
17×	`associate-l_binary64`
15×	`swap-sqr_binary64` `distribute-rgt-out_binary64`
13×	`unpow3_binary64` `unpow2_binary64` `unpow1/2_binary64` `unpow1_binary64` `cube-mult_binary64`
11×	`distribute-neg-frac_binary64`
9×	`log-div_binary64` `log-prod_binary64`
8×	`cube-unmult_binary64`
7×	`cube-prod_binary64` `distribute-lft-neg-out_binary64`
6×	`/-rgt-identity_binary64`
4×	`log-rec_binary64` `distribute-rgt-out--_binary64`
3×	`exp-sum_binary64` `*-rgt-identity_binary64` `remove-double-div_binary64` `difference-of-squares_binary64` `distribute-lft-out_binary64`
2×	`log-pow_binary64` `unsub-neg_binary64` `associate-*l/_binary64` `associate--r-_binary64` `associate-+r-_binary64`
1×	`pow-plus_binary64` `1-exp_binary64` `div-sub_binary64` `*-lft-identity_binary64` `sub0-neg_binary64`
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` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `cos-neg_binary64` `sin-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `pow-base-0_binary64` `unpow1/3_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `div-exp_binary64` `rec-exp_binary64` `prod-exp_binary64` `exp-diff_binary64` `exp-neg_binary64` `e-exp-1_binary64` `exp-1-e_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-div_binary64` `cube-neg_binary64` `rem-3cbrt-rft_binary64` `rem-3cbrt-lft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `rem-sqrt-square_binary64` `rem-square-sqrt_binary64` `mul-1-neg_binary64` `remove-double-neg_binary64` `--rgt-identity_binary64` `+-rgt-identity_binary64` `+-lft-identity_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `div0_binary64` `*-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `pow-sqr_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `cancel-sign-sub_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-rgt-neg-out_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `distribute-lft-out--_binary64` `count-2_binary64` `associate--l-_binary64` `associate-+l-_binary64` `associate-+l+_binary64`

Counts

311 → 234

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1069	26366
1	3240	25715
2	4981	25715
3	4996	25715
4	4990	25715

prune284.0ms (0.8%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	227	7	234
Fresh	5	10	15
Picked	1	0	1
Done	0	1	1
Total	233	18	251

Error

4.3b

Counts

251 → 18

Compiler

Compiled 11685 to 5074 computations (56.6% saved)

localize39.0ms (0.1%)

Local error

Found 4 expressions with local error:

26.0b	(cbrt.f64 (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a))))))
26.0b	(cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c))
26.0b	(cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c))
32.3b	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c)) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c))) (.f64 y (cbrt.f64 (+.f64 c (.f64 y (+.f64 b (*.f64 y (+.f64 y a)))))))) i))

rewrite203.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

4.3b

Rules

15×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `*-un-lft-identity_binary64`
9×	`times-frac_binary64` `cbrt-prod_binary64`
6×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `cbrt-div_binary64`
5×	`flip3-+_binary64` `flip-+_binary64`
4×	`pow1_binary64` `add-log-exp_binary64`
3×	`associate-/l_binary64` `associate-/r_binary64` `pow1/3_binary64`
2×	`associate-/l/_binary64` `associate-/r/_binary64`
1×	`div-exp_binary64` `cbrt-undiv_binary64` `frac-2neg_binary64` `clear-num_binary64` `div-inv_binary64`

Counts

4 → 70

Calls

4 calls:

57.0ms	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c)) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c))) (.f64 y (cbrt.f64 (+.f64 c (.f64 y (+.f64 b (*.f64 y (+.f64 y a)))))))) i))
10.0ms	(cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c))
10.0ms	(cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c))
3.0ms	(cbrt.f64 (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a))))))

Compiler

Compiled 6266 to 1082 computations (82.7% saved)

series2.7s (7.8%)

Error

4.3b

Counts

4 → 121

Calls

4 calls:

2.0s	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c)) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c))) (.f64 y (cbrt.f64 (+.f64 c (.f64 y (+.f64 b (*.f64 y (+.f64 y a)))))))) i))
175.0ms	(cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c))
171.0ms	(cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c))
164.0ms	(cbrt.f64 (+.f64 c (.f64 y (+.f64 b (.f64 y (+.f64 y a))))))

Compiler

Compiled 31054 to 20212 computations (34.9% saved)

simplify272.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

500×	`associate-/l*_binary64`
473×	`times-frac_binary64`
424×	`associate-/r*_binary64`
205×	`+-commutative_binary64`
202×	`*-commutative_binary64`
146×	`associate-+r+_binary64`
119×	`distribute-rgt-in_binary64`
110×	`distribute-lft-in_binary64`
103×	`associate-/r/_binary64`
90×	`sub-neg_binary64`
72×	`sqr-pow_binary64`
69×	`associate-*r/_binary64`
48×	`cancel-sign-sub-inv_binary64`
41×	`distribute-neg-in_binary64`
39×	`neg-mul-1_binary64` `neg-sub0_binary64`
38×	`associate-r_binary64`
29×	`distribute-rgt-neg-in_binary64`
26×	`unswap-sqr_binary64`
22×	`distribute-lft-neg-in_binary64`
17×	`distribute-rgt-out_binary64` `associate-/l/_binary64` `associate--l+_binary64`
16×	`associate-l_binary64`
13×	`associate--r+_binary64`
12×	`unpow2_binary64` `unpow1_binary64` `exp-prod_binary64` `swap-sqr_binary64`
11×	`unpow3_binary64` `cube-mult_binary64`
9×	`cube-prod_binary64`
8×	`log-div_binary64` `unpow1/3_binary64`
7×	`distribute-lft-neg-out_binary64`
6×	`distribute-neg-frac_binary64`
4×	`log-prod_binary64` `cube-unmult_binary64` `distribute-rgt-out--_binary64` `distribute-lft-out_binary64`
3×	`/-rgt-identity_binary64` `difference-of-squares_binary64` `associate-+r-_binary64`
2×	`log-rec_binary64` `rem-3cbrt-lft_binary64` `unsub-neg_binary64` `remove-double-neg_binary64`
1×	`log-pow_binary64` `1-exp_binary64` `distribute-lft-out--_binary64` `associate-*l/_binary64`
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` `erf-erfc_binary64` `erf-odd_binary64` `if-if-and-not_binary64` `if-if-and_binary64` `if-if-or-not_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `not-gte_binary64` `not-lte_binary64` `not-gt_binary64` `not-lt_binary64` `gte-same_binary64` `lte-same_binary64` `gt-same_binary64` `lt-same_binary64` `sinh---cosh_binary64` `sinh-+-cosh_binary64` `sinh-cosh_binary64` `tanh-def-c_binary64` `tanh-def-b_binary64` `tanh-def-a_binary64` `cosh-def_binary64` `sinh-def_binary64` `tan-neg_binary64` `cos-neg_binary64` `sin-neg_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `hang-m-tan_binary64` `hang-p-tan_binary64` `hang-m0-tan_binary64` `hang-p0-tan_binary64` `hang-0m-tan_binary64` `hang-0p-tan_binary64` `tan-+PI/2_binary64` `tan-+PI_binary64` `tan-PI_binary64` `tan-PI/3_binary64` `tan-PI/4_binary64` `tan-PI/6_binary64` `cos-+PI/2_binary64` `cos-+PI_binary64` `cos-PI_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `cos-PI/4_binary64` `cos-PI/6_binary64` `sin-+PI/2_binary64` `sin-+PI_binary64` `sin-PI_binary64` `sin-PI/2_binary64` `sin-PI/3_binary64` `sin-PI/4_binary64` `sin-PI/6_binary64` `sub-1-sin_binary64` `sub-1-cos_binary64` `-1-add-sin_binary64` `-1-add-cos_binary64` `1-sub-sin_binary64` `1-sub-cos_binary64` `cos-sin-sum_binary64` `log-E_binary64` `pow-base-0_binary64` `unpow1/2_binary64` `pow-plus_binary64` `exp-to-pow_binary64` `pow-base-1_binary64` `unpow0_binary64` `unpow-1_binary64` `exp-lft-cube_binary64` `exp-lft-sqr_binary64` `exp-cbrt_binary64` `exp-sqrt_binary64` `div-exp_binary64` `rec-exp_binary64` `prod-exp_binary64` `exp-diff_binary64` `exp-neg_binary64` `exp-sum_binary64` `e-exp-1_binary64` `exp-1-e_binary64` `exp-0_binary64` `rem-log-exp_binary64` `rem-exp-log_binary64` `cube-div_binary64` `cube-neg_binary64` `rem-3cbrt-rft_binary64` `rem-cbrt-cube_binary64` `rem-cube-cbrt_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `rem-sqrt-square_binary64` `rem-square-sqrt_binary64` `div-sub_binary64` `mul-1-neg_binary64` `-rgt-identity_binary64` `-lft-identity_binary64` `sub0-neg_binary64` `--rgt-identity_binary64` `+-rgt-identity_binary64` `+-lft-identity_binary64` `mul0-rgt_binary64` `mul0-lft_binary64` `div0_binary64` `*-inverses_binary64` `+-inverses_binary64` `lft-mult-inverse_binary64` `rgt-mult-inverse_binary64` `remove-double-div_binary64` `pow-sqr_binary64` `difference-of-sqr--1_binary64` `difference-of-sqr-1_binary64` `cancel-sign-sub_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-rgt-neg-out_binary64` `distribute-rgt1-in_binary64` `distribute-lft1-in_binary64` `count-2_binary64` `associate--r-_binary64` `associate--l-_binary64` `associate-+l-_binary64` `associate-+l+_binary64`

Counts

191 → 156

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	775	16038
1	2265	15507
2	5295	15507

prune223.0ms (0.7%)

Pruning

18 alts after pruning (16 fresh and 2 done)

	Pruned	Kept	Total
New	155	1	156
Fresh	1	15	16
Picked	0	1	1
Done	0	1	1
Total	156	18	174

Error

4.3b

Counts

174 → 18

Compiler

Compiled 11982 to 3595 computations (70% saved)

regimes14.7s (43%)

Accuracy

Total 6.4b remaining (58%)

Threshold costs 0b (0%)

Compiler

Compiled 125172 to 86850 computations (30.6% saved)

bsearch24.0ms (0.1%)

Compiler: Compiled 33 to 26 computations (21.2% saved)

simplify10.0ms (0%)

Algorithm

1×	egg-herbie

Rules

17×	`+-commutative_binary64`
14×	`*-commutative_binary64`
5×	`sub-neg_binary64`
4×	`neg-mul-1_binary64` `neg-sub0_binary64`
2×	`distribute-rgt-neg-in_binary64` `distribute-lft-neg-in_binary64`
1×	`if-if-or-not_binary64` `distribute-neg-frac_binary64`
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` `if-if-and_binary64` `if-if-or_binary64` `if-not_binary64` `if-same_binary64` `if-false_binary64` `if-true_binary64` `tan-0_binary64` `cos-0_binary64` `sin-0_binary64` `unpow1_binary64` `e-exp-1_binary64` `1-exp_binary64` `exp-1-e_binary64` `exp-0_binary64` `sqr-abs_binary64` `sqr-neg_binary64` `unsub-neg_binary64` `mul-1-neg_binary64` `/-rgt-identity_binary64` `-rgt-identity_binary64` `-lft-identity_binary64` `remove-double-neg_binary64` `sub0-neg_binary64` `--rgt-identity_binary64` `+-rgt-identity_binary64` `+-lft-identity_binary64` `cancel-sign-sub-inv_binary64` `cancel-sign-sub_binary64` `distribute-frac-neg_binary64` `distribute-neg-out_binary64` `distribute-neg-in_binary64` `distribute-rgt-neg-out_binary64` `distribute-lft-neg-out_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	175
1	61	175
2	68	175
3	78	175
4	85	175
5	90	175
6	92	175
7	92	175

end2.0ms (0%)

Compiler: Compiled 117 to 54 computations (53.8% saved)

sample2.0s (5.7%)

Algorithm

1×

intervals

Results

719.0ms	8000×	body	128	valid
17.0ms	207×	body	128	invalid

Compiler

Compiled 1434 to 883 computations (38.4% saved)

Details

analyze2.2s (6.4%)

sample47.0ms (0.1%)

simplify206.0ms (0.6%)

prune3.0ms (0%)

localize22.0ms (0.1%)

rewrite349.0ms (1%)

series2.1s (6.1%)

simplify212.0ms (0.6%)

prune283.0ms (0.8%)

localize27.0ms (0.1%)

rewrite261.0ms (0.8%)

series2.2s (6.6%)

simplify245.0ms (0.7%)

prune269.0ms (0.8%)

localize25.0ms (0.1%)

rewrite347.0ms (1%)

series4.3s (12.7%)

simplify654.0ms (1.9%)

prune284.0ms (0.8%)

localize39.0ms (0.1%)

rewrite203.0ms (0.6%)

series2.7s (7.8%)

simplify272.0ms (0.8%)

prune223.0ms (0.7%)

regimes14.7s (43%)

bsearch24.0ms (0.1%)

simplify10.0ms (0%)

end2.0ms (0%)

sample2.0s (5.7%)

Profiling