Metrics for math.log/1 on complex, real part

analyze152.0ms (4.3%)

Algorithm

1×	search
2×	egg-herbie

Rules

1× +-commutative_binary64_349 swap-re-im

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 1-exp_binary64_463 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 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 *-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 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-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 distribute-rgt-in_binary64_369 distribute-lft-in_binary64_368 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 associate-*r*_binary64_359 associate--r-_binary64_358 associate--l-_binary64_357 associate--l+_binary64_356 associate--r+_binary64_355 associate-+l-_binary64_354 associate-+r-_binary64_353 associate-+l+_binary64_352 associate-+r+_binary64_351 *-commutative_binary64_350

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	28
1	9	28
2	9	28
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
74.9%	25%	0.1%	3
87.4%	12.5%	0.1%	4
93.7%	6.2%	0.1%	5
96.8%	3.1%	0.1%	6
98.3%	1.6%	0.1%	7
99.1%	0.8%	0.1%	8
99.5%	0.4%	0.1%	9
99.7%	0.2%	0.1%	10
99.8%	0.1%	0.1%	11
99.9%	0%	0.1%	12
99.9%	0%	0.1%	13
99.9%	0%	0.1%	14

Symmetry

(sort re im)

Compiler

Compiled 10 to 8 computations (20% saved)

sample27.0ms (0.8%)

Algorithm

1×

intervals

Results

12.0ms

256×

body

128

valid

Compiler

Compiled 19 to 17 computations (10.5% saved)

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

1× +-commutative_binary64_349

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 1-exp_binary64_463 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 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 *-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 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-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 distribute-rgt-in_binary64_369 distribute-lft-in_binary64_368 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 associate-*r*_binary64_359 associate--r-_binary64_358 associate--l-_binary64_357 associate--l+_binary64_356 associate--r+_binary64_355 associate-+l-_binary64_354 associate-+r-_binary64_353 associate-+l+_binary64_352 associate-+r+_binary64_351 *-commutative_binary64_350

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	9	14
2	9	14

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

30.5b

Counts

1 → 1

Compiler

Compiled 9 to 7 computations (22.2% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (.f64 re re) (.f64 im im))
28.6b	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

rewrite37.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

30.5b

Rules

4×	`add-log-exp_binary64_458` `add-sqr-sqrt_binary64_441`
3×	`pow1_binary64_480` `add-cube-cbrt_binary64_454` `sqrt-prod_binary64_435` `*-un-lft-identity_binary64_419`
2×	`add-exp-log_binary64_457` `add-cbrt-cube_binary64_455` `flip3-+_binary64_422` `sqrt-div_binary64_436` `flip-+_binary64_393`
1×	`pow1/2_binary64_499` `sqrt-pow1_binary64_437` `rem-sqrt-square_binary64_432` `sum-log_binary64_510` `+-commutative_binary64_349`

Counts

2 → 26

Calls

2 calls:

4.0ms	(+.f64 (.f64 re re) (.f64 im im))
4.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))

Compiler

Compiled 479 to 115 computations (76% saved)

series315.0ms (9%)

Error

0.1b

Counts

2 → 30

Calls

2 calls:

157.0ms	(sqrt.f64 (+.f64 (.f64 re re) (.f64 im im)))
133.0ms	(+.f64 (.f64 re re) (.f64 im im))

Compiler

Compiled 798 to 684 computations (14.3% saved)

simplify75.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

