Details

analyze732.0ms (7.7%)

Algorithm

1×	search
2×	egg-herbie

Rules

655×	`sub-neg_binary64_16098`
651×	`div-sub_binary64_16110`
623×	`neg-mul-1_binary64_16101`
530×	`cancel-sign-sub-inv_binary64_16071`
508×	`neg-sub0_binary64_16100`
497×	`unsub-neg_binary64_16099`
430×	`distribute-neg-frac_binary64_16069`
300×	`distribute-rgt-in_binary64_16055`
286×	`distribute-rgt-neg-out_binary64_16065`
278×	`distribute-frac-neg_binary64_16068`
265×	`associate-/l*_binary64_16050`
216×	`distribute-lft-in_binary64_16054`
184×	`times-frac_binary64_16111`
154×	`+-lft-identity_binary64_16089`
136×	`associate-/r*_binary64_16049`
113×	`*-lft-identity_binary64_16094`
104×	`remove-double-neg_binary64_16093`
93×	`distribute-neg-in_binary64_16066`
88×	`associate--r+_binary64_16041`
80×	`+-commutative_binary64_16035`
72×	`*-commutative_binary64_16036`
70×	`distribute-lft-neg-out_binary64_16064`
63×	`mul0-rgt_binary64_16088`
59×	`mul0-lft_binary64_16087`
56×	`cancel-sign-sub_binary64_16070` `distribute-rgt-neg-in_binary64_16063`
55×	`distribute-lft-neg-in_binary64_16062`
54×	`div0_binary64_16086`
53×	`associate-/r/_binary64_16051`
46×	`associate-+r-_binary64_16039`
44×	`associate-+l-_binary64_16040`
42×	`associate-l/_binary64_16048` `associate-r*_binary64_16045`
33×	`sub0-neg_binary64_16092` `associate--r-_binary64_16044`
30×	`associate-r/_binary64_16047` `associate-l*_binary64_16046`
17×	`associate-+r+_binary64_16037`
13×	`+-rgt-identity_binary64_16090`
10×	`distribute-neg-out_binary64_16067`
9×	`distribute-rgt-out--_binary64_16059`
8×	`*-inverses_binary64_16085` `associate-+l+_binary64_16038`
7×	`mul-1-neg_binary64_16097`
6×	`associate--l+_binary64_16042`
5×	`distribute-rgt-out_binary64_16058`
4×	`*-rgt-identity_binary64_16095`
1×	`1-exp_binary64_16149` `associate--l-_binary64_16043`
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_16368` `erf-erfc_binary64_16367` `erf-odd_binary64_16366` `if-if-and-not_binary64_16365` `if-if-and_binary64_16364` `if-if-or-not_binary64_16363` `if-if-or_binary64_16362` `if-not_binary64_16361` `if-same_binary64_16360` `if-false_binary64_16359` `if-true_binary64_16358` `not-gte_binary64_16357` `not-lte_binary64_16356` `not-gt_binary64_16355` `not-lt_binary64_16354` `gte-same_binary64_16353` `lte-same_binary64_16352` `gt-same_binary64_16351` `lt-same_binary64_16350` `sinh---cosh_binary64_16297` `sinh-+-cosh_binary64_16296` `sinh-cosh_binary64_16295` `tanh-def-c_binary64_16294` `tanh-def-b_binary64_16293` `tanh-def-a_binary64_16292` `cosh-def_binary64_16291` `sinh-def_binary64_16290` `tan-neg_binary64_16237` `cos-neg_binary64_16236` `sin-neg_binary64_16235` `tan-0_binary64_16234` `cos-0_binary64_16233` `sin-0_binary64_16232` `hang-m-tan_binary64_16231` `hang-p-tan_binary64_16230` `hang-m0-tan_binary64_16229` `hang-p0-tan_binary64_16228` `hang-0m-tan_binary64_16227` `hang-0p-tan_binary64_16226` `tan-+PI/2_binary64_16225` `tan-+PI_binary64_16224` `tan-PI_binary64_16223` `tan-PI/3_binary64_16222` `tan-PI/4_binary64_16221` `tan-PI/6_binary64_16220` `cos-+PI/2_binary64_16219` `cos-+PI_binary64_16218` `cos-PI_binary64_16217` `cos-PI/2_binary64_16216` `cos-PI/3_binary64_16215` `cos-PI/4_binary64_16214` `cos-PI/6_binary64_16213` `sin-+PI/2_binary64_16212` `sin-+PI_binary64_16211` `sin-PI_binary64_16210` `sin-PI/2_binary64_16209` `sin-PI/3_binary64_16208` `sin-PI/4_binary64_16207` `sin-PI/6_binary64_16206` `sub-1-sin_binary64_16205` `sub-1-cos_binary64_16204` `-1-add-sin_binary64_16203` `-1-add-cos_binary64_16202` `1-sub-sin_binary64_16201` `1-sub-cos_binary64_16200` `cos-sin-sum_binary64_16199` `log-E_binary64_16195` `log-pow_binary64_16194` `log-rec_binary64_16193` `log-div_binary64_16192` `log-prod_binary64_16191` `pow-base-0_binary64_16189` `unpow1/3_binary64_16172` `unpow3_binary64_16171` `unpow2_binary64_16170` `unpow1/2_binary64_16169` `pow-plus_binary64_16168` `exp-to-pow_binary64_16167` `pow-base-1_binary64_16165` `unpow0_binary64_16164` `unpow1_binary64_16163` `unpow-1_binary64_16162` `exp-lft-cube_binary64_16161` `exp-lft-sqr_binary64_16160` `exp-cbrt_binary64_16159` `exp-sqrt_binary64_16158` `exp-prod_binary64_16157` `div-exp_binary64_16156` `rec-exp_binary64_16155` `prod-exp_binary64_16154` `exp-diff_binary64_16153` `exp-neg_binary64_16152` `exp-sum_binary64_16151` `e-exp-1_binary64_16150` `exp-1-e_binary64_16148` `exp-0_binary64_16147` `rem-log-exp_binary64_16146` `rem-exp-log_binary64_16145` `cube-unmult_binary64_16142` `cube-mult_binary64_16135` `cube-div_binary64_16134` `cube-prod_binary64_16133` `cube-neg_binary64_16132` `rem-3cbrt-rft_binary64_16131` `rem-3cbrt-lft_binary64_16130` `rem-cbrt-cube_binary64_16129` `rem-cube-cbrt_binary64_16128` `sqr-abs_binary64_16120` `sqr-neg_binary64_16119` `rem-sqrt-square_binary64_16118` `rem-square-sqrt_binary64_16117` `/-rgt-identity_binary64_16096` `--rgt-identity_binary64_16091` `+-inverses_binary64_16084` `lft-mult-inverse_binary64_16083` `rgt-mult-inverse_binary64_16082` `remove-double-div_binary64_16081` `pow-sqr_binary64_16078` `sqr-pow_binary64_16077` `difference-of-sqr--1_binary64_16076` `difference-of-sqr-1_binary64_16075` `difference-of-squares_binary64_16074` `unswap-sqr_binary64_16073` `swap-sqr_binary64_16072` `distribute-rgt1-in_binary64_16061` `distribute-lft1-in_binary64_16060` `distribute-lft-out--_binary64_16057` `distribute-lft-out_binary64_16056` `count-2_binary64_16053` `associate-/l/_binary64_16052`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	91
1	62	91
2	162	91
3	337	91
4	664	91
5	1456	91
6	3375	91
7	4080	91
8	4367	91
9	4852	91
0	4	4
1	4	4

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
7%	92.8%	0.2%	8
19.1%	80.7%	0.2%	9
29.8%	70%	0.2%	10
31.3%	68.5%	0.2%	11
42.3%	57.2%	0.6%	12
53.3%	45.5%	1.2%	13
59.2%	39.3%	1.5%	14

Compiler

Compiled 10 to 9 computations (10% saved)

sample20.0ms (0.2%)

Algorithm

1×

intervals

Results

8.0ms	256×	body	128	valid
0.0ms	16×	body	128	invalid

Compiler

Compiled 19 to 21 computations (-10.5% saved)

simplify277.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

986×	`div-sub_binary64_16110`
972×	`distribute-rgt-in_binary64_16055`
929×	`distribute-lft-in_binary64_16054`
786×	`sub-neg_binary64_16098`
582×	`times-frac_binary64_16111`
341×	`neg-mul-1_binary64_16101`
335×	`associate-/l*_binary64_16050`
326×	`neg-sub0_binary64_16100` `*-commutative_binary64_16036`
325×	`distribute-neg-frac_binary64_16069`
322×	`cancel-sign-sub-inv_binary64_16071`
319×	`unsub-neg_binary64_16099`
299×	`distribute-rgt-neg-in_binary64_16063`
278×	`distribute-rgt-neg-out_binary64_16065`
252×	`associate-/r*_binary64_16049`
235×	`distribute-lft-neg-out_binary64_16064`
200×	`associate-/r/_binary64_16051`
197×	`distribute-lft-neg-in_binary64_16062`
195×	`associate--r+_binary64_16041`
188×	`associate-/l/_binary64_16052`
182×	`associate-*l/_binary64_16048`
171×	`distribute-frac-neg_binary64_16068`
139×	`associate-r_binary64_16045`
128×	`remove-double-neg_binary64_16093`
124×	`associate-*r/_binary64_16047`
119×	`cancel-sign-sub_binary64_16070`
110×	`associate--r-_binary64_16044`
108×	`associate-l_binary64_16046`
95×	`+-commutative_binary64_16035`
92×	`*-lft-identity_binary64_16094`
66×	`distribute-rgt-out--_binary64_16059` `associate-+l+_binary64_16038`
59×	`associate--l+_binary64_16042`
58×	`div0_binary64_16086`
57×	`distribute-neg-in_binary64_16066`
49×	`+-rgt-identity_binary64_16090` `associate-+r+_binary64_16037`
45×	`distribute-rgt-out_binary64_16058`
43×	`associate-+r-_binary64_16039`
42×	`distribute-neg-out_binary64_16067`
32×	`--rgt-identity_binary64_16091`
27×	`associate--l-_binary64_16043`
26×	`mul0-rgt_binary64_16088`
25×	`distribute-lft-out--_binary64_16057`
24×	`associate-+l-_binary64_16040`
23×	`/-rgt-identity_binary64_16096`
22×	`*-rgt-identity_binary64_16095`
21×	`mul0-lft_binary64_16087`
19×	`sub0-neg_binary64_16092`
18×	`distribute-lft-out_binary64_16056`
14×	`+-lft-identity_binary64_16089`
12×	`remove-double-div_binary64_16081`
2×	`*-inverses_binary64_16085` `swap-sqr_binary64_16072`
1×	`1-exp_binary64_16149` `sqr-neg_binary64_16119` `mul-1-neg_binary64_16097` `lft-mult-inverse_binary64_16083` `rgt-mult-inverse_binary64_16082` `distribute-rgt1-in_binary64_16061`
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_16368` `erf-erfc_binary64_16367` `erf-odd_binary64_16366` `if-if-and-not_binary64_16365` `if-if-and_binary64_16364` `if-if-or-not_binary64_16363` `if-if-or_binary64_16362` `if-not_binary64_16361` `if-same_binary64_16360` `if-false_binary64_16359` `if-true_binary64_16358` `not-gte_binary64_16357` `not-lte_binary64_16356` `not-gt_binary64_16355` `not-lt_binary64_16354` `gte-same_binary64_16353` `lte-same_binary64_16352` `gt-same_binary64_16351` `lt-same_binary64_16350` `sinh---cosh_binary64_16297` `sinh-+-cosh_binary64_16296` `sinh-cosh_binary64_16295` `tanh-def-c_binary64_16294` `tanh-def-b_binary64_16293` `tanh-def-a_binary64_16292` `cosh-def_binary64_16291` `sinh-def_binary64_16290` `tan-neg_binary64_16237` `cos-neg_binary64_16236` `sin-neg_binary64_16235` `tan-0_binary64_16234` `cos-0_binary64_16233` `sin-0_binary64_16232` `hang-m-tan_binary64_16231` `hang-p-tan_binary64_16230` `hang-m0-tan_binary64_16229` `hang-p0-tan_binary64_16228` `hang-0m-tan_binary64_16227` `hang-0p-tan_binary64_16226` `tan-+PI/2_binary64_16225` `tan-+PI_binary64_16224` `tan-PI_binary64_16223` `tan-PI/3_binary64_16222` `tan-PI/4_binary64_16221` `tan-PI/6_binary64_16220` `cos-+PI/2_binary64_16219` `cos-+PI_binary64_16218` `cos-PI_binary64_16217` `cos-PI/2_binary64_16216` `cos-PI/3_binary64_16215` `cos-PI/4_binary64_16214` `cos-PI/6_binary64_16213` `sin-+PI/2_binary64_16212` `sin-+PI_binary64_16211` `sin-PI_binary64_16210` `sin-PI/2_binary64_16209` `sin-PI/3_binary64_16208` `sin-PI/4_binary64_16207` `sin-PI/6_binary64_16206` `sub-1-sin_binary64_16205` `sub-1-cos_binary64_16204` `-1-add-sin_binary64_16203` `-1-add-cos_binary64_16202` `1-sub-sin_binary64_16201` `1-sub-cos_binary64_16200` `cos-sin-sum_binary64_16199` `log-E_binary64_16195` `log-pow_binary64_16194` `log-rec_binary64_16193` `log-div_binary64_16192` `log-prod_binary64_16191` `pow-base-0_binary64_16189` `unpow1/3_binary64_16172` `unpow3_binary64_16171` `unpow2_binary64_16170` `unpow1/2_binary64_16169` `pow-plus_binary64_16168` `exp-to-pow_binary64_16167` `pow-base-1_binary64_16165` `unpow0_binary64_16164` `unpow1_binary64_16163` `unpow-1_binary64_16162` `exp-lft-cube_binary64_16161` `exp-lft-sqr_binary64_16160` `exp-cbrt_binary64_16159` `exp-sqrt_binary64_16158` `exp-prod_binary64_16157` `div-exp_binary64_16156` `rec-exp_binary64_16155` `prod-exp_binary64_16154` `exp-diff_binary64_16153` `exp-neg_binary64_16152` `exp-sum_binary64_16151` `e-exp-1_binary64_16150` `exp-1-e_binary64_16148` `exp-0_binary64_16147` `rem-log-exp_binary64_16146` `rem-exp-log_binary64_16145` `cube-unmult_binary64_16142` `cube-mult_binary64_16135` `cube-div_binary64_16134` `cube-prod_binary64_16133` `cube-neg_binary64_16132` `rem-3cbrt-rft_binary64_16131` `rem-3cbrt-lft_binary64_16130` `rem-cbrt-cube_binary64_16129` `rem-cube-cbrt_binary64_16128` `sqr-abs_binary64_16120` `rem-sqrt-square_binary64_16118` `rem-square-sqrt_binary64_16117` `+-inverses_binary64_16084` `pow-sqr_binary64_16078` `sqr-pow_binary64_16077` `difference-of-sqr--1_binary64_16076` `difference-of-sqr-1_binary64_16075` `difference-of-squares_binary64_16074` `unswap-sqr_binary64_16073` `distribute-lft1-in_binary64_16060` `count-2_binary64_16053`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	15	13
2	34	13
3	70	13
4	131	13
5	217	13
6	507	13
7	1253	13
8	2664	13
9	2829	13
10	3200	13
11	3241	13
12	3253	13
13	3314	13
14	3763	13
15	3503	13
16	3739	13
17	3731	13
18	3769	13
19	3769	13
20	3807	13
21	3807	13
22	5580	13

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

