Details

analyze1.4s (12.2%)

Algorithm

1×	search
2×	egg-herbie

Rules

895×	`sub-neg_binary64_9619`
471×	`div-sub_binary64_9631`
349×	`unsub-neg_binary64_9620`
310×	`associate-/l*_binary64_9571`
307×	`neg-mul-1_binary64_9622`
248×	`neg-sub0_binary64_9621`
232×	`sqr-pow_binary64_9598`
228×	`distribute-rgt-neg-in_binary64_9584`
223×	`associate-/r*_binary64_9570`
211×	`cancel-sign-sub-inv_binary64_9592` `associate-+l-_binary64_9561`
200×	`distribute-lft-neg-in_binary64_9583` `associate-/l/_binary64_9573`
198×	`associate-*l/_binary64_9569`
195×	`associate-/r/_binary64_9572`
178×	`distribute-neg-in_binary64_9587`
175×	`times-frac_binary64_9632`
171×	`+-commutative_binary64_9556`
119×	`distribute-neg-frac_binary64_9590` `distribute-rgt-in_binary64_9576`
112×	`pow-sqr_binary64_9599`
94×	`*-commutative_binary64_9557`
93×	`associate--l+_binary64_9563`
89×	`associate--r+_binary64_9562`
85×	`distribute-lft-neg-out_binary64_9585`
81×	`sub0-neg_binary64_9613`
78×	`distribute-frac-neg_binary64_9589` `distribute-lft-in_binary64_9575`
71×	`distribute-rgt-neg-out_binary64_9586`
68×	`associate--r-_binary64_9565`
64×	`rem-sqrt-square_binary64_9639`
63×	`associate-+r-_binary64_9560` `associate-+r+_binary64_9558`
48×	`log-prod_binary64_9712` `associate-r_binary64_9566`
45×	`distribute-rgt-out--_binary64_9580` `associate-+l+_binary64_9559`
44×	`associate--l-_binary64_9564`
43×	`cancel-sign-sub_binary64_9591`
40×	`*-lft-identity_binary64_9615` `div0_binary64_9607` `difference-of-sqr--1_binary64_9597`
38×	`remove-double-neg_binary64_9614`
35×	`--rgt-identity_binary64_9612`
34×	`distribute-rgt1-in_binary64_9582`
32×	`exp-prod_binary64_9678` `difference-of-sqr-1_binary64_9596` `swap-sqr_binary64_9593`
24×	`mul0-rgt_binary64_9609` `mul0-lft_binary64_9608`
23×	`*-rgt-identity_binary64_9616`
18×	`+-lft-identity_binary64_9610`
16×	`exp-diff_binary64_9674` `exp-sum_binary64_9672` `sqr-neg_binary64_9640` `/-rgt-identity_binary64_9617` `+-rgt-identity_binary64_9611`
13×	`associate-*r/_binary64_9568`
12×	`distribute-rgt-out_binary64_9579` `associate-l_binary64_9567`
8×	`unpow1/2_binary64_9690`
6×	`distribute-neg-out_binary64_9588` `distribute-lft-out--_binary64_9578`
1×	`1-exp_binary64_9670` `exp-1-e_binary64_9669`
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` `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` `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` `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` `rem-square-sqrt_binary64_9638` `mul-1-neg_binary64_9618` `*-inverses_binary64_9606` `+-inverses_binary64_9605` `lft-mult-inverse_binary64_9604` `rgt-mult-inverse_binary64_9603` `remove-double-div_binary64_9602` `difference-of-squares_binary64_9595` `unswap-sqr_binary64_9594` `distribute-lft1-in_binary64_9581` `distribute-lft-out_binary64_9577` `count-2_binary64_9574`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	140
1	94	140
2	223	140
3	397	140
4	788	140
5	1435	140
6	1769	140
7	2227	140
8	3363	140
9	3984	140
10	4592	140
11	4965	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%	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
0%	99.8%	0.2%	8
1.6%	98.2%	0.2%	9
2.3%	97.5%	0.2%	10
11.7%	88.1%	0.2%	11
13.1%	74.3%	12.7%	12
16.1%	70.5%	13.5%	13
18.6%	68%	13.5%	14

Compiler

Compiled 14 to 13 computations (7.1% saved)

sample90.0ms (0.8%)

Algorithm

1×

intervals

Results

30.0ms	58×	body	1024	valid
13.0ms	51×	body	512	valid
9.0ms	11×	body	2048	valid
9.0ms	118×	body	128	valid
3.0ms	10×	body	1024	nan
3.0ms	18×	body	256	valid
2.0ms	12×	body	512	nan
2.0ms	39×	body	128	nan
1.0ms	21×	body	128	overflowed
1.0ms	8×	body	256	nan
0.0ms	1×	body	128	invalid

Compiler

Compiled 27 to 29 computations (-7.4% saved)

simplify298.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

2361×	`associate--r-_binary64_9565`
653×	`div-sub_binary64_9631`
609×	`unsub-neg_binary64_9620`
473×	`sub-neg_binary64_9619`
424×	`distribute-rgt-in_binary64_9576`
405×	`distribute-lft-in_binary64_9575`
352×	`distribute-neg-in_binary64_9587`
267×	`associate-/r/_binary64_9572`
250×	`associate-/l*_binary64_9571`
214×	`*-commutative_binary64_9557`
173×	`distribute-rgt-out--_binary64_9580`
172×	`associate-+r+_binary64_9558`
170×	`distribute-lft-neg-in_binary64_9583`
158×	`cancel-sign-sub-inv_binary64_9592`
155×	`distribute-rgt-neg-in_binary64_9584`
153×	`+-commutative_binary64_9556`
138×	`associate-/r*_binary64_9570`
129×	`associate-+l+_binary64_9559`
122×	`associate--r+_binary64_9562`
113×	`neg-mul-1_binary64_9622`
104×	`neg-sub0_binary64_9621`
89×	`distribute-neg-frac_binary64_9590`
84×	`distribute-lft-neg-out_binary64_9585`
79×	`associate--l+_binary64_9563`
71×	`associate-+l-_binary64_9561`
60×	`associate-/l/_binary64_9573`
54×	`distribute-rgt-neg-out_binary64_9586` `associate-r_binary64_9566`
53×	`distribute-neg-out_binary64_9588` `associate-*l/_binary64_9569`
50×	`mul0-rgt_binary64_9609` `mul0-lft_binary64_9608`
44×	`cancel-sign-sub_binary64_9591`
38×	`distribute-rgt-out_binary64_9579`
34×	`associate-+r-_binary64_9560`
32×	`-rgt-identity_binary64_9616` `associate-l*_binary64_9567`
31×	`*-lft-identity_binary64_9615`
27×	`distribute-frac-neg_binary64_9589`
22×	`associate-*r/_binary64_9568`
20×	`associate--l-_binary64_9564`
19×	`remove-double-neg_binary64_9614`
18×	`--rgt-identity_binary64_9612` `distribute-rgt1-in_binary64_9582`
17×	`sub0-neg_binary64_9613`
15×	`+-lft-identity_binary64_9610`
11×	`distribute-lft-out--_binary64_9578`
9×	`distribute-lft-out_binary64_9577`
8×	`log-prod_binary64_9712` `/-rgt-identity_binary64_9617` `div0_binary64_9607`
6×	`count-2_binary64_9574`
4×	`+-rgt-identity_binary64_9611` `distribute-lft1-in_binary64_9581`
1×	`1-exp_binary64_9670` `mul-1-neg_binary64_9618`
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` `*-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`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	20
1	23	20
2	46	20
3	78	20
4	154	20
5	262	20
6	327	20
7	335	20
8	391	20
9	527	20
10	1248	20
11	1316	20
12	1798	20
13	2519	20
14	2866	20
15	3010	20
16	2908	20
17	2904	20
18	2916	20
19	2928	20
20	2932	20
21	2868	20
22	2868	20
23	2868	20
24	3534	20
25	2958	20
26	2958	20
27	2958	20
28	5254	20

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

