Details

analyze1.3s (7.4%)

Algorithm

1×	search
2×	egg-herbie

Rules

862×	`div-sub_binary64_15769`
580×	`neg-mul-1_binary64_15760`
534×	`sub-neg_binary64_15757`
336×	`distribute-frac-neg_binary64_15727`
276×	`times-frac_binary64_15770`
235×	`cancel-sign-sub_binary64_15729`
227×	`distribute-neg-frac_binary64_15728`
187×	`neg-sub0_binary64_15759`
179×	`unsub-neg_binary64_15758` `cancel-sign-sub-inv_binary64_15730`
139×	`+-commutative_binary64_15694`
120×	`associate-*l/_binary64_15707`
103×	`distribute-lft-neg-in_binary64_15721`
91×	`*-commutative_binary64_15695`
87×	`distribute-rgt-neg-in_binary64_15722`
83×	`distribute-rgt-in_binary64_15714` `distribute-lft-in_binary64_15713` `associate-/l*_binary64_15709` `associate-+l-_binary64_15699`
76×	`div0_binary64_15745`
72×	`associate--r+_binary64_15700`
69×	`sub0-neg_binary64_15751`
68×	`associate--r-_binary64_15703`
66×	`distribute-neg-in_binary64_15725` `associate-+r-_binary64_15698`
63×	`associate-r/_binary64_15706` `associate-r*_binary64_15704`
52×	`associate-+l+_binary64_15697`
41×	`+-lft-identity_binary64_15748`
38×	`associate--l+_binary64_15701`
36×	`associate-l_binary64_15705`
32×	`associate-/r/_binary64_15710`
28×	`mul-1-neg_binary64_15756` `*-rgt-identity_binary64_15754`
27×	`associate-+r+_binary64_15696`
26×	`mul0-rgt_binary64_15747` `mul0-lft_binary64_15746`
25×	`remove-double-neg_binary64_15752` `distribute-lft-neg-out_binary64_15723`
21×	`associate--l-_binary64_15702`
20×	`--rgt-identity_binary64_15750` `+-rgt-identity_binary64_15749`
19×	`/-rgt-identity_binary64_15755`
14×	`distribute-rgt-neg-out_binary64_15724`
11×	`distribute-rgt-out_binary64_15717`
2×	`*-lft-identity_binary64_15753`
1×	`1-exp_binary64_15808`
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_16027` `erf-erfc_binary64_16026` `erf-odd_binary64_16025` `if-if-and-not_binary64_16024` `if-if-and_binary64_16023` `if-if-or-not_binary64_16022` `if-if-or_binary64_16021` `if-not_binary64_16020` `if-same_binary64_16019` `if-false_binary64_16018` `if-true_binary64_16017` `not-gte_binary64_16016` `not-lte_binary64_16015` `not-gt_binary64_16014` `not-lt_binary64_16013` `gte-same_binary64_16012` `lte-same_binary64_16011` `gt-same_binary64_16010` `lt-same_binary64_16009` `sinh---cosh_binary64_15956` `sinh-+-cosh_binary64_15955` `sinh-cosh_binary64_15954` `tanh-def-c_binary64_15953` `tanh-def-b_binary64_15952` `tanh-def-a_binary64_15951` `cosh-def_binary64_15950` `sinh-def_binary64_15949` `tan-neg_binary64_15896` `cos-neg_binary64_15895` `sin-neg_binary64_15894` `tan-0_binary64_15893` `cos-0_binary64_15892` `sin-0_binary64_15891` `hang-m-tan_binary64_15890` `hang-p-tan_binary64_15889` `hang-m0-tan_binary64_15888` `hang-p0-tan_binary64_15887` `hang-0m-tan_binary64_15886` `hang-0p-tan_binary64_15885` `tan-+PI/2_binary64_15884` `tan-+PI_binary64_15883` `tan-PI_binary64_15882` `tan-PI/3_binary64_15881` `tan-PI/4_binary64_15880` `tan-PI/6_binary64_15879` `cos-+PI/2_binary64_15878` `cos-+PI_binary64_15877` `cos-PI_binary64_15876` `cos-PI/2_binary64_15875` `cos-PI/3_binary64_15874` `cos-PI/4_binary64_15873` `cos-PI/6_binary64_15872` `sin-+PI/2_binary64_15871` `sin-+PI_binary64_15870` `sin-PI_binary64_15869` `sin-PI/2_binary64_15868` `sin-PI/3_binary64_15867` `sin-PI/4_binary64_15866` `sin-PI/6_binary64_15865` `sub-1-sin_binary64_15864` `sub-1-cos_binary64_15863` `-1-add-sin_binary64_15862` `-1-add-cos_binary64_15861` `1-sub-sin_binary64_15860` `1-sub-cos_binary64_15859` `cos-sin-sum_binary64_15858` `log-E_binary64_15854` `log-pow_binary64_15853` `log-rec_binary64_15852` `log-div_binary64_15851` `log-prod_binary64_15850` `pow-base-0_binary64_15848` `unpow1/3_binary64_15831` `unpow3_binary64_15830` `unpow2_binary64_15829` `unpow1/2_binary64_15828` `pow-plus_binary64_15827` `exp-to-pow_binary64_15826` `pow-base-1_binary64_15824` `unpow0_binary64_15823` `unpow1_binary64_15822` `unpow-1_binary64_15821` `exp-lft-cube_binary64_15820` `exp-lft-sqr_binary64_15819` `exp-cbrt_binary64_15818` `exp-sqrt_binary64_15817` `exp-prod_binary64_15816` `div-exp_binary64_15815` `rec-exp_binary64_15814` `prod-exp_binary64_15813` `exp-diff_binary64_15812` `exp-neg_binary64_15811` `exp-sum_binary64_15810` `e-exp-1_binary64_15809` `exp-1-e_binary64_15807` `exp-0_binary64_15806` `rem-log-exp_binary64_15805` `rem-exp-log_binary64_15804` `cube-unmult_binary64_15801` `cube-mult_binary64_15794` `cube-div_binary64_15793` `cube-prod_binary64_15792` `cube-neg_binary64_15791` `rem-3cbrt-rft_binary64_15790` `rem-3cbrt-lft_binary64_15789` `rem-cbrt-cube_binary64_15788` `rem-cube-cbrt_binary64_15787` `sqr-abs_binary64_15779` `sqr-neg_binary64_15778` `rem-sqrt-square_binary64_15777` `rem-square-sqrt_binary64_15776` `-inverses_binary64_15744` `+-inverses_binary64_15743` `lft-mult-inverse_binary64_15742` `rgt-mult-inverse_binary64_15741` `remove-double-div_binary64_15740` `pow-sqr_binary64_15737` `sqr-pow_binary64_15736` `difference-of-sqr--1_binary64_15735` `difference-of-sqr-1_binary64_15734` `difference-of-squares_binary64_15733` `unswap-sqr_binary64_15732` `swap-sqr_binary64_15731` `distribute-neg-out_binary64_15726` `distribute-rgt1-in_binary64_15720` `distribute-lft1-in_binary64_15719` `distribute-rgt-out--_binary64_15718` `distribute-lft-out--_binary64_15716` `distribute-lft-out_binary64_15715` `count-2_binary64_15712` `associate-/l/_binary64_15711` `associate-/r_binary64_15708`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	59	209
1	174	209
2	484	209
3	1198	209
4	2599	209
5	4492	209
6	4945	209
7	5146	209
0	5	5
1	5	5

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
0%	99.8%	0.2%	9
0.4%	99.4%	0.2%	10
5.6%	94.2%	0.2%	11
7.1%	92.7%	0.2%	12
8.8%	91%	0.2%	13
15.6%	84.2%	0.2%	14

Compiler

Compiled 14 to 13 computations (7.1% saved)

sample27.0ms (0.1%)

Algorithm

1×

intervals

Results

10.0ms	256×	body	128	valid
1.0ms	17×	body	128	invalid

Compiler

Compiled 27 to 30 computations (-11.1% saved)

simplify92.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

615×	`sub-neg_binary64_15757`
500×	`unsub-neg_binary64_15758`
424×	`neg-mul-1_binary64_15760`
399×	`neg-sub0_binary64_15759`
369×	`distribute-rgt-out--_binary64_15718`
362×	`div-sub_binary64_15769`
353×	`cancel-sign-sub-inv_binary64_15730`
294×	`distribute-rgt-out_binary64_15717`
281×	`distribute-neg-frac_binary64_15728`
272×	`distribute-lft-out--_binary64_15716`
241×	`distribute-rgt-in_binary64_15714` `associate-/r/_binary64_15710`
228×	`distribute-frac-neg_binary64_15727`
221×	`distribute-rgt-neg-in_binary64_15722`
191×	`distribute-neg-out_binary64_15726`
187×	`distribute-rgt-neg-out_binary64_15724`
185×	`distribute-lft-neg-in_binary64_15721`
170×	`associate-/r*_binary64_15708`
163×	`distribute-lft-in_binary64_15713`
161×	`distribute-neg-in_binary64_15725`
160×	`associate-*l/_binary64_15707`
143×	`associate--r-_binary64_15703`
134×	`times-frac_binary64_15770`
128×	`associate--r+_binary64_15700`
127×	`associate-/l*_binary64_15709`
123×	`distribute-lft-neg-out_binary64_15723`
118×	`associate-+r-_binary64_15698`
101×	`associate-*r/_binary64_15706`
99×	`remove-double-neg_binary64_15752`
81×	`associate--l-_binary64_15702`
68×	`*-commutative_binary64_15695`
64×	`associate-+l-_binary64_15699`
62×	`associate--l+_binary64_15701`
44×	`associate-r_binary64_15704`
43×	`/-rgt-identity_binary64_15755` `+-commutative_binary64_15694`
36×	`*-lft-identity_binary64_15753` `mul0-rgt_binary64_15747`
35×	`--rgt-identity_binary64_15750` `mul0-lft_binary64_15746` `associate-/l/_binary64_15711` `associate-l_binary64_15705`
34×	`associate-+r+_binary64_15696`
31×	`*-rgt-identity_binary64_15754` `sub0-neg_binary64_15751`
20×	`distribute-rgt1-in_binary64_15720`
19×	`+-rgt-identity_binary64_15749`
16×	`div0_binary64_15745` `associate-+l+_binary64_15697`
12×	`mul-1-neg_binary64_15756`
11×	`+-lft-identity_binary64_15748`
9×	`distribute-lft-out_binary64_15715`
3×	`distribute-lft1-in_binary64_15719`
2×	`*-inverses_binary64_15744`
1×	`1-exp_binary64_15808` `cancel-sign-sub_binary64_15729`
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_16027` `erf-erfc_binary64_16026` `erf-odd_binary64_16025` `if-if-and-not_binary64_16024` `if-if-and_binary64_16023` `if-if-or-not_binary64_16022` `if-if-or_binary64_16021` `if-not_binary64_16020` `if-same_binary64_16019` `if-false_binary64_16018` `if-true_binary64_16017` `not-gte_binary64_16016` `not-lte_binary64_16015` `not-gt_binary64_16014` `not-lt_binary64_16013` `gte-same_binary64_16012` `lte-same_binary64_16011` `gt-same_binary64_16010` `lt-same_binary64_16009` `sinh---cosh_binary64_15956` `sinh-+-cosh_binary64_15955` `sinh-cosh_binary64_15954` `tanh-def-c_binary64_15953` `tanh-def-b_binary64_15952` `tanh-def-a_binary64_15951` `cosh-def_binary64_15950` `sinh-def_binary64_15949` `tan-neg_binary64_15896` `cos-neg_binary64_15895` `sin-neg_binary64_15894` `tan-0_binary64_15893` `cos-0_binary64_15892` `sin-0_binary64_15891` `hang-m-tan_binary64_15890` `hang-p-tan_binary64_15889` `hang-m0-tan_binary64_15888` `hang-p0-tan_binary64_15887` `hang-0m-tan_binary64_15886` `hang-0p-tan_binary64_15885` `tan-+PI/2_binary64_15884` `tan-+PI_binary64_15883` `tan-PI_binary64_15882` `tan-PI/3_binary64_15881` `tan-PI/4_binary64_15880` `tan-PI/6_binary64_15879` `cos-+PI/2_binary64_15878` `cos-+PI_binary64_15877` `cos-PI_binary64_15876` `cos-PI/2_binary64_15875` `cos-PI/3_binary64_15874` `cos-PI/4_binary64_15873` `cos-PI/6_binary64_15872` `sin-+PI/2_binary64_15871` `sin-+PI_binary64_15870` `sin-PI_binary64_15869` `sin-PI/2_binary64_15868` `sin-PI/3_binary64_15867` `sin-PI/4_binary64_15866` `sin-PI/6_binary64_15865` `sub-1-sin_binary64_15864` `sub-1-cos_binary64_15863` `-1-add-sin_binary64_15862` `-1-add-cos_binary64_15861` `1-sub-sin_binary64_15860` `1-sub-cos_binary64_15859` `cos-sin-sum_binary64_15858` `log-E_binary64_15854` `log-pow_binary64_15853` `log-rec_binary64_15852` `log-div_binary64_15851` `log-prod_binary64_15850` `pow-base-0_binary64_15848` `unpow1/3_binary64_15831` `unpow3_binary64_15830` `unpow2_binary64_15829` `unpow1/2_binary64_15828` `pow-plus_binary64_15827` `exp-to-pow_binary64_15826` `pow-base-1_binary64_15824` `unpow0_binary64_15823` `unpow1_binary64_15822` `unpow-1_binary64_15821` `exp-lft-cube_binary64_15820` `exp-lft-sqr_binary64_15819` `exp-cbrt_binary64_15818` `exp-sqrt_binary64_15817` `exp-prod_binary64_15816` `div-exp_binary64_15815` `rec-exp_binary64_15814` `prod-exp_binary64_15813` `exp-diff_binary64_15812` `exp-neg_binary64_15811` `exp-sum_binary64_15810` `e-exp-1_binary64_15809` `exp-1-e_binary64_15807` `exp-0_binary64_15806` `rem-log-exp_binary64_15805` `rem-exp-log_binary64_15804` `cube-unmult_binary64_15801` `cube-mult_binary64_15794` `cube-div_binary64_15793` `cube-prod_binary64_15792` `cube-neg_binary64_15791` `rem-3cbrt-rft_binary64_15790` `rem-3cbrt-lft_binary64_15789` `rem-cbrt-cube_binary64_15788` `rem-cube-cbrt_binary64_15787` `sqr-abs_binary64_15779` `sqr-neg_binary64_15778` `rem-sqrt-square_binary64_15777` `rem-square-sqrt_binary64_15776` `+-inverses_binary64_15743` `lft-mult-inverse_binary64_15742` `rgt-mult-inverse_binary64_15741` `remove-double-div_binary64_15740` `pow-sqr_binary64_15737` `sqr-pow_binary64_15736` `difference-of-sqr--1_binary64_15735` `difference-of-sqr-1_binary64_15734` `difference-of-squares_binary64_15733` `unswap-sqr_binary64_15732` `swap-sqr_binary64_15731` `count-2_binary64_15712`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	19
1	28	19
2	66	19
3	151	19
4	318	19
5	718	19
6	1795	19
7	3038	19
8	4089	19
9	4423	19
10	4869	19

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

