Details

analyze648.0ms (7.6%)

Algorithm

1×	search
2×	egg-herbie

Rules

865×	`associate--r+_binary64_9562`
800×	`distribute-neg-in_binary64_9587`
579×	`associate--l+_binary64_9563`
575×	`unsub-neg_binary64_9620`
568×	`distribute-rgt-in_binary64_9576`
538×	`sub-neg_binary64_9619`
383×	`+-commutative_binary64_9556`
375×	`distribute-lft-in_binary64_9575`
351×	`cancel-sign-sub-inv_binary64_9592`
269×	`*-commutative_binary64_9557`
220×	`distribute-rgt-neg-in_binary64_9584`
192×	`neg-sub0_binary64_9621`
185×	`associate-+l-_binary64_9561`
172×	`distribute-rgt-out_binary64_9579`
159×	`distribute-lft-neg-out_binary64_9585`
136×	`cancel-sign-sub_binary64_9591`
118×	`neg-mul-1_binary64_9622`
112×	`associate--l-_binary64_9564`
110×	`distribute-neg-out_binary64_9588`
108×	`associate-l_binary64_9567` `associate-r_binary64_9566`
81×	`associate-+l+_binary64_9559`
79×	`distribute-lft-neg-in_binary64_9583`
73×	`distribute-rgt-neg-out_binary64_9586`
64×	`log-prod_binary64_9712`
53×	`associate-+r+_binary64_9558`
51×	`sub0-neg_binary64_9613`
42×	`associate--r-_binary64_9565`
39×	`+-rgt-identity_binary64_9611`
37×	`remove-double-neg_binary64_9614`
34×	`mul0-rgt_binary64_9609` `mul0-lft_binary64_9608`
31×	`*-lft-identity_binary64_9615`
28×	`associate-+r-_binary64_9560`
21×	`distribute-rgt-out--_binary64_9580`
18×	`+-lft-identity_binary64_9610`
16×	`*-rgt-identity_binary64_9616`
14×	`distribute-lft-out--_binary64_9578`
8×	`--rgt-identity_binary64_9612`
4×	`distribute-rgt1-in_binary64_9582`
1×	`1-exp_binary64_9670`
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_9889` `erf-erfc_binary64_9888` `erf-odd_binary64_9887` `if-if-and-not_binary64_9886` `if-if-and_binary64_9885` `if-if-or-not_binary64_9884` `if-if-or_binary64_9883` `if-not_binary64_9882` `if-same_binary64_9881` `if-false_binary64_9880` `if-true_binary64_9879` `not-gte_binary64_9878` `not-lte_binary64_9877` `not-gt_binary64_9876` `not-lt_binary64_9875` `gte-same_binary64_9874` `lte-same_binary64_9873` `gt-same_binary64_9872` `lt-same_binary64_9871` `sinh---cosh_binary64_9818` `sinh-+-cosh_binary64_9817` `sinh-cosh_binary64_9816` `tanh-def-c_binary64_9815` `tanh-def-b_binary64_9814` `tanh-def-a_binary64_9813` `cosh-def_binary64_9812` `sinh-def_binary64_9811` `tan-neg_binary64_9758` `cos-neg_binary64_9757` `sin-neg_binary64_9756` `tan-0_binary64_9755` `cos-0_binary64_9754` `sin-0_binary64_9753` `hang-m-tan_binary64_9752` `hang-p-tan_binary64_9751` `hang-m0-tan_binary64_9750` `hang-p0-tan_binary64_9749` `hang-0m-tan_binary64_9748` `hang-0p-tan_binary64_9747` `tan-+PI/2_binary64_9746` `tan-+PI_binary64_9745` `tan-PI_binary64_9744` `tan-PI/3_binary64_9743` `tan-PI/4_binary64_9742` `tan-PI/6_binary64_9741` `cos-+PI/2_binary64_9740` `cos-+PI_binary64_9739` `cos-PI_binary64_9738` `cos-PI/2_binary64_9737` `cos-PI/3_binary64_9736` `cos-PI/4_binary64_9735` `cos-PI/6_binary64_9734` `sin-+PI/2_binary64_9733` `sin-+PI_binary64_9732` `sin-PI_binary64_9731` `sin-PI/2_binary64_9730` `sin-PI/3_binary64_9729` `sin-PI/4_binary64_9728` `sin-PI/6_binary64_9727` `sub-1-sin_binary64_9726` `sub-1-cos_binary64_9725` `-1-add-sin_binary64_9724` `-1-add-cos_binary64_9723` `1-sub-sin_binary64_9722` `1-sub-cos_binary64_9721` `cos-sin-sum_binary64_9720` `log-E_binary64_9716` `log-pow_binary64_9715` `log-rec_binary64_9714` `log-div_binary64_9713` `pow-base-0_binary64_9710` `unpow1/3_binary64_9693` `unpow3_binary64_9692` `unpow2_binary64_9691` `unpow1/2_binary64_9690` `pow-plus_binary64_9689` `exp-to-pow_binary64_9688` `pow-base-1_binary64_9686` `unpow0_binary64_9685` `unpow1_binary64_9684` `unpow-1_binary64_9683` `exp-lft-cube_binary64_9682` `exp-lft-sqr_binary64_9681` `exp-cbrt_binary64_9680` `exp-sqrt_binary64_9679` `exp-prod_binary64_9678` `div-exp_binary64_9677` `rec-exp_binary64_9676` `prod-exp_binary64_9675` `exp-diff_binary64_9674` `exp-neg_binary64_9673` `exp-sum_binary64_9672` `e-exp-1_binary64_9671` `exp-1-e_binary64_9669` `exp-0_binary64_9668` `rem-log-exp_binary64_9667` `rem-exp-log_binary64_9666` `cube-unmult_binary64_9663` `cube-mult_binary64_9656` `cube-div_binary64_9655` `cube-prod_binary64_9654` `cube-neg_binary64_9653` `rem-3cbrt-rft_binary64_9652` `rem-3cbrt-lft_binary64_9651` `rem-cbrt-cube_binary64_9650` `rem-cube-cbrt_binary64_9649` `sqr-abs_binary64_9641` `sqr-neg_binary64_9640` `rem-sqrt-square_binary64_9639` `rem-square-sqrt_binary64_9638` `times-frac_binary64_9632` `div-sub_binary64_9631` `mul-1-neg_binary64_9618` `/-rgt-identity_binary64_9617` `div0_binary64_9607` `-inverses_binary64_9606` `+-inverses_binary64_9605` `lft-mult-inverse_binary64_9604` `rgt-mult-inverse_binary64_9603` `remove-double-div_binary64_9602` `pow-sqr_binary64_9599` `sqr-pow_binary64_9598` `difference-of-sqr--1_binary64_9597` `difference-of-sqr-1_binary64_9596` `difference-of-squares_binary64_9595` `unswap-sqr_binary64_9594` `swap-sqr_binary64_9593` `distribute-neg-frac_binary64_9590` `distribute-frac-neg_binary64_9589` `distribute-lft1-in_binary64_9581` `distribute-lft-out_binary64_9577` `count-2_binary64_9574` `associate-/l/_binary64_9573` `associate-/r/_binary64_9572` `associate-/l_binary64_9571` `associate-/r_binary64_9570` `associate-l/_binary64_9569` `associate-*r/_binary64_9568`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	44	140
1	94	140
2	156	140
3	255	140
4	412	140
5	735	140
6	1325	140
7	1666	140
8	1787	140
9	1927	140
10	2284	140
11	2836	140
12	3305	140
13	3490	140
14	3489	140
15	3489	140
16	3489	140
17	3571	140
18	3571	140
19	4981	140
20	5332	140
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%	74.9%	25.1%	3
0%	74.9%	25.1%	4
0%	74.9%	25.1%	5
0%	62.4%	37.6%	6
0%	31.2%	68.8%	7
0%	31.2%	68.8%	8
0%	31.2%	68.8%	9
0%	28.1%	71.9%	10
6%	20.5%	73.5%	11
6.1%	20.4%	73.5%	12
7.7%	18.8%	73.5%	13
9.1%	16.6%	74.3%	14

Compiler

Compiled 14 to 13 computations (7.1% saved)

sample45.0ms (0.5%)

Algorithm

1×

intervals

Results

13.0ms	192×	body	128	valid
8.0ms	18×	body	1024	valid
5.0ms	21×	body	512	valid
4.0ms	25×	body	256	valid
1.0ms	15×	body	128	nan
0.0ms	2×	body	128	invalid

Compiler

Compiled 27 to 29 computations (-7.4% saved)

simplify36.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

173×	`distribute-rgt-in_binary64_9576`
147×	`unsub-neg_binary64_9620`
124×	`associate--r+_binary64_9562`
121×	`cancel-sign-sub-inv_binary64_9592`
91×	`associate--l+_binary64_9563`
88×	`distribute-lft-in_binary64_9575`
85×	`sub-neg_binary64_9619`
67×	`distribute-neg-in_binary64_9587`
49×	`associate--r-_binary64_9565`
48×	`neg-mul-1_binary64_9622` `associate-+r+_binary64_9558`
47×	`+-commutative_binary64_9556`
45×	`associate-+l+_binary64_9559`
41×	`neg-sub0_binary64_9621`
34×	`distribute-lft-neg-out_binary64_9585`
32×	`distribute-rgt-neg-in_binary64_9584` `associate--l-_binary64_9564` `*-commutative_binary64_9557`
26×	`*-lft-identity_binary64_9615` `associate-+l-_binary64_9561`
23×	`-rgt-identity_binary64_9616` `associate-l*_binary64_9567`
18×	`associate-r_binary64_9566`
17×	`distribute-rgt-neg-out_binary64_9586`
16×	`remove-double-neg_binary64_9614`
15×	`distribute-lft-neg-in_binary64_9583`
12×	`mul0-rgt_binary64_9609` `mul0-lft_binary64_9608` `associate-+r-_binary64_9560`
10×	`sub0-neg_binary64_9613` `--rgt-identity_binary64_9612`
7×	`+-rgt-identity_binary64_9611` `distribute-rgt-out--_binary64_9580`
6×	`+-lft-identity_binary64_9610` `distribute-neg-out_binary64_9588`
2×	`log-prod_binary64_9712` `distribute-rgt-out_binary64_9579`
1×	`1-exp_binary64_9670`
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_9889` `erf-erfc_binary64_9888` `erf-odd_binary64_9887` `if-if-and-not_binary64_9886` `if-if-and_binary64_9885` `if-if-or-not_binary64_9884` `if-if-or_binary64_9883` `if-not_binary64_9882` `if-same_binary64_9881` `if-false_binary64_9880` `if-true_binary64_9879` `not-gte_binary64_9878` `not-lte_binary64_9877` `not-gt_binary64_9876` `not-lt_binary64_9875` `gte-same_binary64_9874` `lte-same_binary64_9873` `gt-same_binary64_9872` `lt-same_binary64_9871` `sinh---cosh_binary64_9818` `sinh-+-cosh_binary64_9817` `sinh-cosh_binary64_9816` `tanh-def-c_binary64_9815` `tanh-def-b_binary64_9814` `tanh-def-a_binary64_9813` `cosh-def_binary64_9812` `sinh-def_binary64_9811` `tan-neg_binary64_9758` `cos-neg_binary64_9757` `sin-neg_binary64_9756` `tan-0_binary64_9755` `cos-0_binary64_9754` `sin-0_binary64_9753` `hang-m-tan_binary64_9752` `hang-p-tan_binary64_9751` `hang-m0-tan_binary64_9750` `hang-p0-tan_binary64_9749` `hang-0m-tan_binary64_9748` `hang-0p-tan_binary64_9747` `tan-+PI/2_binary64_9746` `tan-+PI_binary64_9745` `tan-PI_binary64_9744` `tan-PI/3_binary64_9743` `tan-PI/4_binary64_9742` `tan-PI/6_binary64_9741` `cos-+PI/2_binary64_9740` `cos-+PI_binary64_9739` `cos-PI_binary64_9738` `cos-PI/2_binary64_9737` `cos-PI/3_binary64_9736` `cos-PI/4_binary64_9735` `cos-PI/6_binary64_9734` `sin-+PI/2_binary64_9733` `sin-+PI_binary64_9732` `sin-PI_binary64_9731` `sin-PI/2_binary64_9730` `sin-PI/3_binary64_9729` `sin-PI/4_binary64_9728` `sin-PI/6_binary64_9727` `sub-1-sin_binary64_9726` `sub-1-cos_binary64_9725` `-1-add-sin_binary64_9724` `-1-add-cos_binary64_9723` `1-sub-sin_binary64_9722` `1-sub-cos_binary64_9721` `cos-sin-sum_binary64_9720` `log-E_binary64_9716` `log-pow_binary64_9715` `log-rec_binary64_9714` `log-div_binary64_9713` `pow-base-0_binary64_9710` `unpow1/3_binary64_9693` `unpow3_binary64_9692` `unpow2_binary64_9691` `unpow1/2_binary64_9690` `pow-plus_binary64_9689` `exp-to-pow_binary64_9688` `pow-base-1_binary64_9686` `unpow0_binary64_9685` `unpow1_binary64_9684` `unpow-1_binary64_9683` `exp-lft-cube_binary64_9682` `exp-lft-sqr_binary64_9681` `exp-cbrt_binary64_9680` `exp-sqrt_binary64_9679` `exp-prod_binary64_9678` `div-exp_binary64_9677` `rec-exp_binary64_9676` `prod-exp_binary64_9675` `exp-diff_binary64_9674` `exp-neg_binary64_9673` `exp-sum_binary64_9672` `e-exp-1_binary64_9671` `exp-1-e_binary64_9669` `exp-0_binary64_9668` `rem-log-exp_binary64_9667` `rem-exp-log_binary64_9666` `cube-unmult_binary64_9663` `cube-mult_binary64_9656` `cube-div_binary64_9655` `cube-prod_binary64_9654` `cube-neg_binary64_9653` `rem-3cbrt-rft_binary64_9652` `rem-3cbrt-lft_binary64_9651` `rem-cbrt-cube_binary64_9650` `rem-cube-cbrt_binary64_9649` `sqr-abs_binary64_9641` `sqr-neg_binary64_9640` `rem-sqrt-square_binary64_9639` `rem-square-sqrt_binary64_9638` `times-frac_binary64_9632` `div-sub_binary64_9631` `mul-1-neg_binary64_9618` `/-rgt-identity_binary64_9617` `div0_binary64_9607` `-inverses_binary64_9606` `+-inverses_binary64_9605` `lft-mult-inverse_binary64_9604` `rgt-mult-inverse_binary64_9603` `remove-double-div_binary64_9602` `pow-sqr_binary64_9599` `sqr-pow_binary64_9598` `difference-of-sqr--1_binary64_9597` `difference-of-sqr-1_binary64_9596` `difference-of-squares_binary64_9595` `unswap-sqr_binary64_9594` `swap-sqr_binary64_9593` `cancel-sign-sub_binary64_9591` `distribute-neg-frac_binary64_9590` `distribute-frac-neg_binary64_9589` `distribute-rgt1-in_binary64_9582` `distribute-lft1-in_binary64_9581` `distribute-lft-out--_binary64_9578` `distribute-lft-out_binary64_9577` `count-2_binary64_9574` `associate-/l/_binary64_9573` `associate-/r/_binary64_9572` `associate-/l_binary64_9571` `associate-/r_binary64_9570` `associate-l/_binary64_9569` `associate-*r/_binary64_9568`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	20
1	24	20
2	37	20
3	56	20
4	85	20
5	144	20
6	243	20
7	326	20
8	511	20
9	745	20
10	729	20
11	704	20
12	657	20

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

