Details

analyze829.0ms (4.1%)

Algorithm

1×

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
15.6%	84.2%	0.2%	8
15.6%	84.2%	0.2%	9
20.3%	79.5%	0.2%	10
25.3%	74.5%	0.2%	11
34.2%	65.6%	0.2%	12
37.4%	62%	0.6%	13
41.7%	57.7%	0.6%	14

Compiler

Compiled 16 to 14 computations (12.5% saved)

sample32.0ms (0.2%)

Algorithm

1×

intervals

Results

11.0ms	256×	body	128	valid
4.0ms	96×	body	128	invalid

Compiler

Compiled 31 to 31 computations (0% saved)

simplify791.0ms (3.9%)

Algorithm

1×	egg-herbie

Rules

708×	`associate-/l/_binary64_29351`
663×	`associate-/l*_binary64_29349`
421×	`cancel-sign-sub-inv_binary64_29370`
385×	`associate-/r/_binary64_29350`
370×	`distribute-neg-frac_binary64_29368`
369×	`distribute-rgt-neg-in_binary64_29362`
353×	`associate-/r*_binary64_29348`
301×	`exp-prod_binary64_29456`
294×	`swap-sqr_binary64_29371`
243×	`sub-neg_binary64_29397`
213×	`unsub-neg_binary64_29398`
157×	`distribute-rgt-neg-out_binary64_29364`
129×	`associate-*l/_binary64_29347`
127×	`distribute-rgt-out_binary64_29357`
126×	`div-sub_binary64_29409`
122×	`distribute-lft-neg-out_binary64_29363` `distribute-rgt-out--_binary64_29358`
116×	`distribute-rgt-in_binary64_29354`
102×	`times-frac_binary64_29410` `associate-l_binary64_29345`
88×	`distribute-lft-in_binary64_29353`
78×	`*-commutative_binary64_29335`
68×	`neg-mul-1_binary64_29400`
67×	`neg-sub0_binary64_29399`
53×	`distribute-lft-neg-in_binary64_29361`
40×	`associate-r_binary64_29344`
30×	`distribute-neg-in_binary64_29365`
29×	`associate--r+_binary64_29340`
27×	`distribute-frac-neg_binary64_29367`
25×	`remove-double-neg_binary64_29392` `mul0-lft_binary64_29386`
24×	`mul0-rgt_binary64_29387`
23×	`associate--r-_binary64_29343` `+-commutative_binary64_29334`
22×	`div0_binary64_29385`
20×	`associate-+l-_binary64_29339`
17×	`sub0-neg_binary64_29391` `distribute-lft-out--_binary64_29356`
15×	`distribute-neg-out_binary64_29366` `associate-*r/_binary64_29346`
14×	`unswap-sqr_binary64_29372`
11×	`+-lft-identity_binary64_29388` `+-inverses_binary64_29383` `distribute-rgt1-in_binary64_29360` `associate--l-_binary64_29342` `associate--l+_binary64_29341`
10×	`--rgt-identity_binary64_29390` `distribute-lft-out_binary64_29355`
9×	`associate-+r-_binary64_29338` `associate-+r+_binary64_29336`
7×	`cube-unmult_binary64_29441`
6×	`difference-of-squares_binary64_29373`
5×	`+-rgt-identity_binary64_29389` `pow-sqr_binary64_29377` `sqr-pow_binary64_29376` `associate-+l+_binary64_29337`
4×	`pow-plus_binary64_29467`
3×	`difference-of-sqr--1_binary64_29375`
2×	`exp-diff_binary64_29452` `count-2_binary64_29352`
1×	`exp-lft-sqr_binary64_29459` `exp-cbrt_binary64_29458` `exp-sum_binary64_29450` `1-exp_binary64_29448` `cube-prod_binary64_29432` `sqr-neg_binary64_29418`
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_29667` `erf-erfc_binary64_29666` `erf-odd_binary64_29665` `if-if-and-not_binary64_29664` `if-if-and_binary64_29663` `if-if-or-not_binary64_29662` `if-if-or_binary64_29661` `if-not_binary64_29660` `if-same_binary64_29659` `if-false_binary64_29658` `if-true_binary64_29657` `not-gte_binary64_29656` `not-lte_binary64_29655` `not-gt_binary64_29654` `not-lt_binary64_29653` `gte-same_binary64_29652` `lte-same_binary64_29651` `gt-same_binary64_29650` `lt-same_binary64_29649` `sinh---cosh_binary64_29596` `sinh-+-cosh_binary64_29595` `sinh-cosh_binary64_29594` `tanh-def-c_binary64_29593` `tanh-def-b_binary64_29592` `tanh-def-a_binary64_29591` `cosh-def_binary64_29590` `sinh-def_binary64_29589` `tan-neg_binary64_29536` `cos-neg_binary64_29535` `sin-neg_binary64_29534` `tan-0_binary64_29533` `cos-0_binary64_29532` `sin-0_binary64_29531` `hang-m-tan_binary64_29530` `hang-p-tan_binary64_29529` `hang-m0-tan_binary64_29528` `hang-p0-tan_binary64_29527` `hang-0m-tan_binary64_29526` `hang-0p-tan_binary64_29525` `tan-+PI/2_binary64_29524` `tan-+PI_binary64_29523` `tan-PI_binary64_29522` `tan-PI/3_binary64_29521` `tan-PI/4_binary64_29520` `tan-PI/6_binary64_29519` `cos-+PI/2_binary64_29518` `cos-+PI_binary64_29517` `cos-PI_binary64_29516` `cos-PI/2_binary64_29515` `cos-PI/3_binary64_29514` `cos-PI/4_binary64_29513` `cos-PI/6_binary64_29512` `sin-+PI/2_binary64_29511` `sin-+PI_binary64_29510` `sin-PI_binary64_29509` `sin-PI/2_binary64_29508` `sin-PI/3_binary64_29507` `sin-PI/4_binary64_29506` `sin-PI/6_binary64_29505` `sub-1-sin_binary64_29504` `sub-1-cos_binary64_29503` `-1-add-sin_binary64_29502` `-1-add-cos_binary64_29501` `1-sub-sin_binary64_29500` `1-sub-cos_binary64_29499` `cos-sin-sum_binary64_29498` `log-E_binary64_29494` `log-pow_binary64_29493` `log-rec_binary64_29492` `log-div_binary64_29491` `log-prod_binary64_29490` `pow-base-0_binary64_29488` `unpow1/3_binary64_29471` `unpow3_binary64_29470` `unpow2_binary64_29469` `unpow1/2_binary64_29468` `exp-to-pow_binary64_29466` `pow-base-1_binary64_29464` `unpow0_binary64_29463` `unpow1_binary64_29462` `unpow-1_binary64_29461` `exp-lft-cube_binary64_29460` `exp-sqrt_binary64_29457` `div-exp_binary64_29455` `rec-exp_binary64_29454` `prod-exp_binary64_29453` `exp-neg_binary64_29451` `e-exp-1_binary64_29449` `exp-1-e_binary64_29447` `exp-0_binary64_29446` `rem-log-exp_binary64_29445` `rem-exp-log_binary64_29444` `cube-mult_binary64_29434` `cube-div_binary64_29433` `cube-neg_binary64_29431` `rem-3cbrt-rft_binary64_29430` `rem-3cbrt-lft_binary64_29429` `rem-cbrt-cube_binary64_29428` `rem-cube-cbrt_binary64_29427` `sqr-abs_binary64_29419` `rem-sqrt-square_binary64_29417` `rem-square-sqrt_binary64_29416` `mul-1-neg_binary64_29396` `/-rgt-identity_binary64_29395` `-rgt-identity_binary64_29394` `-lft-identity_binary64_29393` `*-inverses_binary64_29384` `lft-mult-inverse_binary64_29382` `rgt-mult-inverse_binary64_29381` `remove-double-div_binary64_29380` `difference-of-sqr-1_binary64_29374` `cancel-sign-sub_binary64_29369` `distribute-lft1-in_binary64_29359`

Counts

1 → 6

Iterations

Useful iterations: 7 (1.0ms)

Iter	Nodes	Cost
0	12	22
1	25	22
2	58	22
3	107	22
4	217	22
5	421	19
6	870	19
7	3451	16

prune16.0ms (0.1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	1	5	6
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	6	7

Error

0.1b

Counts

7 → 6

Compiler

Compiled 164 to 123 computations (25% saved)

localize9.0ms (0%)

Local error

Found 3 expressions with local error:

0.0b	(-.f64 (/.f64 t y) y)
0.0b	(+.f64 x (/.f64 (-.f64 (/.f64 t y) y) (*.f64 z 3)))
2.4b	(/.f64 (-.f64 (/.f64 t y) y) (*.f64 z 3))

rewrite100.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

21×	`add-sqr-sqrt_binary64_29426`
14×	`*-un-lft-identity_binary64_29404`
9×	`times-frac_binary64_29410`
8×	`add-exp-log_binary64_29442` `add-cbrt-cube_binary64_29440`
7×	`add-log-exp_binary64_29443`
6×	`add-cube-cbrt_binary64_29439` `difference-of-squares_binary64_29373` `associate-/l*_binary64_29349`
3×	`pow1_binary64_29465` `distribute-lft-out--_binary64_29356` `cancel-sign-sub-inv_binary64_29370`
2×	`div-exp_binary64_29455` `cbrt-undiv_binary64_29438` `div-sub_binary64_29409` `flip3--_binary64_29408` `associate-/l/_binary64_29351` `flip--_binary64_29379`
1×	`prod-exp_binary64_29453` `cbrt-unprod_binary64_29437` `frac-2neg_binary64_29415` `clear-num_binary64_29403` `div-inv_binary64_29401` `associate-/r*_binary64_29348` `sum-log_binary64_29495` `flip3-+_binary64_29407` `flip-+_binary64_29378` `distribute-lft-out_binary64_29355` `associate-+r-_binary64_29338` `+-commutative_binary64_29334` `diff-log_binary64_29496` `sub-neg_binary64_29397`

Counts

3 → 60

Calls

3 calls:

11.0ms	(+.f64 x (/.f64 (-.f64 (/.f64 t y) y) (*.f64 z 3)))
11.0ms	(/.f64 (-.f64 (/.f64 t y) y) (*.f64 z 3))
8.0ms	(-.f64 (/.f64 t y) y)

Compiler

Compiled 1184 to 468 computations (60.5% saved)

series1.0s (5.2%)

Error

0.0b

Counts

3 → 54

Calls

3 calls:

549.0ms	(+.f64 x (/.f64 (-.f64 (/.f64 t y) y) (*.f64 z 3)))
340.0ms	(/.f64 (-.f64 (/.f64 t y) y) (*.f64 z 3))
110.0ms	(-.f64 (/.f64 t y) y)

Compiler

Compiled 1507 to 1120 computations (25.7% saved)

simplify227.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

479×	`times-frac_binary64_29410`
436×	`div-sub_binary64_29409`
372×	`associate-l_binary64_29345`
314×	`associate-/l*_binary64_29349`
310×	`associate-/r*_binary64_29348`
297×	`associate-r_binary64_29344`
209×	`distribute-rgt-in_binary64_29354`
195×	`distribute-lft-in_binary64_29353`
185×	`associate-*l/_binary64_29347`
173×	`associate-*r/_binary64_29346`
108×	`exp-prod_binary64_29456` `*-commutative_binary64_29335`
98×	`associate-/l/_binary64_29351`
63×	`sub-neg_binary64_29397`
57×	`cancel-sign-sub-inv_binary64_29370`
56×	`cube-prod_binary64_29432`
50×	`+-commutative_binary64_29334`
48×	`distribute-rgt-neg-in_binary64_29362`
45×	`distribute-neg-frac_binary64_29368` `associate-/r/_binary64_29350`
44×	`exp-sum_binary64_29450` `distribute-lft-neg-out_binary64_29363`
37×	`neg-sub0_binary64_29399`
35×	`neg-mul-1_binary64_29400`
33×	`distribute-lft-neg-in_binary64_29361`
26×	`sqr-pow_binary64_29376`
24×	`associate-+r-_binary64_29338`
23×	`associate-+l+_binary64_29337`
21×	`distribute-rgt-neg-out_binary64_29364`
20×	`associate-+l-_binary64_29339` `associate-+r+_binary64_29336`
18×	`cube-div_binary64_29433`
16×	`distribute-rgt-out_binary64_29357`
15×	`exp-diff_binary64_29452`
13×	`distribute-neg-in_binary64_29365`
12×	`unpow3_binary64_29470`
11×	`pow-sqr_binary64_29377`
10×	`cube-unmult_binary64_29441`
7×	`associate--r+_binary64_29340`
6×	`exp-neg_binary64_29451` `cube-mult_binary64_29434` `swap-sqr_binary64_29371` `distribute-rgt-out--_binary64_29358`
5×	`log-div_binary64_29491` `associate--r-_binary64_29343` `associate--l+_binary64_29341`
4×	`exp-cbrt_binary64_29458` `prod-exp_binary64_29453` `sqr-neg_binary64_29418` `difference-of-squares_binary64_29373` `distribute-lft-out_binary64_29355`
3×	`mul-1-neg_binary64_29396` `+-rgt-identity_binary64_29389` `distribute-lft-out--_binary64_29356`
2×	`div-exp_binary64_29455` `rem-sqrt-square_binary64_29417` `unsub-neg_binary64_29398` `unswap-sqr_binary64_29372`
1×	`log-prod_binary64_29490` `pow-plus_binary64_29467` `rec-exp_binary64_29454` `1-exp_binary64_29448` `exp-1-e_binary64_29447` `cube-neg_binary64_29431` `rem-3cbrt-lft_binary64_29429` `rem-square-sqrt_binary64_29416` `-rgt-identity_binary64_29394` `-lft-identity_binary64_29393` `remove-double-neg_binary64_29392` `*-inverses_binary64_29384` `distribute-frac-neg_binary64_29367` `associate--l-_binary64_29342`
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_29667` `erf-erfc_binary64_29666` `erf-odd_binary64_29665` `if-if-and-not_binary64_29664` `if-if-and_binary64_29663` `if-if-or-not_binary64_29662` `if-if-or_binary64_29661` `if-not_binary64_29660` `if-same_binary64_29659` `if-false_binary64_29658` `if-true_binary64_29657` `not-gte_binary64_29656` `not-lte_binary64_29655` `not-gt_binary64_29654` `not-lt_binary64_29653` `gte-same_binary64_29652` `lte-same_binary64_29651` `gt-same_binary64_29650` `lt-same_binary64_29649` `sinh---cosh_binary64_29596` `sinh-+-cosh_binary64_29595` `sinh-cosh_binary64_29594` `tanh-def-c_binary64_29593` `tanh-def-b_binary64_29592` `tanh-def-a_binary64_29591` `cosh-def_binary64_29590` `sinh-def_binary64_29589` `tan-neg_binary64_29536` `cos-neg_binary64_29535` `sin-neg_binary64_29534` `tan-0_binary64_29533` `cos-0_binary64_29532` `sin-0_binary64_29531` `hang-m-tan_binary64_29530` `hang-p-tan_binary64_29529` `hang-m0-tan_binary64_29528` `hang-p0-tan_binary64_29527` `hang-0m-tan_binary64_29526` `hang-0p-tan_binary64_29525` `tan-+PI/2_binary64_29524` `tan-+PI_binary64_29523` `tan-PI_binary64_29522` `tan-PI/3_binary64_29521` `tan-PI/4_binary64_29520` `tan-PI/6_binary64_29519` `cos-+PI/2_binary64_29518` `cos-+PI_binary64_29517` `cos-PI_binary64_29516` `cos-PI/2_binary64_29515` `cos-PI/3_binary64_29514` `cos-PI/4_binary64_29513` `cos-PI/6_binary64_29512` `sin-+PI/2_binary64_29511` `sin-+PI_binary64_29510` `sin-PI_binary64_29509` `sin-PI/2_binary64_29508` `sin-PI/3_binary64_29507` `sin-PI/4_binary64_29506` `sin-PI/6_binary64_29505` `sub-1-sin_binary64_29504` `sub-1-cos_binary64_29503` `-1-add-sin_binary64_29502` `-1-add-cos_binary64_29501` `1-sub-sin_binary64_29500` `1-sub-cos_binary64_29499` `cos-sin-sum_binary64_29498` `log-E_binary64_29494` `log-pow_binary64_29493` `log-rec_binary64_29492` `pow-base-0_binary64_29488` `unpow1/3_binary64_29471` `unpow2_binary64_29469` `unpow1/2_binary64_29468` `exp-to-pow_binary64_29466` `pow-base-1_binary64_29464` `unpow0_binary64_29463` `unpow1_binary64_29462` `unpow-1_binary64_29461` `exp-lft-cube_binary64_29460` `exp-lft-sqr_binary64_29459` `exp-sqrt_binary64_29457` `e-exp-1_binary64_29449` `exp-0_binary64_29446` `rem-log-exp_binary64_29445` `rem-exp-log_binary64_29444` `rem-3cbrt-rft_binary64_29430` `rem-cbrt-cube_binary64_29428` `rem-cube-cbrt_binary64_29427` `sqr-abs_binary64_29419` `/-rgt-identity_binary64_29395` `sub0-neg_binary64_29391` `--rgt-identity_binary64_29390` `+-lft-identity_binary64_29388` `mul0-rgt_binary64_29387` `mul0-lft_binary64_29386` `div0_binary64_29385` `+-inverses_binary64_29383` `lft-mult-inverse_binary64_29382` `rgt-mult-inverse_binary64_29381` `remove-double-div_binary64_29380` `difference-of-sqr--1_binary64_29375` `difference-of-sqr-1_binary64_29374` `cancel-sign-sub_binary64_29369` `distribute-neg-out_binary64_29366` `distribute-rgt1-in_binary64_29360` `distribute-lft1-in_binary64_29359` `count-2_binary64_29352`