2.6b

Counts

1 → 1

Compiler

Compiled 13 to 12 computations (7.7% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (+.f64 (-.f64 t z) 1) a)
0.0b	(-.f64 x (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a)))
10.0b	(/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a))

rewrite546.0ms (3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

417×	`*-un-lft-identity_binary64_15764`
373×	`times-frac_binary64_15770`
239×	`add-sqr-sqrt_binary64_15786`
152×	`add-cube-cbrt_binary64_15799`
100×	`cancel-sign-sub-inv_binary64_15730`
77×	`distribute-lft-out--_binary64_15716`
74×	`distribute-lft-out_binary64_15715`
42×	`difference-of-squares_binary64_15733`
22×	`associate-/r*_binary64_15708`
14×	`div-inv_binary64_15761`
10×	`add-exp-log_binary64_15802` `add-cbrt-cube_binary64_15800` `associate-/l*_binary64_15709`
5×	`add-log-exp_binary64_15803`
4×	`div-exp_binary64_15815` `cbrt-undiv_binary64_15798` `associate-/l/_binary64_15711`
3×	`pow1_binary64_15825` `div-sub_binary64_15769`
2×	`frac-2neg_binary64_15775` `clear-num_binary64_15763` `flip3--_binary64_15768` `flip--_binary64_15739` `associate-/r/_binary64_15710`
1×	`diff-log_binary64_15856` `sub-neg_binary64_15757` `associate--r-_binary64_15703` `associate-+l-_binary64_15699` `flip3-+_binary64_15767` `flip-+_binary64_15738`

Counts

3 → 291

Calls

3 calls:

47.0ms	(-.f64 x (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a)))
15.0ms	(/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a))
9.0ms	(/.f64 (+.f64 (-.f64 t z) 1) a)

