Details

analyze196.0ms (7.5%)

Algorithm

1×	search
2×	egg-herbie

Rules

675×	`div-sub_binary64_424`
511×	`sub-neg_binary64_412`
417×	`times-frac_binary64_425`
411×	`associate-/l*_binary64_364`
366×	`associate-/r*_binary64_363`
345×	`associate-l_binary64_360`
253×	`exp-prod_binary64_471`
221×	`exp-sum_binary64_465`
200×	`distribute-rgt-in_binary64_369`
185×	`exp-diff_binary64_467`
184×	`associate-/l/_binary64_366`
173×	`associate-/r/_binary64_365`
167×	`sqr-pow_binary64_391`
153×	`associate-*l/_binary64_362`
144×	`unsub-neg_binary64_413`
142×	`distribute-lft-in_binary64_368`
125×	`associate-*r/_binary64_361`
113×	`*-commutative_binary64_350`
87×	`associate-r_binary64_359`
84×	`neg-mul-1_binary64_415`
80×	`*-rgt-identity_binary64_409`
74×	`*-lft-identity_binary64_408`
67×	`neg-sub0_binary64_414`
64×	`pow-sqr_binary64_392`
47×	`distribute-rgt-neg-out_binary64_379`
46×	`remove-double-div_binary64_395`
42×	`/-rgt-identity_binary64_410`
41×	`cancel-sign-sub-inv_binary64_385`
36×	`distribute-neg-frac_binary64_383`
35×	`cube-prod_binary64_447` `rem-sqrt-square_binary64_432`
29×	`distribute-rgt-neg-in_binary64_377`
28×	`unswap-sqr_binary64_387`
27×	`distribute-frac-neg_binary64_382`
24×	`distribute-neg-in_binary64_380`
21×	`distribute-lft-neg-out_binary64_378` `distribute-lft-neg-in_binary64_376` `associate--r+_binary64_355`
20×	`cube-unmult_binary64_456`
19×	`pow-plus_binary64_482`
17×	`exp-lft-sqr_binary64_474`
14×	`unpow3_binary64_485` `exp-sqrt_binary64_472` `mul0-rgt_binary64_402` `mul0-lft_binary64_401`
12×	`div0_binary64_400` `associate-+r-_binary64_353`
11×	`cube-div_binary64_448` `remove-double-neg_binary64_407`
10×	`associate-+r+_binary64_351`
9×	`unpow1/2_binary64_483`
8×	`+-commutative_binary64_349`
7×	`cube-mult_binary64_449` `sub0-neg_binary64_406` `associate--l+_binary64_356`
6×	`prod-exp_binary64_468` `exp-neg_binary64_466` `associate-+l-_binary64_354`
5×	`associate-+l+_binary64_352`
4×	`associate--r-_binary64_358` `associate--l-_binary64_357`
2×	`rec-exp_binary64_469` `difference-of-sqr--1_binary64_390` `distribute-lft1-in_binary64_374`
1×	`unpow2_binary64_484` `1-exp_binary64_463` `exp-1-e_binary64_462` `+-rgt-identity_binary64_404` `+-lft-identity_binary64_403` `swap-sqr_binary64_386` `distribute-rgt1-in_binary64_375`
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` `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` `div-exp_binary64_470` `e-exp-1_binary64_464` `exp-0_binary64_461` `rem-log-exp_binary64_460` `rem-exp-log_binary64_459` `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-square-sqrt_binary64_431` `mul-1-neg_binary64_411` `--rgt-identity_binary64_405` `*-inverses_binary64_399` `+-inverses_binary64_398` `lft-mult-inverse_binary64_397` `rgt-mult-inverse_binary64_396` `difference-of-sqr-1_binary64_389` `difference-of-squares_binary64_388` `cancel-sign-sub_binary64_384` `distribute-neg-out_binary64_381` `distribute-rgt-out--_binary64_373` `distribute-rgt-out_binary64_372` `distribute-lft-out--_binary64_371` `distribute-lft-out_binary64_370` `count-2_binary64_367`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	19	9
2	45	9
3	86	9
4	180	9
5	392	9
6	1228	9
7	3373	9
8	4328	9
9	5037	9
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	25%	25%	4
50%	12.5%	37.5%	5
50%	6.2%	43.8%	6
50%	3.1%	46.9%	7
50%	1.6%	48.5%	8
50%	0.8%	49.2%	9
50%	0.4%	49.6%	10
50.2%	0.2%	49.6%	11
50.2%	0.1%	49.7%	12
50.2%	0%	49.8%	13
50.2%	0%	49.8%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample14.0ms (0.5%)

Algorithm

1×

intervals

Results

7.0ms

256×

body

128

valid

Compiler

Compiled 15 to 14 computations (6.7% saved)

simplify58.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

675×	`div-sub_binary64_424`
511×	`sub-neg_binary64_412`
417×	`times-frac_binary64_425`
411×	`associate-/l*_binary64_364`
366×	`associate-/r*_binary64_363`
345×	`associate-l_binary64_360`
253×	`exp-prod_binary64_471`
221×	`exp-sum_binary64_465`
200×	`distribute-rgt-in_binary64_369`
185×	`exp-diff_binary64_467`
184×	`associate-/l/_binary64_366`
173×	`associate-/r/_binary64_365`
167×	`sqr-pow_binary64_391`
153×	`associate-*l/_binary64_362`
144×	`unsub-neg_binary64_413`
142×	`distribute-lft-in_binary64_368`
125×	`associate-*r/_binary64_361`
113×	`*-commutative_binary64_350`
87×	`associate-r_binary64_359`
84×	`neg-mul-1_binary64_415`
80×	`*-rgt-identity_binary64_409`
74×	`*-lft-identity_binary64_408`
67×	`neg-sub0_binary64_414`
64×	`pow-sqr_binary64_392`
47×	`distribute-rgt-neg-out_binary64_379`
46×	`remove-double-div_binary64_395`
42×	`/-rgt-identity_binary64_410`
41×	`cancel-sign-sub-inv_binary64_385`
36×	`distribute-neg-frac_binary64_383`
35×	`cube-prod_binary64_447` `rem-sqrt-square_binary64_432`
29×	`distribute-rgt-neg-in_binary64_377`
28×	`unswap-sqr_binary64_387`
27×	`distribute-frac-neg_binary64_382`
24×	`distribute-neg-in_binary64_380`
21×	`distribute-lft-neg-out_binary64_378` `distribute-lft-neg-in_binary64_376` `associate--r+_binary64_355`
20×	`cube-unmult_binary64_456`
19×	`pow-plus_binary64_482`
17×	`exp-lft-sqr_binary64_474`
14×	`unpow3_binary64_485` `exp-sqrt_binary64_472` `mul0-rgt_binary64_402` `mul0-lft_binary64_401`
12×	`div0_binary64_400` `associate-+r-_binary64_353`
11×	`cube-div_binary64_448` `remove-double-neg_binary64_407`
10×	`associate-+r+_binary64_351`
9×	`unpow1/2_binary64_483`
8×	`+-commutative_binary64_349`
7×	`cube-mult_binary64_449` `sub0-neg_binary64_406` `associate--l+_binary64_356`
6×	`prod-exp_binary64_468` `exp-neg_binary64_466` `associate-+l-_binary64_354`
5×	`associate-+l+_binary64_352`
4×	`associate--r-_binary64_358` `associate--l-_binary64_357`
2×	`rec-exp_binary64_469` `difference-of-sqr--1_binary64_390` `distribute-lft1-in_binary64_374`
1×	`unpow2_binary64_484` `1-exp_binary64_463` `exp-1-e_binary64_462` `+-rgt-identity_binary64_404` `+-lft-identity_binary64_403` `swap-sqr_binary64_386` `distribute-rgt1-in_binary64_375`
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` `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` `div-exp_binary64_470` `e-exp-1_binary64_464` `exp-0_binary64_461` `rem-log-exp_binary64_460` `rem-exp-log_binary64_459` `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-square-sqrt_binary64_431` `mul-1-neg_binary64_411` `--rgt-identity_binary64_405` `*-inverses_binary64_399` `+-inverses_binary64_398` `lft-mult-inverse_binary64_397` `rgt-mult-inverse_binary64_396` `difference-of-sqr-1_binary64_389` `difference-of-squares_binary64_388` `cancel-sign-sub_binary64_384` `distribute-neg-out_binary64_381` `distribute-rgt-out--_binary64_373` `distribute-rgt-out_binary64_372` `distribute-lft-out--_binary64_371` `distribute-lft-out_binary64_370` `count-2_binary64_367`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	19	9
2	45	9
3	86	9
4	180	9
5	392	9
6	1228	9
7	3373	9
8	4328	9
9	5037	9

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Error