10.2b

Counts

1 → 1

Compiler

Compiled 13 to 12 computations (7.7% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 1 y)))) t)
0.0b	(*.f64 z (log.f64 (-.f64 1 y)))
0.2b	(*.f64 x (log.f64 y))
8.0b	(log.f64 (-.f64 1 y))

rewrite154.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

9.9b

Rules

29×	`add-sqr-sqrt_binary64_9648`
25×	`*-un-lft-identity_binary64_9626`
24×	`log-prod_binary64_9712`
14×	`add-cube-cbrt_binary64_9661`
11×	`pow1_binary64_9687`
9×	`add-exp-log_binary64_9664` `add-log-exp_binary64_9665` `distribute-rgt-in_binary64_9576` `distribute-lft-in_binary64_9575`
8×	`add-cbrt-cube_binary64_9662` `associate-r_binary64_9566`
7×	`difference-of-squares_binary64_9595`
6×	`associate-l_binary64_9567`
4×	`distribute-lft-out--_binary64_9578`
3×	`log-pow_binary64_9715` `cancel-sign-sub-inv_binary64_9592`
2×	`flip3--_binary64_9630` `log-div_binary64_9713` `flip--_binary64_9601` `pow-prod-down_binary64_9697` `prod-exp_binary64_9675` `cbrt-unprod_binary64_9659` `unswap-sqr_binary64_9594` `*-commutative_binary64_9557` `diff-log_binary64_9718`
1×	`rem-log-exp_binary64_9667` `sum-log_binary64_9717` `sub-neg_binary64_9619` `associate--l+_binary64_9563`