13.4b

Counts

1 → 1

Compiler

Compiled 9 to 8 computations (11.1% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 x (-.f64 y z))
12.6b	(/.f64 (*.f64 x (-.f64 y z)) (-.f64 t z))

rewrite83.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

16×	`add-sqr-sqrt_binary64_16127`
14×	`*-un-lft-identity_binary64_16105`
9×	`add-exp-log_binary64_16143` `add-cbrt-cube_binary64_16141`
8×	`add-cube-cbrt_binary64_16140`
6×	`cancel-sign-sub-inv_binary64_16071`
5×	`times-frac_binary64_16111` `associate-/r_binary64_16049` `associate-r*_binary64_16045`
4×	`pow1_binary64_16166` `associate-*r/_binary64_16047` `distribute-rgt-in_binary64_16055` `distribute-lft-in_binary64_16054`
3×	`difference-of-squares_binary64_16074` `distribute-lft-out--_binary64_16057` `flip3--_binary64_16109` `flip--_binary64_16080` `associate-l_binary64_16046`
2×	`prod-exp_binary64_16154` `div-exp_binary64_16156` `add-log-exp_binary64_16144` `cbrt-undiv_binary64_16139` `cbrt-unprod_binary64_16138` `associate-/l/_binary64_16052` `associate-/r/_binary64_16051` `sub-neg_binary64_16098`
1×	`frac-2neg_binary64_16116` `clear-num_binary64_16104` `div-inv_binary64_16102` `associate-/l_binary64_16050` `pow-prod-down_binary64_16176` `unswap-sqr_binary64_16073` `-commutative_binary64_16036`

