Details

analyze1.6s (11.2%)

Algorithm

1×	search
2×	egg-herbie

Rules

428×	`associate-+l+_binary64_352`
390×	`associate--r+_binary64_355`
321×	`distribute-rgt-in_binary64_369`
315×	`associate-+r+_binary64_351`
291×	`distribute-lft-in_binary64_368`
242×	`neg-mul-1_binary64_415`
230×	`sub-neg_binary64_412`
208×	`distribute-neg-in_binary64_380`
193×	`cancel-sign-sub-inv_binary64_385`
170×	`associate--l+_binary64_356`
134×	`associate-+l-_binary64_354`
122×	`associate-+r-_binary64_353`
93×	`+-commutative_binary64_349`
80×	`neg-sub0_binary64_414`
60×	`distribute-rgt-neg-in_binary64_377`
48×	`associate--l-_binary64_357`
42×	`distribute-lft-neg-out_binary64_378`
31×	`associate--r-_binary64_358` `*-commutative_binary64_350`
18×	`distribute-lft-neg-in_binary64_376` `associate-r_binary64_359`
15×	`unsub-neg_binary64_413` `cancel-sign-sub_binary64_384` `distribute-neg-out_binary64_381`
1×	`1-exp_binary64_463`
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_682` `erf-erfc_binary64_681` `erf-odd_binary64_680` `if-if-and-not_binary64_679` `if-if-and_binary64_678` `if-if-or-not_binary64_677` `if-if-or_binary64_676` `if-not_binary64_675` `if-same_binary64_674` `if-false_binary64_673` `if-true_binary64_672` `not-gte_binary64_671` `not-lte_binary64_670` `not-gt_binary64_669` `not-lt_binary64_668` `gte-same_binary64_667` `lte-same_binary64_666` `gt-same_binary64_665` `lt-same_binary64_664` `sinh---cosh_binary64_611` `sinh-+-cosh_binary64_610` `sinh-cosh_binary64_609` `tanh-def-c_binary64_608` `tanh-def-b_binary64_607` `tanh-def-a_binary64_606` `cosh-def_binary64_605` `sinh-def_binary64_604` `tan-neg_binary64_551` `cos-neg_binary64_550` `sin-neg_binary64_549` `tan-0_binary64_548` `cos-0_binary64_547` `sin-0_binary64_546` `hang-m-tan_binary64_545` `hang-p-tan_binary64_544` `hang-m0-tan_binary64_543` `hang-p0-tan_binary64_542` `hang-0m-tan_binary64_541` `hang-0p-tan_binary64_540` `tan-+PI/2_binary64_539` `tan-+PI_binary64_538` `tan-PI_binary64_537` `tan-PI/3_binary64_536` `tan-PI/4_binary64_535` `tan-PI/6_binary64_534` `cos-+PI/2_binary64_533` `cos-+PI_binary64_532` `cos-PI_binary64_531` `cos-PI/2_binary64_530` `cos-PI/3_binary64_529` `cos-PI/4_binary64_528` `cos-PI/6_binary64_527` `sin-+PI/2_binary64_526` `sin-+PI_binary64_525` `sin-PI_binary64_524` `sin-PI/2_binary64_523` `sin-PI/3_binary64_522` `sin-PI/4_binary64_521` `sin-PI/6_binary64_520` `sub-1-sin_binary64_519` `sub-1-cos_binary64_518` `-1-add-sin_binary64_517` `-1-add-cos_binary64_516` `1-sub-sin_binary64_515` `1-sub-cos_binary64_514` `cos-sin-sum_binary64_513` `log-E_binary64_509` `log-pow_binary64_508` `log-rec_binary64_507` `log-div_binary64_506` `log-prod_binary64_505` `pow-base-0_binary64_503` `unpow1/3_binary64_486` `unpow3_binary64_485` `unpow2_binary64_484` `unpow1/2_binary64_483` `pow-plus_binary64_482` `exp-to-pow_binary64_481` `pow-base-1_binary64_479` `unpow0_binary64_478` `unpow1_binary64_477` `unpow-1_binary64_476` `exp-lft-cube_binary64_475` `exp-lft-sqr_binary64_474` `exp-cbrt_binary64_473` `exp-sqrt_binary64_472` `exp-prod_binary64_471` `div-exp_binary64_470` `rec-exp_binary64_469` `prod-exp_binary64_468` `exp-diff_binary64_467` `exp-neg_binary64_466` `exp-sum_binary64_465` `e-exp-1_binary64_464` `exp-1-e_binary64_462` `exp-0_binary64_461` `rem-log-exp_binary64_460` `rem-exp-log_binary64_459` `cube-unmult_binary64_456` `cube-mult_binary64_449` `cube-div_binary64_448` `cube-prod_binary64_447` `cube-neg_binary64_446` `rem-3cbrt-rft_binary64_445` `rem-3cbrt-lft_binary64_444` `rem-cbrt-cube_binary64_443` `rem-cube-cbrt_binary64_442` `sqr-abs_binary64_434` `sqr-neg_binary64_433` `rem-sqrt-square_binary64_432` `rem-square-sqrt_binary64_431` `times-frac_binary64_425` `div-sub_binary64_424` `mul-1-neg_binary64_411` `/-rgt-identity_binary64_410` `-rgt-identity_binary64_409` `-lft-identity_binary64_408` `remove-double-neg_binary64_407` `sub0-neg_binary64_406` `--rgt-identity_binary64_405` `+-rgt-identity_binary64_404` `+-lft-identity_binary64_403` `mul0-rgt_binary64_402` `mul0-lft_binary64_401` `div0_binary64_400` `-inverses_binary64_399` `+-inverses_binary64_398` `lft-mult-inverse_binary64_397` `rgt-mult-inverse_binary64_396` `remove-double-div_binary64_395` `pow-sqr_binary64_392` `sqr-pow_binary64_391` `difference-of-sqr--1_binary64_390` `difference-of-sqr-1_binary64_389` `difference-of-squares_binary64_388` `unswap-sqr_binary64_387` `swap-sqr_binary64_386` `distribute-neg-frac_binary64_383` `distribute-frac-neg_binary64_382` `distribute-rgt-neg-out_binary64_379` `distribute-rgt1-in_binary64_375` `distribute-lft1-in_binary64_374` `distribute-rgt-out--_binary64_373` `distribute-rgt-out_binary64_372` `distribute-lft-out--_binary64_371` `distribute-lft-out_binary64_370` `count-2_binary64_367` `associate-/l/_binary64_366` `associate-/r/_binary64_365` `associate-/l_binary64_364` `associate-/r_binary64_363` `associate-l/_binary64_362` `associate-r/_binary64_361` `associate-l*_binary64_360`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	111	496
1	362	496
2	1167	496
3	4955	496
4	5034	496
0	6	6
1	6	6

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
1.7%	98%	0.3%	13
2.5%	97.2%	0.3%	14

Compiler

Compiled 22 to 20 computations (9.1% saved)

sample44.0ms (0.3%)

Algorithm

1×

intervals

Results

13.0ms	255×	body	128	valid
10.0ms	131×	body	128	invalid
0.0ms	1×	body	512	valid

Compiler

Compiled 43 to 45 computations (-4.7% saved)

simplify113.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

950×	`unsub-neg_binary64_413`
498×	`neg-sub0_binary64_414`
474×	`distribute-neg-in_binary64_380`
463×	`associate--l-_binary64_357`
362×	`associate--r-_binary64_358`
356×	`neg-mul-1_binary64_415`
354×	`+-commutative_binary64_349`
308×	`sub-neg_binary64_412`
286×	`*-commutative_binary64_350`
279×	`cancel-sign-sub-inv_binary64_385`
238×	`distribute-lft-neg-in_binary64_376`
208×	`distribute-neg-out_binary64_381`
193×	`distribute-rgt-out--_binary64_373`
186×	`distribute-rgt-in_binary64_369`
174×	`distribute-lft-neg-out_binary64_378`
155×	`associate-+l+_binary64_352`
152×	`remove-double-neg_binary64_407`
142×	`mul-1-neg_binary64_411`
139×	`associate-+r+_binary64_351`
132×	`distribute-lft-in_binary64_368`
131×	`distribute-lft-out--_binary64_371`
125×	`distribute-rgt-neg-in_binary64_377`
121×	`associate--r+_binary64_355`
106×	`distribute-lft-out_binary64_370`
105×	`distribute-rgt-out_binary64_372`
91×	`distribute-rgt-neg-out_binary64_379`
77×	`associate--l+_binary64_356`
72×	`--rgt-identity_binary64_405`
71×	`*-lft-identity_binary64_408`
69×	`sub0-neg_binary64_406`
67×	`associate-+l-_binary64_354`
66×	`associate-l_binary64_360`
59×	`*-rgt-identity_binary64_409` `associate-+r-_binary64_353`
39×	`associate-r_binary64_359`
28×	`+-rgt-identity_binary64_404`
17×	`mul0-rgt_binary64_402`
16×	`mul0-lft_binary64_401`
5×	`+-lft-identity_binary64_403`
1×	`1-exp_binary64_463` `cancel-sign-sub_binary64_384`
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_682` `erf-erfc_binary64_681` `erf-odd_binary64_680` `if-if-and-not_binary64_679` `if-if-and_binary64_678` `if-if-or-not_binary64_677` `if-if-or_binary64_676` `if-not_binary64_675` `if-same_binary64_674` `if-false_binary64_673` `if-true_binary64_672` `not-gte_binary64_671` `not-lte_binary64_670` `not-gt_binary64_669` `not-lt_binary64_668` `gte-same_binary64_667` `lte-same_binary64_666` `gt-same_binary64_665` `lt-same_binary64_664` `sinh---cosh_binary64_611` `sinh-+-cosh_binary64_610` `sinh-cosh_binary64_609` `tanh-def-c_binary64_608` `tanh-def-b_binary64_607` `tanh-def-a_binary64_606` `cosh-def_binary64_605` `sinh-def_binary64_604` `tan-neg_binary64_551` `cos-neg_binary64_550` `sin-neg_binary64_549` `tan-0_binary64_548` `cos-0_binary64_547` `sin-0_binary64_546` `hang-m-tan_binary64_545` `hang-p-tan_binary64_544` `hang-m0-tan_binary64_543` `hang-p0-tan_binary64_542` `hang-0m-tan_binary64_541` `hang-0p-tan_binary64_540` `tan-+PI/2_binary64_539` `tan-+PI_binary64_538` `tan-PI_binary64_537` `tan-PI/3_binary64_536` `tan-PI/4_binary64_535` `tan-PI/6_binary64_534` `cos-+PI/2_binary64_533` `cos-+PI_binary64_532` `cos-PI_binary64_531` `cos-PI/2_binary64_530` `cos-PI/3_binary64_529` `cos-PI/4_binary64_528` `cos-PI/6_binary64_527` `sin-+PI/2_binary64_526` `sin-+PI_binary64_525` `sin-PI_binary64_524` `sin-PI/2_binary64_523` `sin-PI/3_binary64_522` `sin-PI/4_binary64_521` `sin-PI/6_binary64_520` `sub-1-sin_binary64_519` `sub-1-cos_binary64_518` `-1-add-sin_binary64_517` `-1-add-cos_binary64_516` `1-sub-sin_binary64_515` `1-sub-cos_binary64_514` `cos-sin-sum_binary64_513` `log-E_binary64_509` `log-pow_binary64_508` `log-rec_binary64_507` `log-div_binary64_506` `log-prod_binary64_505` `pow-base-0_binary64_503` `unpow1/3_binary64_486` `unpow3_binary64_485` `unpow2_binary64_484` `unpow1/2_binary64_483` `pow-plus_binary64_482` `exp-to-pow_binary64_481` `pow-base-1_binary64_479` `unpow0_binary64_478` `unpow1_binary64_477` `unpow-1_binary64_476` `exp-lft-cube_binary64_475` `exp-lft-sqr_binary64_474` `exp-cbrt_binary64_473` `exp-sqrt_binary64_472` `exp-prod_binary64_471` `div-exp_binary64_470` `rec-exp_binary64_469` `prod-exp_binary64_468` `exp-diff_binary64_467` `exp-neg_binary64_466` `exp-sum_binary64_465` `e-exp-1_binary64_464` `exp-1-e_binary64_462` `exp-0_binary64_461` `rem-log-exp_binary64_460` `rem-exp-log_binary64_459` `cube-unmult_binary64_456` `cube-mult_binary64_449` `cube-div_binary64_448` `cube-prod_binary64_447` `cube-neg_binary64_446` `rem-3cbrt-rft_binary64_445` `rem-3cbrt-lft_binary64_444` `rem-cbrt-cube_binary64_443` `rem-cube-cbrt_binary64_442` `sqr-abs_binary64_434` `sqr-neg_binary64_433` `rem-sqrt-square_binary64_432` `rem-square-sqrt_binary64_431` `times-frac_binary64_425` `div-sub_binary64_424` `/-rgt-identity_binary64_410` `div0_binary64_400` `-inverses_binary64_399` `+-inverses_binary64_398` `lft-mult-inverse_binary64_397` `rgt-mult-inverse_binary64_396` `remove-double-div_binary64_395` `pow-sqr_binary64_392` `sqr-pow_binary64_391` `difference-of-sqr--1_binary64_390` `difference-of-sqr-1_binary64_389` `difference-of-squares_binary64_388` `unswap-sqr_binary64_387` `swap-sqr_binary64_386` `distribute-neg-frac_binary64_383` `distribute-frac-neg_binary64_382` `distribute-rgt1-in_binary64_375` `distribute-lft1-in_binary64_374` `count-2_binary64_367` `associate-/l/_binary64_366` `associate-/r/_binary64_365` `associate-/l_binary64_364` `associate-/r_binary64_363` `associate-l/_binary64_362` `associate-*r/_binary64_361`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	31
1	49	31
2	135	31
3	417	31
4	1392	31
5	3169	31
6	3894	31
7	4473	31
8	4695	31
9	4682	31
10	4651	31
11	4954	31

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