550×	`cancel-sign-sub-inv_binary64_385`
467×	`unswap-sqr_binary64_387`
387×	`distribute-rgt-neg-in_binary64_377`
278×	`distribute-neg-frac_binary64_383`
262×	`associate-r_binary64_359`
248×	`associate-l_binary64_360`
210×	`times-frac_binary64_425`
188×	`div-sub_binary64_424`
142×	`associate-/l*_binary64_364`
99×	`sub-neg_binary64_412`
86×	`associate-/r*_binary64_363`
78×	`*-commutative_binary64_350`
76×	`neg-sub0_binary64_414`
73×	`neg-mul-1_binary64_415`
72×	`distribute-lft-neg-in_binary64_376`
68×	`distribute-rgt-in_binary64_369`
62×	`associate-*l/_binary64_362`
53×	`distribute-lft-in_binary64_368`
52×	`associate-*r/_binary64_361`
49×	`sqr-pow_binary64_391`
44×	`difference-of-squares_binary64_388`
36×	`+-commutative_binary64_349`
29×	`exp-prod_binary64_471`
23×	`pow-plus_binary64_482` `distribute-lft-neg-out_binary64_378`
21×	`associate-+l-_binary64_354` `associate-+r-_binary64_353` `associate-+l+_binary64_352`
20×	`cube-unmult_binary64_456`
19×	`+-rgt-identity_binary64_404`
16×	`cube-prod_binary64_447`
12×	`unpow3_binary64_485` `unsub-neg_binary64_413` `distribute-neg-in_binary64_380` `associate-/r/_binary64_365`
11×	`sub0-neg_binary64_406` `distribute-rgt-neg-out_binary64_379` `associate-+r+_binary64_351`
10×	`pow-sqr_binary64_392` `distribute-rgt-out_binary64_372`
7×	`distribute-rgt-out--_binary64_373`
6×	`associate--r+_binary64_355`
5×	`exp-sum_binary64_465` `associate--l+_binary64_356`
4×	`cube-mult_binary64_449` `cube-div_binary64_448` `rem-sqrt-square_binary64_432`
3×	`unpow2_binary64_484` `distribute-lft-out_binary64_370`
2×	`unpow1/2_binary64_483` `unpow1_binary64_477` `sqr-neg_binary64_433` `mul-1-neg_binary64_411` `cancel-sign-sub_binary64_384` `distribute-frac-neg_binary64_382`
1×	`log-prod_binary64_505` `prod-exp_binary64_468` `1-exp_binary64_463` `rem-square-sqrt_binary64_431` `distribute-lft-out--_binary64_371` `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` `log-pow_binary64_508` `log-rec_binary64_507` `log-div_binary64_506` `pow-base-0_binary64_503` `unpow1/3_binary64_486` `exp-to-pow_binary64_481` `pow-base-1_binary64_479` `unpow0_binary64_478` `unpow-1_binary64_476` `exp-lft-cube_binary64_475` `exp-lft-sqr_binary64_474` `exp-cbrt_binary64_473` `exp-sqrt_binary64_472` `div-exp_binary64_470` `rec-exp_binary64_469` `exp-diff_binary64_467` `exp-neg_binary64_466` `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-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` `/-rgt-identity_binary64_410` `-rgt-identity_binary64_409` `-lft-identity_binary64_408` `remove-double-neg_binary64_407` `--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` `difference-of-sqr--1_binary64_390` `difference-of-sqr-1_binary64_389` `swap-sqr_binary64_386` `distribute-neg-out_binary64_381` `distribute-rgt1-in_binary64_375` `distribute-lft1-in_binary64_374` `associate-/l/_binary64_366` `associate--r-_binary64_358` `associate--l-_binary64_357`

Counts

56 → 36

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	73	794
1	202	748
2	600	748
3	2556	748
4	4836	748
5	5051	748

prune30.0ms (0.9%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	34	2	36
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	35	2	37

Error

1.9b

Counts

37 → 2

Compiler

Compiled 445 to 197 computations (55.7% saved)

localize10.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 im (.f64 1/2 (/.f64 (.f64 re re) im)))
6.9b	(/.f64 (*.f64 re re) im)
8.5b	(log.f64 (+.f64 im (.f64 1/2 (/.f64 (.f64 re re) im))))

rewrite63.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