Counts

2 → 59

Calls

2 calls:

15.0ms	(/.f64 (*.f64 x (-.f64 y z)) (-.f64 t z))
7.0ms	(*.f64 x (-.f64 y z))

Compiler

Compiled 944 to 241 computations (74.5% saved)

series532.0ms (5.6%)

Error

7.5b

Counts

2 → 40

Calls

2 calls:

358.0ms	(/.f64 (*.f64 x (-.f64 y z)) (-.f64 t z))
138.0ms	(*.f64 x (-.f64 y z))

Compiler

Compiled 1518 to 862 computations (43.2% saved)

simplify93.0ms (1%)

Algorithm

1×	egg-herbie

Rules

389×	`associate-/r*_binary64_16049`
342×	`associate-/l/_binary64_16052`
340×	`distribute-rgt-in_binary64_16055`
317×	`distribute-lft-in_binary64_16054`
290×	`associate-/r/_binary64_16051`
200×	`cancel-sign-sub-inv_binary64_16071`
163×	`exp-prod_binary64_16157`
148×	`associate-/l*_binary64_16050`
124×	`sub-neg_binary64_16098`
114×	`div-sub_binary64_16110`
107×	`associate-l_binary64_16046`
88×	`associate-r_binary64_16045`
87×	`times-frac_binary64_16111`
65×	`*-commutative_binary64_16036`
57×	`distribute-rgt-neg-in_binary64_16063`
51×	`+-commutative_binary64_16035`
45×	`distribute-lft-neg-in_binary64_16062`
42×	`associate-*l/_binary64_16048`
41×	`distribute-neg-frac_binary64_16069`
40×	`log-div_binary64_16192` `neg-sub0_binary64_16100` `*-rgt-identity_binary64_16095`
38×	`distribute-neg-in_binary64_16066`
37×	`neg-mul-1_binary64_16101` `distribute-rgt-neg-out_binary64_16065`
35×	`log-prod_binary64_16191` `distribute-lft-neg-out_binary64_16064`
34×	`associate--l+_binary64_16042`
29×	`associate--r+_binary64_16041`
28×	`distribute-rgt-out_binary64_16058`
27×	`sqr-pow_binary64_16077`
26×	`/-rgt-identity_binary64_16096`
25×	`unsub-neg_binary64_16099` `associate-+l+_binary64_16038`
24×	`associate-*r/_binary64_16047`
22×	`*-lft-identity_binary64_16094`
18×	`associate-+r+_binary64_16037`
14×	`unpow3_binary64_16171` `cube-div_binary64_16134`
12×	`unswap-sqr_binary64_16073`
9×	`log-rec_binary64_16193` `cube-prod_binary64_16133`
7×	`exp-sum_binary64_16151` `difference-of-squares_binary64_16074` `swap-sqr_binary64_16072`
6×	`cube-unmult_binary64_16142`
5×	`exp-diff_binary64_16153`
4×	`remove-double-neg_binary64_16093` `distribute-rgt1-in_binary64_16061` `distribute-lft-out_binary64_16056`
3×	`unpow1/2_binary64_16169` `cube-mult_binary64_16135` `mul-1-neg_binary64_16097` `+-rgt-identity_binary64_16090` `cancel-sign-sub_binary64_16070` `distribute-lft-out--_binary64_16057` `associate-+r-_binary64_16039`
2×	`unpow2_binary64_16170` `pow-plus_binary64_16168` `unpow1_binary64_16163` `exp-neg_binary64_16152` `rem-sqrt-square_binary64_16118` `distribute-rgt-out--_binary64_16059` `associate--r-_binary64_16044`
1×	`1-exp_binary64_16149` `exp-1-e_binary64_16148` `rem-3cbrt-lft_binary64_16130` `rem-square-sqrt_binary64_16117` `div0_binary64_16086` `*-inverses_binary64_16085` `pow-sqr_binary64_16078` `distribute-frac-neg_binary64_16068`
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_16368` `erf-erfc_binary64_16367` `erf-odd_binary64_16366` `if-if-and-not_binary64_16365` `if-if-and_binary64_16364` `if-if-or-not_binary64_16363` `if-if-or_binary64_16362` `if-not_binary64_16361` `if-same_binary64_16360` `if-false_binary64_16359` `if-true_binary64_16358` `not-gte_binary64_16357` `not-lte_binary64_16356` `not-gt_binary64_16355` `not-lt_binary64_16354` `gte-same_binary64_16353` `lte-same_binary64_16352` `gt-same_binary64_16351` `lt-same_binary64_16350` `sinh---cosh_binary64_16297` `sinh-+-cosh_binary64_16296` `sinh-cosh_binary64_16295` `tanh-def-c_binary64_16294` `tanh-def-b_binary64_16293` `tanh-def-a_binary64_16292` `cosh-def_binary64_16291` `sinh-def_binary64_16290` `tan-neg_binary64_16237` `cos-neg_binary64_16236` `sin-neg_binary64_16235` `tan-0_binary64_16234` `cos-0_binary64_16233` `sin-0_binary64_16232` `hang-m-tan_binary64_16231` `hang-p-tan_binary64_16230` `hang-m0-tan_binary64_16229` `hang-p0-tan_binary64_16228` `hang-0m-tan_binary64_16227` `hang-0p-tan_binary64_16226` `tan-+PI/2_binary64_16225` `tan-+PI_binary64_16224` `tan-PI_binary64_16223` `tan-PI/3_binary64_16222` `tan-PI/4_binary64_16221` `tan-PI/6_binary64_16220` `cos-+PI/2_binary64_16219` `cos-+PI_binary64_16218` `cos-PI_binary64_16217` `cos-PI/2_binary64_16216` `cos-PI/3_binary64_16215` `cos-PI/4_binary64_16214` `cos-PI/6_binary64_16213` `sin-+PI/2_binary64_16212` `sin-+PI_binary64_16211` `sin-PI_binary64_16210` `sin-PI/2_binary64_16209` `sin-PI/3_binary64_16208` `sin-PI/4_binary64_16207` `sin-PI/6_binary64_16206` `sub-1-sin_binary64_16205` `sub-1-cos_binary64_16204` `-1-add-sin_binary64_16203` `-1-add-cos_binary64_16202` `1-sub-sin_binary64_16201` `1-sub-cos_binary64_16200` `cos-sin-sum_binary64_16199` `log-E_binary64_16195` `log-pow_binary64_16194` `pow-base-0_binary64_16189` `unpow1/3_binary64_16172` `exp-to-pow_binary64_16167` `pow-base-1_binary64_16165` `unpow0_binary64_16164` `unpow-1_binary64_16162` `exp-lft-cube_binary64_16161` `exp-lft-sqr_binary64_16160` `exp-cbrt_binary64_16159` `exp-sqrt_binary64_16158` `div-exp_binary64_16156` `rec-exp_binary64_16155` `prod-exp_binary64_16154` `e-exp-1_binary64_16150` `exp-0_binary64_16147` `rem-log-exp_binary64_16146` `rem-exp-log_binary64_16145` `cube-neg_binary64_16132` `rem-3cbrt-rft_binary64_16131` `rem-cbrt-cube_binary64_16129` `rem-cube-cbrt_binary64_16128` `sqr-abs_binary64_16120` `sqr-neg_binary64_16119` `sub0-neg_binary64_16092` `--rgt-identity_binary64_16091` `+-lft-identity_binary64_16089` `mul0-rgt_binary64_16088` `mul0-lft_binary64_16087` `+-inverses_binary64_16084` `lft-mult-inverse_binary64_16083` `rgt-mult-inverse_binary64_16082` `remove-double-div_binary64_16081` `difference-of-sqr--1_binary64_16076` `difference-of-sqr-1_binary64_16075` `distribute-neg-out_binary64_16067` `distribute-lft1-in_binary64_16060` `count-2_binary64_16053` `associate--l-_binary64_16043` `associate-+l-_binary64_16040`

Counts

99 → 53

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	167	1643
1	457	1526
2	1784	1448
3	4873	1448
4	5048	1448

prune50.0ms (0.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	48	5	53
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	48	6	54

Error

0.0b

Counts

54 → 6

Compiler

Compiled 865 to 226 computations (73.9% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (-.f64 y z) (-.f64 t z))
1.6b	(*.f64 x (/.f64 (-.f64 y z) (-.f64 t z)))

rewrite140.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

75×	`add-sqr-sqrt_binary64_16127`
70×	`*-un-lft-identity_binary64_16105`
51×	`times-frac_binary64_16111`
31×	`associate-r_binary64_16045`
26×	`add-cube-cbrt_binary64_16140`
22×	`difference-of-squares_binary64_16074` `distribute-lft-out--_binary64_16057`
9×	`add-exp-log_binary64_16143` `add-cbrt-cube_binary64_16141`
5×	`associate-/l_binary64_16050` `associate-/r_binary64_16049`
4×	`pow1_binary64_16166` `associate-/r/_binary64_16051`
3×	`associate-l_binary64_16046` `flip3--_binary64_16109` `flip--_binary64_16080`
2×	`div-exp_binary64_16156` `prod-exp_binary64_16154` `add-log-exp_binary64_16144` `cbrt-unprod_binary64_16138` `cbrt-undiv_binary64_16139` `unswap-sqr_binary64_16073` `div-inv_binary64_16102` `associate-/l/_binary64_16052`
1×	`pow-prod-down_binary64_16176` `associate-r/_binary64_16047` `-commutative_binary64_16036` `frac-2neg_binary64_16116` `div-sub_binary64_16110` `clear-num_binary64_16104`

Counts

2 → 102

Calls

2 calls:

18.0ms	(*.f64 x (/.f64 (-.f64 y z) (-.f64 t z)))
13.0ms	(/.f64 (-.f64 y z) (-.f64 t z))

Compiler

Compiled 1903 to 398 computations (79.1% saved)

series663.0ms (7%)

Error

0.0b

Counts

2 → 49

Calls

2 calls:

372.0ms	(*.f64 x (/.f64 (-.f64 y z) (-.f64 t z)))
241.0ms	(/.f64 (-.f64 y z) (-.f64 t z))

Compiler

Compiled 2183 to 1327 computations (39.2% saved)

simplify131.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

767×	`times-frac_binary64_16111`
334×	`distribute-rgt-in_binary64_16055`
297×	`distribute-lft-in_binary64_16054`
259×	`cancel-sign-sub-inv_binary64_16071`
200×	`sub-neg_binary64_16098`
193×	`div-sub_binary64_16110`
152×	`associate-/l*_binary64_16050`
120×	`associate-l_binary64_16046`
105×	`associate-r_binary64_16045`
89×	`+-commutative_binary64_16035`
77×	`*-commutative_binary64_16036`
71×	`associate--l+_binary64_16042`
68×	`distribute-neg-in_binary64_16066`
66×	`associate--r+_binary64_16041`
65×	`associate-*r/_binary64_16047`
58×	`distribute-neg-frac_binary64_16069`
56×	`neg-sub0_binary64_16100`
55×	`associate-/r*_binary64_16049`
51×	`associate-+l+_binary64_16038`
50×	`neg-mul-1_binary64_16101`
42×	`distribute-rgt-neg-in_binary64_16063`
41×	`unsub-neg_binary64_16099` `associate-*l/_binary64_16048`
38×	`distribute-lft-neg-in_binary64_16062` `associate-/l/_binary64_16052`
36×	`*-rgt-identity_binary64_16095` `distribute-rgt-out_binary64_16058`
34×	`associate-+r+_binary64_16037`
31×	`*-lft-identity_binary64_16094` `associate-/r/_binary64_16051`
27×	`cube-prod_binary64_16133`
25×	`sqr-pow_binary64_16077`
24×	`log-prod_binary64_16191` `distribute-lft-neg-out_binary64_16064`
23×	`distribute-rgt-neg-out_binary64_16065`
21×	`/-rgt-identity_binary64_16096`
19×	`exp-sum_binary64_16151`
18×	`exp-prod_binary64_16157`
14×	`log-div_binary64_16192`
13×	`cube-div_binary64_16134`
12×	`unswap-sqr_binary64_16073`
10×	`distribute-rgt1-in_binary64_16061`
9×	`unpow3_binary64_16171` `cube-unmult_binary64_16142`
6×	`cube-mult_binary64_16135` `mul-1-neg_binary64_16097`
5×	`swap-sqr_binary64_16072` `distribute-rgt-out--_binary64_16059`
4×	`exp-diff_binary64_16153` `difference-of-squares_binary64_16074`
3×	`unpow1/2_binary64_16169`
2×	`unpow2_binary64_16170` `pow-plus_binary64_16168` `unpow1_binary64_16163` `exp-neg_binary64_16152` `sqr-neg_binary64_16119` `rem-sqrt-square_binary64_16118` `distribute-lft-out--_binary64_16057` `distribute-lft-out_binary64_16056` `associate--r-_binary64_16044`
1×	`log-rec_binary64_16193` `1-exp_binary64_16149` `exp-1-e_binary64_16148` `cube-neg_binary64_16132` `remove-double-neg_binary64_16093` `div0_binary64_16086` `*-inverses_binary64_16085` `pow-sqr_binary64_16078` `associate-+l-_binary64_16040` `associate-+r-_binary64_16039`
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_16368` `erf-erfc_binary64_16367` `erf-odd_binary64_16366` `if-if-and-not_binary64_16365` `if-if-and_binary64_16364` `if-if-or-not_binary64_16363` `if-if-or_binary64_16362` `if-not_binary64_16361` `if-same_binary64_16360` `if-false_binary64_16359` `if-true_binary64_16358` `not-gte_binary64_16357` `not-lte_binary64_16356` `not-gt_binary64_16355` `not-lt_binary64_16354` `gte-same_binary64_16353` `lte-same_binary64_16352` `gt-same_binary64_16351` `lt-same_binary64_16350` `sinh---cosh_binary64_16297` `sinh-+-cosh_binary64_16296` `sinh-cosh_binary64_16295` `tanh-def-c_binary64_16294` `tanh-def-b_binary64_16293` `tanh-def-a_binary64_16292` `cosh-def_binary64_16291` `sinh-def_binary64_16290` `tan-neg_binary64_16237` `cos-neg_binary64_16236` `sin-neg_binary64_16235` `tan-0_binary64_16234` `cos-0_binary64_16233` `sin-0_binary64_16232` `hang-m-tan_binary64_16231` `hang-p-tan_binary64_16230` `hang-m0-tan_binary64_16229` `hang-p0-tan_binary64_16228` `hang-0m-tan_binary64_16227` `hang-0p-tan_binary64_16226` `tan-+PI/2_binary64_16225` `tan-+PI_binary64_16224` `tan-PI_binary64_16223` `tan-PI/3_binary64_16222` `tan-PI/4_binary64_16221` `tan-PI/6_binary64_16220` `cos-+PI/2_binary64_16219` `cos-+PI_binary64_16218` `cos-PI_binary64_16217` `cos-PI/2_binary64_16216` `cos-PI/3_binary64_16215` `cos-PI/4_binary64_16214` `cos-PI/6_binary64_16213` `sin-+PI/2_binary64_16212` `sin-+PI_binary64_16211` `sin-PI_binary64_16210` `sin-PI/2_binary64_16209` `sin-PI/3_binary64_16208` `sin-PI/4_binary64_16207` `sin-PI/6_binary64_16206` `sub-1-sin_binary64_16205` `sub-1-cos_binary64_16204` `-1-add-sin_binary64_16203` `-1-add-cos_binary64_16202` `1-sub-sin_binary64_16201` `1-sub-cos_binary64_16200` `cos-sin-sum_binary64_16199` `log-E_binary64_16195` `log-pow_binary64_16194` `pow-base-0_binary64_16189` `unpow1/3_binary64_16172` `exp-to-pow_binary64_16167` `pow-base-1_binary64_16165` `unpow0_binary64_16164` `unpow-1_binary64_16162` `exp-lft-cube_binary64_16161` `exp-lft-sqr_binary64_16160` `exp-cbrt_binary64_16159` `exp-sqrt_binary64_16158` `div-exp_binary64_16156` `rec-exp_binary64_16155` `prod-exp_binary64_16154` `e-exp-1_binary64_16150` `exp-0_binary64_16147` `rem-log-exp_binary64_16146` `rem-exp-log_binary64_16145` `rem-3cbrt-rft_binary64_16131` `rem-3cbrt-lft_binary64_16130` `rem-cbrt-cube_binary64_16129` `rem-cube-cbrt_binary64_16128` `sqr-abs_binary64_16120` `rem-square-sqrt_binary64_16117` `sub0-neg_binary64_16092` `--rgt-identity_binary64_16091` `+-rgt-identity_binary64_16090` `+-lft-identity_binary64_16089` `mul0-rgt_binary64_16088` `mul0-lft_binary64_16087` `+-inverses_binary64_16084` `lft-mult-inverse_binary64_16083` `rgt-mult-inverse_binary64_16082` `remove-double-div_binary64_16081` `difference-of-sqr--1_binary64_16076` `difference-of-sqr-1_binary64_16075` `cancel-sign-sub_binary64_16070` `distribute-frac-neg_binary64_16068` `distribute-neg-out_binary64_16067` `distribute-lft1-in_binary64_16060` `count-2_binary64_16053` `associate--l-_binary64_16043`