Counts

4 → 91

Calls

4 calls:

8.0ms	(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 1 y)))) t)
7.0ms	(*.f64 z (log.f64 (-.f64 1 y)))
5.0ms	(*.f64 x (log.f64 y))
5.0ms	(log.f64 (-.f64 1 y))

Compiler

Compiled 1855 to 997 computations (46.3% saved)

series1.2s (14%)

Error

0.1b

Counts

4 → 45

Calls

4 calls:

760.0ms	(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 1 y)))) t)
200.0ms	(*.f64 x (log.f64 y))
163.0ms	(*.f64 z (log.f64 (-.f64 1 y)))
33.0ms	(log.f64 (-.f64 1 y))

Compiler

Compiled 1629 to 1252 computations (23.1% saved)

simplify125.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

505×	`unsub-neg_binary64_9620`
378×	`sub-neg_binary64_9619`
352×	`times-frac_binary64_9632`
288×	`distribute-rgt-in_binary64_9576`
255×	`*-commutative_binary64_9557`
228×	`distribute-lft-in_binary64_9575`
191×	`associate-+l+_binary64_9559`
174×	`associate-+r+_binary64_9558`
152×	`neg-sub0_binary64_9621`
147×	`associate-l_binary64_9567`
143×	`neg-mul-1_binary64_9622`
132×	`associate-r_binary64_9566`
126×	`associate--r+_binary64_9562`
120×	`+-commutative_binary64_9556`
112×	`cancel-sign-sub-inv_binary64_9592`
109×	`distribute-neg-out_binary64_9588`
105×	`exp-sum_binary64_9672`
97×	`distribute-neg-in_binary64_9587`
95×	`distribute-rgt-neg-in_binary64_9584`
93×	`exp-prod_binary64_9678`
79×	`sqr-pow_binary64_9598` `associate-+l-_binary64_9561`
76×	`distribute-lft-neg-in_binary64_9583`
73×	`associate-+r-_binary64_9560`
72×	`log-prod_binary64_9712`
62×	`exp-diff_binary64_9674`
52×	`sub0-neg_binary64_9613`
50×	`associate--l+_binary64_9563`
49×	`cube-prod_binary64_9654`
46×	`distribute-rgt-out_binary64_9579`
44×	`distribute-lft-neg-out_binary64_9585`
41×	`distribute-rgt-neg-out_binary64_9586`
36×	`+-rgt-identity_binary64_9611` `unswap-sqr_binary64_9594` `cancel-sign-sub_binary64_9591`
32×	`*-lft-identity_binary64_9615`
30×	`*-rgt-identity_binary64_9616`
28×	`swap-sqr_binary64_9593`
24×	`associate--l-_binary64_9564`
20×	`exp-to-pow_binary64_9688`
15×	`div-sub_binary64_9631` `distribute-lft-out_binary64_9577`
14×	`log-div_binary64_9713` `cube-unmult_binary64_9663`
13×	`sqr-neg_binary64_9640`
12×	`pow-sqr_binary64_9599`
11×	`unpow3_binary64_9692` `cube-neg_binary64_9653`
9×	`difference-of-squares_binary64_9595` `distribute-rgt1-in_binary64_9582`
8×	`log-pow_binary64_9715` `rem-sqrt-square_binary64_9639` `mul0-rgt_binary64_9609` `mul0-lft_binary64_9608`
7×	`mul-1-neg_binary64_9618` `associate--r-_binary64_9565`
6×	`cube-div_binary64_9655` `associate-/l_binary64_9571` `associate-/r_binary64_9570`
5×	`unpow1/2_binary64_9690` `div-exp_binary64_9677` `prod-exp_binary64_9675` `cube-mult_binary64_9656` `--rgt-identity_binary64_9612`
4×	`log-rec_binary64_9714` `remove-double-neg_binary64_9614` `difference-of-sqr-1_binary64_9596` `distribute-rgt-out--_binary64_9580`
3×	`rem-exp-log_binary64_9666` `distribute-frac-neg_binary64_9589`
2×	`pow-plus_binary64_9689` `+-inverses_binary64_9605` `count-2_binary64_9574`
1×	`unpow2_binary64_9691` `unpow1_binary64_9684` `rec-exp_binary64_9676` `exp-neg_binary64_9673` `1-exp_binary64_9670` `exp-1-e_binary64_9669` `rem-log-exp_binary64_9667` `rem-3cbrt-lft_binary64_9651` `rem-square-sqrt_binary64_9638` `+-lft-identity_binary64_9610` `distribute-neg-frac_binary64_9590` `distribute-lft-out--_binary64_9578` `associate-/r/_binary64_9572`
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_9889` `erf-erfc_binary64_9888` `erf-odd_binary64_9887` `if-if-and-not_binary64_9886` `if-if-and_binary64_9885` `if-if-or-not_binary64_9884` `if-if-or_binary64_9883` `if-not_binary64_9882` `if-same_binary64_9881` `if-false_binary64_9880` `if-true_binary64_9879` `not-gte_binary64_9878` `not-lte_binary64_9877` `not-gt_binary64_9876` `not-lt_binary64_9875` `gte-same_binary64_9874` `lte-same_binary64_9873` `gt-same_binary64_9872` `lt-same_binary64_9871` `sinh---cosh_binary64_9818` `sinh-+-cosh_binary64_9817` `sinh-cosh_binary64_9816` `tanh-def-c_binary64_9815` `tanh-def-b_binary64_9814` `tanh-def-a_binary64_9813` `cosh-def_binary64_9812` `sinh-def_binary64_9811` `tan-neg_binary64_9758` `cos-neg_binary64_9757` `sin-neg_binary64_9756` `tan-0_binary64_9755` `cos-0_binary64_9754` `sin-0_binary64_9753` `hang-m-tan_binary64_9752` `hang-p-tan_binary64_9751` `hang-m0-tan_binary64_9750` `hang-p0-tan_binary64_9749` `hang-0m-tan_binary64_9748` `hang-0p-tan_binary64_9747` `tan-+PI/2_binary64_9746` `tan-+PI_binary64_9745` `tan-PI_binary64_9744` `tan-PI/3_binary64_9743` `tan-PI/4_binary64_9742` `tan-PI/6_binary64_9741` `cos-+PI/2_binary64_9740` `cos-+PI_binary64_9739` `cos-PI_binary64_9738` `cos-PI/2_binary64_9737` `cos-PI/3_binary64_9736` `cos-PI/4_binary64_9735` `cos-PI/6_binary64_9734` `sin-+PI/2_binary64_9733` `sin-+PI_binary64_9732` `sin-PI_binary64_9731` `sin-PI/2_binary64_9730` `sin-PI/3_binary64_9729` `sin-PI/4_binary64_9728` `sin-PI/6_binary64_9727` `sub-1-sin_binary64_9726` `sub-1-cos_binary64_9725` `-1-add-sin_binary64_9724` `-1-add-cos_binary64_9723` `1-sub-sin_binary64_9722` `1-sub-cos_binary64_9721` `cos-sin-sum_binary64_9720` `log-E_binary64_9716` `pow-base-0_binary64_9710` `unpow1/3_binary64_9693` `pow-base-1_binary64_9686` `unpow0_binary64_9685` `unpow-1_binary64_9683` `exp-lft-cube_binary64_9682` `exp-lft-sqr_binary64_9681` `exp-cbrt_binary64_9680` `exp-sqrt_binary64_9679` `e-exp-1_binary64_9671` `exp-0_binary64_9668` `rem-3cbrt-rft_binary64_9652` `rem-cbrt-cube_binary64_9650` `rem-cube-cbrt_binary64_9649` `sqr-abs_binary64_9641` `/-rgt-identity_binary64_9617` `div0_binary64_9607` `-inverses_binary64_9606` `lft-mult-inverse_binary64_9604` `rgt-mult-inverse_binary64_9603` `remove-double-div_binary64_9602` `difference-of-sqr--1_binary64_9597` `distribute-lft1-in_binary64_9581` `associate-/l/_binary64_9573` `associate-l/_binary64_9569` `associate-*r/_binary64_9568`

Counts

136 → 97

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	228	2154
1	484	1981
2	1408	1936
3	3419	1933
4	4494	1933
5	5200	1933

prune113.0ms (1.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	89	8	97
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	90	8	98

Error

0.0b

Counts

98 → 8

Compiler

Compiled 1843 to 968 computations (47.5% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(.f64 z (-.f64 (neg.f64 y) (.f64 (.f64 y y) (+.f64 1/2 (.f64 y 1/3)))))
0.0b	(.f64 (.f64 y y) (+.f64 1/2 (*.f64 y 1/3)))
0.2b	(*.f64 x (log.f64 y))
0.4b	(*.f64 y 1/3)

rewrite158.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

20×	`add-sqr-sqrt_binary64_9648`
16×	`pow1_binary64_9687`
15×	`add-exp-log_binary64_9664` `add-cbrt-cube_binary64_9662`
13×	`add-cube-cbrt_binary64_9661` `-un-lft-identity_binary64_9626` `associate-r*_binary64_9566`
10×	`associate-l_binary64_9567`
6×	`pow-prod-down_binary64_9697` `prod-exp_binary64_9675` `cbrt-unprod_binary64_9659` `log-prod_binary64_9712` `distribute-rgt-in_binary64_9576` `distribute-lft-in_binary64_9575`
4×	`add-log-exp_binary64_9665` `unswap-sqr_binary64_9594` `-commutative_binary64_9557` `associate-r/_binary64_9568`
2×	`sub-neg_binary64_9619` `cancel-sign-sub-inv_binary64_9592`
1×	`log-pow_binary64_9715` `flip3-+_binary64_9629` `flip-+_binary64_9600` `flip3--_binary64_9630` `flip--_binary64_9601`

Counts

4 → 90

Calls

4 calls:

8.0ms	(.f64 (.f64 y y) (+.f64 1/2 (*.f64 y 1/3)))
8.0ms	(.f64 z (-.f64 (neg.f64 y) (.f64 (.f64 y y) (+.f64 1/2 (.f64 y 1/3)))))
5.0ms	(*.f64 x (log.f64 y))
4.0ms	(*.f64 y 1/3)

Compiler

Compiled 2587 to 1261 computations (51.3% saved)

series534.0ms (6.2%)

Error

0.0b

Counts

4 → 23

Calls

4 calls:

222.0ms	(.f64 z (-.f64 (neg.f64 y) (.f64 (.f64 y y) (+.f64 1/2 (.f64 y 1/3)))))
187.0ms	(*.f64 x (log.f64 y))
75.0ms	(.f64 (.f64 y y) (+.f64 1/2 (*.f64 y 1/3)))
27.0ms	(*.f64 y 1/3)

Compiler

Compiled 1364 to 1006 computations (26.2% saved)

simplify99.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

827×	`distribute-rgt-in_binary64_9576`
318×	`associate-l_binary64_9567`
295×	`distribute-lft-neg-out_binary64_9585`
275×	`distribute-rgt-neg-out_binary64_9586`
266×	`associate-r_binary64_9566`
241×	`distribute-rgt-neg-in_binary64_9584`
204×	`cancel-sign-sub-inv_binary64_9592`
180×	`distribute-lft-neg-in_binary64_9583`
142×	`*-commutative_binary64_9557`
131×	`log-prod_binary64_9712`
92×	`unswap-sqr_binary64_9594`
79×	`exp-prod_binary64_9678` `neg-sub0_binary64_9621`
74×	`distribute-lft-in_binary64_9575`
69×	`neg-mul-1_binary64_9622`
63×	`distribute-neg-in_binary64_9587`
51×	`cube-prod_binary64_9654` `sqr-pow_binary64_9598` `distribute-rgt-out_binary64_9579`
48×	`unsub-neg_binary64_9620`
40×	`sub-neg_binary64_9619`
36×	`distribute-lft-out_binary64_9577`
33×	`*-lft-identity_binary64_9615`
31×	`*-rgt-identity_binary64_9616`
25×	`exp-sum_binary64_9672`
24×	`swap-sqr_binary64_9593`
23×	`+-commutative_binary64_9556`
19×	`distribute-neg-out_binary64_9588` `distribute-rgt-out--_binary64_9580`
14×	`distribute-lft-out--_binary64_9578`
13×	`exp-diff_binary64_9674` `distribute-rgt1-in_binary64_9582`
9×	`remove-double-neg_binary64_9614` `associate-+r+_binary64_9558`
8×	`unpow3_binary64_9692` `cube-unmult_binary64_9663` `associate--r+_binary64_9562`
6×	`cube-neg_binary64_9653` `div-sub_binary64_9631`
5×	`cube-mult_binary64_9656` `sqr-neg_binary64_9640` `mul-1-neg_binary64_9618` `pow-sqr_binary64_9599` `associate-+l+_binary64_9559`
4×	`log-div_binary64_9713` `pow-plus_binary64_9689` `exp-neg_binary64_9673` `difference-of-squares_binary64_9595` `cancel-sign-sub_binary64_9591`
3×	`distribute-lft1-in_binary64_9581`
2×	`log-pow_binary64_9715` `+-rgt-identity_binary64_9611` `count-2_binary64_9574` `associate-/r*_binary64_9570` `associate-+l-_binary64_9561` `associate-+r-_binary64_9560`
1×	`log-rec_binary64_9714` `unpow1/3_binary64_9693` `unpow2_binary64_9691` `unpow1/2_binary64_9690` `exp-to-pow_binary64_9688` `unpow1_binary64_9684` `1-exp_binary64_9670` `exp-1-e_binary64_9669` `rem-exp-log_binary64_9666` `rem-sqrt-square_binary64_9639` `sub0-neg_binary64_9613` `+-inverses_binary64_9605` `distribute-frac-neg_binary64_9589` `associate--r-_binary64_9565` `associate--l-_binary64_9564`
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_9889` `erf-erfc_binary64_9888` `erf-odd_binary64_9887` `if-if-and-not_binary64_9886` `if-if-and_binary64_9885` `if-if-or-not_binary64_9884` `if-if-or_binary64_9883` `if-not_binary64_9882` `if-same_binary64_9881` `if-false_binary64_9880` `if-true_binary64_9879` `not-gte_binary64_9878` `not-lte_binary64_9877` `not-gt_binary64_9876` `not-lt_binary64_9875` `gte-same_binary64_9874` `lte-same_binary64_9873` `gt-same_binary64_9872` `lt-same_binary64_9871` `sinh---cosh_binary64_9818` `sinh-+-cosh_binary64_9817` `sinh-cosh_binary64_9816` `tanh-def-c_binary64_9815` `tanh-def-b_binary64_9814` `tanh-def-a_binary64_9813` `cosh-def_binary64_9812` `sinh-def_binary64_9811` `tan-neg_binary64_9758` `cos-neg_binary64_9757` `sin-neg_binary64_9756` `tan-0_binary64_9755` `cos-0_binary64_9754` `sin-0_binary64_9753` `hang-m-tan_binary64_9752` `hang-p-tan_binary64_9751` `hang-m0-tan_binary64_9750` `hang-p0-tan_binary64_9749` `hang-0m-tan_binary64_9748` `hang-0p-tan_binary64_9747` `tan-+PI/2_binary64_9746` `tan-+PI_binary64_9745` `tan-PI_binary64_9744` `tan-PI/3_binary64_9743` `tan-PI/4_binary64_9742` `tan-PI/6_binary64_9741` `cos-+PI/2_binary64_9740` `cos-+PI_binary64_9739` `cos-PI_binary64_9738` `cos-PI/2_binary64_9737` `cos-PI/3_binary64_9736` `cos-PI/4_binary64_9735` `cos-PI/6_binary64_9734` `sin-+PI/2_binary64_9733` `sin-+PI_binary64_9732` `sin-PI_binary64_9731` `sin-PI/2_binary64_9730` `sin-PI/3_binary64_9729` `sin-PI/4_binary64_9728` `sin-PI/6_binary64_9727` `sub-1-sin_binary64_9726` `sub-1-cos_binary64_9725` `-1-add-sin_binary64_9724` `-1-add-cos_binary64_9723` `1-sub-sin_binary64_9722` `1-sub-cos_binary64_9721` `cos-sin-sum_binary64_9720` `log-E_binary64_9716` `pow-base-0_binary64_9710` `pow-base-1_binary64_9686` `unpow0_binary64_9685` `unpow-1_binary64_9683` `exp-lft-cube_binary64_9682` `exp-lft-sqr_binary64_9681` `exp-cbrt_binary64_9680` `exp-sqrt_binary64_9679` `div-exp_binary64_9677` `rec-exp_binary64_9676` `prod-exp_binary64_9675` `e-exp-1_binary64_9671` `exp-0_binary64_9668` `rem-log-exp_binary64_9667` `cube-div_binary64_9655` `rem-3cbrt-rft_binary64_9652` `rem-3cbrt-lft_binary64_9651` `rem-cbrt-cube_binary64_9650` `rem-cube-cbrt_binary64_9649` `sqr-abs_binary64_9641` `rem-square-sqrt_binary64_9638` `times-frac_binary64_9632` `/-rgt-identity_binary64_9617` `--rgt-identity_binary64_9612` `+-lft-identity_binary64_9610` `mul0-rgt_binary64_9609` `mul0-lft_binary64_9608` `div0_binary64_9607` `-inverses_binary64_9606` `lft-mult-inverse_binary64_9604` `rgt-mult-inverse_binary64_9603` `remove-double-div_binary64_9602` `difference-of-sqr--1_binary64_9597` `difference-of-sqr-1_binary64_9596` `distribute-neg-frac_binary64_9590` `associate-/l/_binary64_9573` `associate-/r/_binary64_9572` `associate-/l_binary64_9571` `associate-l/_binary64_9569` `associate-r/_binary64_9568` `associate--l+_binary64_9563`