26.7b

Counts

1 → 1

Compiler

Compiled 13 to 12 computations (7.7% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 y (exp.f64 z))
0.0b	(/.f64 (log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))) t)
1.8b	(+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))
2.3b	(log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z))))

rewrite148.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

16.3b

Rules

19×	`add-sqr-sqrt_binary64_9648`
17×	`add-cube-cbrt_binary64_9661` `*-un-lft-identity_binary64_9626`
12×	`times-frac_binary64_9632`
11×	`pow1_binary64_9687`
9×	`add-log-exp_binary64_9665`
8×	`add-exp-log_binary64_9664` `add-cbrt-cube_binary64_9662`
5×	`log-pow_binary64_9715`
4×	`log-div_binary64_9713` `associate-+l+_binary64_9559` `associate-/l*_binary64_9571`
3×	`flip3-+_binary64_9629` `flip-+_binary64_9600` `log-prod_binary64_9712` `cancel-sign-sub-inv_binary64_9592` `associate-/r_binary64_9570` `associate-l_binary64_9567` `associate-r*_binary64_9566`
2×	`sum-log_binary64_9717` `div-sub_binary64_9631`
1×	`rem-log-exp_binary64_9667` `diff-log_binary64_9718` `associate-+l-_binary64_9561` `sub-neg_binary64_9619` `+-commutative_binary64_9556` `div-exp_binary64_9677` `cbrt-undiv_binary64_9660` `frac-2neg_binary64_9637` `clear-num_binary64_9625` `div-inv_binary64_9623` `pow-prod-down_binary64_9697` `prod-exp_binary64_9675` `cbrt-unprod_binary64_9659` `unswap-sqr_binary64_9594` `*-commutative_binary64_9557`