Counts

151 → 84

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	227	3127
1	624	2995
2	2189	2818
3	4836	2818
4	5159	2818

prune82.0ms (0.9%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	79	5	84
Fresh	2	2	4
Picked	0	1	1
Done	0	1	1
Total	81	9	90

Error

0.0b

Counts

90 → 9

Compiler

Compiled 1593 to 424 computations (73.4% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 (-.f64 y z))
0.5b	(cbrt.f64 (-.f64 y z))
0.5b	(*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z)))
7.8b	(.f64 (.f64 x (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z)))) (/.f64 (cbrt.f64 (-.f64 y z)) (-.f64 t z)))

rewrite270.0ms (2.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

79×	`add-sqr-sqrt_binary64_16127`
77×	`*-un-lft-identity_binary64_16105`
63×	`cbrt-prod_binary64_16136`
54×	`associate-r_binary64_16045`
40×	`cbrt-div_binary64_16137` `times-frac_binary64_16111`
33×	`add-cube-cbrt_binary64_16140`
27×	`add-exp-log_binary64_16143`
23×	`associate-*r/_binary64_16047`
21×	`flip3--_binary64_16109` `flip--_binary64_16080` `distribute-lft-out--_binary64_16057`
20×	`pow1_binary64_16166` `frac-times_binary64_16115`
19×	`difference-of-squares_binary64_16074`
18×	`add-cbrt-cube_binary64_16141`
14×	`associate-*l/_binary64_16048`
13×	`prod-exp_binary64_16154` `cbrt-unprod_binary64_16138`
10×	`swap-sqr_binary64_16072`
9×	`associate-l_binary64_16046`
8×	`pow-prod-down_binary64_16176` `pow1/3_binary64_16187`
4×	`add-log-exp_binary64_16144` `unswap-sqr_binary64_16073`
3×	`div-exp_binary64_16156` `cbrt-undiv_binary64_16139`
2×	`associate-/r/_binary64_16051` `*-commutative_binary64_16036` `pow-prod-up_binary64_16175` `pow-sqr_binary64_16078`
1×	`div-inv_binary64_16102` `pow2_binary64_16186` `pow-plus_binary64_16168`

Counts

4 → 173

Calls

4 calls:

34.0ms	(.f64 (.f64 x (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z)))) (/.f64 (cbrt.f64 (-.f64 y z)) (-.f64 t z)))
13.0ms	(*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z)))
3.0ms	(cbrt.f64 (-.f64 y z))
3.0ms	(cbrt.f64 (-.f64 y z))