9×	`add-exp-log_binary64_457`
8×	`add-cbrt-cube_binary64_455`
6×	`add-cube-cbrt_binary64_454` `add-sqr-sqrt_binary64_441` `*-un-lft-identity_binary64_419`
5×	`add-log-exp_binary64_458`
4×	`pow1_binary64_480`
3×	`log-prod_binary64_505` `times-frac_binary64_425` `associate-/r*_binary64_363`
2×	`flip3-+_binary64_422` `log-div_binary64_506` `flip-+_binary64_393` `div-exp_binary64_470` `cbrt-undiv_binary64_453`
1×	`log-pow_binary64_508` `rem-log-exp_binary64_460` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `frac-2neg_binary64_430` `clear-num_binary64_418` `div-inv_binary64_416` `associate-/l*_binary64_364` `sum-log_binary64_510` `+-commutative_binary64_349`

Counts

3 → 46

Calls

3 calls:

5.0ms	(/.f64 (*.f64 re re) im)
4.0ms	(+.f64 im (.f64 1/2 (/.f64 (.f64 re re) im)))
3.0ms	(log.f64 (+.f64 im (.f64 1/2 (/.f64 (.f64 re re) im))))

Compiler

Compiled 857 to 398 computations (53.6% saved)

series463.0ms (13.2%)

Error

0.1b

Counts

3 → 29

Calls

3 calls:

174.0ms	(+.f64 im (.f64 1/2 (/.f64 (.f64 re re) im)))
166.0ms	(log.f64 (+.f64 im (.f64 1/2 (/.f64 (.f64 re re) im))))
101.0ms	(/.f64 (*.f64 re re) im)

Compiler

Compiled 840 to 719 computations (14.4% saved)

simplify102.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