Counts

4 → 82

Calls

4 calls:

9.0ms	(/.f64 (log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))) t)
8.0ms	(+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))
7.0ms	(log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z))))
6.0ms	(*.f64 y (exp.f64 z))

Compiler

Compiled 1827 to 914 computations (50% saved)

series1.0s (9.1%)

Error

1.4b

Counts

4 → 48

Calls

4 calls:

529.0ms	(/.f64 (log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))) t)
247.0ms	(log.f64 (+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z))))
109.0ms	(+.f64 (-.f64 1 y) (*.f64 y (exp.f64 z)))
65.0ms	(*.f64 y (exp.f64 z))

Compiler

Compiled 2895 to 2121 computations (26.7% saved)

simplify131.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

395×	`cancel-sign-sub-inv_binary64_9592`
342×	`distribute-rgt-in_binary64_9576`
241×	`sub-neg_binary64_9619`
195×	`distribute-rgt-out_binary64_9579`
181×	`+-commutative_binary64_9556`
173×	`associate-+r+_binary64_9558`
171×	`distribute-neg-in_binary64_9587`
161×	`associate-r_binary64_9566`
137×	`associate-l_binary64_9567`
136×	`associate-+l+_binary64_9559`
126×	`distribute-rgt-neg-in_binary64_9584`
123×	`associate-/l*_binary64_9571`
105×	`distribute-lft-neg-in_binary64_9583`
102×	`distribute-lft-out_binary64_9577`
101×	`*-commutative_binary64_9557`
97×	`exp-prod_binary64_9678`
96×	`unswap-sqr_binary64_9594`
72×	`neg-mul-1_binary64_9622` `neg-sub0_binary64_9621`
70×	`associate--l+_binary64_9563`
66×	`associate--r+_binary64_9562`
52×	`unsub-neg_binary64_9620`
47×	`log-prod_binary64_9712` `exp-sum_binary64_9672`
40×	`distribute-neg-frac_binary64_9590`
36×	`sqr-pow_binary64_9598`
29×	`distribute-rgt-out--_binary64_9580`
27×	`distribute-lft-neg-out_binary64_9585`
26×	`distribute-lft-in_binary64_9575`
25×	`associate-/r*_binary64_9570`
24×	`associate-/r/_binary64_9572`
23×	`times-frac_binary64_9632`
22×	`-rgt-identity_binary64_9616` `distribute-rgt1-in_binary64_9582` `associate-l/_binary64_9569` `associate-*r/_binary64_9568`
17×	`prod-exp_binary64_9675`
16×	`*-lft-identity_binary64_9615`
15×	`exp-diff_binary64_9674` `associate-/l/_binary64_9573`
13×	`distribute-lft1-in_binary64_9581`
12×	`cube-prod_binary64_9654` `swap-sqr_binary64_9593` `distribute-rgt-neg-out_binary64_9586`
10×	`div-sub_binary64_9631`
9×	`unpow3_binary64_9692` `distribute-lft-out--_binary64_9578`
8×	`log-div_binary64_9713`
7×	`/-rgt-identity_binary64_9617`
6×	`log-pow_binary64_9715` `pow-plus_binary64_9689` `associate-+l-_binary64_9561`
5×	`cube-unmult_binary64_9663` `cube-mult_binary64_9656`
4×	`unpow1/2_binary64_9690` `associate--r-_binary64_9565` `associate-+r-_binary64_9560`
3×	`unpow2_binary64_9691` `unpow1_binary64_9684` `mul-1-neg_binary64_9618` `remove-double-neg_binary64_9614`
2×	`div-exp_binary64_9677` `rem-sqrt-square_binary64_9639` `+-rgt-identity_binary64_9611` `distribute-frac-neg_binary64_9589` `count-2_binary64_9574`
1×	`log-rec_binary64_9714` `1-exp_binary64_9670` `exp-1-e_binary64_9669` `rem-log-exp_binary64_9667` `rem-exp-log_binary64_9666` `cube-div_binary64_9655` `rem-3cbrt-lft_binary64_9651` `rem-square-sqrt_binary64_9638` `pow-sqr_binary64_9599` `difference-of-sqr--1_binary64_9597` `difference-of-squares_binary64_9595` `distribute-neg-out_binary64_9588` `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` `unpow1/3_binary64_9693` `exp-to-pow_binary64_9688` `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` `rec-exp_binary64_9676` `exp-neg_binary64_9673` `e-exp-1_binary64_9671` `exp-0_binary64_9668` `cube-neg_binary64_9653` `rem-3cbrt-rft_binary64_9652` `rem-cbrt-cube_binary64_9650` `rem-cube-cbrt_binary64_9649` `sqr-abs_binary64_9641` `sqr-neg_binary64_9640` `sub0-neg_binary64_9613` `--rgt-identity_binary64_9612` `+-lft-identity_binary64_9610` `mul0-rgt_binary64_9609` `mul0-lft_binary64_9608` `div0_binary64_9607` `*-inverses_binary64_9606` `+-inverses_binary64_9605` `lft-mult-inverse_binary64_9604` `rgt-mult-inverse_binary64_9603` `remove-double-div_binary64_9602` `difference-of-sqr-1_binary64_9596` `cancel-sign-sub_binary64_9591`