0.0b

Counts

2 → 1

Compiler

Compiled 12 to 10 computations (16.7% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b	(exp.f64 (-.f64 (*.f64 x x) 1))

rewrite25.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

6×	`exp-prod_binary64_471`
4×	`add-sqr-sqrt_binary64_441` `*-un-lft-identity_binary64_419` `exp-sum_binary64_465` `add-log-exp_binary64_458`
3×	`add-cube-cbrt_binary64_454` `cancel-sign-sub-inv_binary64_385`
2×	`difference-of-squares_binary64_388` `rem-exp-log_binary64_459`
1×	`pow1_binary64_480` `difference-of-sqr-1_binary64_389` `exp-diff_binary64_467` `sub-neg_binary64_412` `diff-log_binary64_511` `add-exp-log_binary64_457` `add-cbrt-cube_binary64_455`

Counts

1 → 20

Calls

1 calls:

6.0ms

(exp.f64 (-.f64 (*.f64 x x) 1))

Compiler

Compiled 210 to 132 computations (37.1% saved)

series30.0ms (1.2%)

Error

0.0b

Counts

1 → 4

Calls

1 calls:

24.0ms

(exp.f64 (-.f64 (*.f64 x x) 1))

Compiler

Compiled 70 to 69 computations (1.4% saved)

simplify61.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

430×	`associate-/l*_binary64_364`
275×	`distribute-rgt-in_binary64_369`
268×	`times-frac_binary64_425`
232×	`distribute-lft-in_binary64_368`
214×	`exp-sum_binary64_465`
169×	`cancel-sign-sub-inv_binary64_385`
145×	`associate-r_binary64_359`
143×	`associate-l_binary64_360`
138×	`exp-prod_binary64_471`
132×	`distribute-neg-in_binary64_380`
128×	`associate-/l/_binary64_366`
126×	`log-prod_binary64_505`
103×	`sqr-pow_binary64_391`
100×	`distribute-rgt-out_binary64_372`
97×	`associate-+l+_binary64_352`
95×	`associate-/r/_binary64_365`
82×	`associate-+r+_binary64_351`
79×	`log-pow_binary64_508`
76×	`sub-neg_binary64_412`
68×	`unswap-sqr_binary64_387`
59×	`distribute-lft-out_binary64_370`
58×	`distribute-rgt-neg-in_binary64_377`
54×	`cube-prod_binary64_447`
50×	`*-commutative_binary64_350`
48×	`pow-sqr_binary64_392`
42×	`distribute-lft-neg-in_binary64_376`
38×	`exp-diff_binary64_467`
35×	`associate-*r/_binary64_361`
32×	`associate-*l/_binary64_362` `associate--r+_binary64_355`
28×	`prod-exp_binary64_468`
26×	`log-div_binary64_506`
24×	`neg-mul-1_binary64_415`
21×	`neg-sub0_binary64_414`
18×	`swap-sqr_binary64_386` `associate-+l-_binary64_354`
17×	`unsub-neg_binary64_413` `distribute-lft-neg-out_binary64_378`
16×	`*-rgt-identity_binary64_409` `count-2_binary64_367`
15×	`*-lft-identity_binary64_408` `associate--l+_binary64_356` `associate-+r-_binary64_353`
14×	`+-commutative_binary64_349`
13×	`exp-to-pow_binary64_481`
12×	`div-exp_binary64_470` `div-sub_binary64_424` `associate-/r*_binary64_363`
11×	`unpow3_binary64_485` `cube-unmult_binary64_456` `distribute-rgt1-in_binary64_375`
10×	`associate--r-_binary64_358`
9×	`cube-div_binary64_448` `distribute-lft1-in_binary64_374` `distribute-rgt-out--_binary64_373`
8×	`distribute-rgt-neg-out_binary64_379`
7×	`cube-mult_binary64_449`
6×	`rem-log-exp_binary64_460` `rem-sqrt-square_binary64_432`
4×	`distribute-frac-neg_binary64_382` `associate--l-_binary64_357`
3×	`log-rec_binary64_507` `pow-plus_binary64_482` `difference-of-sqr-1_binary64_389`
2×	`exp-lft-sqr_binary64_474` `remove-double-neg_binary64_407`
1×	`log-E_binary64_509` `unpow2_binary64_484` `unpow1/2_binary64_483` `unpow1_binary64_477` `exp-neg_binary64_466` `1-exp_binary64_463` `exp-1-e_binary64_462` `rem-exp-log_binary64_459` `rem-3cbrt-lft_binary64_444` `/-rgt-identity_binary64_410` `sub0-neg_binary64_406` `--rgt-identity_binary64_405` `mul0-rgt_binary64_402` `mul0-lft_binary64_401` `difference-of-sqr--1_binary64_390` `distribute-lft-out--_binary64_371`
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` `pow-base-0_binary64_503` `unpow1/3_binary64_486` `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` `rec-exp_binary64_469` `e-exp-1_binary64_464` `exp-0_binary64_461` `cube-neg_binary64_446` `rem-3cbrt-rft_binary64_445` `rem-cbrt-cube_binary64_443` `rem-cube-cbrt_binary64_442` `sqr-abs_binary64_434` `sqr-neg_binary64_433` `rem-square-sqrt_binary64_431` `mul-1-neg_binary64_411` `+-rgt-identity_binary64_404` `+-lft-identity_binary64_403` `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-squares_binary64_388` `cancel-sign-sub_binary64_384` `distribute-neg-frac_binary64_383` `distribute-neg-out_binary64_381`

Counts

24 → 17

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	38	236
1	67	217
2	138	217
3	400	216
4	1687	216
5	4860	216
6	4924	216

prune13.0ms (0.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	16	1	17
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	16	2	18

Error

0.0b

Counts

18 → 2

Compiler

Compiled 141 to 86 computations (39% saved)

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b	(exp.f64 (+.f64 x 1))
0.0b	(pow.f64 (exp.f64 (+.f64 x 1)) (-.f64 x (sqrt.f64 1)))

rewrite78.0ms (3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

15×	`*-un-lft-identity_binary64_419`
13×	`add-sqr-sqrt_binary64_441`
8×	`add-cube-cbrt_binary64_454` `exp-prod_binary64_471`
7×	`unpow-prod-up_binary64_497` `pow-unpow_binary64_496`
6×	`cancel-sign-sub-inv_binary64_385`
5×	`sqrt-prod_binary64_435` `pow-pow_binary64_491` `add-log-exp_binary64_458`
4×	`unpow-prod-down_binary64_498`
3×	`difference-of-squares_binary64_388` `pow1_binary64_480`
2×	`exp-sum_binary64_465` `distribute-lft-out_binary64_370` `add-exp-log_binary64_457` `add-cbrt-cube_binary64_455` `rem-exp-log_binary64_459`
1×	`sub-neg_binary64_412` `distribute-lft-out--_binary64_371` `pow-sub_binary64_495` `pow-to-exp_binary64_488` `pow-exp_binary64_487` `sqr-pow_binary64_391` `sum-log_binary64_510`

Counts

2 → 48

Calls

2 calls:

10.0ms	(pow.f64 (exp.f64 (+.f64 x 1)) (-.f64 x (sqrt.f64 1)))
4.0ms	(exp.f64 (+.f64 x 1))

Compiler

Compiled 676 to 549 computations (18.8% saved)

series70.0ms (2.7%)

Error

0.0b

Counts

2 → 10

Calls

2 calls:

43.0ms	(pow.f64 (exp.f64 (+.f64 x 1)) (-.f64 x (sqrt.f64 1)))
19.0ms	(exp.f64 (+.f64 x 1))

Compiler

Compiled 265 to 218 computations (17.7% saved)

simplify72.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

386×	`times-frac_binary64_425`
381×	`exp-sum_binary64_465`
331×	`*-commutative_binary64_350`
244×	`exp-prod_binary64_471`
192×	`distribute-rgt-in_binary64_369`
188×	`unswap-sqr_binary64_387`
168×	`associate-+l+_binary64_352`
167×	`distribute-lft-in_binary64_368`
148×	`associate-l_binary64_360`
146×	`sqr-pow_binary64_391`
138×	`associate-+r+_binary64_351`
135×	`associate-r_binary64_359`
116×	`distribute-rgt-out_binary64_372`
102×	`associate-/l*_binary64_364`
97×	`log-prod_binary64_505`
93×	`cube-prod_binary64_447`
76×	`pow-sqr_binary64_392`
62×	`exp-diff_binary64_467`
61×	`associate-/l/_binary64_366`
60×	`distribute-lft-out_binary64_370`
56×	`+-commutative_binary64_349`
50×	`log-pow_binary64_508` `distribute-rgt-neg-out_binary64_379`
47×	`prod-exp_binary64_468`
45×	`associate-*r/_binary64_361`
40×	`cube-unmult_binary64_456`
39×	`pow-plus_binary64_482` `associate-/r*_binary64_363`
38×	`distribute-lft-neg-out_binary64_378`
34×	`exp-to-pow_binary64_481` `unsub-neg_binary64_413`
31×	`distribute-neg-in_binary64_380`
24×	`associate-*l/_binary64_362` `associate--r+_binary64_355`
23×	`cancel-sign-sub-inv_binary64_385`
22×	`div-sub_binary64_424` `associate-/r/_binary64_365`
21×	`sub-neg_binary64_412`
20×	`exp-neg_binary64_466`
19×	`log-div_binary64_506`
18×	`neg-sub0_binary64_414`
17×	`unpow3_binary64_485` `*-rgt-identity_binary64_409`
16×	`distribute-rgt-neg-in_binary64_377` `count-2_binary64_367`
15×	`*-lft-identity_binary64_408` `distribute-frac-neg_binary64_382` `distribute-rgt1-in_binary64_375`
14×	`rem-sqrt-square_binary64_432` `neg-mul-1_binary64_415`
13×	`cube-mult_binary64_449` `distribute-lft-neg-in_binary64_376`
11×	`cube-div_binary64_448` `associate-+l-_binary64_354`
10×	`swap-sqr_binary64_386`
8×	`associate-+r-_binary64_353`
7×	`distribute-lft1-in_binary64_374`
5×	`pow-base-1_binary64_479` `mul-1-neg_binary64_411`
4×	`log-rec_binary64_507` `rec-exp_binary64_469` `rem-exp-log_binary64_459` `distribute-neg-out_binary64_381` `associate--l+_binary64_356`
3×	`exp-sqrt_binary64_472` `rem-log-exp_binary64_460` `sqr-neg_binary64_433`
2×	`unpow1/2_binary64_483` `unpow1_binary64_477` `div-exp_binary64_470` `cube-neg_binary64_446` `associate--r-_binary64_358`
1×	`log-E_binary64_509` `unpow2_binary64_484` `unpow-1_binary64_476` `exp-lft-sqr_binary64_474` `e-exp-1_binary64_464` `1-exp_binary64_463` `rem-3cbrt-lft_binary64_444` `/-rgt-identity_binary64_410` `remove-double-neg_binary64_407` `sub0-neg_binary64_406` `mul0-rgt_binary64_402` `mul0-lft_binary64_401` `div0_binary64_400` `difference-of-sqr--1_binary64_390` `difference-of-sqr-1_binary64_389` `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` `pow-base-0_binary64_503` `unpow1/3_binary64_486` `unpow0_binary64_478` `exp-lft-cube_binary64_475` `exp-cbrt_binary64_473` `exp-1-e_binary64_462` `exp-0_binary64_461` `rem-3cbrt-rft_binary64_445` `rem-cbrt-cube_binary64_443` `rem-cube-cbrt_binary64_442` `sqr-abs_binary64_434` `rem-square-sqrt_binary64_431` `--rgt-identity_binary64_405` `+-rgt-identity_binary64_404` `+-lft-identity_binary64_403` `*-inverses_binary64_399` `+-inverses_binary64_398` `lft-mult-inverse_binary64_397` `rgt-mult-inverse_binary64_396` `remove-double-div_binary64_395` `difference-of-squares_binary64_388` `distribute-neg-frac_binary64_383` `distribute-rgt-out--_binary64_373` `distribute-lft-out--_binary64_371` `associate--l-_binary64_357`

Counts

58 → 43

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	90	787
1	204	745
2	553	741
3	1390	724
4	3427	724
5	5126	724

prune41.0ms (1.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	41	2	43
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	42	3	45

Error

0.0b

Counts

45 → 3

Compiler

Compiled 430 to 332 computations (22.8% saved)

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b	(exp.f64 (+.f64 x 1))
0.0b	(pow.f64 (exp.f64 (+.f64 x 1)) (+.f64 -1 x))

rewrite63.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

12×	`*-un-lft-identity_binary64_419`
8×	`exp-prod_binary64_471`
6×	`add-cube-cbrt_binary64_454` `add-sqr-sqrt_binary64_441`
5×	`pow-pow_binary64_491` `add-log-exp_binary64_458`
4×	`unpow-prod-down_binary64_498` `pow-unpow_binary64_496`
3×	`distribute-lft-out_binary64_370` `pow1_binary64_480`
2×	`exp-sum_binary64_465` `add-exp-log_binary64_457` `add-cbrt-cube_binary64_455` `rem-exp-log_binary64_459`
1×	`unpow-prod-up_binary64_497` `pow-to-exp_binary64_488` `pow-exp_binary64_487` `sqr-pow_binary64_391` `sum-log_binary64_510`

Counts

2 → 38

Calls

2 calls:

8.0ms	(pow.f64 (exp.f64 (+.f64 x 1)) (+.f64 -1 x))
4.0ms	(exp.f64 (+.f64 x 1))

Compiler

Compiled 545 to 445 computations (18.3% saved)

series70.0ms (2.7%)

Error

0.0b

Counts

2 → 10

Calls

2 calls:

40.0ms	(pow.f64 (exp.f64 (+.f64 x 1)) (+.f64 -1 x))
19.0ms	(exp.f64 (+.f64 x 1))

Compiler

Compiled 300 to 253 computations (15.7% saved)

simplify73.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

429×	`times-frac_binary64_425`
413×	`exp-sum_binary64_465`
310×	`*-commutative_binary64_350`
258×	`exp-prod_binary64_471`
184×	`unswap-sqr_binary64_387`
183×	`associate-+l+_binary64_352`
178×	`distribute-rgt-in_binary64_369`
157×	`associate-l_binary64_360`
154×	`associate-+r+_binary64_351`
152×	`distribute-lft-in_binary64_368`
147×	`associate-r_binary64_359`
132×	`sqr-pow_binary64_391`
131×	`distribute-rgt-out_binary64_372`
106×	`log-prod_binary64_505`
99×	`cube-prod_binary64_447`
86×	`exp-diff_binary64_467`
75×	`distribute-lft-out_binary64_370`
69×	`associate-/l*_binary64_364`
66×	`pow-sqr_binary64_392`
58×	`+-commutative_binary64_349`
50×	`log-pow_binary64_508`
47×	`prod-exp_binary64_468`
42×	`distribute-rgt-neg-out_binary64_379`
40×	`unsub-neg_binary64_413`
38×	`associate-/l/_binary64_366`
37×	`pow-plus_binary64_482`
36×	`cube-unmult_binary64_456`
35×	`exp-to-pow_binary64_481` `distribute-lft-neg-out_binary64_378`
30×	`associate-*r/_binary64_361`
29×	`distribute-neg-in_binary64_380`
28×	`associate-/r*_binary64_363`
25×	`associate--r+_binary64_355`
24×	`cancel-sign-sub-inv_binary64_385`
20×	`log-div_binary64_506`
19×	`exp-neg_binary64_466` `associate-+l-_binary64_354`
18×	`distribute-rgt1-in_binary64_375` `associate-+r-_binary64_353`
17×	`unpow3_binary64_485` `sub-neg_binary64_412` `distribute-rgt-neg-in_binary64_377` `associate-*l/_binary64_362`
16×	`count-2_binary64_367`
15×	`*-rgt-identity_binary64_409`
13×	`cube-mult_binary64_449` `rem-sqrt-square_binary64_432` `div-sub_binary64_424` `*-lft-identity_binary64_408` `distribute-lft-neg-in_binary64_376`
12×	`cube-div_binary64_448` `neg-sub0_binary64_414`
10×	`swap-sqr_binary64_386`
9×	`associate-/r/_binary64_365`
7×	`distribute-lft1-in_binary64_374`
6×	`mul-1-neg_binary64_411` `distribute-frac-neg_binary64_382` `distribute-neg-out_binary64_381` `associate--l+_binary64_356`
5×	`pow-base-1_binary64_479`
4×	`log-rec_binary64_507` `rec-exp_binary64_469` `rem-exp-log_binary64_459` `neg-mul-1_binary64_415`
3×	`unpow1/2_binary64_483` `exp-sqrt_binary64_472` `rem-log-exp_binary64_460` `sqr-neg_binary64_433`
2×	`unpow1_binary64_477` `div-exp_binary64_470` `cube-neg_binary64_446` `associate--r-_binary64_358`
1×	`log-E_binary64_509` `unpow2_binary64_484` `unpow-1_binary64_476` `exp-lft-sqr_binary64_474` `e-exp-1_binary64_464` `1-exp_binary64_463` `/-rgt-identity_binary64_410` `remove-double-neg_binary64_407` `sub0-neg_binary64_406` `difference-of-sqr--1_binary64_390` `difference-of-sqr-1_binary64_389` `associate--l-_binary64_357`
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` `pow-base-0_binary64_503` `unpow1/3_binary64_486` `unpow0_binary64_478` `exp-lft-cube_binary64_475` `exp-cbrt_binary64_473` `exp-1-e_binary64_462` `exp-0_binary64_461` `rem-3cbrt-rft_binary64_445` `rem-3cbrt-lft_binary64_444` `rem-cbrt-cube_binary64_443` `rem-cube-cbrt_binary64_442` `sqr-abs_binary64_434` `rem-square-sqrt_binary64_431` `--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-squares_binary64_388` `cancel-sign-sub_binary64_384` `distribute-neg-frac_binary64_383` `distribute-rgt-out--_binary64_373` `distribute-lft-out--_binary64_371`

Counts

48 → 23

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	76	609
1	189	572
2	485	566
3	1293	561
4	3235	561
5	5129	561

prune23.0ms (0.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	23	0	23
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	23	3	26

Error

0.0b

Counts

26 → 3

Compiler

Compiled 247 to 194 computations (21.5% saved)

localize13.0ms (0.5%)

Local error

Found 4 expressions with local error:

1.0b	(*.f64 (cbrt.f64 (exp.f64 (+.f64 x 1))) (cbrt.f64 (exp.f64 (+.f64 x 1))))
1.5b	(cbrt.f64 (exp.f64 (+.f64 x 1)))
1.5b	(cbrt.f64 (exp.f64 (+.f64 x 1)))
1.5b	(cbrt.f64 (exp.f64 (+.f64 x 1)))

rewrite191.0ms (7.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

32×	`cbrt-prod_binary64_450`
23×	`add-sqr-sqrt_binary64_441`
15×	`add-cube-cbrt_binary64_454` `*-un-lft-identity_binary64_419`
11×	`pow1_binary64_480`
9×	`pow1/3_binary64_501`
7×	`exp-sum_binary64_465` `swap-sqr_binary64_386` `associate-l_binary64_360` `associate-r_binary64_359`
6×	`add-exp-log_binary64_457`
4×	`add-log-exp_binary64_458` `add-cbrt-cube_binary64_455` `unswap-sqr_binary64_387`
2×	`pow-prod-down_binary64_490` `pow-prod-up_binary64_489` `pow-sqr_binary64_392`
1×	`pow2_binary64_500` `pow-plus_binary64_482` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `*-commutative_binary64_350`

Counts

4 → 79

Calls

4 calls:

13.0ms	(*.f64 (cbrt.f64 (exp.f64 (+.f64 x 1))) (cbrt.f64 (exp.f64 (+.f64 x 1))))
5.0ms	(cbrt.f64 (exp.f64 (+.f64 x 1)))
5.0ms	(cbrt.f64 (exp.f64 (+.f64 x 1)))
5.0ms	(cbrt.f64 (exp.f64 (+.f64 x 1)))

Compiler

Compiled 2366 to 1928 computations (18.5% saved)

series599.0ms (22.9%)

Error

0.0b

Counts

4 → 23

Calls

4 calls:

182.0ms	(*.f64 (cbrt.f64 (exp.f64 (+.f64 x 1))) (cbrt.f64 (exp.f64 (+.f64 x 1))))
140.0ms	(cbrt.f64 (exp.f64 (+.f64 x 1)))
129.0ms	(cbrt.f64 (exp.f64 (+.f64 x 1)))
109.0ms	(cbrt.f64 (exp.f64 (+.f64 x 1)))

Compiler

Compiled 1547 to 1312 computations (15.2% saved)

simplify133.0ms (5.1%)

Algorithm

1×	egg-herbie

Rules

986×	`log-prod_binary64_505`
439×	`associate-l_binary64_360`
425×	`exp-sum_binary64_465`
354×	`distribute-lft-out_binary64_370`
319×	`associate-r_binary64_359`
214×	`sqr-pow_binary64_391`
192×	`exp-prod_binary64_471`
173×	`distribute-rgt-out_binary64_372`
139×	`associate-+l+_binary64_352`
131×	`cube-prod_binary64_447`
128×	`unswap-sqr_binary64_387` `*-commutative_binary64_350`
123×	`log-pow_binary64_508`
116×	`associate-+r+_binary64_351`
96×	`swap-sqr_binary64_386`
94×	`distribute-rgt-in_binary64_369`
84×	`distribute-lft-in_binary64_368`
50×	`pow-sqr_binary64_392`
42×	`*-rgt-identity_binary64_409`
40×	`*-lft-identity_binary64_408`
37×	`+-commutative_binary64_349`
34×	`unpow3_binary64_485`
26×	`pow-plus_binary64_482`
25×	`distribute-rgt1-in_binary64_375`
22×	`rem-sqrt-square_binary64_432`
21×	`associate-/l*_binary64_364`
20×	`cube-mult_binary64_449`
16×	`cube-unmult_binary64_456`
15×	`distribute-lft1-in_binary64_374`
14×	`associate-/r*_binary64_363`
10×	`count-2_binary64_367`
9×	`prod-exp_binary64_468`
8×	`rem-exp-log_binary64_459`
7×	`times-frac_binary64_425`
6×	`unpow2_binary64_484` `associate-/l/_binary64_366` `associate-*r/_binary64_361`
5×	`unpow1/2_binary64_483` `associate-/r/_binary64_365`
4×	`exp-to-pow_binary64_481`
3×	`unpow1/3_binary64_486` `unpow1_binary64_477` `rem-log-exp_binary64_460`
2×	`rem-3cbrt-lft_binary64_444` `rem-cbrt-cube_binary64_443`
1×	`log-E_binary64_509` `exp-lft-sqr_binary64_474` `e-exp-1_binary64_464` `1-exp_binary64_463` `rem-3cbrt-rft_binary64_445` `rem-square-sqrt_binary64_431`
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-rec_binary64_507` `log-div_binary64_506` `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` `exp-diff_binary64_467` `exp-neg_binary64_466` `exp-1-e_binary64_462` `exp-0_binary64_461` `cube-div_binary64_448` `cube-neg_binary64_446` `rem-cube-cbrt_binary64_442` `sqr-abs_binary64_434` `sqr-neg_binary64_433` `div-sub_binary64_424` `neg-mul-1_binary64_415` `neg-sub0_binary64_414` `unsub-neg_binary64_413` `sub-neg_binary64_412` `mul-1-neg_binary64_411` `/-rgt-identity_binary64_410` `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` `difference-of-sqr--1_binary64_390` `difference-of-sqr-1_binary64_389` `difference-of-squares_binary64_388` `cancel-sign-sub-inv_binary64_385` `cancel-sign-sub_binary64_384` `distribute-neg-frac_binary64_383` `distribute-frac-neg_binary64_382` `distribute-neg-out_binary64_381` `distribute-neg-in_binary64_380` `distribute-rgt-neg-out_binary64_379` `distribute-lft-neg-out_binary64_378` `distribute-rgt-neg-in_binary64_377` `distribute-lft-neg-in_binary64_376` `distribute-rgt-out--_binary64_373` `distribute-lft-out--_binary64_371` `associate-l/_binary64_362` `associate--r-_binary64_358` `associate--l-_binary64_357` `associate--l+_binary64_356` `associate--r+_binary64_355` `associate-+l-_binary64_354` `associate-+r-_binary64_353`

Counts

102 → 68

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	87	1712
1	174	1575
2	505	1481
3	1620	1427
4	2963	1273
5	4496	1273
6	5161	1273

prune79.0ms (3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	68	0	68
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	68	3	71

Error

0.0b

Counts

71 → 3

Compiler

Compiled 1211 to 966 computations (20.2% saved)

regimes178.0ms (6.8%)

Accuracy

Total 0.0b remaining (66.6%)

Threshold costs 0.0b (66.6%)

Compiler

Compiled 1549 to 1361 computations (12.1% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

9×	`cancel-sign-sub-inv_binary64_385` `distribute-rgt-neg-in_binary64_377`
7×	`distribute-neg-in_binary64_380`
5×	`neg-mul-1_binary64_415` `neg-sub0_binary64_414` `sub-neg_binary64_412` `distribute-lft-neg-in_binary64_376`
4×	`distribute-lft-neg-out_binary64_378` `+-commutative_binary64_349`
3×	`*-commutative_binary64_350`
2×	`remove-double-neg_binary64_407` `distribute-rgt-neg-out_binary64_379`
1×	`1-exp_binary64_463` `unsub-neg_binary64_413`
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` `-rgt-identity_binary64_409` `-lft-identity_binary64_408` `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: 2 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	17	11
2	27	9
3	42	9
4	53	9
5	58	9
6	54	9

end1.0ms (0%)

Compiler: Compiled 6 to 5 computations (16.7% saved)

sample510.0ms (19.5%)

Algorithm

1×

intervals

Results

234.0ms

8000×

body

128

valid

Compiler

Compiled 58 to 54 computations (6.9% saved)

Details

analyze196.0ms (7.5%)

sample14.0ms (0.5%)

simplify58.0ms (2.2%)

prune3.0ms (0.1%)

localize4.0ms (0.2%)

rewrite25.0ms (1%)

series30.0ms (1.2%)

simplify61.0ms (2.3%)

prune13.0ms (0.5%)

localize7.0ms (0.3%)

rewrite78.0ms (3%)

series70.0ms (2.7%)

simplify72.0ms (2.8%)

prune41.0ms (1.6%)

localize7.0ms (0.3%)

rewrite63.0ms (2.4%)

series70.0ms (2.7%)

simplify73.0ms (2.8%)

prune23.0ms (0.9%)

localize13.0ms (0.5%)

rewrite191.0ms (7.3%)

series599.0ms (22.9%)

simplify133.0ms (5.1%)

prune79.0ms (3%)

regimes178.0ms (6.8%)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

end1.0ms (0%)

sample510.0ms (19.5%)

Profiling