Compiler

Compiled 5383 to 859 computations (84% saved)

series966.0ms (10.2%)

Error

0.0b

Counts

4 → 56

Calls

4 calls:

436.0ms	(.f64 (.f64 x (*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z)))) (/.f64 (cbrt.f64 (-.f64 y z)) (-.f64 t z)))
261.0ms	(*.f64 (cbrt.f64 (-.f64 y z)) (cbrt.f64 (-.f64 y z)))
104.0ms	(cbrt.f64 (-.f64 y z))
104.0ms	(cbrt.f64 (-.f64 y z))

Compiler

Compiled 3537 to 2332 computations (34.1% saved)

simplify194.0ms (2%)

Algorithm

1×	egg-herbie

Rules

537×	`associate-l_binary64_16046`
479×	`associate-r_binary64_16045`
271×	`cancel-sign-sub-inv_binary64_16071`
264×	`*-commutative_binary64_16036`
203×	`associate-/l*_binary64_16050`
145×	`distribute-rgt-neg-in_binary64_16063`
134×	`distribute-lft-neg-in_binary64_16062` `associate-*r/_binary64_16047`
130×	`div-sub_binary64_16110`
124×	`sub-neg_binary64_16098`
123×	`unswap-sqr_binary64_16073`
110×	`log-prod_binary64_16191`
83×	`exp-prod_binary64_16157`
82×	`sqr-pow_binary64_16077`
80×	`times-frac_binary64_16111`
76×	`cube-prod_binary64_16133`
67×	`+-commutative_binary64_16035`
57×	`associate-/r*_binary64_16049`
54×	`-rgt-identity_binary64_16095` `associate-l/_binary64_16048`
51×	`neg-sub0_binary64_16100`
47×	`*-lft-identity_binary64_16094` `associate-/l/_binary64_16052`
42×	`neg-mul-1_binary64_16101`
38×	`log-div_binary64_16192`
36×	`associate-+l+_binary64_16038`
35×	`distribute-neg-in_binary64_16066`
33×	`distribute-neg-frac_binary64_16069`
32×	`associate--l+_binary64_16042`
31×	`cube-div_binary64_16134` `associate--r+_binary64_16041`
27×	`swap-sqr_binary64_16072`
25×	`unpow3_binary64_16171`
24×	`unsub-neg_binary64_16099`
23×	`associate-+r+_binary64_16037`
21×	`cube-mult_binary64_16135` `associate-/r/_binary64_16051`
20×	`distribute-lft-neg-out_binary64_16064`
17×	`distribute-rgt-neg-out_binary64_16065` `distribute-rgt-in_binary64_16055`
16×	`distribute-lft-in_binary64_16054`
14×	`exp-sum_binary64_16151`
13×	`mul-1-neg_binary64_16097` `/-rgt-identity_binary64_16096`
12×	`pow-plus_binary64_16168` `cube-unmult_binary64_16142`
10×	`unpow1/3_binary64_16172`
9×	`exp-diff_binary64_16153` `rem-sqrt-square_binary64_16118`
8×	`log-pow_binary64_16194` `difference-of-squares_binary64_16074`
6×	`unpow1/2_binary64_16169` `pow-sqr_binary64_16078`
4×	`unpow2_binary64_16170` `unpow1_binary64_16163` `exp-neg_binary64_16152` `associate-+r-_binary64_16039`
3×	`log-rec_binary64_16193` `rem-exp-log_binary64_16145`
2×	`exp-to-pow_binary64_16167` `cube-neg_binary64_16132` `rem-3cbrt-lft_binary64_16130` `sqr-neg_binary64_16119` `remove-double-neg_binary64_16093` `distribute-neg-out_binary64_16067`
1×	`1-exp_binary64_16149` `exp-1-e_binary64_16148` `rem-3cbrt-rft_binary64_16131` `rem-cube-cbrt_binary64_16128` `rem-square-sqrt_binary64_16117` `*-inverses_binary64_16085` `distribute-frac-neg_binary64_16068` `distribute-rgt-out_binary64_16058` `count-2_binary64_16053` `associate--r-_binary64_16044` `associate-+l-_binary64_16040`
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_16368` `erf-erfc_binary64_16367` `erf-odd_binary64_16366` `if-if-and-not_binary64_16365` `if-if-and_binary64_16364` `if-if-or-not_binary64_16363` `if-if-or_binary64_16362` `if-not_binary64_16361` `if-same_binary64_16360` `if-false_binary64_16359` `if-true_binary64_16358` `not-gte_binary64_16357` `not-lte_binary64_16356` `not-gt_binary64_16355` `not-lt_binary64_16354` `gte-same_binary64_16353` `lte-same_binary64_16352` `gt-same_binary64_16351` `lt-same_binary64_16350` `sinh---cosh_binary64_16297` `sinh-+-cosh_binary64_16296` `sinh-cosh_binary64_16295` `tanh-def-c_binary64_16294` `tanh-def-b_binary64_16293` `tanh-def-a_binary64_16292` `cosh-def_binary64_16291` `sinh-def_binary64_16290` `tan-neg_binary64_16237` `cos-neg_binary64_16236` `sin-neg_binary64_16235` `tan-0_binary64_16234` `cos-0_binary64_16233` `sin-0_binary64_16232` `hang-m-tan_binary64_16231` `hang-p-tan_binary64_16230` `hang-m0-tan_binary64_16229` `hang-p0-tan_binary64_16228` `hang-0m-tan_binary64_16227` `hang-0p-tan_binary64_16226` `tan-+PI/2_binary64_16225` `tan-+PI_binary64_16224` `tan-PI_binary64_16223` `tan-PI/3_binary64_16222` `tan-PI/4_binary64_16221` `tan-PI/6_binary64_16220` `cos-+PI/2_binary64_16219` `cos-+PI_binary64_16218` `cos-PI_binary64_16217` `cos-PI/2_binary64_16216` `cos-PI/3_binary64_16215` `cos-PI/4_binary64_16214` `cos-PI/6_binary64_16213` `sin-+PI/2_binary64_16212` `sin-+PI_binary64_16211` `sin-PI_binary64_16210` `sin-PI/2_binary64_16209` `sin-PI/3_binary64_16208` `sin-PI/4_binary64_16207` `sin-PI/6_binary64_16206` `sub-1-sin_binary64_16205` `sub-1-cos_binary64_16204` `-1-add-sin_binary64_16203` `-1-add-cos_binary64_16202` `1-sub-sin_binary64_16201` `1-sub-cos_binary64_16200` `cos-sin-sum_binary64_16199` `log-E_binary64_16195` `pow-base-0_binary64_16189` `pow-base-1_binary64_16165` `unpow0_binary64_16164` `unpow-1_binary64_16162` `exp-lft-cube_binary64_16161` `exp-lft-sqr_binary64_16160` `exp-cbrt_binary64_16159` `exp-sqrt_binary64_16158` `div-exp_binary64_16156` `rec-exp_binary64_16155` `prod-exp_binary64_16154` `e-exp-1_binary64_16150` `exp-0_binary64_16147` `rem-log-exp_binary64_16146` `rem-cbrt-cube_binary64_16129` `sqr-abs_binary64_16120` `sub0-neg_binary64_16092` `--rgt-identity_binary64_16091` `+-rgt-identity_binary64_16090` `+-lft-identity_binary64_16089` `mul0-rgt_binary64_16088` `mul0-lft_binary64_16087` `div0_binary64_16086` `+-inverses_binary64_16084` `lft-mult-inverse_binary64_16083` `rgt-mult-inverse_binary64_16082` `remove-double-div_binary64_16081` `difference-of-sqr--1_binary64_16076` `difference-of-sqr-1_binary64_16075` `cancel-sign-sub_binary64_16070` `distribute-rgt1-in_binary64_16061` `distribute-lft1-in_binary64_16060` `distribute-rgt-out--_binary64_16059` `distribute-lft-out--_binary64_16057` `distribute-lft-out_binary64_16056` `associate--l-_binary64_16043`

Counts

229 → 182

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	343	5491
1	905	5201
2	3525	4930
3	4579	4855
4	4998	4855

prune208.0ms (2.2%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	181	1	182
Fresh	2	4	6
Picked	0	1	1
Done	0	2	2
Total	183	8	191

Error

Counts

191 → 8

Compiler

Compiled 4682 to 1185 computations (74.7% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 (-.f64 t z))
0.5b	(cbrt.f64 (-.f64 t z))
3.0b	(/.f64 (.f64 (/.f64 x (.f64 (cbrt.f64 (-.f64 t z)) (cbrt.f64 (-.f64 t z)))) (-.f64 y z)) (cbrt.f64 (-.f64 t z)))
9.3b	(.f64 (/.f64 x (.f64 (cbrt.f64 (-.f64 t z)) (cbrt.f64 (-.f64 t z)))) (-.f64 y z))

rewrite196.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

29×	`add-sqr-sqrt_binary64_16127`
27×	`add-exp-log_binary64_16143`
25×	`*-un-lft-identity_binary64_16105`
20×	`cbrt-prod_binary64_16136`
19×	`add-cbrt-cube_binary64_16141`
18×	`cbrt-div_binary64_16137`
15×	`add-cube-cbrt_binary64_16140` `associate-l_binary64_16046`
13×	`flip3--_binary64_16109` `flip--_binary64_16080`
12×	`times-frac_binary64_16111`
10×	`associate-/r/_binary64_16051`
8×	`prod-exp_binary64_16154` `div-exp_binary64_16156` `cbrt-unprod_binary64_16138` `cbrt-undiv_binary64_16139` `frac-times_binary64_16115` `associate-/r*_binary64_16049`
6×	`pow1_binary64_16166` `cancel-sign-sub-inv_binary64_16071` `associate-*r/_binary64_16047`
5×	`associate-r_binary64_16045` `difference-of-squares_binary64_16074` `distribute-lft-out--_binary64_16057` `associate-/l/_binary64_16052`
4×	`add-log-exp_binary64_16144` `distribute-rgt-in_binary64_16055` `distribute-lft-in_binary64_16054` `associate-*l/_binary64_16048`
2×	`unswap-sqr_binary64_16073` `sub-neg_binary64_16098` `div-inv_binary64_16102` `pow1/3_binary64_16187`
1×	`pow-prod-down_binary64_16176` `-commutative_binary64_16036` `frac-2neg_binary64_16116` `clear-num_binary64_16104` `associate-/l_binary64_16050`

Counts

4 → 122

Calls

4 calls:

24.0ms	(/.f64 (.f64 (/.f64 x (.f64 (cbrt.f64 (-.f64 t z)) (cbrt.f64 (-.f64 t z)))) (-.f64 y z)) (cbrt.f64 (-.f64 t z)))
21.0ms	(.f64 (/.f64 x (.f64 (cbrt.f64 (-.f64 t z)) (cbrt.f64 (-.f64 t z)))) (-.f64 y z))
4.0ms	(cbrt.f64 (-.f64 t z))
4.0ms	(cbrt.f64 (-.f64 t z))

Compiler

Compiled 3711 to 558 computations (85% saved)

series1.9s (19.7%)

Error

Counts

4 → 66

Calls

4 calls:

1.1s	(.f64 (/.f64 x (.f64 (cbrt.f64 (-.f64 t z)) (cbrt.f64 (-.f64 t z)))) (-.f64 y z))
394.0ms	(/.f64 (.f64 (/.f64 x (.f64 (cbrt.f64 (-.f64 t z)) (cbrt.f64 (-.f64 t z)))) (-.f64 y z)) (cbrt.f64 (-.f64 t z)))
157.0ms	(cbrt.f64 (-.f64 t z))
147.0ms	(cbrt.f64 (-.f64 t z))

Compiler

Compiled 4515 to 2975 computations (34.1% saved)

simplify204.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

353×	`cancel-sign-sub-inv_binary64_16071`
229×	`associate-r_binary64_16045`
219×	`associate-l_binary64_16046`
193×	`associate-/l*_binary64_16050`
183×	`*-commutative_binary64_16036`
175×	`sub-neg_binary64_16098`
144×	`times-frac_binary64_16111`
127×	`div-sub_binary64_16110`
123×	`associate-*l/_binary64_16048`
103×	`log-prod_binary64_16191`
101×	`associate-/r*_binary64_16049`
97×	`unswap-sqr_binary64_16073`
91×	`associate-/l/_binary64_16052`
84×	`exp-prod_binary64_16157`
83×	`sqr-pow_binary64_16077`
82×	`associate-*r/_binary64_16047`
78×	`log-div_binary64_16192` `neg-sub0_binary64_16100`
70×	`+-commutative_binary64_16035`
68×	`neg-mul-1_binary64_16101`
66×	`distribute-rgt-in_binary64_16055`
62×	`distribute-lft-in_binary64_16054`
60×	`distribute-neg-frac_binary64_16069` `distribute-lft-neg-out_binary64_16064`
58×	`distribute-rgt-neg-out_binary64_16065`
43×	`associate--l+_binary64_16042`
41×	`distribute-neg-in_binary64_16066`
39×	`associate-/r/_binary64_16051`
35×	`*-rgt-identity_binary64_16095` `distribute-rgt-neg-in_binary64_16063`
34×	`associate--r+_binary64_16041`
33×	`unpow3_binary64_16171` `cube-div_binary64_16134`
30×	`associate-+l+_binary64_16038`
28×	`distribute-lft-neg-in_binary64_16062`
26×	`unsub-neg_binary64_16099`
24×	`exp-diff_binary64_16153`
23×	`cube-prod_binary64_16133`
22×	`/-rgt-identity_binary64_16096`
21×	`*-lft-identity_binary64_16094` `swap-sqr_binary64_16072` `associate-+r+_binary64_16037`
14×	`log-pow_binary64_16194` `exp-neg_binary64_16152`
12×	`unpow1/3_binary64_16172`
11×	`distribute-frac-neg_binary64_16068`
10×	`log-rec_binary64_16193` `exp-sum_binary64_16151` `cube-unmult_binary64_16142`
9×	`mul-1-neg_binary64_16097`
8×	`difference-of-squares_binary64_16074`
6×	`pow-plus_binary64_16168` `associate-+l-_binary64_16040`
5×	`unpow2_binary64_16170` `unpow1/2_binary64_16169` `rem-sqrt-square_binary64_16118` `associate-+r-_binary64_16039`
4×	`unpow1_binary64_16163` `cube-mult_binary64_16135` `pow-sqr_binary64_16078`
3×	`+-rgt-identity_binary64_16090` `distribute-rgt-out--_binary64_16059` `distribute-lft-out--_binary64_16057`
2×	`exp-to-pow_binary64_16167` `rem-3cbrt-lft_binary64_16130` `remove-double-neg_binary64_16093` `distribute-rgt-out_binary64_16058`
1×	`1-exp_binary64_16149` `exp-1-e_binary64_16148` `rem-3cbrt-rft_binary64_16131` `rem-cube-cbrt_binary64_16128` `rem-square-sqrt_binary64_16117` `*-inverses_binary64_16085` `count-2_binary64_16053` `associate--r-_binary64_16044` `associate--l-_binary64_16043`
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_16368` `erf-erfc_binary64_16367` `erf-odd_binary64_16366` `if-if-and-not_binary64_16365` `if-if-and_binary64_16364` `if-if-or-not_binary64_16363` `if-if-or_binary64_16362` `if-not_binary64_16361` `if-same_binary64_16360` `if-false_binary64_16359` `if-true_binary64_16358` `not-gte_binary64_16357` `not-lte_binary64_16356` `not-gt_binary64_16355` `not-lt_binary64_16354` `gte-same_binary64_16353` `lte-same_binary64_16352` `gt-same_binary64_16351` `lt-same_binary64_16350` `sinh---cosh_binary64_16297` `sinh-+-cosh_binary64_16296` `sinh-cosh_binary64_16295` `tanh-def-c_binary64_16294` `tanh-def-b_binary64_16293` `tanh-def-a_binary64_16292` `cosh-def_binary64_16291` `sinh-def_binary64_16290` `tan-neg_binary64_16237` `cos-neg_binary64_16236` `sin-neg_binary64_16235` `tan-0_binary64_16234` `cos-0_binary64_16233` `sin-0_binary64_16232` `hang-m-tan_binary64_16231` `hang-p-tan_binary64_16230` `hang-m0-tan_binary64_16229` `hang-p0-tan_binary64_16228` `hang-0m-tan_binary64_16227` `hang-0p-tan_binary64_16226` `tan-+PI/2_binary64_16225` `tan-+PI_binary64_16224` `tan-PI_binary64_16223` `tan-PI/3_binary64_16222` `tan-PI/4_binary64_16221` `tan-PI/6_binary64_16220` `cos-+PI/2_binary64_16219` `cos-+PI_binary64_16218` `cos-PI_binary64_16217` `cos-PI/2_binary64_16216` `cos-PI/3_binary64_16215` `cos-PI/4_binary64_16214` `cos-PI/6_binary64_16213` `sin-+PI/2_binary64_16212` `sin-+PI_binary64_16211` `sin-PI_binary64_16210` `sin-PI/2_binary64_16209` `sin-PI/3_binary64_16208` `sin-PI/4_binary64_16207` `sin-PI/6_binary64_16206` `sub-1-sin_binary64_16205` `sub-1-cos_binary64_16204` `-1-add-sin_binary64_16203` `-1-add-cos_binary64_16202` `1-sub-sin_binary64_16201` `1-sub-cos_binary64_16200` `cos-sin-sum_binary64_16199` `log-E_binary64_16195` `pow-base-0_binary64_16189` `pow-base-1_binary64_16165` `unpow0_binary64_16164` `unpow-1_binary64_16162` `exp-lft-cube_binary64_16161` `exp-lft-sqr_binary64_16160` `exp-cbrt_binary64_16159` `exp-sqrt_binary64_16158` `div-exp_binary64_16156` `rec-exp_binary64_16155` `prod-exp_binary64_16154` `e-exp-1_binary64_16150` `exp-0_binary64_16147` `rem-log-exp_binary64_16146` `rem-exp-log_binary64_16145` `cube-neg_binary64_16132` `rem-cbrt-cube_binary64_16129` `sqr-abs_binary64_16120` `sqr-neg_binary64_16119` `sub0-neg_binary64_16092` `--rgt-identity_binary64_16091` `+-lft-identity_binary64_16089` `mul0-rgt_binary64_16088` `mul0-lft_binary64_16087` `div0_binary64_16086` `+-inverses_binary64_16084` `lft-mult-inverse_binary64_16083` `rgt-mult-inverse_binary64_16082` `remove-double-div_binary64_16081` `difference-of-sqr--1_binary64_16076` `difference-of-sqr-1_binary64_16075` `cancel-sign-sub_binary64_16070` `distribute-neg-out_binary64_16067` `distribute-rgt1-in_binary64_16061` `distribute-lft1-in_binary64_16060` `distribute-lft-out_binary64_16056`