336×	`associate-*l/_binary64_362`
324×	`associate-*r/_binary64_361`
305×	`cancel-sign-sub-inv_binary64_385`
270×	`times-frac_binary64_425`
259×	`associate-l_binary64_360`
239×	`associate-/l*_binary64_364`
214×	`associate-r_binary64_359`
207×	`distribute-neg-frac_binary64_383`
183×	`unswap-sqr_binary64_387`
181×	`sub-neg_binary64_412`
147×	`div-sub_binary64_424`
141×	`associate-/l/_binary64_366` `associate-/r*_binary64_363`
104×	`cube-prod_binary64_447` `*-commutative_binary64_350`
89×	`cube-div_binary64_448`
84×	`log-prod_binary64_505`
77×	`associate-/r/_binary64_365`
76×	`log-div_binary64_506`
72×	`unsub-neg_binary64_413`
61×	`distribute-neg-in_binary64_380`
60×	`associate-+r-_binary64_353`
59×	`distribute-rgt-in_binary64_369`
58×	`neg-sub0_binary64_414`
54×	`neg-mul-1_binary64_415`
52×	`+-commutative_binary64_349`
50×	`unpow3_binary64_485` `distribute-lft-in_binary64_368`
48×	`sqr-pow_binary64_391`
43×	`distribute-lft-neg-out_binary64_378`
42×	`distribute-rgt-neg-in_binary64_377`
41×	`associate-+r+_binary64_351`
39×	`associate-+l-_binary64_354`
38×	`exp-prod_binary64_471` `cube-mult_binary64_449` `swap-sqr_binary64_386` `associate-+l+_binary64_352`
35×	`distribute-lft-neg-in_binary64_376`
26×	`associate--r-_binary64_358`
17×	`distribute-rgt-neg-out_binary64_379`
15×	`associate--l-_binary64_357` `associate--l+_binary64_356`
14×	`cube-unmult_binary64_456` `sub0-neg_binary64_406` `--rgt-identity_binary64_405` `distribute-rgt-out_binary64_372`
11×	`pow-plus_binary64_482`
9×	`*-rgt-identity_binary64_409`
8×	`log-pow_binary64_508` `+-rgt-identity_binary64_404` `distribute-rgt-out--_binary64_373`
6×	`log-rec_binary64_507` `*-lft-identity_binary64_408` `remove-double-neg_binary64_407` `pow-sqr_binary64_392` `distribute-neg-out_binary64_381` `associate--r+_binary64_355`
5×	`rem-sqrt-square_binary64_432` `distribute-frac-neg_binary64_382`
4×	`prod-exp_binary64_468`
3×	`unpow1/2_binary64_483` `/-rgt-identity_binary64_410` `cancel-sign-sub_binary64_384` `distribute-lft-out--_binary64_371` `count-2_binary64_367`
2×	`unpow2_binary64_484` `unpow1_binary64_477` `exp-sum_binary64_465` `mul-1-neg_binary64_411` `+-inverses_binary64_398` `difference-of-squares_binary64_388` `distribute-lft-out_binary64_370`
1×	`1-exp_binary64_463` `exp-1-e_binary64_462` `rem-exp-log_binary64_459` `mul0-rgt_binary64_402` `mul0-lft_binary64_401` `div0_binary64_400` `*-inverses_binary64_399`
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` `unpow1/3_binary64_486` `exp-to-pow_binary64_481` `pow-base-1_binary64_479` `unpow0_binary64_478` `unpow-1_binary64_476` `exp-lft-cube_binary64_475` `exp-lft-sqr_binary64_474` `exp-cbrt_binary64_473` `exp-sqrt_binary64_472` `div-exp_binary64_470` `rec-exp_binary64_469` `exp-diff_binary64_467` `exp-neg_binary64_466` `e-exp-1_binary64_464` `exp-0_binary64_461` `rem-log-exp_binary64_460` `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` `+-lft-identity_binary64_403` `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` `distribute-rgt1-in_binary64_375` `distribute-lft1-in_binary64_374`

Counts

75 → 44

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	118	1225
1	280	1077
2	787	1071
3	3331	1063
4	4661	1063
5	5095	1063

prune37.0ms (1.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	43	1	44
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	44	2	46

Error

0.1b

Counts

46 → 2

Compiler

Compiled 581 to 282 computations (51.5% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 im (.f64 1/2 (.f64 re (/.f64 re im))))
0.1b	(*.f64 re (/.f64 re im))
8.5b	(log.f64 (+.f64 im (.f64 1/2 (.f64 re (/.f64 re im)))))

rewrite77.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

17×	`add-sqr-sqrt_binary64_441`
13×	`associate-r_binary64_359`
12×	`add-cube-cbrt_binary64_454` `*-un-lft-identity_binary64_419`
10×	`times-frac_binary64_425`
9×	`add-exp-log_binary64_457`
8×	`add-cbrt-cube_binary64_455`
6×	`pow1_binary64_480`
5×	`add-log-exp_binary64_458`
3×	`log-prod_binary64_505` `associate-l_binary64_360`
2×	`flip3-+_binary64_422` `log-div_binary64_506` `flip-+_binary64_393` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `unswap-sqr_binary64_387`
1×	`log-pow_binary64_508` `rem-log-exp_binary64_460` `pow-prod-down_binary64_490` `div-exp_binary64_470` `cbrt-undiv_binary64_453` `associate-r/_binary64_361` `div-inv_binary64_416` `-commutative_binary64_350` `sum-log_binary64_510` `+-commutative_binary64_349`

Counts

3 → 57

Calls

3 calls:

8.0ms	(*.f64 re (/.f64 re im))
4.0ms	(+.f64 im (.f64 1/2 (.f64 re (/.f64 re im))))
3.0ms	(log.f64 (+.f64 im (.f64 1/2 (.f64 re (/.f64 re im)))))

Compiler

Compiled 1071 to 486 computations (54.6% saved)

series462.0ms (13.1%)

Error

0.1b

Counts

3 → 29

Calls

3 calls:

194.0ms	(+.f64 im (.f64 1/2 (.f64 re (/.f64 re im))))
154.0ms	(log.f64 (+.f64 im (.f64 1/2 (.f64 re (/.f64 re im)))))
92.0ms	(*.f64 re (/.f64 re im))

Compiler

Compiled 840 to 719 computations (14.4% saved)

simplify132.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

367×	`times-frac_binary64_425`
316×	`associate-*r/_binary64_361`
306×	`associate-*l/_binary64_362`
290×	`associate-/l*_binary64_364`
278×	`cancel-sign-sub-inv_binary64_385`
262×	`distribute-rgt-neg-in_binary64_377`
205×	`*-commutative_binary64_350`
196×	`distribute-neg-frac_binary64_383`
162×	`sub-neg_binary64_412`
153×	`unswap-sqr_binary64_387`
148×	`associate-/r*_binary64_363`
107×	`log-div_binary64_506`
97×	`associate-l_binary64_360`
94×	`associate-/l/_binary64_366`
93×	`associate-r_binary64_359`
89×	`log-prod_binary64_505`
86×	`cube-div_binary64_448`
75×	`unsub-neg_binary64_413`
72×	`distribute-neg-in_binary64_380`
71×	`neg-mul-1_binary64_415`
69×	`neg-sub0_binary64_414` `distribute-rgt-in_binary64_369`
67×	`sqr-pow_binary64_391`
63×	`associate-/r/_binary64_365`
61×	`exp-prod_binary64_471`
60×	`swap-sqr_binary64_386` `distribute-lft-neg-in_binary64_376` `distribute-lft-in_binary64_368`
51×	`cube-prod_binary64_447`
48×	`+-commutative_binary64_349`
46×	`associate-+r-_binary64_353`
41×	`*-rgt-identity_binary64_409`
40×	`*-lft-identity_binary64_408`
39×	`distribute-lft-neg-out_binary64_378`
38×	`associate-+r+_binary64_351`
37×	`associate-+l+_binary64_352`
33×	`distribute-rgt-out_binary64_372`
32×	`unpow3_binary64_485`
28×	`associate-+l-_binary64_354`
25×	`/-rgt-identity_binary64_410`
24×	`associate--r-_binary64_358`
23×	`cube-mult_binary64_449`
15×	`sub0-neg_binary64_406` `distribute-rgt-out--_binary64_373` `associate--l+_binary64_356`
13×	`distribute-rgt-neg-out_binary64_379`
12×	`div-sub_binary64_424` `pow-sqr_binary64_392`
11×	`log-rec_binary64_507` `--rgt-identity_binary64_405` `associate--r+_binary64_355`
10×	`cube-unmult_binary64_456` `associate--l-_binary64_357`
9×	`log-pow_binary64_508`
8×	`remove-double-neg_binary64_407` `+-rgt-identity_binary64_404`
7×	`pow-plus_binary64_482`
6×	`unpow1/2_binary64_483` `prod-exp_binary64_468` `rem-sqrt-square_binary64_432`
5×	`remove-double-div_binary64_395` `distribute-frac-neg_binary64_382` `distribute-neg-out_binary64_381` `distribute-lft-out_binary64_370`
4×	`distribute-lft-out--_binary64_371`
3×	`cancel-sign-sub_binary64_384`
2×	`unpow2_binary64_484` `unpow1_binary64_477` `exp-sum_binary64_465` `mul-1-neg_binary64_411` `+-inverses_binary64_398` `difference-of-squares_binary64_388` `count-2_binary64_367`
1×	`1-exp_binary64_463` `exp-1-e_binary64_462` `rem-exp-log_binary64_459` `rem-square-sqrt_binary64_431` `*-inverses_binary64_399`
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` `unpow1/3_binary64_486` `exp-to-pow_binary64_481` `pow-base-1_binary64_479` `unpow0_binary64_478` `unpow-1_binary64_476` `exp-lft-cube_binary64_475` `exp-lft-sqr_binary64_474` `exp-cbrt_binary64_473` `exp-sqrt_binary64_472` `div-exp_binary64_470` `rec-exp_binary64_469` `exp-diff_binary64_467` `exp-neg_binary64_466` `e-exp-1_binary64_464` `exp-0_binary64_461` `rem-log-exp_binary64_460` `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` `+-lft-identity_binary64_403` `mul0-rgt_binary64_402` `mul0-lft_binary64_401` `div0_binary64_400` `lft-mult-inverse_binary64_397` `rgt-mult-inverse_binary64_396` `difference-of-sqr--1_binary64_390` `difference-of-sqr-1_binary64_389` `distribute-rgt1-in_binary64_375` `distribute-lft1-in_binary64_374`