Counts

114 → 158

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	135	1732
1	376	1578
2	1017	1570
3	4440	1570

prune144.0ms (0.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	152	6	158
Fresh	4	1	5
Picked	0	1	1
Done	0	0	0
Total	156	8	164

Error

Counts

164 → 8

Compiler

Compiled 2505 to 937 computations (62.6% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 x (/.f64 1 (/.f64 z (/.f64 (-.f64 (/.f64 t y) y) 3))))
0.1b	(/.f64 (-.f64 (/.f64 t y) y) 3)
0.3b	(/.f64 1 (/.f64 z (/.f64 (-.f64 (/.f64 t y) y) 3)))
2.4b	(/.f64 z (/.f64 (-.f64 (/.f64 t y) y) 3))

rewrite1.0s (5.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

901×	`times-frac_binary64_29410`
622×	`add-sqr-sqrt_binary64_29426`
469×	`*-un-lft-identity_binary64_29404`
362×	`add-cube-cbrt_binary64_29439`
104×	`difference-of-squares_binary64_29373`
96×	`associate-/r*_binary64_29348`
52×	`distribute-lft-out--_binary64_29356`
32×	`add-exp-log_binary64_29442`
24×	`div-inv_binary64_29401`
20×	`add-cbrt-cube_binary64_29440`
19×	`div-exp_binary64_29455`
12×	`associate-/l*_binary64_29349`
10×	`cbrt-undiv_binary64_29438`
6×	`add-log-exp_binary64_29443` `associate-/r/_binary64_29350`
5×	`pow1_binary64_29465`
3×	`frac-2neg_binary64_29415` `clear-num_binary64_29403` `1-exp_binary64_29448` `rec-exp_binary64_29454`
2×	`associate-/l/_binary64_29351` `distribute-lft-out_binary64_29355`
1×	`inv-pow_binary64_29489` `pow-flip_binary64_29478` `div-sub_binary64_29409` `flip3--_binary64_29408` `flip--_binary64_29379` `sum-log_binary64_29495` `flip3-+_binary64_29407` `flip-+_binary64_29378` `+-commutative_binary64_29334`

Counts

4 → 473

Calls

4 calls:

67.0ms	(+.f64 x (/.f64 1 (/.f64 z (/.f64 (-.f64 (/.f64 t y) y) 3))))
24.0ms	(/.f64 1 (/.f64 z (/.f64 (-.f64 (/.f64 t y) y) 3)))
13.0ms	(/.f64 z (/.f64 (-.f64 (/.f64 t y) y) 3))
10.0ms	(/.f64 (-.f64 (/.f64 t y) y) 3)

Compiler

Compiled 13682 to 6669 computations (51.3% saved)

series1.4s (6.7%)

Error

Counts

4 → 69

Calls

4 calls:

542.0ms	(+.f64 x (/.f64 1 (/.f64 z (/.f64 (-.f64 (/.f64 t y) y) 3))))
334.0ms	(/.f64 1 (/.f64 z (/.f64 (-.f64 (/.f64 t y) y) 3)))
244.0ms	(/.f64 z (/.f64 (-.f64 (/.f64 t y) y) 3))
171.0ms	(/.f64 (-.f64 (/.f64 t y) y) 3)

Compiler

Compiled 2341 to 1796 computations (23.3% saved)

simplify1.1s (5.6%)

Algorithm

1×	egg-herbie

Rules

679×	`associate-/r/_binary64_29350`
605×	`associate-/l/_binary64_29351`
590×	`associate-/l*_binary64_29349`
512×	`associate-*l/_binary64_29347`
453×	`times-frac_binary64_29410`
362×	`associate-/r*_binary64_29348`
83×	`distribute-rgt-in_binary64_29354`
75×	`distribute-lft-in_binary64_29353`
43×	`sub-neg_binary64_29397`
34×	`div-sub_binary64_29409`
25×	`neg-sub0_binary64_29399`
24×	`neg-mul-1_binary64_29400`
22×	`distribute-rgt-neg-in_binary64_29362` `*-commutative_binary64_29335`
20×	`cancel-sign-sub-inv_binary64_29370` `associate-*r/_binary64_29346`
19×	`remove-double-div_binary64_29380`
16×	`/-rgt-identity_binary64_29395` `distribute-neg-frac_binary64_29368`
14×	`distribute-lft-neg-in_binary64_29361`
12×	`sqr-pow_binary64_29376` `+-commutative_binary64_29334`
11×	`distribute-neg-in_binary64_29365`
10×	`log-div_binary64_29491` `unswap-sqr_binary64_29372`
7×	`log-prod_binary64_29490`
6×	`-rgt-identity_binary64_29394` `swap-sqr_binary64_29371` `associate-l*_binary64_29345`
5×	`unpow3_binary64_29470` `cube-unmult_binary64_29441` `pow-sqr_binary64_29377` `distribute-lft-neg-out_binary64_29363` `distribute-lft-out_binary64_29355`
4×	`log-rec_binary64_29492` `exp-prod_binary64_29456` `cube-div_binary64_29433`
3×	`exp-diff_binary64_29452` `cube-mult_binary64_29434` `cube-prod_binary64_29432` `distribute-rgt-out_binary64_29357` `distribute-lft-out--_binary64_29356` `associate--r-_binary64_29343`
2×	`prod-exp_binary64_29453` `unsub-neg_binary64_29398` `mul-1-neg_binary64_29396` `associate-+r+_binary64_29336`
1×	`unpow2_binary64_29469` `exp-lft-cube_binary64_29460` `exp-cbrt_binary64_29458` `div-exp_binary64_29455` `rec-exp_binary64_29454` `exp-sum_binary64_29450` `1-exp_binary64_29448` `rem-log-exp_binary64_29445` `rem-sqrt-square_binary64_29417` `-lft-identity_binary64_29393` `sub0-neg_binary64_29391` `-inverses_binary64_29384` `difference-of-squares_binary64_29373` `distribute-rgt-out--_binary64_29358` `associate--l+_binary64_29341` `associate-+r-_binary64_29338`
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_29667` `erf-erfc_binary64_29666` `erf-odd_binary64_29665` `if-if-and-not_binary64_29664` `if-if-and_binary64_29663` `if-if-or-not_binary64_29662` `if-if-or_binary64_29661` `if-not_binary64_29660` `if-same_binary64_29659` `if-false_binary64_29658` `if-true_binary64_29657` `not-gte_binary64_29656` `not-lte_binary64_29655` `not-gt_binary64_29654` `not-lt_binary64_29653` `gte-same_binary64_29652` `lte-same_binary64_29651` `gt-same_binary64_29650` `lt-same_binary64_29649` `sinh---cosh_binary64_29596` `sinh-+-cosh_binary64_29595` `sinh-cosh_binary64_29594` `tanh-def-c_binary64_29593` `tanh-def-b_binary64_29592` `tanh-def-a_binary64_29591` `cosh-def_binary64_29590` `sinh-def_binary64_29589` `tan-neg_binary64_29536` `cos-neg_binary64_29535` `sin-neg_binary64_29534` `tan-0_binary64_29533` `cos-0_binary64_29532` `sin-0_binary64_29531` `hang-m-tan_binary64_29530` `hang-p-tan_binary64_29529` `hang-m0-tan_binary64_29528` `hang-p0-tan_binary64_29527` `hang-0m-tan_binary64_29526` `hang-0p-tan_binary64_29525` `tan-+PI/2_binary64_29524` `tan-+PI_binary64_29523` `tan-PI_binary64_29522` `tan-PI/3_binary64_29521` `tan-PI/4_binary64_29520` `tan-PI/6_binary64_29519` `cos-+PI/2_binary64_29518` `cos-+PI_binary64_29517` `cos-PI_binary64_29516` `cos-PI/2_binary64_29515` `cos-PI/3_binary64_29514` `cos-PI/4_binary64_29513` `cos-PI/6_binary64_29512` `sin-+PI/2_binary64_29511` `sin-+PI_binary64_29510` `sin-PI_binary64_29509` `sin-PI/2_binary64_29508` `sin-PI/3_binary64_29507` `sin-PI/4_binary64_29506` `sin-PI/6_binary64_29505` `sub-1-sin_binary64_29504` `sub-1-cos_binary64_29503` `-1-add-sin_binary64_29502` `-1-add-cos_binary64_29501` `1-sub-sin_binary64_29500` `1-sub-cos_binary64_29499` `cos-sin-sum_binary64_29498` `log-E_binary64_29494` `log-pow_binary64_29493` `pow-base-0_binary64_29488` `unpow1/3_binary64_29471` `unpow1/2_binary64_29468` `pow-plus_binary64_29467` `exp-to-pow_binary64_29466` `pow-base-1_binary64_29464` `unpow0_binary64_29463` `unpow1_binary64_29462` `unpow-1_binary64_29461` `exp-lft-sqr_binary64_29459` `exp-sqrt_binary64_29457` `exp-neg_binary64_29451` `e-exp-1_binary64_29449` `exp-1-e_binary64_29447` `exp-0_binary64_29446` `rem-exp-log_binary64_29444` `cube-neg_binary64_29431` `rem-3cbrt-rft_binary64_29430` `rem-3cbrt-lft_binary64_29429` `rem-cbrt-cube_binary64_29428` `rem-cube-cbrt_binary64_29427` `sqr-abs_binary64_29419` `sqr-neg_binary64_29418` `rem-square-sqrt_binary64_29416` `remove-double-neg_binary64_29392` `--rgt-identity_binary64_29390` `+-rgt-identity_binary64_29389` `+-lft-identity_binary64_29388` `mul0-rgt_binary64_29387` `mul0-lft_binary64_29386` `div0_binary64_29385` `+-inverses_binary64_29383` `lft-mult-inverse_binary64_29382` `rgt-mult-inverse_binary64_29381` `difference-of-sqr--1_binary64_29375` `difference-of-sqr-1_binary64_29374` `cancel-sign-sub_binary64_29369` `distribute-frac-neg_binary64_29367` `distribute-neg-out_binary64_29366` `distribute-rgt-neg-out_binary64_29364` `distribute-rgt1-in_binary64_29360` `distribute-lft1-in_binary64_29359` `count-2_binary64_29352` `associate-r_binary64_29344` `associate--l-_binary64_29342` `associate--r+_binary64_29340` `associate-+l-_binary64_29339` `associate-+l+_binary64_29337`

Counts

542 → 1738

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	682	16432
1	1583	15865

prune4.9s (24.3%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	1735	3	1738
Fresh	3	3	6
Picked	0	1	1
Done	1	0	1
Total	1739	7	1746

Error

Counts

1746 → 7

Compiler

Compiled 51163 to 24028 computations (53% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite131.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

23×	`add-sqr-sqrt_binary64_29426`
17×	`*-un-lft-identity_binary64_29404`
11×	`add-exp-log_binary64_29442` `add-cbrt-cube_binary64_29440` `add-cube-cbrt_binary64_29439`
9×	`cancel-sign-sub-inv_binary64_29370`
8×	`add-log-exp_binary64_29443`
6×	`pow1_binary64_29465` `associate-r_binary64_29344`
5×	`times-frac_binary64_29410`
4×	`associate-*r/_binary64_29346` `distribute-rgt-in_binary64_29354` `distribute-lft-in_binary64_29353` `difference-of-squares_binary64_29373`
3×	`flip3--_binary64_29408` `flip--_binary64_29379` `associate-/r_binary64_29348` `sub-neg_binary64_29397` `associate-l*_binary64_29345`
2×	`prod-exp_binary64_29453` `div-exp_binary64_29455` `cbrt-undiv_binary64_29438` `cbrt-unprod_binary64_29437` `associate-/l/_binary64_29351` `distribute-lft-out--_binary64_29356`
1×	`frac-2neg_binary64_29415` `clear-num_binary64_29403` `div-inv_binary64_29401` `associate-/l_binary64_29349` `pow-prod-down_binary64_29475` `unswap-sqr_binary64_29372` `-commutative_binary64_29335` `sum-log_binary64_29495` `flip3-+_binary64_29407` `flip-+_binary64_29378` `distribute-lft-out_binary64_29355` `+-commutative_binary64_29334` `diff-log_binary64_29496`

Counts

4 → 83

Calls

4 calls:

12.0ms	(/.f64 (*.f64 1/3 (-.f64 (/.f64 t y) y)) z)
12.0ms	(*.f64 1/3 (-.f64 (/.f64 t y) y))
8.0ms	(-.f64 (/.f64 t y) y)
6.0ms	(+.f64 x (/.f64 (*.f64 1/3 (-.f64 (/.f64 t y) y)) z))

Compiler

Compiled 1591 to 648 computations (59.3% saved)

series1.2s (5.9%)

Error

Counts

4 → 66

Calls

4 calls:

563.0ms	(+.f64 x (/.f64 (*.f64 1/3 (-.f64 (/.f64 t y) y)) z))
316.0ms	(/.f64 (*.f64 1/3 (-.f64 (/.f64 t y) y)) z)
151.0ms	(*.f64 1/3 (-.f64 (/.f64 t y) y))
111.0ms	(-.f64 (/.f64 t y) y)

Compiler

Compiled 1837 to 1381 computations (24.8% saved)

simplify253.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

842×	`times-frac_binary64_29410`
415×	`distribute-rgt-in_binary64_29354`
401×	`distribute-lft-in_binary64_29353`
246×	`associate-/r*_binary64_29348`
233×	`associate-/l/_binary64_29351`
120×	`associate-/r/_binary64_29350`
111×	`associate-l_binary64_29345`
100×	`associate-r_binary64_29344`
95×	`distribute-rgt-neg-in_binary64_29362`
94×	`cancel-sign-sub-inv_binary64_29370`
77×	`exp-prod_binary64_29456` `associate-/l*_binary64_29349`
69×	`*-commutative_binary64_29335`
66×	`distribute-lft-neg-in_binary64_29361`
65×	`associate-*l/_binary64_29347`
61×	`sub-neg_binary64_29397` `distribute-neg-frac_binary64_29368`
51×	`div-sub_binary64_29409` `associate-*r/_binary64_29346`
48×	`distribute-lft-neg-out_binary64_29363`
38×	`neg-sub0_binary64_29399` `distribute-rgt-neg-out_binary64_29364`
36×	`sqr-pow_binary64_29376`
34×	`neg-mul-1_binary64_29400`
28×	`*-rgt-identity_binary64_29394` `+-commutative_binary64_29334`
24×	`log-div_binary64_29491` `cube-div_binary64_29433` `*-lft-identity_binary64_29393`
19×	`cube-prod_binary64_29432`
18×	`distribute-neg-in_binary64_29365` `distribute-rgt-out_binary64_29357`
16×	`log-prod_binary64_29490`
13×	`exp-sum_binary64_29450`
12×	`pow-sqr_binary64_29377` `swap-sqr_binary64_29371`
11×	`unpow3_binary64_29470` `/-rgt-identity_binary64_29395`
9×	`cube-mult_binary64_29434`
8×	`exp-diff_binary64_29452`
6×	`distribute-rgt-out--_binary64_29358`
5×	`remove-double-neg_binary64_29392` `distribute-lft-out--_binary64_29356`
4×	`log-rec_binary64_29492` `cube-unmult_binary64_29441` `unsub-neg_binary64_29398` `difference-of-squares_binary64_29373` `distribute-lft-out_binary64_29355` `associate--l+_binary64_29341` `associate-+r-_binary64_29338` `associate-+l+_binary64_29337`
3×	`unpow1/3_binary64_29471` `mul-1-neg_binary64_29396` `+-rgt-identity_binary64_29389` `cancel-sign-sub_binary64_29369`
2×	`div-exp_binary64_29455` `prod-exp_binary64_29453` `exp-neg_binary64_29451` `unswap-sqr_binary64_29372` `distribute-frac-neg_binary64_29367` `associate--r-_binary64_29343` `associate-+l-_binary64_29339` `associate-+r+_binary64_29336`
1×	`pow-base-1_binary64_29464` `rec-exp_binary64_29454` `1-exp_binary64_29448` `exp-1-e_binary64_29447` `rem-log-exp_binary64_29445` `rem-3cbrt-lft_binary64_29429` `rem-sqrt-square_binary64_29417` `rem-square-sqrt_binary64_29416` `*-inverses_binary64_29384` `associate--l-_binary64_29342` `associate--r+_binary64_29340`
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_29667` `erf-erfc_binary64_29666` `erf-odd_binary64_29665` `if-if-and-not_binary64_29664` `if-if-and_binary64_29663` `if-if-or-not_binary64_29662` `if-if-or_binary64_29661` `if-not_binary64_29660` `if-same_binary64_29659` `if-false_binary64_29658` `if-true_binary64_29657` `not-gte_binary64_29656` `not-lte_binary64_29655` `not-gt_binary64_29654` `not-lt_binary64_29653` `gte-same_binary64_29652` `lte-same_binary64_29651` `gt-same_binary64_29650` `lt-same_binary64_29649` `sinh---cosh_binary64_29596` `sinh-+-cosh_binary64_29595` `sinh-cosh_binary64_29594` `tanh-def-c_binary64_29593` `tanh-def-b_binary64_29592` `tanh-def-a_binary64_29591` `cosh-def_binary64_29590` `sinh-def_binary64_29589` `tan-neg_binary64_29536` `cos-neg_binary64_29535` `sin-neg_binary64_29534` `tan-0_binary64_29533` `cos-0_binary64_29532` `sin-0_binary64_29531` `hang-m-tan_binary64_29530` `hang-p-tan_binary64_29529` `hang-m0-tan_binary64_29528` `hang-p0-tan_binary64_29527` `hang-0m-tan_binary64_29526` `hang-0p-tan_binary64_29525` `tan-+PI/2_binary64_29524` `tan-+PI_binary64_29523` `tan-PI_binary64_29522` `tan-PI/3_binary64_29521` `tan-PI/4_binary64_29520` `tan-PI/6_binary64_29519` `cos-+PI/2_binary64_29518` `cos-+PI_binary64_29517` `cos-PI_binary64_29516` `cos-PI/2_binary64_29515` `cos-PI/3_binary64_29514` `cos-PI/4_binary64_29513` `cos-PI/6_binary64_29512` `sin-+PI/2_binary64_29511` `sin-+PI_binary64_29510` `sin-PI_binary64_29509` `sin-PI/2_binary64_29508` `sin-PI/3_binary64_29507` `sin-PI/4_binary64_29506` `sin-PI/6_binary64_29505` `sub-1-sin_binary64_29504` `sub-1-cos_binary64_29503` `-1-add-sin_binary64_29502` `-1-add-cos_binary64_29501` `1-sub-sin_binary64_29500` `1-sub-cos_binary64_29499` `cos-sin-sum_binary64_29498` `log-E_binary64_29494` `log-pow_binary64_29493` `pow-base-0_binary64_29488` `unpow2_binary64_29469` `unpow1/2_binary64_29468` `pow-plus_binary64_29467` `exp-to-pow_binary64_29466` `unpow0_binary64_29463` `unpow1_binary64_29462` `unpow-1_binary64_29461` `exp-lft-cube_binary64_29460` `exp-lft-sqr_binary64_29459` `exp-cbrt_binary64_29458` `exp-sqrt_binary64_29457` `e-exp-1_binary64_29449` `exp-0_binary64_29446` `rem-exp-log_binary64_29444` `cube-neg_binary64_29431` `rem-3cbrt-rft_binary64_29430` `rem-cbrt-cube_binary64_29428` `rem-cube-cbrt_binary64_29427` `sqr-abs_binary64_29419` `sqr-neg_binary64_29418` `sub0-neg_binary64_29391` `--rgt-identity_binary64_29390` `+-lft-identity_binary64_29388` `mul0-rgt_binary64_29387` `mul0-lft_binary64_29386` `div0_binary64_29385` `+-inverses_binary64_29383` `lft-mult-inverse_binary64_29382` `rgt-mult-inverse_binary64_29381` `remove-double-div_binary64_29380` `difference-of-sqr--1_binary64_29375` `difference-of-sqr-1_binary64_29374` `distribute-neg-out_binary64_29366` `distribute-rgt1-in_binary64_29360` `distribute-lft1-in_binary64_29359` `count-2_binary64_29352`

Counts

149 → 227

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	156	2094
1	421	1891
2	1402	1883

prune207.0ms (1%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	227	0	227
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	227	7	234

Error

Counts

234 → 7

Compiler

Compiled 3758 to 1532 computations (59.2% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (/.f64 (*.f64 z (cbrt.f64 3)) (-.f64 (/.f64 t y) y)))
0.3b	(/.f64 1 (.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (/.f64 (*.f64 z (cbrt.f64 3)) (-.f64 (/.f64 t y) y))))
0.4b	(*.f64 z (cbrt.f64 3))
2.4b	(/.f64 (*.f64 z (cbrt.f64 3)) (-.f64 (/.f64 t y) y))

rewrite295.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

105×	`add-exp-log_binary64_29442`
46×	`prod-exp_binary64_29453`
43×	`add-cbrt-cube_binary64_29440`
33×	`add-sqr-sqrt_binary64_29426`
32×	`div-exp_binary64_29455`
24×	`cbrt-unprod_binary64_29437`
19×	`*-un-lft-identity_binary64_29404`
18×	`times-frac_binary64_29410` `associate-r_binary64_29344`
17×	`pow1_binary64_29465` `cbrt-undiv_binary64_29438`
13×	`add-cube-cbrt_binary64_29439`
7×	`associate-/r*_binary64_29348` `pow-prod-down_binary64_29475` `1-exp_binary64_29448` `rec-exp_binary64_29454`
6×	`difference-of-squares_binary64_29373`
5×	`associate-/r/_binary64_29350`
4×	`add-log-exp_binary64_29443` `associate-/l_binary64_29349` `cbrt-prod_binary64_29435` `associate-l*_binary64_29345`
3×	`distribute-lft-out--_binary64_29356` `div-inv_binary64_29401` `unswap-sqr_binary64_29372` `pow-flip_binary64_29478`
2×	`frac-2neg_binary64_29415` `clear-num_binary64_29403` `flip3--_binary64_29408` `flip--_binary64_29379` `-commutative_binary64_29335` `associate-r/_binary64_29346`
1×	`inv-pow_binary64_29489`

Counts

4 → 138

Calls

4 calls:

19.0ms	(/.f64 1 (.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (/.f64 (*.f64 z (cbrt.f64 3)) (-.f64 (/.f64 t y) y))))
18.0ms	(.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (/.f64 (*.f64 z (cbrt.f64 3)) (-.f64 (/.f64 t y) y)))
12.0ms	(/.f64 (*.f64 z (cbrt.f64 3)) (-.f64 (/.f64 t y) y))
6.0ms	(*.f64 z (cbrt.f64 3))

Compiler

Compiled 3994 to 2504 computations (37.3% saved)

series1.7s (8.3%)

Error

Counts

4 → 48

Calls

4 calls:

730.0ms	(/.f64 1 (.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (/.f64 (*.f64 z (cbrt.f64 3)) (-.f64 (/.f64 t y) y))))
499.0ms	(.f64 (.f64 (cbrt.f64 3) (cbrt.f64 3)) (/.f64 (*.f64 z (cbrt.f64 3)) (-.f64 (/.f64 t y) y)))
332.0ms	(/.f64 (*.f64 z (cbrt.f64 3)) (-.f64 (/.f64 t y) y))
52.0ms	(*.f64 z (cbrt.f64 3))

Compiler

Compiled 2862 to 2448 computations (14.5% saved)

simplify1.1s (5.6%)

Algorithm

1×	egg-herbie

Rules

295×	`unsub-neg_binary64_29398`
261×	`div-sub_binary64_29409`
244×	`sub-neg_binary64_29397`
218×	`associate-/l*_binary64_29349`
186×	`associate-l_binary64_29345`
180×	`times-frac_binary64_29410`
175×	`neg-mul-1_binary64_29400`
173×	`neg-sub0_binary64_29399`
154×	`associate-r_binary64_29344`
146×	`distribute-rgt-in_binary64_29354`
139×	`associate-/r*_binary64_29348`
116×	`distribute-lft-in_binary64_29353`
105×	`cube-div_binary64_29433`
104×	`log-div_binary64_29491`
97×	`associate-*r/_binary64_29346`
96×	`cancel-sign-sub-inv_binary64_29370`
83×	`distribute-rgt-neg-in_binary64_29362`
81×	`distribute-lft-neg-in_binary64_29361`
79×	`associate-l/_binary64_29347` `-commutative_binary64_29335`
77×	`distribute-neg-frac_binary64_29368`
76×	`cube-prod_binary64_29432`
75×	`log-prod_binary64_29490`
73×	`associate-/r/_binary64_29350`
71×	`exp-prod_binary64_29456`
57×	`associate-/l/_binary64_29351`
50×	`*-rgt-identity_binary64_29394`
49×	`distribute-neg-in_binary64_29365`
46×	`associate-+l-_binary64_29339` `+-commutative_binary64_29334`
45×	`associate--r+_binary64_29340` `associate-+l+_binary64_29337`
43×	`sqr-pow_binary64_29376`
42×	`/-rgt-identity_binary64_29395` `associate-+r+_binary64_29336`
37×	`unswap-sqr_binary64_29372`
34×	`distribute-lft-neg-out_binary64_29363`
32×	`associate-+r-_binary64_29338`
31×	`unpow3_binary64_29470`
30×	`cube-mult_binary64_29434` `associate--l+_binary64_29341`
28×	`*-lft-identity_binary64_29393`
27×	`distribute-rgt-neg-out_binary64_29364`
24×	`exp-sum_binary64_29450`
19×	`log-rec_binary64_29492` `swap-sqr_binary64_29371`
16×	`pow-sqr_binary64_29377`
15×	`associate--l-_binary64_29342`
14×	`pow-plus_binary64_29467`
13×	`associate--r-_binary64_29343`
10×	`cube-unmult_binary64_29441`
7×	`log-pow_binary64_29493`
6×	`exp-diff_binary64_29452` `rem-sqrt-square_binary64_29417`
5×	`mul-1-neg_binary64_29396` `distribute-rgt-out_binary64_29357`
4×	`distribute-frac-neg_binary64_29367`
3×	`cube-neg_binary64_29431` `sqr-neg_binary64_29418` `difference-of-squares_binary64_29373` `distribute-rgt-out--_binary64_29358`
2×	`remove-double-neg_binary64_29392` `distribute-rgt1-in_binary64_29360` `distribute-lft1-in_binary64_29359` `count-2_binary64_29352`
1×	`unpow2_binary64_29469` `pow-base-1_binary64_29464` `unpow1_binary64_29462` `exp-lft-cube_binary64_29460` `exp-cbrt_binary64_29458` `exp-sqrt_binary64_29457` `div-exp_binary64_29455` `rec-exp_binary64_29454` `prod-exp_binary64_29453` `1-exp_binary64_29448` `exp-1-e_binary64_29447` `rem-log-exp_binary64_29445` `rem-cbrt-cube_binary64_29428` `rem-cube-cbrt_binary64_29427` `sub0-neg_binary64_29391` `div0_binary64_29385` `*-inverses_binary64_29384` `cancel-sign-sub_binary64_29369`
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_29667` `erf-erfc_binary64_29666` `erf-odd_binary64_29665` `if-if-and-not_binary64_29664` `if-if-and_binary64_29663` `if-if-or-not_binary64_29662` `if-if-or_binary64_29661` `if-not_binary64_29660` `if-same_binary64_29659` `if-false_binary64_29658` `if-true_binary64_29657` `not-gte_binary64_29656` `not-lte_binary64_29655` `not-gt_binary64_29654` `not-lt_binary64_29653` `gte-same_binary64_29652` `lte-same_binary64_29651` `gt-same_binary64_29650` `lt-same_binary64_29649` `sinh---cosh_binary64_29596` `sinh-+-cosh_binary64_29595` `sinh-cosh_binary64_29594` `tanh-def-c_binary64_29593` `tanh-def-b_binary64_29592` `tanh-def-a_binary64_29591` `cosh-def_binary64_29590` `sinh-def_binary64_29589` `tan-neg_binary64_29536` `cos-neg_binary64_29535` `sin-neg_binary64_29534` `tan-0_binary64_29533` `cos-0_binary64_29532` `sin-0_binary64_29531` `hang-m-tan_binary64_29530` `hang-p-tan_binary64_29529` `hang-m0-tan_binary64_29528` `hang-p0-tan_binary64_29527` `hang-0m-tan_binary64_29526` `hang-0p-tan_binary64_29525` `tan-+PI/2_binary64_29524` `tan-+PI_binary64_29523` `tan-PI_binary64_29522` `tan-PI/3_binary64_29521` `tan-PI/4_binary64_29520` `tan-PI/6_binary64_29519` `cos-+PI/2_binary64_29518` `cos-+PI_binary64_29517` `cos-PI_binary64_29516` `cos-PI/2_binary64_29515` `cos-PI/3_binary64_29514` `cos-PI/4_binary64_29513` `cos-PI/6_binary64_29512` `sin-+PI/2_binary64_29511` `sin-+PI_binary64_29510` `sin-PI_binary64_29509` `sin-PI/2_binary64_29508` `sin-PI/3_binary64_29507` `sin-PI/4_binary64_29506` `sin-PI/6_binary64_29505` `sub-1-sin_binary64_29504` `sub-1-cos_binary64_29503` `-1-add-sin_binary64_29502` `-1-add-cos_binary64_29501` `1-sub-sin_binary64_29500` `1-sub-cos_binary64_29499` `cos-sin-sum_binary64_29498` `log-E_binary64_29494` `pow-base-0_binary64_29488` `unpow1/3_binary64_29471` `unpow1/2_binary64_29468` `exp-to-pow_binary64_29466` `unpow0_binary64_29463` `unpow-1_binary64_29461` `exp-lft-sqr_binary64_29459` `exp-neg_binary64_29451` `e-exp-1_binary64_29449` `exp-0_binary64_29446` `rem-exp-log_binary64_29444` `rem-3cbrt-rft_binary64_29430` `rem-3cbrt-lft_binary64_29429` `sqr-abs_binary64_29419` `rem-square-sqrt_binary64_29416` `--rgt-identity_binary64_29390` `+-rgt-identity_binary64_29389` `+-lft-identity_binary64_29388` `mul0-rgt_binary64_29387` `mul0-lft_binary64_29386` `+-inverses_binary64_29383` `lft-mult-inverse_binary64_29382` `rgt-mult-inverse_binary64_29381` `remove-double-div_binary64_29380` `difference-of-sqr--1_binary64_29375` `difference-of-sqr-1_binary64_29374` `distribute-neg-out_binary64_29366` `distribute-lft-out--_binary64_29356` `distribute-lft-out_binary64_29355`

Counts

186 → 366

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	230	4701
1	567	3085
2	2324	2892
3	3840	2891

prune624.0ms (3.1%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	366	0	366
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	366	7	373

Error

Counts

373 → 7

Compiler

Compiled 8847 to 5397 computations (39% saved)

regimes1.0s (5.2%)

Accuracy

Total 1.6b remaining (99.9%)

Threshold costs 0b (0%)

Compiler

Compiled 5853 to 5396 computations (7.8% saved)

bsearch3.0ms (0%)

Compiler: Compiled 3 to 6 computations (-100% saved)

simplify8.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`+-commutative_binary64_29334`
5×	`*-commutative_binary64_29335`
4×	`sub-neg_binary64_29397`
2×	`neg-mul-1_binary64_29400` `neg-sub0_binary64_29399`
1×	`distribute-neg-frac_binary64_29368`
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_29664` `if-if-and_binary64_29663` `if-if-or-not_binary64_29662` `if-if-or_binary64_29661` `if-not_binary64_29660` `if-same_binary64_29659` `if-false_binary64_29658` `if-true_binary64_29657` `tan-0_binary64_29533` `cos-0_binary64_29532` `sin-0_binary64_29531` `unpow1_binary64_29462` `e-exp-1_binary64_29449` `1-exp_binary64_29448` `exp-1-e_binary64_29447` `exp-0_binary64_29446` `sqr-abs_binary64_29419` `sqr-neg_binary64_29418` `unsub-neg_binary64_29398` `mul-1-neg_binary64_29396` `/-rgt-identity_binary64_29395` `-rgt-identity_binary64_29394` `-lft-identity_binary64_29393` `remove-double-neg_binary64_29392` `sub0-neg_binary64_29391` `--rgt-identity_binary64_29390` `+-rgt-identity_binary64_29389` `+-lft-identity_binary64_29388` `cancel-sign-sub-inv_binary64_29370` `cancel-sign-sub_binary64_29369` `distribute-frac-neg_binary64_29367` `distribute-neg-out_binary64_29366` `distribute-neg-in_binary64_29365` `distribute-rgt-neg-out_binary64_29364` `distribute-lft-neg-out_binary64_29363` `distribute-rgt-neg-in_binary64_29362` `distribute-lft-neg-in_binary64_29361`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	78
1	37	78
2	46	78
3	50	78
4	52	78

Proof

(if real (<= f64 (* f64 h0 3) -7504380362777867931760899445906213941290517402644050349432567278710705855494772633625935175258999774570708113003854304276077167339200070509297938063438910335309200901062378258834987654914414703912624575296788632527305221985009664) (+ f64 (- f64 h1 (/ f64 h2 (* f64 h0 3))) (/ f64 (/ f64 h3 3) (=> (* f64 h2 h0)))) (if real (<= f64 (* f64 h0 3) 1372952347850857/8543948143683640329580086824678208458410818089426611079788166431288878903122562200091848347746304) (+ f64 h1 (/ f64 (- f64 (/ f64 h3 h2) h2) (* f64 h0 3))) (+ f64 (- f64 h1 (/ f64 h2 (* f64 h0 3))) (/ f64 h3 (* f64 (* f64 h0 3) h2)))))
*-commutative_binary64_29335 =>
(if real (<= f64 (* f64 h0 3) -7504380362777867931760899445906213941290517402644050349432567278710705855494772633625935175258999774570708113003854304276077167339200070509297938063438910335309200901062378258834987654914414703912624575296788632527305221985009664) (+ f64 (- f64 h1 (/ f64 h2 (* f64 h0 3))) (/ f64 (/ f64 h3 3) (* f64 h0 h2))) (if real (<= f64 (* f64 h0 3) 1372952347850857/8543948143683640329580086824678208458410818089426611079788166431288878903122562200091848347746304) (+ f64 h1 (/ f64 (- f64 (/ f64 h3 h2) h2) (* f64 h0 3))) (+ f64 (- f64 h1 (/ f64 h2 (* f64 h0 3))) (/ f64 h3 (* f64 (* f64 h0 3) h2)))))

end0.0ms (0%)

sample2.0s (9.8%)

Algorithm

1×

intervals

Results

374.0ms	8000×	body	128	valid
142.0ms	3052×	body	128	invalid

Compiler

Compiled 1025 to 932 computations (9.1% saved)

Details

analyze829.0ms (4.1%)

sample32.0ms (0.2%)

simplify791.0ms (3.9%)

prune16.0ms (0.1%)

localize9.0ms (0%)

rewrite100.0ms (0.5%)

series1.0s (5.2%)

simplify227.0ms (1.1%)

prune144.0ms (0.7%)

localize14.0ms (0.1%)

rewrite1.0s (5.2%)

series1.4s (6.7%)

simplify1.1s (5.6%)

prune4.9s (24.3%)

localize12.0ms (0.1%)

rewrite131.0ms (0.6%)

series1.2s (5.9%)

simplify253.0ms (1.3%)

prune207.0ms (1%)

localize14.0ms (0.1%)

rewrite295.0ms (1.5%)

series1.7s (8.3%)

simplify1.1s (5.6%)

prune624.0ms (3.1%)

regimes1.0s (5.2%)

bsearch3.0ms (0%)

simplify8.0ms (0%)

end0.0ms (0%)

sample2.0s (9.8%)

Profiling