0.0b

Counts

1 → 1

Compiler

Compiled 21 to 19 computations (9.5% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite268.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

26×	`add-sqr-sqrt_binary64_441` `associate-*l/_binary64_362`
21×	`*-un-lft-identity_binary64_419`
20×	`associate-l_binary64_360`
19×	`flip3--_binary64_423` `flip--_binary64_394`
13×	`add-log-exp_binary64_458`
12×	`frac-add_binary64_427`
10×	`pow1_binary64_480` `add-exp-log_binary64_457` `add-cbrt-cube_binary64_455` `add-cube-cbrt_binary64_454`
9×	`associate-r_binary64_359`
8×	`frac-sub_binary64_428`
5×	`difference-of-squares_binary64_388`
4×	`associate-+l+_binary64_352` `distribute-lft-out--_binary64_371`
3×	`diff-log_binary64_511` `sum-log_binary64_510` `pow-prod-down_binary64_490` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `unswap-sqr_binary64_387` `*-commutative_binary64_350`
2×	`sub-neg_binary64_412` `cancel-sign-sub-inv_binary64_385` `associate--l+_binary64_356` `difference-of-sqr-1_binary64_389`
1×	`flip3-+_binary64_422` `flip-+_binary64_393` `associate-+l-_binary64_354` `+-commutative_binary64_349` `distribute-lft-out_binary64_370`

Counts

4 → 101

Calls

4 calls:

15.0ms	(+.f64 (-.f64 (-.f64 x (.f64 (-.f64 y 1) z)) (.f64 (-.f64 t 1) a)) (*.f64 (-.f64 (+.f64 y t) 2) b))
10.0ms	(*.f64 (-.f64 (+.f64 y t) 2) b)
8.0ms	(*.f64 (-.f64 t 1) a)
8.0ms	(*.f64 (-.f64 y 1) z)

Compiler

Compiled 4113 to 2461 computations (40.2% saved)

series1.2s (8.6%)

Error

0.0b

Counts

4 → 69

Calls

4 calls:

791.0ms	(+.f64 (-.f64 (-.f64 x (.f64 (-.f64 y 1) z)) (.f64 (-.f64 t 1) a)) (*.f64 (-.f64 (+.f64 y t) 2) b))
175.0ms	(*.f64 (-.f64 (+.f64 y t) 2) b)
99.0ms	(*.f64 (-.f64 y 1) z)
97.0ms	(*.f64 (-.f64 t 1) a)

Compiler

Compiled 3533 to 2430 computations (31.2% saved)

simplify166.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

484×	`distribute-rgt-in_binary64_369`
475×	`distribute-lft-in_binary64_368`
300×	`associate-l_binary64_360`
281×	`*-commutative_binary64_350`
271×	`associate-r_binary64_359`
239×	`sub-neg_binary64_412`
136×	`+-commutative_binary64_349`
125×	`exp-prod_binary64_471`
104×	`associate-+l+_binary64_352`
102×	`associate-+r+_binary64_351`
93×	`exp-sum_binary64_465`
87×	`associate--l+_binary64_356`
86×	`cancel-sign-sub-inv_binary64_385`
78×	`neg-sub0_binary64_414`
71×	`neg-mul-1_binary64_415`
70×	`unsub-neg_binary64_413`
57×	`distribute-rgt-neg-in_binary64_377`
55×	`sqr-pow_binary64_391`
51×	`associate--r+_binary64_355`
45×	`exp-diff_binary64_467`
42×	`*-lft-identity_binary64_408`
41×	`distribute-lft-neg-in_binary64_376`
38×	`*-rgt-identity_binary64_409`
35×	`log-prod_binary64_505`
28×	`unswap-sqr_binary64_387`
26×	`cube-prod_binary64_447`
24×	`distribute-neg-in_binary64_380`
17×	`mul-1-neg_binary64_411`
15×	`unpow3_binary64_485`
14×	`swap-sqr_binary64_386`
11×	`distribute-lft-neg-out_binary64_378` `associate-+l-_binary64_354`
10×	`div-exp_binary64_470` `distribute-rgt-out_binary64_372`
9×	`cube-mult_binary64_449` `times-frac_binary64_425` `associate-+r-_binary64_353`
7×	`prod-exp_binary64_468` `difference-of-squares_binary64_388` `associate--l-_binary64_357`
4×	`+-rgt-identity_binary64_404` `difference-of-sqr-1_binary64_389` `associate-*l/_binary64_362`
3×	`unpow1/2_binary64_483` `remove-double-neg_binary64_407` `pow-sqr_binary64_392` `distribute-rgt-out--_binary64_373`
2×	`exp-lft-sqr_binary64_474` `sub0-neg_binary64_406` `difference-of-sqr--1_binary64_390` `associate-*r/_binary64_361` `associate--r-_binary64_358`
1×	`exp-neg_binary64_466` `1-exp_binary64_463` `exp-1-e_binary64_462` `cube-unmult_binary64_456` `distribute-neg-out_binary64_381` `distribute-rgt1-in_binary64_375` `distribute-lft-out--_binary64_371` `associate-/l/_binary64_366` `associate-/l_binary64_364` `associate-/r_binary64_363`
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_682` `erf-erfc_binary64_681` `erf-odd_binary64_680` `if-if-and-not_binary64_679` `if-if-and_binary64_678` `if-if-or-not_binary64_677` `if-if-or_binary64_676` `if-not_binary64_675` `if-same_binary64_674` `if-false_binary64_673` `if-true_binary64_672` `not-gte_binary64_671` `not-lte_binary64_670` `not-gt_binary64_669` `not-lt_binary64_668` `gte-same_binary64_667` `lte-same_binary64_666` `gt-same_binary64_665` `lt-same_binary64_664` `sinh---cosh_binary64_611` `sinh-+-cosh_binary64_610` `sinh-cosh_binary64_609` `tanh-def-c_binary64_608` `tanh-def-b_binary64_607` `tanh-def-a_binary64_606` `cosh-def_binary64_605` `sinh-def_binary64_604` `tan-neg_binary64_551` `cos-neg_binary64_550` `sin-neg_binary64_549` `tan-0_binary64_548` `cos-0_binary64_547` `sin-0_binary64_546` `hang-m-tan_binary64_545` `hang-p-tan_binary64_544` `hang-m0-tan_binary64_543` `hang-p0-tan_binary64_542` `hang-0m-tan_binary64_541` `hang-0p-tan_binary64_540` `tan-+PI/2_binary64_539` `tan-+PI_binary64_538` `tan-PI_binary64_537` `tan-PI/3_binary64_536` `tan-PI/4_binary64_535` `tan-PI/6_binary64_534` `cos-+PI/2_binary64_533` `cos-+PI_binary64_532` `cos-PI_binary64_531` `cos-PI/2_binary64_530` `cos-PI/3_binary64_529` `cos-PI/4_binary64_528` `cos-PI/6_binary64_527` `sin-+PI/2_binary64_526` `sin-+PI_binary64_525` `sin-PI_binary64_524` `sin-PI/2_binary64_523` `sin-PI/3_binary64_522` `sin-PI/4_binary64_521` `sin-PI/6_binary64_520` `sub-1-sin_binary64_519` `sub-1-cos_binary64_518` `-1-add-sin_binary64_517` `-1-add-cos_binary64_516` `1-sub-sin_binary64_515` `1-sub-cos_binary64_514` `cos-sin-sum_binary64_513` `log-E_binary64_509` `log-pow_binary64_508` `log-rec_binary64_507` `log-div_binary64_506` `pow-base-0_binary64_503` `unpow1/3_binary64_486` `unpow2_binary64_484` `pow-plus_binary64_482` `exp-to-pow_binary64_481` `pow-base-1_binary64_479` `unpow0_binary64_478` `unpow1_binary64_477` `unpow-1_binary64_476` `exp-lft-cube_binary64_475` `exp-cbrt_binary64_473` `exp-sqrt_binary64_472` `rec-exp_binary64_469` `e-exp-1_binary64_464` `exp-0_binary64_461` `rem-log-exp_binary64_460` `rem-exp-log_binary64_459` `cube-div_binary64_448` `cube-neg_binary64_446` `rem-3cbrt-rft_binary64_445` `rem-3cbrt-lft_binary64_444` `rem-cbrt-cube_binary64_443` `rem-cube-cbrt_binary64_442` `sqr-abs_binary64_434` `sqr-neg_binary64_433` `rem-sqrt-square_binary64_432` `rem-square-sqrt_binary64_431` `div-sub_binary64_424` `/-rgt-identity_binary64_410` `--rgt-identity_binary64_405` `+-lft-identity_binary64_403` `mul0-rgt_binary64_402` `mul0-lft_binary64_401` `div0_binary64_400` `*-inverses_binary64_399` `+-inverses_binary64_398` `lft-mult-inverse_binary64_397` `rgt-mult-inverse_binary64_396` `remove-double-div_binary64_395` `cancel-sign-sub_binary64_384` `distribute-neg-frac_binary64_383` `distribute-frac-neg_binary64_382` `distribute-rgt-neg-out_binary64_379` `distribute-lft1-in_binary64_374` `distribute-lft-out_binary64_370` `count-2_binary64_367` `associate-/r/_binary64_365`

Counts

170 → 150

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	332	4528
1	1050	4454
2	4374	4448
3	4821	4448
4	4945	4448

prune230.0ms (1.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	144	6	150
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	144	7	151

Error

0.0b

Counts

151 → 7

Compiler

Compiled 4812 to 2356 computations (51% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (.f64 b (-.f64 (+.f64 t y) 2))) (cbrt.f64 (*.f64 b (-.f64 (+.f64 t y) 2))))
0.6b	(cbrt.f64 (*.f64 b (-.f64 (+.f64 t y) 2)))
0.6b	(cbrt.f64 (*.f64 b (-.f64 (+.f64 t y) 2)))
0.6b	(cbrt.f64 (*.f64 b (-.f64 (+.f64 t y) 2)))

rewrite220.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

20×	`associate-*r/_binary64_361`
18×	`cbrt-div_binary64_451`
11×	`pow1_binary64_480`
10×	`add-sqr-sqrt_binary64_441`
9×	`pow1/3_binary64_501` `flip3--_binary64_423` `flip--_binary64_394`
8×	`add-cube-cbrt_binary64_454` `*-un-lft-identity_binary64_419`
7×	`cbrt-prod_binary64_450`
6×	`add-exp-log_binary64_457`
4×	`add-log-exp_binary64_458` `add-cbrt-cube_binary64_455` `frac-times_binary64_429` `swap-sqr_binary64_386` `associate-l_binary64_360` `associate-r_binary64_359`
2×	`pow-prod-down_binary64_490` `pow-prod-up_binary64_489` `pow-sqr_binary64_392` `associate-*l/_binary64_362`
1×	`pow2_binary64_500` `pow-plus_binary64_482` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `unswap-sqr_binary64_387` `*-commutative_binary64_350`

Counts

4 → 72

Calls

4 calls:

11.0ms	(.f64 (cbrt.f64 (.f64 b (-.f64 (+.f64 t y) 2))) (cbrt.f64 (*.f64 b (-.f64 (+.f64 t y) 2))))
8.0ms	(cbrt.f64 (*.f64 b (-.f64 (+.f64 t y) 2)))
7.0ms	(cbrt.f64 (*.f64 b (-.f64 (+.f64 t y) 2)))
7.0ms	(cbrt.f64 (*.f64 b (-.f64 (+.f64 t y) 2)))

Compiler

Compiled 3623 to 2116 computations (41.6% saved)

series2.5s (17.9%)

Error

0.0b

Counts

4 → 65

Calls

4 calls:

808.0ms	(.f64 (cbrt.f64 (.f64 b (-.f64 (+.f64 t y) 2))) (cbrt.f64 (*.f64 b (-.f64 (+.f64 t y) 2))))
538.0ms	(cbrt.f64 (*.f64 b (-.f64 (+.f64 t y) 2)))
507.0ms	(cbrt.f64 (*.f64 b (-.f64 (+.f64 t y) 2)))
494.0ms	(cbrt.f64 (*.f64 b (-.f64 (+.f64 t y) 2)))

Compiler

Compiled 11513 to 8835 computations (23.3% saved)

simplify152.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

461×	`times-frac_binary64_425`
282×	`distribute-rgt-in_binary64_369`
262×	`distribute-lft-in_binary64_368`
175×	`cancel-sign-sub-inv_binary64_385`
143×	`sub-neg_binary64_412`
142×	`*-commutative_binary64_350`
128×	`associate-r_binary64_359`
120×	`unswap-sqr_binary64_387`
103×	`sqr-pow_binary64_391`
99×	`+-commutative_binary64_349`
91×	`distribute-rgt-neg-in_binary64_377` `distribute-lft-neg-in_binary64_376`
86×	`associate-l_binary64_360`
69×	`neg-sub0_binary64_414` `associate-/l*_binary64_364`
68×	`neg-mul-1_binary64_415`
60×	`exp-prod_binary64_471` `exp-sum_binary64_465`
56×	`distribute-neg-in_binary64_380`
52×	`associate-+l+_binary64_352`
51×	`associate--l+_binary64_356`
49×	`associate-*r/_binary64_361`
48×	`unsub-neg_binary64_413`
47×	`distribute-neg-frac_binary64_383`
43×	`log-prod_binary64_505`
41×	`associate-*l/_binary64_362`
40×	`associate-/r*_binary64_363` `associate-+r+_binary64_351`
34×	`distribute-rgt-out_binary64_372`
28×	`unpow1/3_binary64_486`
27×	`exp-to-pow_binary64_481`
25×	`associate--r+_binary64_355`
20×	`distribute-lft-neg-out_binary64_378`
19×	`distribute-rgt-neg-out_binary64_379`
17×	`distribute-lft-out_binary64_370`
16×	`pow-sqr_binary64_392`
15×	`distribute-neg-out_binary64_381` `associate-/r/_binary64_365`
14×	`log-pow_binary64_508` `pow-plus_binary64_482`
12×	`exp-diff_binary64_467` `div-sub_binary64_424`
9×	`cube-prod_binary64_447` `distribute-rgt-out--_binary64_373`
8×	`unpow2_binary64_484` `unpow1/2_binary64_483` `*-rgt-identity_binary64_409`
7×	`unpow3_binary64_485` `unpow1_binary64_477` `*-lft-identity_binary64_408`
6×	`log-div_binary64_506` `cube-unmult_binary64_456` `remove-double-neg_binary64_407` `swap-sqr_binary64_386` `distribute-lft-out--_binary64_371` `associate--r-_binary64_358`
3×	`log-rec_binary64_507` `cube-mult_binary64_449`
2×	`rem-3cbrt-lft_binary64_444` `rem-sqrt-square_binary64_432`
1×	`exp-lft-sqr_binary64_474` `1-exp_binary64_463` `exp-1-e_binary64_462` `rem-3cbrt-rft_binary64_445` `rem-square-sqrt_binary64_431` `mul-1-neg_binary64_411` `count-2_binary64_367`
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_682` `erf-erfc_binary64_681` `erf-odd_binary64_680` `if-if-and-not_binary64_679` `if-if-and_binary64_678` `if-if-or-not_binary64_677` `if-if-or_binary64_676` `if-not_binary64_675` `if-same_binary64_674` `if-false_binary64_673` `if-true_binary64_672` `not-gte_binary64_671` `not-lte_binary64_670` `not-gt_binary64_669` `not-lt_binary64_668` `gte-same_binary64_667` `lte-same_binary64_666` `gt-same_binary64_665` `lt-same_binary64_664` `sinh---cosh_binary64_611` `sinh-+-cosh_binary64_610` `sinh-cosh_binary64_609` `tanh-def-c_binary64_608` `tanh-def-b_binary64_607` `tanh-def-a_binary64_606` `cosh-def_binary64_605` `sinh-def_binary64_604` `tan-neg_binary64_551` `cos-neg_binary64_550` `sin-neg_binary64_549` `tan-0_binary64_548` `cos-0_binary64_547` `sin-0_binary64_546` `hang-m-tan_binary64_545` `hang-p-tan_binary64_544` `hang-m0-tan_binary64_543` `hang-p0-tan_binary64_542` `hang-0m-tan_binary64_541` `hang-0p-tan_binary64_540` `tan-+PI/2_binary64_539` `tan-+PI_binary64_538` `tan-PI_binary64_537` `tan-PI/3_binary64_536` `tan-PI/4_binary64_535` `tan-PI/6_binary64_534` `cos-+PI/2_binary64_533` `cos-+PI_binary64_532` `cos-PI_binary64_531` `cos-PI/2_binary64_530` `cos-PI/3_binary64_529` `cos-PI/4_binary64_528` `cos-PI/6_binary64_527` `sin-+PI/2_binary64_526` `sin-+PI_binary64_525` `sin-PI_binary64_524` `sin-PI/2_binary64_523` `sin-PI/3_binary64_522` `sin-PI/4_binary64_521` `sin-PI/6_binary64_520` `sub-1-sin_binary64_519` `sub-1-cos_binary64_518` `-1-add-sin_binary64_517` `-1-add-cos_binary64_516` `1-sub-sin_binary64_515` `1-sub-cos_binary64_514` `cos-sin-sum_binary64_513` `log-E_binary64_509` `pow-base-0_binary64_503` `pow-base-1_binary64_479` `unpow0_binary64_478` `unpow-1_binary64_476` `exp-lft-cube_binary64_475` `exp-cbrt_binary64_473` `exp-sqrt_binary64_472` `div-exp_binary64_470` `rec-exp_binary64_469` `prod-exp_binary64_468` `exp-neg_binary64_466` `e-exp-1_binary64_464` `exp-0_binary64_461` `rem-log-exp_binary64_460` `rem-exp-log_binary64_459` `cube-div_binary64_448` `cube-neg_binary64_446` `rem-cbrt-cube_binary64_443` `rem-cube-cbrt_binary64_442` `sqr-abs_binary64_434` `sqr-neg_binary64_433` `/-rgt-identity_binary64_410` `sub0-neg_binary64_406` `--rgt-identity_binary64_405` `+-rgt-identity_binary64_404` `+-lft-identity_binary64_403` `mul0-rgt_binary64_402` `mul0-lft_binary64_401` `div0_binary64_400` `*-inverses_binary64_399` `+-inverses_binary64_398` `lft-mult-inverse_binary64_397` `rgt-mult-inverse_binary64_396` `remove-double-div_binary64_395` `difference-of-sqr--1_binary64_390` `difference-of-sqr-1_binary64_389` `difference-of-squares_binary64_388` `cancel-sign-sub_binary64_384` `distribute-frac-neg_binary64_382` `distribute-rgt1-in_binary64_375` `distribute-lft1-in_binary64_374` `associate-/l/_binary64_366` `associate--l-_binary64_357` `associate-+l-_binary64_354` `associate-+r-_binary64_353`

Counts

137 → 121

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	300	4733
1	800	4389
2	2199	3879
3	4943	3651
4	4956	3651

prune322.0ms (2.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	121	0	121
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	121	7	128

Error

0.0b

Counts

128 → 7

Compiler

Compiled 6056 to 3558 computations (41.2% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b	(.f64 (.f64 (cbrt.f64 (-.f64 (+.f64 y t) 2)) (cbrt.f64 (-.f64 (+.f64 y t) 2))) (*.f64 b (cbrt.f64 (-.f64 (+.f64 t y) 2))))
0.7b	(cbrt.f64 (-.f64 (+.f64 t y) 2))
0.7b	(cbrt.f64 (-.f64 (+.f64 y t) 2))
0.7b	(cbrt.f64 (-.f64 (+.f64 y t) 2))

rewrite315.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

60×	`cbrt-div_binary64_451`
30×	`flip3--_binary64_423` `flip--_binary64_394`
28×	`frac-times_binary64_429`
26×	`associate-*r/_binary64_361`
22×	`*-un-lft-identity_binary64_419`
18×	`cbrt-prod_binary64_450`
16×	`pow1_binary64_480` `add-exp-log_binary64_457`
14×	`associate-*l/_binary64_362`
13×	`add-sqr-sqrt_binary64_441`
10×	`add-cbrt-cube_binary64_455`
8×	`pow-prod-down_binary64_490` `prod-exp_binary64_468` `cbrt-unprod_binary64_452`
7×	`add-cube-cbrt_binary64_454`
6×	`distribute-lft-out--_binary64_371`
4×	`add-log-exp_binary64_458`
3×	`pow1/3_binary64_501` `difference-of-squares_binary64_388` `distribute-lft-out_binary64_370`
1×	`associate-l_binary64_360` `associate-r_binary64_359` `*-commutative_binary64_350`

Counts

4 → 96

Calls

4 calls:

29.0ms	(.f64 (.f64 (cbrt.f64 (-.f64 (+.f64 y t) 2)) (cbrt.f64 (-.f64 (+.f64 y t) 2))) (*.f64 b (cbrt.f64 (-.f64 (+.f64 t y) 2))))
8.0ms	(cbrt.f64 (-.f64 (+.f64 t y) 2))
6.0ms	(cbrt.f64 (-.f64 (+.f64 y t) 2))
6.0ms	(cbrt.f64 (-.f64 (+.f64 y t) 2))

Compiler

Compiled 5072 to 2950 computations (41.8% saved)

series930.0ms (6.5%)

Error

0.0b

Counts

4 → 51

Calls

4 calls:

214.0ms	(cbrt.f64 (-.f64 (+.f64 t y) 2))
212.0ms	(cbrt.f64 (-.f64 (+.f64 y t) 2))
206.0ms	(cbrt.f64 (-.f64 (+.f64 y t) 2))
181.0ms	(.f64 (.f64 (cbrt.f64 (-.f64 (+.f64 y t) 2)) (cbrt.f64 (-.f64 (+.f64 y t) 2))) (*.f64 b (cbrt.f64 (-.f64 (+.f64 t y) 2))))

Compiler

Compiled 5882 to 4660 computations (20.8% saved)

simplify180.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

461×	`sub-neg_binary64_412`
441×	`*-commutative_binary64_350`
369×	`distribute-rgt-in_binary64_369`
354×	`distribute-lft-in_binary64_368`
306×	`associate-+l+_binary64_352`
218×	`associate-r_binary64_359`
217×	`associate-l_binary64_360`
196×	`associate-+r+_binary64_351`
191×	`associate--r+_binary64_355`
190×	`associate--l+_binary64_356`
123×	`sqr-pow_binary64_391`
115×	`cancel-sign-sub-inv_binary64_385`
86×	`unsub-neg_binary64_413`
80×	`exp-sum_binary64_465`
79×	`exp-prod_binary64_471`
66×	`+-commutative_binary64_349`
65×	`unswap-sqr_binary64_387`
58×	`neg-mul-1_binary64_415` `neg-sub0_binary64_414`
46×	`exp-diff_binary64_467`
40×	`distribute-neg-in_binary64_380`
26×	`log-prod_binary64_505`
24×	`distribute-rgt-neg-in_binary64_377` `associate-+l-_binary64_354`
23×	`distribute-lft-neg-in_binary64_376` `distribute-rgt-out_binary64_372`
22×	`associate-+r-_binary64_353`
20×	`associate-/r*_binary64_363`
18×	`+-rgt-identity_binary64_404`
15×	`unpow1/3_binary64_486`
14×	`pow-sqr_binary64_392`
12×	`div-sub_binary64_424`
11×	`cube-unmult_binary64_456` `sub0-neg_binary64_406`
10×	`log-pow_binary64_508` `log-div_binary64_506`
8×	`swap-sqr_binary64_386`
7×	`unpow3_binary64_485` `cube-prod_binary64_447` `distribute-lft-out_binary64_370`
6×	`exp-to-pow_binary64_481` `prod-exp_binary64_468` `associate--r-_binary64_358`
5×	`unpow2_binary64_484` `rem-exp-log_binary64_459` `rem-sqrt-square_binary64_432` `associate--l-_binary64_357`
4×	`log-rec_binary64_507` `unpow1/2_binary64_483` `pow-plus_binary64_482` `unpow1_binary64_477` `exp-neg_binary64_466` `cube-mult_binary64_449` `rem-3cbrt-rft_binary64_445` `rem-3cbrt-lft_binary64_444` `+-lft-identity_binary64_403` `distribute-rgt-out--_binary64_373`
3×	`distribute-lft-neg-out_binary64_378`
2×	`exp-lft-sqr_binary64_474` `rec-exp_binary64_469` `-lft-identity_binary64_408` `remove-double-neg_binary64_407` `distribute-rgt-neg-out_binary64_379` `distribute-lft-out--_binary64_371` `associate-/l_binary64_364`
1×	`1-exp_binary64_463` `+-inverses_binary64_398` `distribute-rgt1-in_binary64_375` `distribute-lft1-in_binary64_374` `count-2_binary64_367`
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_682` `erf-erfc_binary64_681` `erf-odd_binary64_680` `if-if-and-not_binary64_679` `if-if-and_binary64_678` `if-if-or-not_binary64_677` `if-if-or_binary64_676` `if-not_binary64_675` `if-same_binary64_674` `if-false_binary64_673` `if-true_binary64_672` `not-gte_binary64_671` `not-lte_binary64_670` `not-gt_binary64_669` `not-lt_binary64_668` `gte-same_binary64_667` `lte-same_binary64_666` `gt-same_binary64_665` `lt-same_binary64_664` `sinh---cosh_binary64_611` `sinh-+-cosh_binary64_610` `sinh-cosh_binary64_609` `tanh-def-c_binary64_608` `tanh-def-b_binary64_607` `tanh-def-a_binary64_606` `cosh-def_binary64_605` `sinh-def_binary64_604` `tan-neg_binary64_551` `cos-neg_binary64_550` `sin-neg_binary64_549` `tan-0_binary64_548` `cos-0_binary64_547` `sin-0_binary64_546` `hang-m-tan_binary64_545` `hang-p-tan_binary64_544` `hang-m0-tan_binary64_543` `hang-p0-tan_binary64_542` `hang-0m-tan_binary64_541` `hang-0p-tan_binary64_540` `tan-+PI/2_binary64_539` `tan-+PI_binary64_538` `tan-PI_binary64_537` `tan-PI/3_binary64_536` `tan-PI/4_binary64_535` `tan-PI/6_binary64_534` `cos-+PI/2_binary64_533` `cos-+PI_binary64_532` `cos-PI_binary64_531` `cos-PI/2_binary64_530` `cos-PI/3_binary64_529` `cos-PI/4_binary64_528` `cos-PI/6_binary64_527` `sin-+PI/2_binary64_526` `sin-+PI_binary64_525` `sin-PI_binary64_524` `sin-PI/2_binary64_523` `sin-PI/3_binary64_522` `sin-PI/4_binary64_521` `sin-PI/6_binary64_520` `sub-1-sin_binary64_519` `sub-1-cos_binary64_518` `-1-add-sin_binary64_517` `-1-add-cos_binary64_516` `1-sub-sin_binary64_515` `1-sub-cos_binary64_514` `cos-sin-sum_binary64_513` `log-E_binary64_509` `pow-base-0_binary64_503` `pow-base-1_binary64_479` `unpow0_binary64_478` `unpow-1_binary64_476` `exp-lft-cube_binary64_475` `exp-cbrt_binary64_473` `exp-sqrt_binary64_472` `div-exp_binary64_470` `e-exp-1_binary64_464` `exp-1-e_binary64_462` `exp-0_binary64_461` `rem-log-exp_binary64_460` `cube-div_binary64_448` `cube-neg_binary64_446` `rem-cbrt-cube_binary64_443` `rem-cube-cbrt_binary64_442` `sqr-abs_binary64_434` `sqr-neg_binary64_433` `rem-square-sqrt_binary64_431` `times-frac_binary64_425` `mul-1-neg_binary64_411` `/-rgt-identity_binary64_410` `-rgt-identity_binary64_409` `--rgt-identity_binary64_405` `mul0-rgt_binary64_402` `mul0-lft_binary64_401` `div0_binary64_400` `-inverses_binary64_399` `lft-mult-inverse_binary64_397` `rgt-mult-inverse_binary64_396` `remove-double-div_binary64_395` `difference-of-sqr--1_binary64_390` `difference-of-sqr-1_binary64_389` `difference-of-squares_binary64_388` `cancel-sign-sub_binary64_384` `distribute-neg-frac_binary64_383` `distribute-frac-neg_binary64_382` `distribute-neg-out_binary64_381` `associate-/l/_binary64_366` `associate-/r/_binary64_365` `associate-l/_binary64_362` `associate-r/_binary64_361`

Counts

147 → 128

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	253	4802
1	565	4055
2	1489	3674
3	4216	3674
4	4865	3586
5	4893	3586

prune309.0ms (2.2%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	127	1	128
Fresh	1	3	4
Picked	0	1	1
Done	0	2	2
Total	128	7	135

Error

0.0b

Counts

135 → 7

Compiler

Compiled 5663 to 3492 computations (38.3% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 b 2) (.f64 y z))
0.0b	(+.f64 (.f64 t a) (+.f64 (.f64 b 2) (*.f64 y z)))
0.0b	(*.f64 b (+.f64 t y))
0.0b	(+.f64 (.f64 b (+.f64 t y)) (-.f64 (+.f64 a z) (+.f64 (.f64 t a) (+.f64 (.f64 b 2) (.f64 y z)))))

rewrite190.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

40×	`add-log-exp_binary64_458`
20×	`sum-log_binary64_510`
18×	`flip3-+_binary64_422` `flip-+_binary64_393`
14×	`associate-*r/_binary64_361`
12×	`frac-add_binary64_427`
9×	`add-sqr-sqrt_binary64_441` `*-un-lft-identity_binary64_419`
8×	`frac-sub_binary64_428`
7×	`add-cube-cbrt_binary64_454`
6×	`diff-log_binary64_511` `pow1_binary64_480` `add-exp-log_binary64_457` `add-cbrt-cube_binary64_455` `associate-+r+_binary64_351`
4×	`associate-r_binary64_359`
3×	`cancel-sign-sub-inv_binary64_385` `+-commutative_binary64_349` `associate-l_binary64_360`
2×	`flip3--_binary64_423` `flip--_binary64_394` `distribute-rgt-in_binary64_369` `associate-+l+_binary64_352` `distribute-lft-in_binary64_368`
1×	`associate-+r-_binary64_353` `sub-neg_binary64_412` `associate--l+_binary64_356` `pow-prod-down_binary64_490` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `unswap-sqr_binary64_387` `distribute-lft-out_binary64_370` `*-commutative_binary64_350`

Counts

4 → 84

Calls

4 calls:

20.0ms	(+.f64 (.f64 b (+.f64 t y)) (-.f64 (+.f64 a z) (+.f64 (.f64 t a) (+.f64 (.f64 b 2) (.f64 y z)))))
7.0ms	(+.f64 (.f64 t a) (+.f64 (.f64 b 2) (*.f64 y z)))
6.0ms	(*.f64 b (+.f64 t y))
4.0ms	(+.f64 (.f64 b 2) (.f64 y z))

Compiler

Compiled 3869 to 1333 computations (65.5% saved)

series1.4s (9.6%)

Error

0.0b

Counts

4 → 93

Calls

4 calls:

657.0ms	(+.f64 (.f64 b (+.f64 t y)) (-.f64 (+.f64 a z) (+.f64 (.f64 t a) (+.f64 (.f64 b 2) (.f64 y z)))))
363.0ms	(+.f64 (.f64 t a) (+.f64 (.f64 b 2) (*.f64 y z)))
161.0ms	(+.f64 (.f64 b 2) (.f64 y z))
112.0ms	(*.f64 b (+.f64 t y))

Compiler

Compiled 4392 to 2699 computations (38.5% saved)

simplify135.0ms (1%)

Algorithm

1×	egg-herbie

Rules

495×	`distribute-rgt-in_binary64_369`
472×	`distribute-lft-in_binary64_368`
322×	`associate-l_binary64_360`
286×	`associate-r_binary64_359`
245×	`sub-neg_binary64_412`
237×	`*-commutative_binary64_350`
134×	`times-frac_binary64_425`
116×	`+-commutative_binary64_349`
86×	`cancel-sign-sub-inv_binary64_385`
81×	`associate-+l+_binary64_352`
79×	`associate--l+_binary64_356`
72×	`exp-sum_binary64_465` `neg-sub0_binary64_414`
71×	`associate--r+_binary64_355` `associate-+r+_binary64_351`
64×	`neg-mul-1_binary64_415`
55×	`unsub-neg_binary64_413`
54×	`distribute-rgt-neg-in_binary64_377`
34×	`distribute-lft-neg-in_binary64_376`
33×	`distribute-neg-in_binary64_380`
32×	`div-exp_binary64_470` `exp-diff_binary64_467`
29×	`exp-prod_binary64_471` `prod-exp_binary64_468` `sqr-pow_binary64_391`
17×	`cube-prod_binary64_447`
16×	`distribute-lft-neg-out_binary64_378`
14×	`unpow3_binary64_485`
12×	`cube-mult_binary64_449` `associate-/r*_binary64_363`
10×	`swap-sqr_binary64_386`
9×	`associate-/l_binary64_364` `associate-r/_binary64_361` `associate-+l-_binary64_354` `associate-+r-_binary64_353`
8×	`mul-1-neg_binary64_411`
7×	`log-prod_binary64_505` `difference-of-squares_binary64_388`
6×	`distribute-rgt-out--_binary64_373`
4×	`associate-*l/_binary64_362`
2×	`unswap-sqr_binary64_387` `distribute-rgt-out_binary64_372` `associate--r-_binary64_358` `associate--l-_binary64_357`
1×	`exp-lft-sqr_binary64_474` `1-exp_binary64_463` `exp-1-e_binary64_462` `cube-unmult_binary64_456` `*-rgt-identity_binary64_409` `associate-/r/_binary64_365`
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_682` `erf-erfc_binary64_681` `erf-odd_binary64_680` `if-if-and-not_binary64_679` `if-if-and_binary64_678` `if-if-or-not_binary64_677` `if-if-or_binary64_676` `if-not_binary64_675` `if-same_binary64_674` `if-false_binary64_673` `if-true_binary64_672` `not-gte_binary64_671` `not-lte_binary64_670` `not-gt_binary64_669` `not-lt_binary64_668` `gte-same_binary64_667` `lte-same_binary64_666` `gt-same_binary64_665` `lt-same_binary64_664` `sinh---cosh_binary64_611` `sinh-+-cosh_binary64_610` `sinh-cosh_binary64_609` `tanh-def-c_binary64_608` `tanh-def-b_binary64_607` `tanh-def-a_binary64_606` `cosh-def_binary64_605` `sinh-def_binary64_604` `tan-neg_binary64_551` `cos-neg_binary64_550` `sin-neg_binary64_549` `tan-0_binary64_548` `cos-0_binary64_547` `sin-0_binary64_546` `hang-m-tan_binary64_545` `hang-p-tan_binary64_544` `hang-m0-tan_binary64_543` `hang-p0-tan_binary64_542` `hang-0m-tan_binary64_541` `hang-0p-tan_binary64_540` `tan-+PI/2_binary64_539` `tan-+PI_binary64_538` `tan-PI_binary64_537` `tan-PI/3_binary64_536` `tan-PI/4_binary64_535` `tan-PI/6_binary64_534` `cos-+PI/2_binary64_533` `cos-+PI_binary64_532` `cos-PI_binary64_531` `cos-PI/2_binary64_530` `cos-PI/3_binary64_529` `cos-PI/4_binary64_528` `cos-PI/6_binary64_527` `sin-+PI/2_binary64_526` `sin-+PI_binary64_525` `sin-PI_binary64_524` `sin-PI/2_binary64_523` `sin-PI/3_binary64_522` `sin-PI/4_binary64_521` `sin-PI/6_binary64_520` `sub-1-sin_binary64_519` `sub-1-cos_binary64_518` `-1-add-sin_binary64_517` `-1-add-cos_binary64_516` `1-sub-sin_binary64_515` `1-sub-cos_binary64_514` `cos-sin-sum_binary64_513` `log-E_binary64_509` `log-pow_binary64_508` `log-rec_binary64_507` `log-div_binary64_506` `pow-base-0_binary64_503` `unpow1/3_binary64_486` `unpow2_binary64_484` `unpow1/2_binary64_483` `pow-plus_binary64_482` `exp-to-pow_binary64_481` `pow-base-1_binary64_479` `unpow0_binary64_478` `unpow1_binary64_477` `unpow-1_binary64_476` `exp-lft-cube_binary64_475` `exp-cbrt_binary64_473` `exp-sqrt_binary64_472` `rec-exp_binary64_469` `exp-neg_binary64_466` `e-exp-1_binary64_464` `exp-0_binary64_461` `rem-log-exp_binary64_460` `rem-exp-log_binary64_459` `cube-div_binary64_448` `cube-neg_binary64_446` `rem-3cbrt-rft_binary64_445` `rem-3cbrt-lft_binary64_444` `rem-cbrt-cube_binary64_443` `rem-cube-cbrt_binary64_442` `sqr-abs_binary64_434` `sqr-neg_binary64_433` `rem-sqrt-square_binary64_432` `rem-square-sqrt_binary64_431` `div-sub_binary64_424` `/-rgt-identity_binary64_410` `-lft-identity_binary64_408` `remove-double-neg_binary64_407` `sub0-neg_binary64_406` `--rgt-identity_binary64_405` `+-rgt-identity_binary64_404` `+-lft-identity_binary64_403` `mul0-rgt_binary64_402` `mul0-lft_binary64_401` `div0_binary64_400` `-inverses_binary64_399` `+-inverses_binary64_398` `lft-mult-inverse_binary64_397` `rgt-mult-inverse_binary64_396` `remove-double-div_binary64_395` `pow-sqr_binary64_392` `difference-of-sqr--1_binary64_390` `difference-of-sqr-1_binary64_389` `cancel-sign-sub_binary64_384` `distribute-neg-frac_binary64_383` `distribute-frac-neg_binary64_382` `distribute-neg-out_binary64_381` `distribute-rgt-neg-out_binary64_379` `distribute-rgt1-in_binary64_375` `distribute-lft1-in_binary64_374` `distribute-lft-out--_binary64_371` `distribute-lft-out_binary64_370` `count-2_binary64_367` `associate-/l/_binary64_366`

Counts

177 → 129

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	282	4960
1	918	4894
2	4359	4798
3	5011	4798

prune154.0ms (1.1%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	3	3
Picked	0	1	1
Done	0	3	3
Total	129	7	136

Error

0.0b

Counts

136 → 7

Compiler

Compiled 4107 to 1356 computations (67% saved)

regimes1.2s (8.3%)

Accuracy

Total 0.0b remaining (80.7%)

Threshold costs 0.0b (80.7%)

Compiler

Compiled 12059 to 9616 computations (20.3% saved)

bsearch0.0ms (0%)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

25×	`neg-mul-1_binary64_415` `neg-sub0_binary64_414`
17×	`*-commutative_binary64_350` `+-commutative_binary64_349`
15×	`sub-neg_binary64_412`
14×	`distribute-rgt-neg-in_binary64_377`
12×	`unsub-neg_binary64_413` `distribute-lft-neg-in_binary64_376`
11×	`distribute-lft-neg-out_binary64_378`
10×	`cancel-sign-sub-inv_binary64_385`
9×	`*-lft-identity_binary64_408` `distribute-rgt-neg-out_binary64_379`
6×	`*-rgt-identity_binary64_409` `distribute-neg-in_binary64_380`
1×	`1-exp_binary64_463` `remove-double-neg_binary64_407`
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_679` `if-if-and_binary64_678` `if-if-or-not_binary64_677` `if-if-or_binary64_676` `if-not_binary64_675` `if-same_binary64_674` `if-false_binary64_673` `if-true_binary64_672` `tan-0_binary64_548` `cos-0_binary64_547` `sin-0_binary64_546` `unpow1_binary64_477` `e-exp-1_binary64_464` `exp-1-e_binary64_462` `exp-0_binary64_461` `sqr-abs_binary64_434` `sqr-neg_binary64_433` `mul-1-neg_binary64_411` `/-rgt-identity_binary64_410` `sub0-neg_binary64_406` `--rgt-identity_binary64_405` `+-rgt-identity_binary64_404` `+-lft-identity_binary64_403` `cancel-sign-sub_binary64_384` `distribute-neg-frac_binary64_383` `distribute-frac-neg_binary64_382` `distribute-neg-out_binary64_381`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	31
1	41	31
2	70	31
3	97	31
4	141	31
5	149	31
6	153	31
7	146	31

end0.0ms (0%)

sample2.5s (17.6%)

Algorithm

1×

intervals

Results

431.0ms	7992×	body	128	valid
258.0ms	4616×	body	128	invalid
1.0ms	4×	body	512	valid
0.0ms	2×	body	1024	valid
0.0ms	2×	body	256	valid

Compiler

Compiled 1758 to 1403 computations (20.2% saved)

Details

analyze1.6s (11.2%)

sample44.0ms (0.3%)

simplify113.0ms (0.8%)

prune2.0ms (0%)

localize15.0ms (0.1%)

rewrite268.0ms (1.9%)

series1.2s (8.6%)

simplify166.0ms (1.2%)

prune230.0ms (1.6%)

localize19.0ms (0.1%)

rewrite220.0ms (1.5%)

series2.5s (17.9%)

simplify152.0ms (1.1%)

prune322.0ms (2.3%)

localize22.0ms (0.2%)

rewrite315.0ms (2.2%)

series930.0ms (6.5%)

simplify180.0ms (1.3%)

prune309.0ms (2.2%)

localize15.0ms (0.1%)

rewrite190.0ms (1.3%)

series1.4s (9.6%)

simplify135.0ms (1%)

prune154.0ms (1.1%)

regimes1.2s (8.3%)

bsearch0.0ms (0%)

simplify5.0ms (0%)

end0.0ms (0%)

sample2.5s (17.6%)

Profiling