Counts

86 → 66

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	137	1361
1	336	1198
2	1041	1186
3	3337	1170
4	4764	1170
5	4989	1166
6	4963	1166

prune55.0ms (1.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

0.1b

Counts

68 → 2

Compiler

Compiled 950 to 447 computations (52.9% saved)

localize3.0ms (0.1%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Counts

0 → 0

Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error: 0.1b
Counts: 0 → 0
Compiler: Compiled 0 to 0 computations (0% saved)

simplify9.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

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 1-exp_binary64_463 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 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 *-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 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-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 distribute-rgt-in_binary64_369 distribute-lft-in_binary64_368 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 associate-*r*_binary64_359 associate--r-_binary64_358 associate--l-_binary64_357 associate--l+_binary64_356 associate--r+_binary64_355 associate-+l-_binary64_354 associate-+r-_binary64_353 associate-+l+_binary64_352 associate-+r+_binary64_351 *-commutative_binary64_350 +-commutative_binary64_349

Counts

0 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

prune1.0ms (0%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

0.1b

Counts

2 → 2

Compiler

Compiled 0 to 0 computations (0% saved)

regimes322.0ms (9.2%)

Accuracy

Total 6.9b remaining (97.5%)

Threshold costs 0b (0%)

Compiler

Compiled 1085 to 909 computations (16.2% saved)

bsearch45.0ms (1.3%)

Steps

Iters	Range		Point
8	-1.1118109323792318e-161	-8.560259776805434e-165	-8.647414243699812e-165
8	-2.9089237731845245e+113	-1.9640572360852548e+110	-8.383593090521001e+110

Compiler

Compiled 1 to 2 computations (-100% saved)

simplify15.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary64_349`
1×	`neg-sub0_binary64_414` `sub-neg_binary64_412` `mul-1-neg_binary64_411` `*-commutative_binary64_350`
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` `1-exp_binary64_463` `exp-1-e_binary64_462` `exp-0_binary64_461` `sqr-abs_binary64_434` `sqr-neg_binary64_433` `neg-mul-1_binary64_415` `unsub-neg_binary64_413` `/-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` `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`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	34
1	22	34
2	24	34
3	25	34
4	26	34
5	26	34

Compiler

Compiled 44 to 32 computations (27.3% saved)

end0.0ms (0%)

sample1.1s (30.1%)

Algorithm

1×

intervals

Results

378.0ms

8000×

body

128

valid

Compiler

Compiled 168 to 138 computations (17.9% saved)

Details

analyze152.0ms (4.3%)

sample27.0ms (0.8%)

simplify8.0ms (0.2%)

prune2.0ms (0%)

localize7.0ms (0.2%)

rewrite37.0ms (1.1%)

series315.0ms (9%)

simplify75.0ms (2.1%)

prune30.0ms (0.9%)

localize10.0ms (0.3%)

rewrite63.0ms (1.8%)

series463.0ms (13.2%)

simplify102.0ms (2.9%)

prune37.0ms (1.1%)

localize8.0ms (0.2%)

rewrite77.0ms (2.2%)

series462.0ms (13.1%)

simplify132.0ms (3.8%)

prune55.0ms (1.6%)

localize3.0ms (0.1%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify9.0ms (0.3%)

prune1.0ms (0%)

regimes322.0ms (9.2%)

bsearch45.0ms (1.3%)

simplify15.0ms (0.4%)

end0.0ms (0%)

sample1.1s (30.1%)

Profiling