Counts

188 → 152

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	318	5089
1	908	4220
2	3271	4200
3	4703	3876
4	4980	3876
5	4965	3876

prune150.0ms (1.6%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	152	0	152
Fresh	0	4	4
Picked	0	1	1
Done	0	3	3
Total	152	8	160

Error

Counts

160 → 8

Compiler

Compiled 3597 to 1020 computations (71.6% saved)

regimes792.0ms (8.4%)

Accuracy

Total 1.0b remaining (99.9%)

Threshold costs 0b (0%)

Compiler

Compiled 7575 to 5070 computations (33.1% saved)

bsearch0.0ms (0%)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`sub-neg_binary64_16098` `*-commutative_binary64_16036` `+-commutative_binary64_16035`
1×	`neg-mul-1_binary64_16101` `neg-sub0_binary64_16100`
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_16365` `if-if-and_binary64_16364` `if-if-or-not_binary64_16363` `if-if-or_binary64_16362` `if-not_binary64_16361` `if-same_binary64_16360` `if-false_binary64_16359` `if-true_binary64_16358` `tan-0_binary64_16234` `cos-0_binary64_16233` `sin-0_binary64_16232` `unpow1_binary64_16163` `e-exp-1_binary64_16150` `1-exp_binary64_16149` `exp-1-e_binary64_16148` `exp-0_binary64_16147` `sqr-abs_binary64_16120` `sqr-neg_binary64_16119` `unsub-neg_binary64_16099` `mul-1-neg_binary64_16097` `/-rgt-identity_binary64_16096` `-rgt-identity_binary64_16095` `-lft-identity_binary64_16094` `remove-double-neg_binary64_16093` `sub0-neg_binary64_16092` `--rgt-identity_binary64_16091` `+-rgt-identity_binary64_16090` `+-lft-identity_binary64_16089` `cancel-sign-sub-inv_binary64_16071` `cancel-sign-sub_binary64_16070` `distribute-neg-frac_binary64_16069` `distribute-frac-neg_binary64_16068` `distribute-neg-out_binary64_16067` `distribute-neg-in_binary64_16066` `distribute-rgt-neg-out_binary64_16065` `distribute-lft-neg-out_binary64_16064` `distribute-rgt-neg-in_binary64_16063` `distribute-lft-neg-in_binary64_16062`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	49
1	20	49
2	26	49
3	28	49
4	29	49
5	29	49

end0.0ms (0%)

sample1.8s (18.7%)

Algorithm

1×

intervals

Results

252.0ms	8000×	body	128	valid
23.0ms	641×	body	128	invalid

Compiler

Compiled 1531 to 1022 computations (33.2% saved)

Details

analyze732.0ms (7.7%)

sample20.0ms (0.2%)

simplify277.0ms (2.9%)

prune2.0ms (0%)

localize6.0ms (0.1%)

rewrite83.0ms (0.9%)

series532.0ms (5.6%)

simplify93.0ms (1%)

prune50.0ms (0.5%)

localize7.0ms (0.1%)

rewrite140.0ms (1.5%)

series663.0ms (7%)

simplify131.0ms (1.4%)

prune82.0ms (0.9%)

localize11.0ms (0.1%)

rewrite270.0ms (2.9%)

series966.0ms (10.2%)

simplify194.0ms (2%)

prune208.0ms (2.2%)

localize11.0ms (0.1%)

rewrite196.0ms (2.1%)

series1.9s (19.7%)

simplify204.0ms (2.2%)

prune150.0ms (1.6%)

regimes792.0ms (8.4%)

bsearch0.0ms (0%)

simplify6.0ms (0.1%)

end0.0ms (0%)

sample1.8s (18.7%)

Profiling