Compiler

Compiled 7805 to 3355 computations (57% saved)

series1.8s (10.1%)

Error

0.0b

Counts

3 → 84

Calls

3 calls:

905.0ms	(-.f64 x (/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a)))
594.0ms	(/.f64 (-.f64 y z) (/.f64 (+.f64 (-.f64 t z) 1) a))
180.0ms	(/.f64 (+.f64 (-.f64 t z) 1) a)

Compiler

Compiled 6554 to 4128 computations (37% saved)

simplify238.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

364×	`associate-/r/_binary64_15710`
338×	`associate-/l*_binary64_15709`
298×	`times-frac_binary64_15770`
204×	`sub-neg_binary64_15757`
188×	`associate-/r*_binary64_15708`
154×	`associate-/l/_binary64_15711`
141×	`neg-sub0_binary64_15759`
138×	`neg-mul-1_binary64_15760` `+-commutative_binary64_15694`
123×	`div-sub_binary64_15769`
102×	`*-commutative_binary64_15695`
100×	`distribute-lft-neg-out_binary64_15723`
94×	`associate-+r+_binary64_15696`
93×	`distribute-rgt-neg-in_binary64_15722`
88×	`distribute-neg-frac_binary64_15728`
82×	`distribute-rgt-in_binary64_15714`
80×	`distribute-lft-in_binary64_15713`
70×	`associate-*r/_binary64_15706`
56×	`distribute-neg-in_binary64_15725`
48×	`distribute-rgt-neg-out_binary64_15724`
45×	`cancel-sign-sub-inv_binary64_15730`
39×	`distribute-lft-neg-in_binary64_15721`
24×	`associate--l+_binary64_15701`
22×	`sqr-pow_binary64_15736`
18×	`associate--r+_binary64_15700`
11×	`/-rgt-identity_binary64_15755`
10×	`associate-r_binary64_15704`
8×	`mul-1-neg_binary64_15756`
7×	`unpow3_binary64_15830`
5×	`cube-mult_binary64_15794` `-rgt-identity_binary64_15754` `associate-l*_binary64_15705`
4×	`log-div_binary64_15851` `unpow2_binary64_15829` `unpow1_binary64_15822` `cube-div_binary64_15793` `swap-sqr_binary64_15731` `associate-*l/_binary64_15707`
3×	`cube-unmult_binary64_15801` `distribute-rgt-out_binary64_15717`
2×	`*-lft-identity_binary64_15753` `remove-double-div_binary64_15740` `difference-of-squares_binary64_15733`
1×	`log-prod_binary64_15850` `exp-prod_binary64_15816` `div-exp_binary64_15815` `exp-diff_binary64_15812` `exp-sum_binary64_15810` `1-exp_binary64_15808` `cube-prod_binary64_15792` `rem-3cbrt-lft_binary64_15789` `rem-square-sqrt_binary64_15776` `unswap-sqr_binary64_15732` `distribute-rgt1-in_binary64_15720` `distribute-rgt-out--_binary64_15718` `count-2_binary64_15712` `associate--r-_binary64_15703` `associate--l-_binary64_15702` `associate-+l-_binary64_15699` `associate-+r-_binary64_15698`
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_16027` `erf-erfc_binary64_16026` `erf-odd_binary64_16025` `if-if-and-not_binary64_16024` `if-if-and_binary64_16023` `if-if-or-not_binary64_16022` `if-if-or_binary64_16021` `if-not_binary64_16020` `if-same_binary64_16019` `if-false_binary64_16018` `if-true_binary64_16017` `not-gte_binary64_16016` `not-lte_binary64_16015` `not-gt_binary64_16014` `not-lt_binary64_16013` `gte-same_binary64_16012` `lte-same_binary64_16011` `gt-same_binary64_16010` `lt-same_binary64_16009` `sinh---cosh_binary64_15956` `sinh-+-cosh_binary64_15955` `sinh-cosh_binary64_15954` `tanh-def-c_binary64_15953` `tanh-def-b_binary64_15952` `tanh-def-a_binary64_15951` `cosh-def_binary64_15950` `sinh-def_binary64_15949` `tan-neg_binary64_15896` `cos-neg_binary64_15895` `sin-neg_binary64_15894` `tan-0_binary64_15893` `cos-0_binary64_15892` `sin-0_binary64_15891` `hang-m-tan_binary64_15890` `hang-p-tan_binary64_15889` `hang-m0-tan_binary64_15888` `hang-p0-tan_binary64_15887` `hang-0m-tan_binary64_15886` `hang-0p-tan_binary64_15885` `tan-+PI/2_binary64_15884` `tan-+PI_binary64_15883` `tan-PI_binary64_15882` `tan-PI/3_binary64_15881` `tan-PI/4_binary64_15880` `tan-PI/6_binary64_15879` `cos-+PI/2_binary64_15878` `cos-+PI_binary64_15877` `cos-PI_binary64_15876` `cos-PI/2_binary64_15875` `cos-PI/3_binary64_15874` `cos-PI/4_binary64_15873` `cos-PI/6_binary64_15872` `sin-+PI/2_binary64_15871` `sin-+PI_binary64_15870` `sin-PI_binary64_15869` `sin-PI/2_binary64_15868` `sin-PI/3_binary64_15867` `sin-PI/4_binary64_15866` `sin-PI/6_binary64_15865` `sub-1-sin_binary64_15864` `sub-1-cos_binary64_15863` `-1-add-sin_binary64_15862` `-1-add-cos_binary64_15861` `1-sub-sin_binary64_15860` `1-sub-cos_binary64_15859` `cos-sin-sum_binary64_15858` `log-E_binary64_15854` `log-pow_binary64_15853` `log-rec_binary64_15852` `pow-base-0_binary64_15848` `unpow1/3_binary64_15831` `unpow1/2_binary64_15828` `pow-plus_binary64_15827` `exp-to-pow_binary64_15826` `pow-base-1_binary64_15824` `unpow0_binary64_15823` `unpow-1_binary64_15821` `exp-lft-cube_binary64_15820` `exp-lft-sqr_binary64_15819` `exp-cbrt_binary64_15818` `exp-sqrt_binary64_15817` `rec-exp_binary64_15814` `prod-exp_binary64_15813` `exp-neg_binary64_15811` `e-exp-1_binary64_15809` `exp-1-e_binary64_15807` `exp-0_binary64_15806` `rem-log-exp_binary64_15805` `rem-exp-log_binary64_15804` `cube-neg_binary64_15791` `rem-3cbrt-rft_binary64_15790` `rem-cbrt-cube_binary64_15788` `rem-cube-cbrt_binary64_15787` `sqr-abs_binary64_15779` `sqr-neg_binary64_15778` `rem-sqrt-square_binary64_15777` `unsub-neg_binary64_15758` `remove-double-neg_binary64_15752` `sub0-neg_binary64_15751` `--rgt-identity_binary64_15750` `+-rgt-identity_binary64_15749` `+-lft-identity_binary64_15748` `mul0-rgt_binary64_15747` `mul0-lft_binary64_15746` `div0_binary64_15745` `*-inverses_binary64_15744` `+-inverses_binary64_15743` `lft-mult-inverse_binary64_15742` `rgt-mult-inverse_binary64_15741` `pow-sqr_binary64_15737` `difference-of-sqr--1_binary64_15735` `difference-of-sqr-1_binary64_15734` `cancel-sign-sub_binary64_15729` `distribute-frac-neg_binary64_15727` `distribute-neg-out_binary64_15726` `distribute-lft1-in_binary64_15719` `distribute-lft-out--_binary64_15716` `distribute-lft-out_binary64_15715` `associate-+l+_binary64_15697`

Counts

375 → 327

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	627	13466
1	2029	13277
2	5015	13277

prune476.0ms (2.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	322	5	327
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	322	6	328

Error

Counts

328 → 6

Compiler

Compiled 9482 to 3537 computations (62.7% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite174.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

104×	`*-un-lft-identity_binary64_15764`
54×	`add-sqr-sqrt_binary64_15786`
51×	`times-frac_binary64_15770`
31×	`associate-l_binary64_15705`
27×	`add-cube-cbrt_binary64_15799`
22×	`distribute-lft-out_binary64_15715` `distribute-lft-out--_binary64_15716`
11×	`difference-of-squares_binary64_15733`
10×	`add-exp-log_binary64_15802` `add-cbrt-cube_binary64_15800`
5×	`pow1_binary64_15825` `add-log-exp_binary64_15803` `associate-/l_binary64_15709` `associate-/r_binary64_15708`
4×	`associate-/r/_binary64_15710`
3×	`associate-r_binary64_15704`
2×	`div-exp_binary64_15815` `prod-exp_binary64_15813` `cbrt-unprod_binary64_15797` `cbrt-undiv_binary64_15798` `unswap-sqr_binary64_15732` `div-inv_binary64_15761` `flip3-+_binary64_15767` `flip-+_binary64_15738` `flip3--_binary64_15768` `flip--_binary64_15739` `associate-/l/_binary64_15711`
1×	`pow-prod-down_binary64_15835` `associate-l/_binary64_15707` `-commutative_binary64_15695` `diff-log_binary64_15856` `sub-neg_binary64_15757` `cancel-sign-sub-inv_binary64_15730` `frac-2neg_binary64_15775` `div-sub_binary64_15769` `clear-num_binary64_15763`

Counts

3 → 114

Calls

3 calls:

16.0ms	(*.f64 (/.f64 (-.f64 y z) (+.f64 1 (-.f64 t z))) a)
11.0ms	(/.f64 (-.f64 y z) (+.f64 1 (-.f64 t z)))
4.0ms	(-.f64 x (*.f64 (/.f64 (-.f64 y z) (+.f64 1 (-.f64 t z))) a))

Compiler

Compiled 2694 to 1174 computations (56.4% saved)

series2.1s (11.4%)

Error

Counts

3 → 96

Calls

3 calls:

884.0ms	(-.f64 x (*.f64 (/.f64 (-.f64 y z) (+.f64 1 (-.f64 t z))) a))
612.0ms	(*.f64 (/.f64 (-.f64 y z) (+.f64 1 (-.f64 t z))) a)
372.0ms	(/.f64 (-.f64 y z) (+.f64 1 (-.f64 t z)))

Compiler

Compiled 8560 to 5562 computations (35% saved)

simplify141.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

464×	`associate-+l+_binary64_15697`
351×	`times-frac_binary64_15770`
292×	`associate-/l*_binary64_15709`
224×	`associate-/r*_binary64_15708`
223×	`associate--l+_binary64_15701`
208×	`+-commutative_binary64_15694`
205×	`associate--r+_binary64_15700`
152×	`sub-neg_binary64_15757`
150×	`associate-+r+_binary64_15696`
121×	`associate-r_binary64_15704`
110×	`associate-*l/_binary64_15707`
93×	`distribute-rgt-in_binary64_15714`
91×	`distribute-lft-in_binary64_15713`
88×	`associate-l_binary64_15705`
87×	`associate-*r/_binary64_15706`
82×	`*-commutative_binary64_15695`
78×	`associate-/r/_binary64_15710`
73×	`distribute-neg-in_binary64_15725`
46×	`neg-sub0_binary64_15759`
43×	`neg-mul-1_binary64_15760`
32×	`div-sub_binary64_15769`
26×	`cancel-sign-sub-inv_binary64_15730`
25×	`sqr-pow_binary64_15736`
20×	`distribute-neg-frac_binary64_15728` `associate-/l/_binary64_15711`
15×	`distribute-rgt-neg-in_binary64_15722`
11×	`distribute-lft-neg-in_binary64_15721`
8×	`unpow3_binary64_15830`
6×	`cube-mult_binary64_15794` `cube-prod_binary64_15792` `mul-1-neg_binary64_15756` `/-rgt-identity_binary64_15755` `swap-sqr_binary64_15731` `distribute-rgt-out_binary64_15717` `associate--r-_binary64_15703`
5×	`log-div_binary64_15851`
4×	`unpow2_binary64_15829` `unpow1_binary64_15822` `exp-prod_binary64_15816` `cube-div_binary64_15793` `-rgt-identity_binary64_15754` `-lft-identity_binary64_15753` `associate-+r-_binary64_15698`
3×	`log-prod_binary64_15850` `cube-unmult_binary64_15801` `distribute-lft-neg-out_binary64_15723` `associate-+l-_binary64_15699`
2×	`exp-sum_binary64_15810` `difference-of-squares_binary64_15733`
1×	`div-exp_binary64_15815` `exp-diff_binary64_15812` `1-exp_binary64_15808` `unsub-neg_binary64_15758` `distribute-rgt-out--_binary64_15718` `count-2_binary64_15712` `associate--l-_binary64_15702`
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_16027` `erf-erfc_binary64_16026` `erf-odd_binary64_16025` `if-if-and-not_binary64_16024` `if-if-and_binary64_16023` `if-if-or-not_binary64_16022` `if-if-or_binary64_16021` `if-not_binary64_16020` `if-same_binary64_16019` `if-false_binary64_16018` `if-true_binary64_16017` `not-gte_binary64_16016` `not-lte_binary64_16015` `not-gt_binary64_16014` `not-lt_binary64_16013` `gte-same_binary64_16012` `lte-same_binary64_16011` `gt-same_binary64_16010` `lt-same_binary64_16009` `sinh---cosh_binary64_15956` `sinh-+-cosh_binary64_15955` `sinh-cosh_binary64_15954` `tanh-def-c_binary64_15953` `tanh-def-b_binary64_15952` `tanh-def-a_binary64_15951` `cosh-def_binary64_15950` `sinh-def_binary64_15949` `tan-neg_binary64_15896` `cos-neg_binary64_15895` `sin-neg_binary64_15894` `tan-0_binary64_15893` `cos-0_binary64_15892` `sin-0_binary64_15891` `hang-m-tan_binary64_15890` `hang-p-tan_binary64_15889` `hang-m0-tan_binary64_15888` `hang-p0-tan_binary64_15887` `hang-0m-tan_binary64_15886` `hang-0p-tan_binary64_15885` `tan-+PI/2_binary64_15884` `tan-+PI_binary64_15883` `tan-PI_binary64_15882` `tan-PI/3_binary64_15881` `tan-PI/4_binary64_15880` `tan-PI/6_binary64_15879` `cos-+PI/2_binary64_15878` `cos-+PI_binary64_15877` `cos-PI_binary64_15876` `cos-PI/2_binary64_15875` `cos-PI/3_binary64_15874` `cos-PI/4_binary64_15873` `cos-PI/6_binary64_15872` `sin-+PI/2_binary64_15871` `sin-+PI_binary64_15870` `sin-PI_binary64_15869` `sin-PI/2_binary64_15868` `sin-PI/3_binary64_15867` `sin-PI/4_binary64_15866` `sin-PI/6_binary64_15865` `sub-1-sin_binary64_15864` `sub-1-cos_binary64_15863` `-1-add-sin_binary64_15862` `-1-add-cos_binary64_15861` `1-sub-sin_binary64_15860` `1-sub-cos_binary64_15859` `cos-sin-sum_binary64_15858` `log-E_binary64_15854` `log-pow_binary64_15853` `log-rec_binary64_15852` `pow-base-0_binary64_15848` `unpow1/3_binary64_15831` `unpow1/2_binary64_15828` `pow-plus_binary64_15827` `exp-to-pow_binary64_15826` `pow-base-1_binary64_15824` `unpow0_binary64_15823` `unpow-1_binary64_15821` `exp-lft-cube_binary64_15820` `exp-lft-sqr_binary64_15819` `exp-cbrt_binary64_15818` `exp-sqrt_binary64_15817` `rec-exp_binary64_15814` `prod-exp_binary64_15813` `exp-neg_binary64_15811` `e-exp-1_binary64_15809` `exp-1-e_binary64_15807` `exp-0_binary64_15806` `rem-log-exp_binary64_15805` `rem-exp-log_binary64_15804` `cube-neg_binary64_15791` `rem-3cbrt-rft_binary64_15790` `rem-3cbrt-lft_binary64_15789` `rem-cbrt-cube_binary64_15788` `rem-cube-cbrt_binary64_15787` `sqr-abs_binary64_15779` `sqr-neg_binary64_15778` `rem-sqrt-square_binary64_15777` `rem-square-sqrt_binary64_15776` `remove-double-neg_binary64_15752` `sub0-neg_binary64_15751` `--rgt-identity_binary64_15750` `+-rgt-identity_binary64_15749` `+-lft-identity_binary64_15748` `mul0-rgt_binary64_15747` `mul0-lft_binary64_15746` `div0_binary64_15745` `*-inverses_binary64_15744` `+-inverses_binary64_15743` `lft-mult-inverse_binary64_15742` `rgt-mult-inverse_binary64_15741` `remove-double-div_binary64_15740` `pow-sqr_binary64_15737` `difference-of-sqr--1_binary64_15735` `difference-of-sqr-1_binary64_15734` `unswap-sqr_binary64_15732` `cancel-sign-sub_binary64_15729` `distribute-frac-neg_binary64_15727` `distribute-neg-out_binary64_15726` `distribute-rgt-neg-out_binary64_15724` `distribute-rgt1-in_binary64_15720` `distribute-lft1-in_binary64_15719` `distribute-lft-out--_binary64_15716` `distribute-lft-out_binary64_15715`