Counts

113 → 86

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	197	1677
1	465	1543
2	1791	1487
3	4975	1487
4	5019	1487

prune129.0ms (1.5%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	84	2	86
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	84	10	94

Error

0.0b

Counts

94 → 10

Compiler

Compiled 2406 to 1302 computations (45.9% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(pow.f64 (.f64 z (.f64 y (-.f64 -1 (.f64 y (+.f64 (.f64 1/3 y) 1/2))))) 3)
0.2b	(*.f64 x (log.f64 y))
0.4b	(*.f64 1/3 y)
25.9b	(cbrt.f64 (pow.f64 (.f64 z (.f64 y (-.f64 -1 (.f64 y (+.f64 (.f64 1/3 y) 1/2))))) 3))

rewrite175.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

16×	`add-sqr-sqrt_binary64_9648`
15×	`pow1_binary64_9687`
14×	`add-exp-log_binary64_9664` `add-cbrt-cube_binary64_9662`
12×	`add-cube-cbrt_binary64_9661` `*-un-lft-identity_binary64_9626`
8×	`associate-*r/_binary64_9568` `cbrt-prod_binary64_9657`
7×	`associate-r_binary64_9566`
6×	`associate-l_binary64_9567` `log-prod_binary64_9712`
5×	`pow-prod-down_binary64_9697` `prod-exp_binary64_9675` `cbrt-unprod_binary64_9659`
4×	`add-log-exp_binary64_9665` `cube-div_binary64_9655`
3×	`distribute-rgt-in_binary64_9576` `distribute-lft-in_binary64_9575` `pow-unpow_binary64_9703` `pow-pow_binary64_9698` `pow-exp_binary64_9694` `rem-cube-cbrt_binary64_9649`
2×	`flip3--_binary64_9630` `cbrt-div_binary64_9658` `flip--_binary64_9601` `unpow-prod-down_binary64_9705` `unpow3_binary64_9692` `cube-mult_binary64_9656` `cube-prod_binary64_9654` `sqr-pow_binary64_9598` `unswap-sqr_binary64_9594` `*-commutative_binary64_9557`
1×	`pow1/3_binary64_9708` `rem-cbrt-cube_binary64_9650` `log-pow_binary64_9715` `pow-to-exp_binary64_9695`

Counts

4 → 89

Calls

4 calls:

8.0ms	(pow.f64 (.f64 z (.f64 y (-.f64 -1 (.f64 y (+.f64 (.f64 1/3 y) 1/2))))) 3)
5.0ms	(*.f64 x (log.f64 y))
4.0ms	(*.f64 1/3 y)
4.0ms	(cbrt.f64 (pow.f64 (.f64 z (.f64 y (-.f64 -1 (.f64 y (+.f64 (.f64 1/3 y) 1/2))))) 3))

Compiler

Compiled 2900 to 1881 computations (35.1% saved)

series810.0ms (9.4%)

Error

0.0b

Counts

4 → 26

Calls

4 calls:

301.0ms	(pow.f64 (.f64 z (.f64 y (-.f64 -1 (.f64 y (+.f64 (.f64 1/3 y) 1/2))))) 3)
248.0ms	(cbrt.f64 (pow.f64 (.f64 z (.f64 y (-.f64 -1 (.f64 y (+.f64 (.f64 1/3 y) 1/2))))) 3))
196.0ms	(*.f64 x (log.f64 y))
28.0ms	(*.f64 1/3 y)

Compiler

Compiled 1838 to 1482 computations (19.4% saved)

simplify76.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

924×	`distribute-rgt-in_binary64_9576`
257×	`associate-r_binary64_9566`
254×	`associate-l_binary64_9567`
176×	`unswap-sqr_binary64_9594`
167×	`distribute-rgt-neg-in_binary64_9584`
152×	`cancel-sign-sub-inv_binary64_9592`
144×	`distribute-lft-neg-in_binary64_9583`
125×	`*-commutative_binary64_9557`
101×	`swap-sqr_binary64_9593`
95×	`log-prod_binary64_9712`
91×	`sqr-pow_binary64_9598`
83×	`exp-prod_binary64_9678`
74×	`cube-prod_binary64_9654`
73×	`distribute-neg-in_binary64_9587`
66×	`distribute-lft-in_binary64_9575`
64×	`distribute-rgt-out_binary64_9579`
50×	`distribute-lft-neg-out_binary64_9585`
45×	`neg-sub0_binary64_9621` `+-commutative_binary64_9556`
40×	`distribute-rgt-neg-out_binary64_9586`
35×	`neg-mul-1_binary64_9622`
27×	`sub-neg_binary64_9619`
21×	`associate-+l+_binary64_9559` `associate-+r+_binary64_9558`
19×	`unpow3_binary64_9692` `distribute-lft-out_binary64_9577`
18×	`cube-mult_binary64_9656` `unsub-neg_binary64_9620` `mul-1-neg_binary64_9618` `-rgt-identity_binary64_9616` `-lft-identity_binary64_9615`
11×	`cube-unmult_binary64_9663` `pow-sqr_binary64_9599`
8×	`log-pow_binary64_9715`
7×	`rem-cbrt-cube_binary64_9650`
6×	`associate--r+_binary64_9562`
4×	`pow-plus_binary64_9689` `exp-sum_binary64_9672` `rem-sqrt-square_binary64_9639` `distribute-rgt1-in_binary64_9582` `distribute-rgt-out--_binary64_9580` `distribute-lft-out--_binary64_9578`
2×	`log-div_binary64_9713` `unpow1/2_binary64_9690` `unpow1_binary64_9684` `sqr-neg_binary64_9640` `remove-double-neg_binary64_9614`
1×	`log-rec_binary64_9714` `unpow1/3_binary64_9693` `unpow2_binary64_9691` `exp-to-pow_binary64_9688` `exp-diff_binary64_9674` `1-exp_binary64_9670` `exp-1-e_binary64_9669` `rem-exp-log_binary64_9666` `cube-neg_binary64_9653` `rem-3cbrt-lft_binary64_9651` `+-inverses_binary64_9605` `distribute-lft1-in_binary64_9581` `count-2_binary64_9574` `associate-/l*_binary64_9571` `associate--r-_binary64_9565`
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_9889` `erf-erfc_binary64_9888` `erf-odd_binary64_9887` `if-if-and-not_binary64_9886` `if-if-and_binary64_9885` `if-if-or-not_binary64_9884` `if-if-or_binary64_9883` `if-not_binary64_9882` `if-same_binary64_9881` `if-false_binary64_9880` `if-true_binary64_9879` `not-gte_binary64_9878` `not-lte_binary64_9877` `not-gt_binary64_9876` `not-lt_binary64_9875` `gte-same_binary64_9874` `lte-same_binary64_9873` `gt-same_binary64_9872` `lt-same_binary64_9871` `sinh---cosh_binary64_9818` `sinh-+-cosh_binary64_9817` `sinh-cosh_binary64_9816` `tanh-def-c_binary64_9815` `tanh-def-b_binary64_9814` `tanh-def-a_binary64_9813` `cosh-def_binary64_9812` `sinh-def_binary64_9811` `tan-neg_binary64_9758` `cos-neg_binary64_9757` `sin-neg_binary64_9756` `tan-0_binary64_9755` `cos-0_binary64_9754` `sin-0_binary64_9753` `hang-m-tan_binary64_9752` `hang-p-tan_binary64_9751` `hang-m0-tan_binary64_9750` `hang-p0-tan_binary64_9749` `hang-0m-tan_binary64_9748` `hang-0p-tan_binary64_9747` `tan-+PI/2_binary64_9746` `tan-+PI_binary64_9745` `tan-PI_binary64_9744` `tan-PI/3_binary64_9743` `tan-PI/4_binary64_9742` `tan-PI/6_binary64_9741` `cos-+PI/2_binary64_9740` `cos-+PI_binary64_9739` `cos-PI_binary64_9738` `cos-PI/2_binary64_9737` `cos-PI/3_binary64_9736` `cos-PI/4_binary64_9735` `cos-PI/6_binary64_9734` `sin-+PI/2_binary64_9733` `sin-+PI_binary64_9732` `sin-PI_binary64_9731` `sin-PI/2_binary64_9730` `sin-PI/3_binary64_9729` `sin-PI/4_binary64_9728` `sin-PI/6_binary64_9727` `sub-1-sin_binary64_9726` `sub-1-cos_binary64_9725` `-1-add-sin_binary64_9724` `-1-add-cos_binary64_9723` `1-sub-sin_binary64_9722` `1-sub-cos_binary64_9721` `cos-sin-sum_binary64_9720` `log-E_binary64_9716` `pow-base-0_binary64_9710` `pow-base-1_binary64_9686` `unpow0_binary64_9685` `unpow-1_binary64_9683` `exp-lft-cube_binary64_9682` `exp-lft-sqr_binary64_9681` `exp-cbrt_binary64_9680` `exp-sqrt_binary64_9679` `div-exp_binary64_9677` `rec-exp_binary64_9676` `prod-exp_binary64_9675` `exp-neg_binary64_9673` `e-exp-1_binary64_9671` `exp-0_binary64_9668` `rem-log-exp_binary64_9667` `cube-div_binary64_9655` `rem-3cbrt-rft_binary64_9652` `rem-cube-cbrt_binary64_9649` `sqr-abs_binary64_9641` `rem-square-sqrt_binary64_9638` `times-frac_binary64_9632` `div-sub_binary64_9631` `/-rgt-identity_binary64_9617` `sub0-neg_binary64_9613` `--rgt-identity_binary64_9612` `+-rgt-identity_binary64_9611` `+-lft-identity_binary64_9610` `mul0-rgt_binary64_9609` `mul0-lft_binary64_9608` `div0_binary64_9607` `-inverses_binary64_9606` `lft-mult-inverse_binary64_9604` `rgt-mult-inverse_binary64_9603` `remove-double-div_binary64_9602` `difference-of-sqr--1_binary64_9597` `difference-of-sqr-1_binary64_9596` `difference-of-squares_binary64_9595` `cancel-sign-sub_binary64_9591` `distribute-neg-frac_binary64_9590` `distribute-frac-neg_binary64_9589` `distribute-neg-out_binary64_9588` `associate-/l/_binary64_9573` `associate-/r/_binary64_9572` `associate-/r_binary64_9570` `associate-l/_binary64_9569` `associate-r/_binary64_9568` `associate--l-_binary64_9564` `associate--l+_binary64_9563` `associate-+l-_binary64_9561` `associate-+r-_binary64_9560`

Counts

115 → 88

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	231	2211
1	539	1991
2	1968	1897
3	5233	1897

prune138.0ms (1.6%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	88	0	88
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	88	10	98

Error

0.0b

Counts

98 → 10

Compiler

Compiled 2612 to 1686 computations (35.5% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (-.f64 1 y))
0.2b	(*.f64 x (log.f64 y))
8.1b	(log.f64 (sqrt.f64 (-.f64 1 y)))
8.1b	(log.f64 (sqrt.f64 (-.f64 1 y)))

rewrite159.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

25×	`add-sqr-sqrt_binary64_9648`
24×	`log-prod_binary64_9712`
22×	`*-un-lft-identity_binary64_9626`
18×	`sqrt-prod_binary64_9642`
13×	`add-cube-cbrt_binary64_9661`
12×	`pow1_binary64_9687`
8×	`add-exp-log_binary64_9664`
7×	`log-pow_binary64_9715`
6×	`sqrt-div_binary64_9643` `difference-of-squares_binary64_9595` `add-cbrt-cube_binary64_9662`
4×	`log-div_binary64_9713` `add-log-exp_binary64_9665` `associate-r_binary64_9566`
3×	`pow1/2_binary64_9706` `sqrt-pow1_binary64_9644` `flip3--_binary64_9630` `flip--_binary64_9601` `distribute-lft-out--_binary64_9578` `distribute-rgt-in_binary64_9576` `distribute-lft-in_binary64_9575` `associate-l_binary64_9567`
2×	`rem-log-exp_binary64_9667`
1×	`pow-prod-down_binary64_9697` `prod-exp_binary64_9675` `cbrt-unprod_binary64_9659` `unswap-sqr_binary64_9594` `*-commutative_binary64_9557` `rem-sqrt-square_binary64_9639`

Counts

4 → 87

Calls

4 calls:

7.0ms	(log.f64 (sqrt.f64 (-.f64 1 y)))
5.0ms	(log.f64 (sqrt.f64 (-.f64 1 y)))
5.0ms	(*.f64 x (log.f64 y))
4.0ms	(sqrt.f64 (-.f64 1 y))

Compiler

Compiled 2464 to 1557 computations (36.8% saved)

series316.0ms (3.7%)

Error

0.0b

Counts

4 → 24

Calls

4 calls:

178.0ms	(*.f64 x (log.f64 y))
41.0ms	(log.f64 (sqrt.f64 (-.f64 1 y)))
38.0ms	(log.f64 (sqrt.f64 (-.f64 1 y)))
29.0ms	(sqrt.f64 (-.f64 1 y))

Compiler

Compiled 1513 to 1155 computations (23.7% saved)

simplify106.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

519×	`distribute-rgt-in_binary64_9576`
488×	`cancel-sign-sub-inv_binary64_9592`
470×	`distribute-lft-in_binary64_9575`
200×	`associate-l_binary64_9567`
188×	`exp-sum_binary64_9672`
157×	`distribute-rgt-neg-in_binary64_9584`
153×	`associate-r_binary64_9566`
152×	`associate--r+_binary64_9562`
134×	`sub-neg_binary64_9619`
133×	`div-sub_binary64_9631` `distribute-lft-neg-in_binary64_9583`
119×	`distribute-lft-out_binary64_9577`
94×	`distribute-rgt-out_binary64_9579`
92×	`exp-diff_binary64_9674`
84×	`distribute-neg-in_binary64_9587`
80×	`*-commutative_binary64_9557`
64×	`exp-prod_binary64_9678`
60×	`log-prod_binary64_9712`
59×	`unsub-neg_binary64_9620`
53×	`distribute-rgt-out--_binary64_9580` `associate--r-_binary64_9565`
50×	`distribute-lft-out--_binary64_9578`
49×	`neg-sub0_binary64_9621`
46×	`associate--l+_binary64_9563`
45×	`neg-mul-1_binary64_9622`
43×	`+-commutative_binary64_9556`
42×	`cube-prod_binary64_9654` `distribute-lft-neg-out_binary64_9585`
38×	`associate-+l+_binary64_9559`
37×	`distribute-rgt-neg-out_binary64_9586`
35×	`associate-+r+_binary64_9558`
33×	`sqr-pow_binary64_9598`
24×	`associate--l-_binary64_9564` `associate-+l-_binary64_9561`
22×	`unswap-sqr_binary64_9594`
19×	`*-lft-identity_binary64_9615` `sub0-neg_binary64_9613`
18×	`exp-to-pow_binary64_9688`
17×	`*-rgt-identity_binary64_9616` `associate-+r-_binary64_9560`
14×	`distribute-rgt1-in_binary64_9582`
13×	`log-div_binary64_9713`
12×	`swap-sqr_binary64_9593`
11×	`cube-unmult_binary64_9663`
10×	`+-rgt-identity_binary64_9611`
9×	`prod-exp_binary64_9675`
8×	`distribute-neg-out_binary64_9588` `associate-/r*_binary64_9570`
7×	`unpow3_binary64_9692` `exp-neg_binary64_9673`
6×	`log-pow_binary64_9715` `cube-neg_binary64_9653`
5×	`pow-plus_binary64_9689` `rem-sqrt-square_binary64_9639` `pow-sqr_binary64_9599`
4×	`difference-of-sqr-1_binary64_9596` `associate-/l*_binary64_9571`
3×	`unpow1/2_binary64_9690` `rem-exp-log_binary64_9666` `sqr-neg_binary64_9640` `mul-1-neg_binary64_9618` `remove-double-neg_binary64_9614` `count-2_binary64_9574`
2×	`log-rec_binary64_9714` `cube-mult_binary64_9656` `cube-div_binary64_9655` `+-inverses_binary64_9605`
1×	`unpow2_binary64_9691` `unpow1_binary64_9684` `rec-exp_binary64_9676` `1-exp_binary64_9670` `exp-1-e_binary64_9669` `rem-square-sqrt_binary64_9638` `--rgt-identity_binary64_9612` `+-lft-identity_binary64_9610` `mul0-rgt_binary64_9609` `mul0-lft_binary64_9608` `distribute-frac-neg_binary64_9589` `distribute-lft1-in_binary64_9581` `associate-/l/_binary64_9573` `associate-*r/_binary64_9568`
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_9889` `erf-erfc_binary64_9888` `erf-odd_binary64_9887` `if-if-and-not_binary64_9886` `if-if-and_binary64_9885` `if-if-or-not_binary64_9884` `if-if-or_binary64_9883` `if-not_binary64_9882` `if-same_binary64_9881` `if-false_binary64_9880` `if-true_binary64_9879` `not-gte_binary64_9878` `not-lte_binary64_9877` `not-gt_binary64_9876` `not-lt_binary64_9875` `gte-same_binary64_9874` `lte-same_binary64_9873` `gt-same_binary64_9872` `lt-same_binary64_9871` `sinh---cosh_binary64_9818` `sinh-+-cosh_binary64_9817` `sinh-cosh_binary64_9816` `tanh-def-c_binary64_9815` `tanh-def-b_binary64_9814` `tanh-def-a_binary64_9813` `cosh-def_binary64_9812` `sinh-def_binary64_9811` `tan-neg_binary64_9758` `cos-neg_binary64_9757` `sin-neg_binary64_9756` `tan-0_binary64_9755` `cos-0_binary64_9754` `sin-0_binary64_9753` `hang-m-tan_binary64_9752` `hang-p-tan_binary64_9751` `hang-m0-tan_binary64_9750` `hang-p0-tan_binary64_9749` `hang-0m-tan_binary64_9748` `hang-0p-tan_binary64_9747` `tan-+PI/2_binary64_9746` `tan-+PI_binary64_9745` `tan-PI_binary64_9744` `tan-PI/3_binary64_9743` `tan-PI/4_binary64_9742` `tan-PI/6_binary64_9741` `cos-+PI/2_binary64_9740` `cos-+PI_binary64_9739` `cos-PI_binary64_9738` `cos-PI/2_binary64_9737` `cos-PI/3_binary64_9736` `cos-PI/4_binary64_9735` `cos-PI/6_binary64_9734` `sin-+PI/2_binary64_9733` `sin-+PI_binary64_9732` `sin-PI_binary64_9731` `sin-PI/2_binary64_9730` `sin-PI/3_binary64_9729` `sin-PI/4_binary64_9728` `sin-PI/6_binary64_9727` `sub-1-sin_binary64_9726` `sub-1-cos_binary64_9725` `-1-add-sin_binary64_9724` `-1-add-cos_binary64_9723` `1-sub-sin_binary64_9722` `1-sub-cos_binary64_9721` `cos-sin-sum_binary64_9720` `log-E_binary64_9716` `pow-base-0_binary64_9710` `unpow1/3_binary64_9693` `pow-base-1_binary64_9686` `unpow0_binary64_9685` `unpow-1_binary64_9683` `exp-lft-cube_binary64_9682` `exp-lft-sqr_binary64_9681` `exp-cbrt_binary64_9680` `exp-sqrt_binary64_9679` `div-exp_binary64_9677` `e-exp-1_binary64_9671` `exp-0_binary64_9668` `rem-log-exp_binary64_9667` `rem-3cbrt-rft_binary64_9652` `rem-3cbrt-lft_binary64_9651` `rem-cbrt-cube_binary64_9650` `rem-cube-cbrt_binary64_9649` `sqr-abs_binary64_9641` `times-frac_binary64_9632` `/-rgt-identity_binary64_9617` `div0_binary64_9607` `-inverses_binary64_9606` `lft-mult-inverse_binary64_9604` `rgt-mult-inverse_binary64_9603` `remove-double-div_binary64_9602` `difference-of-sqr--1_binary64_9597` `difference-of-squares_binary64_9595` `cancel-sign-sub_binary64_9591` `distribute-neg-frac_binary64_9590` `associate-/r/_binary64_9572` `associate-l/_binary64_9569`

Counts

111 → 56

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	143	1369
1	258	1272
2	655	1248
3	1466	1233
4	4424	1233
5	5070	1233

prune82.0ms (1%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	55	1	56
Fresh	0	7	7
Picked	1	0	1
Done	0	2	2
Total	56	10	66

Error

0.0b

Counts

66 → 10

Compiler

Compiled 1517 to 936 computations (38.3% saved)

regimes822.0ms (9.6%)

Accuracy

Total 0.2b remaining (85.6%)

Threshold costs 0.2b (85.6%)

Compiler

Compiled 8516 to 6774 computations (20.5% saved)

bsearch0.0ms (0%)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

16×	`*-commutative_binary64_9557` `+-commutative_binary64_9556`
13×	`sub-neg_binary64_9619`
12×	`neg-mul-1_binary64_9622` `neg-sub0_binary64_9621`
6×	`distribute-rgt-neg-in_binary64_9584`
5×	`unsub-neg_binary64_9620` `distribute-lft-neg-in_binary64_9583`
2×	`cancel-sign-sub-inv_binary64_9592` `distribute-neg-out_binary64_9588` `distribute-neg-in_binary64_9587` `distribute-lft-neg-out_binary64_9585`
1×	`distribute-rgt-neg-out_binary64_9586`
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_9886` `if-if-and_binary64_9885` `if-if-or-not_binary64_9884` `if-if-or_binary64_9883` `if-not_binary64_9882` `if-same_binary64_9881` `if-false_binary64_9880` `if-true_binary64_9879` `tan-0_binary64_9755` `cos-0_binary64_9754` `sin-0_binary64_9753` `unpow1_binary64_9684` `e-exp-1_binary64_9671` `1-exp_binary64_9670` `exp-1-e_binary64_9669` `exp-0_binary64_9668` `sqr-abs_binary64_9641` `sqr-neg_binary64_9640` `mul-1-neg_binary64_9618` `/-rgt-identity_binary64_9617` `-rgt-identity_binary64_9616` `-lft-identity_binary64_9615` `remove-double-neg_binary64_9614` `sub0-neg_binary64_9613` `--rgt-identity_binary64_9612` `+-rgt-identity_binary64_9611` `+-lft-identity_binary64_9610` `cancel-sign-sub_binary64_9591` `distribute-neg-frac_binary64_9590` `distribute-frac-neg_binary64_9589`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	18	32
1	35	32
2	52	32
3	73	30
4	96	30
5	108	30
6	115	30
7	117	30
8	117	30

end0.0ms (0%)

sample2.6s (30.1%)

Algorithm

1×

intervals

Results

388.0ms	5793×	body	128	valid
302.0ms	640×	body	1024	valid
223.0ms	894×	body	512	valid
96.0ms	657×	body	256	valid
21.0ms	268×	body	128	nan
10.0ms	16×	body	2048	valid
3.0ms	39×	body	128	invalid

Compiler

Compiled 1399 to 1114 computations (20.4% saved)

Iter	Nodes	Cost
0	13	20
1	24	20
2	37	20
3	56	20
4	85	20
5	144	20
6	243	20
7	326	20
8	511	20
9	745	20
10	729	20
11	704	20
12	657	20

Iter	Nodes	Cost
0	13	20
1	24	20
2	37	20
3	56	20
4	85	20
5	144	20
6	243	20
7	326	20
8	511	20
9	745	20
10	729	20
11	704	20
12	657	20

Details

analyze648.0ms (7.6%)

sample45.0ms (0.5%)

simplify36.0ms (0.4%)

prune4.0ms (0%)

localize11.0ms (0.1%)

rewrite154.0ms (1.8%)

series1.2s (14%)

simplify125.0ms (1.5%)

prune113.0ms (1.3%)

localize17.0ms (0.2%)

rewrite158.0ms (1.8%)

series534.0ms (6.2%)

simplify99.0ms (1.2%)

prune129.0ms (1.5%)

localize17.0ms (0.2%)

rewrite175.0ms (2%)

series810.0ms (9.4%)

simplify76.0ms (0.9%)

prune138.0ms (1.6%)

localize13.0ms (0.1%)

rewrite159.0ms (1.9%)

series316.0ms (3.7%)

simplify106.0ms (1.2%)

prune82.0ms (1%)

regimes822.0ms (9.6%)

bsearch0.0ms (0%)

simplify5.0ms (0.1%)

end0.0ms (0%)

sample2.6s (30.1%)

Profiling

Iter	Nodes	Cost
0	13	20
1	24	20
2	37	20
3	56	20
4	85	20
5	144	20
6	243	20
7	326	20
8	511	20
9	745	20
10	729	20
11	704	20
12	657	20