Counts

130 → 102

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	311	3196
1	793	3010
2	2650	2917
3	4841	2917
4	4974	2917

prune152.0ms (1.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	94	8	102
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	95	8	103

Error

1.4b

Counts

103 → 8

Compiler

Compiled 2532 to 1525 computations (39.8% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite50.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

0.4b

Rules

8×	`add-sqr-sqrt_binary64_9648` `*-un-lft-identity_binary64_9626`
7×	`add-exp-log_binary64_9664` `add-cbrt-cube_binary64_9662` `cancel-sign-sub-inv_binary64_9592`
6×	`add-cube-cbrt_binary64_9661` `times-frac_binary64_9632`
4×	`add-log-exp_binary64_9665`
3×	`associate-/r*_binary64_9570`
2×	`pow1_binary64_9687` `div-exp_binary64_9677` `cbrt-undiv_binary64_9660` `div-inv_binary64_9623`
1×	`prod-exp_binary64_9675` `cbrt-unprod_binary64_9659` `frac-2neg_binary64_9637` `clear-num_binary64_9625` `associate-/l*_binary64_9571` `diff-log_binary64_9718` `flip3--_binary64_9630` `sub-neg_binary64_9619` `flip--_binary64_9601` `difference-of-squares_binary64_9595` `distribute-lft-out--_binary64_9578`

Counts

2 → 41

Calls

2 calls:

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

Compiler

Compiled 559 to 162 computations (71% saved)

series395.0ms (3.5%)

Error

1.4b

Counts

2 → 33

Calls

2 calls:

242.0ms	(-.f64 x (/.f64 (*.f64 y z) t))
139.0ms	(/.f64 (*.f64 y z) t)

Compiler

Compiled 537 to 385 computations (28.3% saved)

simplify81.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

475×	`distribute-neg-frac_binary64_9590`
467×	`associate-/l*_binary64_9571`
389×	`times-frac_binary64_9632`
370×	`cancel-sign-sub-inv_binary64_9592`
347×	`associate-l_binary64_9567`
288×	`associate-r_binary64_9566`
280×	`associate-*l/_binary64_9569`
238×	`associate-*r/_binary64_9568`
199×	`associate-/l/_binary64_9573`
113×	`associate-/r*_binary64_9570`
108×	`associate-/r/_binary64_9572`
96×	`*-commutative_binary64_9557`
93×	`exp-prod_binary64_9678`
92×	`div-sub_binary64_9631`
81×	`sub-neg_binary64_9619`
74×	`neg-sub0_binary64_9621`
70×	`distribute-rgt-neg-in_binary64_9584`
67×	`neg-mul-1_binary64_9622`
64×	`distribute-lft-neg-in_binary64_9583`
63×	`log-div_binary64_9713`
56×	`sqr-pow_binary64_9598`
54×	`swap-sqr_binary64_9593`
48×	`unsub-neg_binary64_9620`
43×	`distribute-rgt-in_binary64_9576`
42×	`distribute-lft-in_binary64_9575`
33×	`cube-div_binary64_9655`
32×	`log-prod_binary64_9712`
31×	`cube-prod_binary64_9654` `distribute-lft-neg-out_binary64_9585`
28×	`exp-sum_binary64_9672` `unswap-sqr_binary64_9594`
27×	`+-commutative_binary64_9556`
23×	`*-rgt-identity_binary64_9616`
20×	`distribute-rgt-neg-out_binary64_9586`
15×	`exp-diff_binary64_9674`
14×	`/-rgt-identity_binary64_9617` `*-lft-identity_binary64_9615`
12×	`unpow3_binary64_9692` `mul0-rgt_binary64_9609` `mul0-lft_binary64_9608`
10×	`log-rec_binary64_9714` `difference-of-squares_binary64_9595`
9×	`div0_binary64_9607` `associate-+l-_binary64_9561`
8×	`cube-unmult_binary64_9663` `associate--l-_binary64_9564` `associate-+r-_binary64_9560`
7×	`cube-mult_binary64_9656` `+-rgt-identity_binary64_9611` `associate-+l+_binary64_9559`
5×	`mul-1-neg_binary64_9618` `sub0-neg_binary64_9613` `associate-+r+_binary64_9558`
3×	`distribute-rgt-out_binary64_9579` `associate--l+_binary64_9563`
2×	`log-pow_binary64_9715` `rem-square-sqrt_binary64_9638` `pow-sqr_binary64_9599` `distribute-frac-neg_binary64_9589`
1×	`pow-plus_binary64_9689` `div-exp_binary64_9677` `exp-neg_binary64_9673` `1-exp_binary64_9670` `rem-3cbrt-rft_binary64_9652` `rem-3cbrt-lft_binary64_9651` `sqr-neg_binary64_9640` `rem-sqrt-square_binary64_9639` `remove-double-neg_binary64_9614` `remove-double-div_binary64_9602`
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` `unpow2_binary64_9691` `unpow1/2_binary64_9690` `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` `rec-exp_binary64_9676` `prod-exp_binary64_9675` `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-neg_binary64_9653` `rem-cbrt-cube_binary64_9650` `rem-cube-cbrt_binary64_9649` `sqr-abs_binary64_9641` `--rgt-identity_binary64_9612` `+-lft-identity_binary64_9610` `*-inverses_binary64_9606` `+-inverses_binary64_9605` `lft-mult-inverse_binary64_9604` `rgt-mult-inverse_binary64_9603` `difference-of-sqr--1_binary64_9597` `difference-of-sqr-1_binary64_9596` `cancel-sign-sub_binary64_9591` `distribute-neg-out_binary64_9588` `distribute-neg-in_binary64_9587` `distribute-rgt1-in_binary64_9582` `distribute-lft1-in_binary64_9581` `distribute-rgt-out--_binary64_9580` `distribute-lft-out--_binary64_9578` `distribute-lft-out_binary64_9577` `count-2_binary64_9574` `associate--r-_binary64_9565` `associate--r+_binary64_9562`

Counts

74 → 39

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	92	756
1	229	735
2	732	735
3	3541	731
4	4977	731
5	4944	731

prune41.0ms (0.4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	36	3	39
Fresh	1	6	7
Picked	1	0	1
Done	0	0	0
Total	38	9	47

Error

0.5b

Counts

47 → 9

Compiler

Compiled 591 to 227 computations (61.6% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 t)
0.6b	(cbrt.f64 t)
1.5b	(/.f64 (.f64 z (/.f64 y (.f64 (cbrt.f64 t) (cbrt.f64 t)))) (cbrt.f64 t))
3.2b	(.f64 z (/.f64 y (.f64 (cbrt.f64 t) (cbrt.f64 t))))

rewrite109.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0.4b

Rules

27×	`add-exp-log_binary64_9664`
19×	`add-cbrt-cube_binary64_9662`
17×	`add-sqr-sqrt_binary64_9648`
13×	`add-cube-cbrt_binary64_9661` `*-un-lft-identity_binary64_9626`
12×	`cbrt-prod_binary64_9657`
10×	`times-frac_binary64_9632`
8×	`prod-exp_binary64_9675` `div-exp_binary64_9677` `cbrt-unprod_binary64_9659` `cbrt-undiv_binary64_9660`
7×	`associate-r_binary64_9566`
6×	`pow1_binary64_9687` `associate-/r*_binary64_9570`
4×	`add-log-exp_binary64_9665`
3×	`associate-l_binary64_9567`
2×	`unswap-sqr_binary64_9594` `associate-*r/_binary64_9568` `div-inv_binary64_9623` `pow1/3_binary64_9708`
1×	`pow-prod-down_binary64_9697` `-commutative_binary64_9557` `frac-2neg_binary64_9637` `clear-num_binary64_9625` `associate-/l/_binary64_9573` `associate-/l_binary64_9571`

Counts

4 → 82

Calls

4 calls:

10.0ms	(/.f64 (.f64 z (/.f64 y (.f64 (cbrt.f64 t) (cbrt.f64 t)))) (cbrt.f64 t))
9.0ms	(.f64 z (/.f64 y (.f64 (cbrt.f64 t) (cbrt.f64 t))))
1.0ms	(cbrt.f64 t)
1.0ms	(cbrt.f64 t)

Compiler

Compiled 1681 to 379 computations (77.5% saved)

series1.0s (9.3%)

Error

0.5b

Counts

4 → 24

Calls

4 calls:

609.0ms	(.f64 z (/.f64 y (.f64 (cbrt.f64 t) (cbrt.f64 t))))
183.0ms	(/.f64 (.f64 z (/.f64 y (.f64 (cbrt.f64 t) (cbrt.f64 t)))) (cbrt.f64 t))
125.0ms	(cbrt.f64 t)
115.0ms	(cbrt.f64 t)

Compiler

Compiled 957 to 733 computations (23.4% saved)

simplify100.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

849×	`associate-/r*_binary64_9570`
443×	`associate-/r/_binary64_9572`
351×	`log-div_binary64_9713`
289×	`*-commutative_binary64_9557`
160×	`log-prod_binary64_9712`
149×	`cube-div_binary64_9655`
139×	`sub-neg_binary64_9619`
132×	`cube-prod_binary64_9654`
127×	`associate-/l*_binary64_9571`
103×	`times-frac_binary64_9632`
98×	`sqr-pow_binary64_9598`
88×	`associate-l_binary64_9567`
74×	`div-sub_binary64_9631`
72×	`associate-*r/_binary64_9568`
71×	`exp-prod_binary64_9678`
68×	`associate-l/_binary64_9569` `associate-r*_binary64_9566`
57×	`neg-sub0_binary64_9621`
55×	`neg-mul-1_binary64_9622`
51×	`associate-/l/_binary64_9573`
46×	`distribute-rgt-neg-in_binary64_9584`
45×	`unswap-sqr_binary64_9594` `distribute-lft-neg-in_binary64_9583`
42×	`distribute-neg-frac_binary64_9590`
32×	`cancel-sign-sub-inv_binary64_9592`
29×	`associate--l+_binary64_9563`
28×	`unpow3_binary64_9692`
27×	`*-rgt-identity_binary64_9616`
26×	`/-rgt-identity_binary64_9617`
25×	`associate-+l-_binary64_9561`
24×	`cube-mult_binary64_9656`
23×	`log-rec_binary64_9714`
22×	`associate--l-_binary64_9564` `associate-+l+_binary64_9559`
19×	`unsub-neg_binary64_9620` `associate-+r-_binary64_9560`
17×	`log-pow_binary64_9715` `*-lft-identity_binary64_9615` `+-commutative_binary64_9556`
15×	`swap-sqr_binary64_9593` `associate--r+_binary64_9562`
14×	`associate-+r+_binary64_9558`
13×	`cube-unmult_binary64_9663`
10×	`pow-plus_binary64_9689` `pow-sqr_binary64_9599`
7×	`+-rgt-identity_binary64_9611`
5×	`rem-sqrt-square_binary64_9639` `div0_binary64_9607` `distribute-frac-neg_binary64_9589` `distribute-rgt-in_binary64_9576`
4×	`distribute-lft-in_binary64_9575`
3×	`unpow1/3_binary64_9693` `unpow2_binary64_9691` `unpow1/2_binary64_9690` `mul-1-neg_binary64_9618` `remove-double-neg_binary64_9614` `associate--r-_binary64_9565`
2×	`unpow1_binary64_9684` `exp-diff_binary64_9674` `distribute-neg-in_binary64_9587` `count-2_binary64_9574`
1×	`exp-sum_binary64_9672` `1-exp_binary64_9670` `exp-1-e_binary64_9669` `cube-neg_binary64_9653` `rem-3cbrt-rft_binary64_9652` `rem-3cbrt-lft_binary64_9651` `rem-cube-cbrt_binary64_9649` `sqr-neg_binary64_9640` `sub0-neg_binary64_9613` `--rgt-identity_binary64_9612` `mul0-rgt_binary64_9609` `mul0-lft_binary64_9608` `+-inverses_binary64_9605` `remove-double-div_binary64_9602` `distribute-lft-neg-out_binary64_9585` `distribute-rgt-out--_binary64_9580` `distribute-rgt-out_binary64_9579` `distribute-lft-out_binary64_9577`
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` `exp-to-pow_binary64_9688` `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` `rem-exp-log_binary64_9666` `rem-cbrt-cube_binary64_9650` `sqr-abs_binary64_9641` `rem-square-sqrt_binary64_9638` `+-lft-identity_binary64_9610` `*-inverses_binary64_9606` `lft-mult-inverse_binary64_9604` `rgt-mult-inverse_binary64_9603` `difference-of-sqr--1_binary64_9597` `difference-of-sqr-1_binary64_9596` `difference-of-squares_binary64_9595` `cancel-sign-sub_binary64_9591` `distribute-neg-out_binary64_9588` `distribute-rgt-neg-out_binary64_9586` `distribute-rgt1-in_binary64_9582` `distribute-lft1-in_binary64_9581` `distribute-lft-out--_binary64_9578`

Counts

106 → 69

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	130	1794
1	303	1115
2	1337	1115
3	3771	1115
4	4824	1115
5	4964	1115

prune74.0ms (0.7%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	67	2	69
Fresh	1	7	8
Picked	1	0	1
Done	0	0	0
Total	69	9	78

Error

0.4b

Counts

78 → 9

Compiler

Compiled 1183 to 541 computations (54.3% saved)

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite41.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

0.4b

Rules

15×	`add-sqr-sqrt_binary64_9648`
13×	`associate-r_binary64_9566`
10×	`add-cube-cbrt_binary64_9661` `*-un-lft-identity_binary64_9626` `times-frac_binary64_9632`
7×	`add-exp-log_binary64_9664` `add-cbrt-cube_binary64_9662`
4×	`pow1_binary64_9687` `add-log-exp_binary64_9665`
3×	`associate-l_binary64_9567`
2×	`prod-exp_binary64_9675` `cbrt-unprod_binary64_9659` `unswap-sqr_binary64_9594`
1×	`pow-prod-down_binary64_9697` `div-exp_binary64_9677` `cbrt-undiv_binary64_9660` `associate-r/_binary64_9568` `div-inv_binary64_9623` `-commutative_binary64_9557` `diff-log_binary64_9718` `flip3--_binary64_9630` `sub-neg_binary64_9619` `flip--_binary64_9601` `cancel-sign-sub-inv_binary64_9592`

Counts

2 → 44

Calls

2 calls:

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

Compiler

Compiled 624 to 191 computations (69.4% saved)

series400.0ms (3.5%)

Error

0.4b

Counts

2 → 33

Calls

2 calls:

238.0ms	(-.f64 x (*.f64 y (/.f64 z t)))
147.0ms	(*.f64 y (/.f64 z t))

Compiler

Compiled 537 to 385 computations (28.3% saved)

simplify75.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

415×	`associate-/l/_binary64_9573`
368×	`associate-/r/_binary64_9572`
351×	`associate-l_binary64_9567`
319×	`associate-/r*_binary64_9570`
285×	`associate-*r/_binary64_9568`
269×	`distribute-rgt-neg-in_binary64_9584`
267×	`associate-*l/_binary64_9569`
260×	`associate-r_binary64_9566`
247×	`distribute-rgt-in_binary64_9576`
244×	`distribute-lft-neg-in_binary64_9583`
203×	`neg-mul-1_binary64_9622`
201×	`distribute-lft-in_binary64_9575`
192×	`associate-/l*_binary64_9571`
191×	`distribute-neg-frac_binary64_9590`
190×	`div-sub_binary64_9631`
136×	`cancel-sign-sub-inv_binary64_9592`
94×	`times-frac_binary64_9632` `*-commutative_binary64_9557`
78×	`distribute-lft-neg-out_binary64_9585`
60×	`distribute-rgt-neg-out_binary64_9586`
47×	`exp-prod_binary64_9678` `neg-sub0_binary64_9621`
44×	`sub-neg_binary64_9619` `sqr-pow_binary64_9598`
42×	`*-lft-identity_binary64_9615`
36×	`*-rgt-identity_binary64_9616`
34×	`unswap-sqr_binary64_9594`
26×	`unsub-neg_binary64_9620`
24×	`cube-prod_binary64_9654`
22×	`log-prod_binary64_9712`
18×	`log-div_binary64_9713` `/-rgt-identity_binary64_9617` `+-commutative_binary64_9556`
17×	`exp-sum_binary64_9672`
16×	`swap-sqr_binary64_9593`
14×	`cube-div_binary64_9655`
12×	`distribute-rgt-out_binary64_9579`
11×	`unpow3_binary64_9692` `exp-diff_binary64_9674`
10×	`difference-of-squares_binary64_9595` `associate-+l+_binary64_9559`
9×	`associate-+r+_binary64_9558`
8×	`cube-unmult_binary64_9663`
7×	`mul0-rgt_binary64_9609` `mul0-lft_binary64_9608` `distribute-neg-in_binary64_9587`
6×	`cube-mult_binary64_9656` `associate-+l-_binary64_9561` `associate-+r-_binary64_9560`
5×	`sqr-neg_binary64_9640` `mul-1-neg_binary64_9618` `+-rgt-identity_binary64_9611`
4×	`sub0-neg_binary64_9613` `pow-sqr_binary64_9599` `distribute-lft-out_binary64_9577`
3×	`distribute-frac-neg_binary64_9589`
2×	`unpow1/2_binary64_9690` `rem-sqrt-square_binary64_9639` `remove-double-div_binary64_9602` `distribute-rgt-out--_binary64_9580`
1×	`log-rec_binary64_9714` `div-exp_binary64_9677` `exp-neg_binary64_9673` `1-exp_binary64_9670` `exp-1-e_binary64_9669` `cube-neg_binary64_9653` `div0_binary64_9607` `count-2_binary64_9574` `associate--l+_binary64_9563` `associate--r+_binary64_9562`
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` `pow-base-0_binary64_9710` `unpow1/3_binary64_9693` `unpow2_binary64_9691` `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` `rec-exp_binary64_9676` `prod-exp_binary64_9675` `e-exp-1_binary64_9671` `exp-0_binary64_9668` `rem-log-exp_binary64_9667` `rem-exp-log_binary64_9666` `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` `remove-double-neg_binary64_9614` `--rgt-identity_binary64_9612` `+-lft-identity_binary64_9610` `*-inverses_binary64_9606` `+-inverses_binary64_9605` `lft-mult-inverse_binary64_9604` `rgt-mult-inverse_binary64_9603` `difference-of-sqr--1_binary64_9597` `difference-of-sqr-1_binary64_9596` `cancel-sign-sub_binary64_9591` `distribute-neg-out_binary64_9588` `distribute-rgt1-in_binary64_9582` `distribute-lft1-in_binary64_9581` `distribute-lft-out--_binary64_9578` `associate--r-_binary64_9565` `associate--l-_binary64_9564`

Counts

77 → 37

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	97	793
1	228	772
2	739	772
3	2255	772
4	4656	772
5	5060	772

prune22.0ms (0.2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	37	0	37
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	37	9	46

Error

0.4b

Counts

46 → 9

Compiler

Compiled 410 to 104 computations (74.6% saved)

regimes1.7s (15.5%)

Accuracy

Total 10.6b remaining (97.8%)

Threshold costs 0b (0%)

Compiler

Compiled 14475 to 11248 computations (22.3% saved)

bsearch6.0ms (0.1%)

Compiler: Compiled 13 to 12 computations (7.7% saved)

simplify18.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

81×	`unsub-neg_binary64_9620`
73×	`neg-mul-1_binary64_9622` `neg-sub0_binary64_9621`
30×	`distribute-neg-out_binary64_9588`
28×	`*-commutative_binary64_9557`
26×	`+-commutative_binary64_9556`
25×	`sub-neg_binary64_9619`
22×	`distribute-rgt-neg-in_binary64_9584`
20×	`distribute-lft-neg-in_binary64_9583`
17×	`distribute-rgt-neg-out_binary64_9586` `distribute-lft-neg-out_binary64_9585`
16×	`*-lft-identity_binary64_9615`
15×	`+-rgt-identity_binary64_9611` `+-lft-identity_binary64_9610`
10×	`*-rgt-identity_binary64_9616` `cancel-sign-sub-inv_binary64_9592`
6×	`distribute-neg-frac_binary64_9590` `distribute-neg-in_binary64_9587`
1×	`1-exp_binary64_9670` `remove-double-neg_binary64_9614` `--rgt-identity_binary64_9612`
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` `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` `sub0-neg_binary64_9613` `cancel-sign-sub_binary64_9591` `distribute-frac-neg_binary64_9589`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	213
1	73	213
2	116	213
3	150	213
4	219	213
5	241	213
6	254	213
7	261	213
8	338	213
9	323	213
10	316	213

end0.0ms (0%)

sample3.8s (33.9%)

Algorithm

1×

intervals

Results

760.0ms	1771×	body	1024	valid
344.0ms	1393×	body	512	valid
285.0ms	3796×	body	128	valid
258.0ms	288×	body	2048	valid
112.0ms	752×	body	256	valid
78.0ms	1557×	body	128	nan
59.0ms	207×	body	1024	nan
46.0ms	252×	body	512	nan
42.0ms	768×	body	128	overflowed
17.0ms	162×	body	256	nan
1.0ms	16×	body	128	invalid

Compiler

Compiled 1647 to 1241 computations (24.7% saved)

Iter	Nodes	Cost
0	46	213
1	73	213
2	116	213
3	150	213
4	219	213
5	241	213
6	254	213
7	261	213
8	338	213
9	323	213
10	316	213

Iter	Nodes	Cost
0	46	213
1	73	213
2	116	213
3	150	213
4	219	213
5	241	213
6	254	213
7	261	213
8	338	213
9	323	213
10	316	213

Details

analyze1.4s (12.2%)

sample90.0ms (0.8%)

simplify298.0ms (2.6%)

prune2.0ms (0%)

localize10.0ms (0.1%)

rewrite148.0ms (1.3%)

series1.0s (9.1%)

simplify131.0ms (1.2%)

prune152.0ms (1.3%)

localize6.0ms (0.1%)

rewrite50.0ms (0.4%)

series395.0ms (3.5%)

simplify81.0ms (0.7%)

prune41.0ms (0.4%)

localize9.0ms (0.1%)

rewrite109.0ms (1%)

series1.0s (9.3%)

simplify100.0ms (0.9%)

prune74.0ms (0.7%)

localize5.0ms (0%)

rewrite41.0ms (0.4%)

series400.0ms (3.5%)

simplify75.0ms (0.7%)

prune22.0ms (0.2%)

regimes1.7s (15.5%)

bsearch6.0ms (0.1%)

simplify18.0ms (0.2%)

end0.0ms (0%)

sample3.8s (33.9%)

Profiling

Iter	Nodes	Cost
0	46	213
1	73	213
2	116	213
3	150	213
4	219	213
5	241	213
6	254	213
7	261	213
8	338	213
9	323	213
10	316	213