Counts

210 → 169

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	570	7998
1	1645	7870
2	5539	7870

prune246.0ms (1.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	168	1	169
Fresh	1	3	4
Picked	1	0	1
Done	0	1	1
Total	170	5	175

Error

Counts

175 → 5

Compiler

Compiled 5955 to 2508 computations (57.9% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 x (*.f64 (/.f64 1 (/.f64 (-.f64 (+.f64 t 1) z) (-.f64 y z))) a))
0.0b	(/.f64 (-.f64 (+.f64 t 1) z) (-.f64 y z))
0.3b	(/.f64 1 (/.f64 (-.f64 (+.f64 t 1) z) (-.f64 y z)))
1.1b	(*.f64 (/.f64 1 (/.f64 (-.f64 (+.f64 t 1) z) (-.f64 y z))) a)

rewrite861.0ms (4.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

481×	`*-un-lft-identity_binary64_15764`
462×	`times-frac_binary64_15770`
370×	`add-sqr-sqrt_binary64_15786`
176×	`add-cube-cbrt_binary64_15799`
131×	`distribute-lft-out--_binary64_15716`
113×	`associate-l_binary64_15705`
90×	`difference-of-squares_binary64_15733`
41×	`distribute-lft-out_binary64_15715` `associate-/r*_binary64_15708`
36×	`add-exp-log_binary64_15802`
20×	`add-cbrt-cube_binary64_15800`
18×	`associate-/r/_binary64_15710`
15×	`div-exp_binary64_15815`
10×	`div-inv_binary64_15761` `flip3--_binary64_15768` `flip--_binary64_15739`
9×	`associate-/l*_binary64_15709`
7×	`pow1_binary64_15825` `prod-exp_binary64_15813` `cbrt-undiv_binary64_15798`
6×	`add-log-exp_binary64_15803`
5×	`unswap-sqr_binary64_15732`
4×	`1-exp_binary64_15808` `rec-exp_binary64_15814`
3×	`cbrt-unprod_binary64_15797` `associate-r_binary64_15704`
2×	`frac-2neg_binary64_15775` `clear-num_binary64_15763` `associate-/l/_binary64_15711`
1×	`pow-prod-down_binary64_15835` `associate-l/_binary64_15707` `-commutative_binary64_15695` `inv-pow_binary64_15849` `pow-flip_binary64_15838` `div-sub_binary64_15769` `diff-log_binary64_15856` `sub-neg_binary64_15757` `cancel-sign-sub-inv_binary64_15730`

Counts

4 → 379

Calls

4 calls:

38.0ms	(*.f64 (/.f64 1 (/.f64 (-.f64 (+.f64 t 1) z) (-.f64 y z))) a)
16.0ms	(/.f64 1 (/.f64 (-.f64 (+.f64 t 1) z) (-.f64 y z)))
12.0ms	(/.f64 (-.f64 (+.f64 t 1) z) (-.f64 y z))
4.0ms	(-.f64 x (*.f64 (/.f64 1 (/.f64 (-.f64 (+.f64 t 1) z) (-.f64 y z))) a))

Compiler

Compiled 10933 to 6254 computations (42.8% saved)

series2.4s (13.5%)

Error

Counts

4 → 122

Calls

4 calls:

902.0ms	(-.f64 x (*.f64 (/.f64 1 (/.f64 (-.f64 (+.f64 t 1) z) (-.f64 y z))) a))
597.0ms	(*.f64 (/.f64 1 (/.f64 (-.f64 (+.f64 t 1) z) (-.f64 y z))) a)
389.0ms	(/.f64 1 (/.f64 (-.f64 (+.f64 t 1) z) (-.f64 y z)))
319.0ms	(/.f64 (-.f64 (+.f64 t 1) z) (-.f64 y z))

Compiler

Compiled 10548 to 6955 computations (34.1% saved)

simplify280.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

505×	`associate-/l*_binary64_15709`
430×	`times-frac_binary64_15770`
293×	`associate-/r/_binary64_15710`
287×	`associate-/r*_binary64_15708`
249×	`+-commutative_binary64_15694`
198×	`sub-neg_binary64_15757`
177×	`associate-+r+_binary64_15696`
118×	`*-commutative_binary64_15695`
116×	`associate-/l/_binary64_15711`
94×	`distribute-rgt-in_binary64_15714`
92×	`distribute-lft-in_binary64_15713`
89×	`distribute-neg-in_binary64_15725`
59×	`neg-sub0_binary64_15759`
55×	`neg-mul-1_binary64_15760`
50×	`associate-*l/_binary64_15707`
46×	`div-sub_binary64_15769`
43×	`associate--l+_binary64_15701`
33×	`associate--r+_binary64_15700`
31×	`associate-*r/_binary64_15706`
27×	`sqr-pow_binary64_15736` `cancel-sign-sub-inv_binary64_15730`
25×	`distribute-neg-frac_binary64_15728`
22×	`distribute-rgt-neg-in_binary64_15722`
17×	`distribute-lft-neg-in_binary64_15721` `associate-r_binary64_15704`
9×	`/-rgt-identity_binary64_15755` `associate-l_binary64_15705`
8×	`unpow3_binary64_15830`
7×	`log-div_binary64_15851` `cube-prod_binary64_15792` `mul-1-neg_binary64_15756` `swap-sqr_binary64_15731` `distribute-rgt-out_binary64_15717`
6×	`log-prod_binary64_15850` `cube-mult_binary64_15794`
5×	`unpow2_binary64_15829` `unpow1_binary64_15822` `exp-prod_binary64_15816`
4×	`cube-unmult_binary64_15801` `*-lft-identity_binary64_15753` `remove-double-div_binary64_15740` `difference-of-squares_binary64_15733` `associate-+l-_binary64_15699`
3×	`cube-div_binary64_15793` `*-rgt-identity_binary64_15754` `distribute-lft-neg-out_binary64_15723`
2×	`log-rec_binary64_15852` `sub0-neg_binary64_15751` `associate--r-_binary64_15703`
1×	`div-exp_binary64_15815` `exp-diff_binary64_15812` `exp-sum_binary64_15810` `1-exp_binary64_15808` `*-inverses_binary64_15744` `unswap-sqr_binary64_15732` `count-2_binary64_15712` `associate-+l+_binary64_15697`
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_16027` `erf-erfc_binary64_16026` `erf-odd_binary64_16025` `if-if-and-not_binary64_16024` `if-if-and_binary64_16023` `if-if-or-not_binary64_16022` `if-if-or_binary64_16021` `if-not_binary64_16020` `if-same_binary64_16019` `if-false_binary64_16018` `if-true_binary64_16017` `not-gte_binary64_16016` `not-lte_binary64_16015` `not-gt_binary64_16014` `not-lt_binary64_16013` `gte-same_binary64_16012` `lte-same_binary64_16011` `gt-same_binary64_16010` `lt-same_binary64_16009` `sinh---cosh_binary64_15956` `sinh-+-cosh_binary64_15955` `sinh-cosh_binary64_15954` `tanh-def-c_binary64_15953` `tanh-def-b_binary64_15952` `tanh-def-a_binary64_15951` `cosh-def_binary64_15950` `sinh-def_binary64_15949` `tan-neg_binary64_15896` `cos-neg_binary64_15895` `sin-neg_binary64_15894` `tan-0_binary64_15893` `cos-0_binary64_15892` `sin-0_binary64_15891` `hang-m-tan_binary64_15890` `hang-p-tan_binary64_15889` `hang-m0-tan_binary64_15888` `hang-p0-tan_binary64_15887` `hang-0m-tan_binary64_15886` `hang-0p-tan_binary64_15885` `tan-+PI/2_binary64_15884` `tan-+PI_binary64_15883` `tan-PI_binary64_15882` `tan-PI/3_binary64_15881` `tan-PI/4_binary64_15880` `tan-PI/6_binary64_15879` `cos-+PI/2_binary64_15878` `cos-+PI_binary64_15877` `cos-PI_binary64_15876` `cos-PI/2_binary64_15875` `cos-PI/3_binary64_15874` `cos-PI/4_binary64_15873` `cos-PI/6_binary64_15872` `sin-+PI/2_binary64_15871` `sin-+PI_binary64_15870` `sin-PI_binary64_15869` `sin-PI/2_binary64_15868` `sin-PI/3_binary64_15867` `sin-PI/4_binary64_15866` `sin-PI/6_binary64_15865` `sub-1-sin_binary64_15864` `sub-1-cos_binary64_15863` `-1-add-sin_binary64_15862` `-1-add-cos_binary64_15861` `1-sub-sin_binary64_15860` `1-sub-cos_binary64_15859` `cos-sin-sum_binary64_15858` `log-E_binary64_15854` `log-pow_binary64_15853` `pow-base-0_binary64_15848` `unpow1/3_binary64_15831` `unpow1/2_binary64_15828` `pow-plus_binary64_15827` `exp-to-pow_binary64_15826` `pow-base-1_binary64_15824` `unpow0_binary64_15823` `unpow-1_binary64_15821` `exp-lft-cube_binary64_15820` `exp-lft-sqr_binary64_15819` `exp-cbrt_binary64_15818` `exp-sqrt_binary64_15817` `rec-exp_binary64_15814` `prod-exp_binary64_15813` `exp-neg_binary64_15811` `e-exp-1_binary64_15809` `exp-1-e_binary64_15807` `exp-0_binary64_15806` `rem-log-exp_binary64_15805` `rem-exp-log_binary64_15804` `cube-neg_binary64_15791` `rem-3cbrt-rft_binary64_15790` `rem-3cbrt-lft_binary64_15789` `rem-cbrt-cube_binary64_15788` `rem-cube-cbrt_binary64_15787` `sqr-abs_binary64_15779` `sqr-neg_binary64_15778` `rem-sqrt-square_binary64_15777` `rem-square-sqrt_binary64_15776` `unsub-neg_binary64_15758` `remove-double-neg_binary64_15752` `--rgt-identity_binary64_15750` `+-rgt-identity_binary64_15749` `+-lft-identity_binary64_15748` `mul0-rgt_binary64_15747` `mul0-lft_binary64_15746` `div0_binary64_15745` `+-inverses_binary64_15743` `lft-mult-inverse_binary64_15742` `rgt-mult-inverse_binary64_15741` `pow-sqr_binary64_15737` `difference-of-sqr--1_binary64_15735` `difference-of-sqr-1_binary64_15734` `cancel-sign-sub_binary64_15729` `distribute-frac-neg_binary64_15727` `distribute-neg-out_binary64_15726` `distribute-rgt-neg-out_binary64_15724` `distribute-rgt1-in_binary64_15720` `distribute-lft1-in_binary64_15719` `distribute-rgt-out--_binary64_15718` `distribute-lft-out--_binary64_15716` `distribute-lft-out_binary64_15715` `associate--l-_binary64_15702` `associate-+r-_binary64_15698`

Counts

501 → 467

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	793	16059
1	2204	15709
2	5149	15709

prune796.0ms (4.4%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	467	0	467
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	467	5	472

Error

Counts

472 → 5

Compiler

Compiled 14229 to 6990 computations (50.9% saved)

localize16.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite185.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

66×	`*-un-lft-identity_binary64_15764`
50×	`add-sqr-sqrt_binary64_15786`
37×	`times-frac_binary64_15770`
29×	`add-cube-cbrt_binary64_15799`
24×	`associate-l_binary64_15705`
15×	`distribute-lft-out--_binary64_15716`
13×	`cancel-sign-sub-inv_binary64_15730`
10×	`add-exp-log_binary64_15802` `add-cbrt-cube_binary64_15800`
8×	`distribute-rgt-in_binary64_15714` `distribute-lft-in_binary64_15713` `difference-of-squares_binary64_15733` `associate--r+_binary64_15700`
7×	`distribute-lft-out_binary64_15715`
6×	`associate-/r*_binary64_15708`
5×	`pow1_binary64_15825` `add-log-exp_binary64_15803` `flip3--_binary64_15768` `flip--_binary64_15739` `sub-neg_binary64_15757` `associate-r_binary64_15704`
4×	`associate-/r/_binary64_15710`
3×	`associate-/l*_binary64_15709`
2×	`div-exp_binary64_15815` `prod-exp_binary64_15813` `cbrt-unprod_binary64_15797` `cbrt-undiv_binary64_15798` `frac-times_binary64_15774` `unswap-sqr_binary64_15732` `associate-*r/_binary64_15706` `div-inv_binary64_15761`
1×	`pow-prod-down_binary64_15835` `associate-l/_binary64_15707` `-commutative_binary64_15695` `frac-2neg_binary64_15775` `clear-num_binary64_15763` `diff-log_binary64_15856`

Counts

3 → 118

Calls

3 calls:

19.0ms	(*.f64 (/.f64 a (-.f64 (+.f64 t 1) z)) (-.f64 y z))
9.0ms	(/.f64 a (-.f64 (+.f64 t 1) z))
5.0ms	(-.f64 x (*.f64 (/.f64 a (-.f64 (+.f64 t 1) z)) (-.f64 y z)))

Compiler

Compiled 2760 to 1430 computations (48.2% saved)

series1.9s (10.4%)

Error

Counts

3 → 92

Calls

3 calls:

906.0ms	(-.f64 x (*.f64 (/.f64 a (-.f64 (+.f64 t 1) z)) (-.f64 y z)))
555.0ms	(*.f64 (/.f64 a (-.f64 (+.f64 t 1) z)) (-.f64 y z))
255.0ms	(/.f64 a (-.f64 (+.f64 t 1) z))

Compiler

Compiled 7676 to 4857 computations (36.7% saved)

simplify136.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

372×	`associate-+l+_binary64_15697`
293×	`times-frac_binary64_15770`
263×	`associate-/l*_binary64_15709`
173×	`associate--l+_binary64_15701`
168×	`associate-/r*_binary64_15708` `+-commutative_binary64_15694`
158×	`associate--r+_binary64_15700`
144×	`associate-r_binary64_15704`
136×	`associate-*l/_binary64_15707`
123×	`sub-neg_binary64_15757` `associate-l_binary64_15705`
116×	`associate-+r+_binary64_15696`
101×	`distribute-rgt-in_binary64_15714`
92×	`distribute-lft-in_binary64_15713` `associate-*r/_binary64_15706`
91×	`*-commutative_binary64_15695`
83×	`associate-/l/_binary64_15711`
73×	`associate-/r/_binary64_15710`
72×	`distribute-neg-in_binary64_15725`
57×	`neg-sub0_binary64_15759`
54×	`neg-mul-1_binary64_15760`
33×	`cancel-sign-sub-inv_binary64_15730`
26×	`distribute-neg-frac_binary64_15728`
25×	`sqr-pow_binary64_15736` `distribute-rgt-neg-in_binary64_15722`
18×	`distribute-lft-neg-in_binary64_15721`
13×	`distribute-lft-neg-out_binary64_15723`
11×	`div-sub_binary64_15769`
9×	`distribute-rgt-neg-out_binary64_15724`
8×	`unpow3_binary64_15830`
6×	`cube-mult_binary64_15794` `mul-1-neg_binary64_15756` `difference-of-squares_binary64_15733` `distribute-rgt-out_binary64_15717` `associate-+r-_binary64_15698`
5×	`log-div_binary64_15851`
4×	`unpow2_binary64_15829` `unpow1_binary64_15822` `exp-prod_binary64_15816` `cube-div_binary64_15793` `cube-prod_binary64_15792` `swap-sqr_binary64_15731`
3×	`log-prod_binary64_15850` `cube-unmult_binary64_15801` `unsub-neg_binary64_15758` `/-rgt-identity_binary64_15755` `*-rgt-identity_binary64_15754`
2×	`*-lft-identity_binary64_15753`
1×	`div-exp_binary64_15815` `exp-sum_binary64_15810` `1-exp_binary64_15808` `rem-3cbrt-lft_binary64_15789` `rem-square-sqrt_binary64_15776` `count-2_binary64_15712` `associate--r-_binary64_15703` `associate-+l-_binary64_15699`
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_16027` `erf-erfc_binary64_16026` `erf-odd_binary64_16025` `if-if-and-not_binary64_16024` `if-if-and_binary64_16023` `if-if-or-not_binary64_16022` `if-if-or_binary64_16021` `if-not_binary64_16020` `if-same_binary64_16019` `if-false_binary64_16018` `if-true_binary64_16017` `not-gte_binary64_16016` `not-lte_binary64_16015` `not-gt_binary64_16014` `not-lt_binary64_16013` `gte-same_binary64_16012` `lte-same_binary64_16011` `gt-same_binary64_16010` `lt-same_binary64_16009` `sinh---cosh_binary64_15956` `sinh-+-cosh_binary64_15955` `sinh-cosh_binary64_15954` `tanh-def-c_binary64_15953` `tanh-def-b_binary64_15952` `tanh-def-a_binary64_15951` `cosh-def_binary64_15950` `sinh-def_binary64_15949` `tan-neg_binary64_15896` `cos-neg_binary64_15895` `sin-neg_binary64_15894` `tan-0_binary64_15893` `cos-0_binary64_15892` `sin-0_binary64_15891` `hang-m-tan_binary64_15890` `hang-p-tan_binary64_15889` `hang-m0-tan_binary64_15888` `hang-p0-tan_binary64_15887` `hang-0m-tan_binary64_15886` `hang-0p-tan_binary64_15885` `tan-+PI/2_binary64_15884` `tan-+PI_binary64_15883` `tan-PI_binary64_15882` `tan-PI/3_binary64_15881` `tan-PI/4_binary64_15880` `tan-PI/6_binary64_15879` `cos-+PI/2_binary64_15878` `cos-+PI_binary64_15877` `cos-PI_binary64_15876` `cos-PI/2_binary64_15875` `cos-PI/3_binary64_15874` `cos-PI/4_binary64_15873` `cos-PI/6_binary64_15872` `sin-+PI/2_binary64_15871` `sin-+PI_binary64_15870` `sin-PI_binary64_15869` `sin-PI/2_binary64_15868` `sin-PI/3_binary64_15867` `sin-PI/4_binary64_15866` `sin-PI/6_binary64_15865` `sub-1-sin_binary64_15864` `sub-1-cos_binary64_15863` `-1-add-sin_binary64_15862` `-1-add-cos_binary64_15861` `1-sub-sin_binary64_15860` `1-sub-cos_binary64_15859` `cos-sin-sum_binary64_15858` `log-E_binary64_15854` `log-pow_binary64_15853` `log-rec_binary64_15852` `pow-base-0_binary64_15848` `unpow1/3_binary64_15831` `unpow1/2_binary64_15828` `pow-plus_binary64_15827` `exp-to-pow_binary64_15826` `pow-base-1_binary64_15824` `unpow0_binary64_15823` `unpow-1_binary64_15821` `exp-lft-cube_binary64_15820` `exp-lft-sqr_binary64_15819` `exp-cbrt_binary64_15818` `exp-sqrt_binary64_15817` `rec-exp_binary64_15814` `prod-exp_binary64_15813` `exp-diff_binary64_15812` `exp-neg_binary64_15811` `e-exp-1_binary64_15809` `exp-1-e_binary64_15807` `exp-0_binary64_15806` `rem-log-exp_binary64_15805` `rem-exp-log_binary64_15804` `cube-neg_binary64_15791` `rem-3cbrt-rft_binary64_15790` `rem-cbrt-cube_binary64_15788` `rem-cube-cbrt_binary64_15787` `sqr-abs_binary64_15779` `sqr-neg_binary64_15778` `rem-sqrt-square_binary64_15777` `remove-double-neg_binary64_15752` `sub0-neg_binary64_15751` `--rgt-identity_binary64_15750` `+-rgt-identity_binary64_15749` `+-lft-identity_binary64_15748` `mul0-rgt_binary64_15747` `mul0-lft_binary64_15746` `div0_binary64_15745` `*-inverses_binary64_15744` `+-inverses_binary64_15743` `lft-mult-inverse_binary64_15742` `rgt-mult-inverse_binary64_15741` `remove-double-div_binary64_15740` `pow-sqr_binary64_15737` `difference-of-sqr--1_binary64_15735` `difference-of-sqr-1_binary64_15734` `unswap-sqr_binary64_15732` `cancel-sign-sub_binary64_15729` `distribute-frac-neg_binary64_15727` `distribute-neg-out_binary64_15726` `distribute-rgt1-in_binary64_15720` `distribute-lft1-in_binary64_15719` `distribute-rgt-out--_binary64_15718` `distribute-lft-out--_binary64_15716` `distribute-lft-out_binary64_15715` `associate--l-_binary64_15702`

Counts

210 → 149

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	507	7321
1	1481	7209
2	5148	7209

prune210.0ms (1.2%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	149	0	149
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	149	5	154

Error

Counts

154 → 5

Compiler

Compiled 5076 to 2073 computations (59.2% saved)

regimes1.4s (7.8%)

Accuracy

Total 0.3b remaining (99.7%)

Threshold costs 0.3b (99.7%)

Compiler

Compiled 14763 to 11704 computations (20.7% saved)

bsearch0.0ms (0%)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Rules

53×	`neg-mul-1_binary64_15760` `neg-sub0_binary64_15759`
46×	`unsub-neg_binary64_15758`
35×	`distribute-neg-out_binary64_15726`
21×	`distribute-rgt-neg-out_binary64_15724`
20×	`remove-double-neg_binary64_15752`
19×	`distribute-rgt-neg-in_binary64_15722`
16×	`distribute-lft-neg-out_binary64_15723`
13×	`sub-neg_binary64_15757`
11×	`cancel-sign-sub-inv_binary64_15730` `distribute-lft-neg-in_binary64_15721` `+-commutative_binary64_15694`
9×	`distribute-neg-in_binary64_15725`
8×	`*-commutative_binary64_15695`
5×	`+-rgt-identity_binary64_15749` `+-lft-identity_binary64_15748`
2×	`distribute-frac-neg_binary64_15727`
1×	`1-exp_binary64_15808` `sqr-neg_binary64_15778` `--rgt-identity_binary64_15750` `distribute-neg-frac_binary64_15728`
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_16024` `if-if-and_binary64_16023` `if-if-or-not_binary64_16022` `if-if-or_binary64_16021` `if-not_binary64_16020` `if-same_binary64_16019` `if-false_binary64_16018` `if-true_binary64_16017` `tan-0_binary64_15893` `cos-0_binary64_15892` `sin-0_binary64_15891` `unpow1_binary64_15822` `e-exp-1_binary64_15809` `exp-1-e_binary64_15807` `exp-0_binary64_15806` `sqr-abs_binary64_15779` `mul-1-neg_binary64_15756` `/-rgt-identity_binary64_15755` `-rgt-identity_binary64_15754` `-lft-identity_binary64_15753` `sub0-neg_binary64_15751` `cancel-sign-sub_binary64_15729`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	19
1	25	19
2	40	19
3	54	19
4	73	19
5	91	19
6	94	19
7	144	19
8	197	19
9	165	19
10	164	19

end0.0ms (0%)

sample2.6s (14.6%)

Algorithm

1×

intervals

Results

573.0ms	7995×	body	128	valid
19.0ms	482×	body	128	invalid
0.0ms	3×	body	512	valid
0.0ms	2×	body	256	valid

Compiler

Compiled 2118 to 1681 computations (20.6% saved)

Iter	Nodes	Cost
0	13	19
1	25	19
2	40	19
3	54	19
4	73	19
5	91	19
6	94	19
7	144	19
8	197	19
9	165	19
10	164	19

Iter	Nodes	Cost
0	13	19
1	25	19
2	40	19
3	54	19
4	73	19
5	91	19
6	94	19
7	144	19
8	197	19
9	165	19
10	164	19

Details

analyze1.3s (7.4%)

sample27.0ms (0.1%)

simplify92.0ms (0.5%)

prune2.0ms (0%)

localize9.0ms (0.1%)

rewrite546.0ms (3%)

series1.8s (10.1%)

simplify238.0ms (1.3%)

prune476.0ms (2.6%)

localize9.0ms (0.1%)

rewrite174.0ms (1%)

series2.1s (11.4%)

simplify141.0ms (0.8%)

prune246.0ms (1.4%)

localize11.0ms (0.1%)

rewrite861.0ms (4.8%)

series2.4s (13.5%)

simplify280.0ms (1.6%)

prune796.0ms (4.4%)

localize16.0ms (0.1%)

rewrite185.0ms (1%)

series1.9s (10.4%)

simplify136.0ms (0.8%)

prune210.0ms (1.2%)

regimes1.4s (7.8%)

bsearch0.0ms (0%)

simplify7.0ms (0%)

end0.0ms (0%)

sample2.6s (14.6%)

Profiling

Iter	Nodes	Cost
0	13	19
1	25	19
2	40	19
3	54	19
4	73	19
5	91	19
6	94	19
7	144	19
8	197	19
9	165	19
10	164	19