Details

analyze329.0ms (2.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	74.9%	25.1%	3
0%	74.9%	25.1%	4
0%	74.9%	25.1%	5
0%	62.4%	37.6%	6
0%	31.2%	68.8%	7
0%	31.2%	68.8%	8
0%	31.2%	68.8%	9
0%	28.1%	71.9%	10
6.1%	20.4%	73.5%	11
6.1%	20.4%	73.5%	12
7.7%	18.8%	73.5%	13
9.2%	16.6%	74.3%	14

Compiler

Compiled 18 to 17 computations (5.6% saved)

sample47.0ms (0.3%)

Algorithm

1×

intervals

Results

13.0ms	187×	body	128	valid
11.0ms	24×	body	1024	valid
6.0ms	25×	body	512	valid
3.0ms	20×	body	256	valid
0.0ms	4×	body	128	nan
0.0ms	3×	body	128	invalid

Compiler

Compiled 35 to 37 computations (-5.7% saved)

simplify553.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

642×	`unsub-neg_binary64_413`
437×	`swap-sqr_binary64_386`
420×	`exp-prod_binary64_471`
409×	`cube-prod_binary64_447`
401×	`sub-neg_binary64_412`
245×	`associate--r+_binary64_355`
241×	`distribute-neg-in_binary64_380`
200×	`neg-mul-1_binary64_415`
188×	`neg-sub0_binary64_414`
162×	`exp-to-pow_binary64_481`
161×	`associate-+l-_binary64_354`
133×	`associate--l+_binary64_356`
129×	`*-commutative_binary64_350`
127×	`cancel-sign-sub-inv_binary64_385`
120×	`distribute-rgt-in_binary64_369`
112×	`sqr-pow_binary64_391`
103×	`distribute-rgt-neg-out_binary64_379` `associate-+l+_binary64_352`
94×	`distribute-rgt-neg-in_binary64_377`
93×	`associate--r-_binary64_358`
91×	`pow-sqr_binary64_392`
90×	`associate-+r+_binary64_351`
89×	`+-commutative_binary64_349`
88×	`pow-plus_binary64_482`
78×	`distribute-lft-neg-out_binary64_378` `distribute-lft-in_binary64_368`
72×	`distribute-rgt1-in_binary64_375`
70×	`associate-r_binary64_359`
69×	`associate-+r-_binary64_353`
63×	`log-pow_binary64_508`
60×	`remove-double-neg_binary64_407`
55×	`distribute-rgt-out--_binary64_373` `distribute-rgt-out_binary64_372` `associate-l_binary64_360`
52×	`sub0-neg_binary64_406`
46×	`exp-neg_binary64_466` `sqr-neg_binary64_433`
43×	`exp-sum_binary64_465`
42×	`associate--l-_binary64_357`
40×	`distribute-neg-out_binary64_381`
38×	`exp-diff_binary64_467`
28×	`div-sub_binary64_424`
26×	`distribute-lft-neg-in_binary64_376`
24×	`log-prod_binary64_505` `mul0-rgt_binary64_402`
22×	`*-rgt-identity_binary64_409` `mul0-lft_binary64_401`
20×	`+-rgt-identity_binary64_404`
19×	`*-lft-identity_binary64_408`
13×	`--rgt-identity_binary64_405`
10×	`distribute-lft-out_binary64_370`
9×	`exp-lft-sqr_binary64_474`
7×	`+-inverses_binary64_398`
6×	`pow-base-1_binary64_479` `cancel-sign-sub_binary64_384` `distribute-frac-neg_binary64_382`
5×	`distribute-neg-frac_binary64_383` `count-2_binary64_367`
4×	`+-lft-identity_binary64_403` `distribute-lft1-in_binary64_374`
3×	`log-rec_binary64_507` `log-div_binary64_506` `cube-unmult_binary64_456` `mul-1-neg_binary64_411`
2×	`rem-exp-log_binary64_459` `cube-neg_binary64_446` `distribute-lft-out--_binary64_371`
1×	`log-E_binary64_509` `prod-exp_binary64_468` `1-exp_binary64_463` `exp-1-e_binary64_462` `rem-log-exp_binary64_460` `div0_binary64_400` `difference-of-sqr-1_binary64_389` `difference-of-squares_binary64_388`
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` `unpow3_binary64_485` `unpow2_binary64_484` `unpow1/2_binary64_483` `unpow0_binary64_478` `unpow1_binary64_477` `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` `e-exp-1_binary64_464` `exp-0_binary64_461` `cube-mult_binary64_449` `cube-div_binary64_448` `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-sqrt-square_binary64_432` `rem-square-sqrt_binary64_431` `times-frac_binary64_425` `/-rgt-identity_binary64_410` `-inverses_binary64_399` `lft-mult-inverse_binary64_397` `rgt-mult-inverse_binary64_396` `remove-double-div_binary64_395` `difference-of-sqr--1_binary64_390` `unswap-sqr_binary64_387` `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 → 3

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	29	26
2	58	26
3	137	26
4	327	26
5	829	26
6	1922	26
7	2567	26

prune8.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	3	0	3
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	3	1	4

Error

7.4b

Counts

4 → 1

Compiler

Compiled 68 to 54 computations (20.6% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))
0.0b	(-.f64 (+.f64 (.f64 (-.f64 x 1) (log.f64 y)) (.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
0.1b	(*.f64 (-.f64 x 1) (log.f64 y))
4.8b	(log.f64 (-.f64 1 y))

rewrite211.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

7.0b

Rules

37×	`add-sqr-sqrt_binary64_441`
31×	`*-un-lft-identity_binary64_419`
24×	`log-prod_binary64_505`
14×	`add-cube-cbrt_binary64_454` `associate-l_binary64_360`
11×	`pow1_binary64_480` `difference-of-squares_binary64_388`
9×	`add-exp-log_binary64_457` `add-log-exp_binary64_458` `distribute-rgt-in_binary64_369` `distribute-lft-in_binary64_368`
8×	`add-cbrt-cube_binary64_455` `associate-r_binary64_359`
6×	`distribute-lft-out--_binary64_371`
4×	`flip3--_binary64_423` `flip--_binary64_394` `associate-*l/_binary64_362`
3×	`log-pow_binary64_508` `cancel-sign-sub-inv_binary64_385`
2×	`log-div_binary64_506` `pow-prod-down_binary64_490` `prod-exp_binary64_468` `cbrt-unprod_binary64_452` `unswap-sqr_binary64_387` `difference-of-sqr-1_binary64_389` `*-commutative_binary64_350` `diff-log_binary64_511`
1×	`rem-log-exp_binary64_460` `sum-log_binary64_510` `sub-neg_binary64_412` `associate--l+_binary64_356`

Counts

4 → 103

Calls

4 calls:

12.0ms	(-.f64 (+.f64 (.f64 (-.f64 x 1) (log.f64 y)) (.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
10.0ms	(*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))
8.0ms	(*.f64 (-.f64 x 1) (log.f64 y))
4.0ms	(log.f64 (-.f64 1 y))

Compiler

Compiled 2639 to 1790 computations (32.2% saved)

series1.9s (12.4%)

Error

0.1b

Counts

4 → 51

Calls

4 calls:

1.3s	(-.f64 (+.f64 (.f64 (-.f64 x 1) (log.f64 y)) (.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))) t)
255.0ms	(*.f64 (-.f64 z 1) (log.f64 (-.f64 1 y)))
243.0ms	(*.f64 (-.f64 x 1) (log.f64 y))
31.0ms	(log.f64 (-.f64 1 y))

Compiler

Compiled 2547 to 1959 computations (23.1% saved)

simplify475.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

714×	`associate--r+_binary64_355`
433×	`associate--l+_binary64_356`
294×	`sub-neg_binary64_412`
290×	`cancel-sign-sub-inv_binary64_385`
172×	`distribute-neg-in_binary64_380`
151×	`associate-l_binary64_360`
143×	`associate-r_binary64_359`
122×	`unsub-neg_binary64_413` `+-commutative_binary64_349`
104×	`*-commutative_binary64_350`
103×	`distribute-rgt-neg-out_binary64_379`
92×	`distribute-lft-neg-out_binary64_378`
78×	`distribute-rgt-in_binary64_369` `associate-+l+_binary64_352`
77×	`associate-+r+_binary64_351`
74×	`neg-sub0_binary64_414`
71×	`associate-*l/_binary64_362`
70×	`associate-*r/_binary64_361`
68×	`distribute-lft-in_binary64_368`
64×	`distribute-rgt-neg-in_binary64_377`
63×	`neg-mul-1_binary64_415`
51×	`sqr-pow_binary64_391` `distribute-rgt-out_binary64_372`
46×	`distribute-lft-neg-in_binary64_376`
44×	`exp-prod_binary64_471`
41×	`log-prod_binary64_505`
34×	`mul-1-neg_binary64_411` `associate--l-_binary64_357`
31×	`*-rgt-identity_binary64_409` `associate--r-_binary64_358`
30×	`*-lft-identity_binary64_408`
24×	`exp-sum_binary64_465` `cube-prod_binary64_447`
22×	`pow-sqr_binary64_392`
19×	`swap-sqr_binary64_386`
15×	`distribute-rgt-out--_binary64_373` `associate-/l*_binary64_364`
14×	`exp-diff_binary64_467`
13×	`times-frac_binary64_425` `+-rgt-identity_binary64_404` `associate-+r-_binary64_353`
10×	`difference-of-squares_binary64_388` `unswap-sqr_binary64_387`
9×	`distribute-rgt1-in_binary64_375` `distribute-lft-out_binary64_370`
8×	`log-div_binary64_506` `pow-plus_binary64_482` `cube-unmult_binary64_456` `distribute-neg-out_binary64_381`
6×	`unpow3_binary64_485` `div-exp_binary64_470` `cube-mult_binary64_449` `associate-/r/_binary64_365` `associate-/r*_binary64_363`
5×	`log-pow_binary64_508` `exp-to-pow_binary64_481` `count-2_binary64_367` `associate-/l/_binary64_366`
4×	`mul0-rgt_binary64_402` `difference-of-sqr-1_binary64_389`
3×	`pow-base-1_binary64_479` `sqr-neg_binary64_433` `div-sub_binary64_424` `/-rgt-identity_binary64_410` `mul0-lft_binary64_401` `distribute-lft-out--_binary64_371`
2×	`log-rec_binary64_507` `prod-exp_binary64_468` `rem-exp-log_binary64_459` `cube-neg_binary64_446` `rem-sqrt-square_binary64_432` `distribute-frac-neg_binary64_382`
1×	`unpow2_binary64_484` `unpow1_binary64_477` `exp-sqrt_binary64_472` `rec-exp_binary64_469` `1-exp_binary64_463` `exp-1-e_binary64_462` `rem-log-exp_binary64_460` `cube-div_binary64_448` `rem-3cbrt-lft_binary64_444` `rem-square-sqrt_binary64_431` `remove-double-neg_binary64_407` `--rgt-identity_binary64_405` `*-inverses_binary64_399` `+-inverses_binary64_398` `distribute-neg-frac_binary64_383`
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` `unpow1/2_binary64_483` `unpow0_binary64_478` `unpow-1_binary64_476` `exp-lft-cube_binary64_475` `exp-lft-sqr_binary64_474` `exp-cbrt_binary64_473` `exp-neg_binary64_466` `e-exp-1_binary64_464` `exp-0_binary64_461` `rem-3cbrt-rft_binary64_445` `rem-cbrt-cube_binary64_443` `rem-cube-cbrt_binary64_442` `sqr-abs_binary64_434` `sub0-neg_binary64_406` `+-lft-identity_binary64_403` `div0_binary64_400` `lft-mult-inverse_binary64_397` `rgt-mult-inverse_binary64_396` `remove-double-div_binary64_395` `difference-of-sqr--1_binary64_390` `cancel-sign-sub_binary64_384` `distribute-lft1-in_binary64_374` `associate-+l-_binary64_354`

Counts

154 → 405

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	296	3135
1	682	2787
2	2320	2696

prune912.0ms (5.9%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	398	7	405
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	399	7	406

Error

0.0b

Counts

406 → 7

Compiler

Compiled 11321 to 7338 computations (35.2% saved)

localize11.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 t (*.f64 y z))
0.0b	(-.f64 (.f64 (log.f64 y) (+.f64 -1 x)) (+.f64 t (.f64 y z)))
0.1b	(*.f64 (log.f64 y) (+.f64 -1 x))

rewrite100.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

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

Counts

3 → 57

Calls

3 calls:

8.0ms	(*.f64 (log.f64 y) (+.f64 -1 x))
8.0ms	(-.f64 (.f64 (log.f64 y) (+.f64 -1 x)) (+.f64 t (.f64 y z)))
3.0ms	(+.f64 t (*.f64 y z))

Compiler

Compiled 1414 to 581 computations (58.9% saved)

series1.1s (7.4%)

Error

0.0b

Counts

3 → 50

Calls

3 calls:

742.0ms	(-.f64 (.f64 (log.f64 y) (+.f64 -1 x)) (+.f64 t (.f64 y z)))
247.0ms	(*.f64 (log.f64 y) (+.f64 -1 x))
121.0ms	(+.f64 t (*.f64 y z))

Compiler

Compiled 1666 to 1052 computations (36.9% saved)

simplify316.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

483×	`unsub-neg_binary64_413`
344×	`*-commutative_binary64_350`
342×	`sub-neg_binary64_412`
261×	`neg-sub0_binary64_414`
237×	`neg-mul-1_binary64_415` `associate-+l+_binary64_352`
213×	`associate-+r+_binary64_351`
153×	`associate-l_binary64_360`
143×	`distribute-rgt-in_binary64_369`
137×	`cancel-sign-sub-inv_binary64_385` `distribute-lft-neg-out_binary64_378`
133×	`distribute-lft-in_binary64_368` `associate-r_binary64_359`
120×	`distribute-rgt-neg-out_binary64_379`
119×	`exp-diff_binary64_467`
117×	`associate--r+_binary64_355` `+-commutative_binary64_349`
114×	`distribute-rgt-neg-in_binary64_377`
109×	`exp-sum_binary64_465`
108×	`exp-prod_binary64_471`
88×	`distribute-lft-neg-in_binary64_376`
86×	`distribute-neg-in_binary64_380`
72×	`times-frac_binary64_425` `associate--l+_binary64_356`
67×	`associate-+l-_binary64_354`
64×	`associate-+r-_binary64_353`
43×	`distribute-rgt-out_binary64_372`
42×	`cube-prod_binary64_447` `sqr-pow_binary64_391`
36×	`log-prod_binary64_505`
25×	`mul-1-neg_binary64_411`
23×	`div-sub_binary64_424`
20×	`pow-sqr_binary64_392`
17×	`distribute-lft-out_binary64_370`
16×	`*-lft-identity_binary64_408` `unswap-sqr_binary64_387`
14×	`unpow3_binary64_485` `exp-neg_binary64_466` `distribute-rgt-out--_binary64_373`
13×	`exp-to-pow_binary64_481` `associate--r-_binary64_358`
12×	`div-exp_binary64_470` `swap-sqr_binary64_386`
11×	`*-rgt-identity_binary64_409` `associate--l-_binary64_357`
10×	`cube-neg_binary64_446` `sqr-neg_binary64_433`
9×	`cube-mult_binary64_449`
8×	`distribute-neg-out_binary64_381` `associate-/l*_binary64_364`
7×	`prod-exp_binary64_468`
6×	`log-pow_binary64_508` `pow-plus_binary64_482`
5×	`difference-of-squares_binary64_388`
4×	`log-div_binary64_506` `cube-unmult_binary64_456` `remove-double-neg_binary64_407` `associate-/r*_binary64_363`
3×	`+-rgt-identity_binary64_404` `distribute-lft-out--_binary64_371`
2×	`log-rec_binary64_507` `pow-base-1_binary64_479` `sub0-neg_binary64_406`
1×	`log-E_binary64_509` `1-exp_binary64_463` `exp-1-e_binary64_462` `rem-log-exp_binary64_460` `rem-exp-log_binary64_459` `rem-3cbrt-lft_binary64_444` `rem-sqrt-square_binary64_432` `rem-square-sqrt_binary64_431` `+-inverses_binary64_398` `distribute-frac-neg_binary64_382` `distribute-rgt1-in_binary64_375` `associate-/l/_binary64_366` `associate-*r/_binary64_361`
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` `unpow2_binary64_484` `unpow1/2_binary64_483` `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` `rec-exp_binary64_469` `e-exp-1_binary64_464` `exp-0_binary64_461` `cube-div_binary64_448` `rem-3cbrt-rft_binary64_445` `rem-cbrt-cube_binary64_443` `rem-cube-cbrt_binary64_442` `sqr-abs_binary64_434` `/-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` `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` `cancel-sign-sub_binary64_384` `distribute-neg-frac_binary64_383` `distribute-lft1-in_binary64_374` `count-2_binary64_367` `associate-/r/_binary64_365` `associate-l/_binary64_362`

Counts

107 → 236

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	147	1649
1	485	1574
2	1699	1539
3	3620	1539

prune325.0ms (2.1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	232	4	236
Fresh	4	2	6
Picked	1	0	1
Done	0	0	0
Total	237	6	243

Error

0.0b

Counts

243 → 6

Compiler

Compiled 6947 to 2748 computations (60.4% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b	(*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))
0.5b	(cbrt.f64 (log.f64 y))
0.5b	(cbrt.f64 (log.f64 y))
0.5b	(cbrt.f64 (log.f64 y))

rewrite127.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

36×	`cbrt-prod_binary64_450`
23×	`add-sqr-sqrt_binary64_441`
20×	`pow1_binary64_480`
17×	`*-un-lft-identity_binary64_419`
15×	`add-cube-cbrt_binary64_454`
9×	`pow1/3_binary64_501` `log-pow_binary64_508` `swap-sqr_binary64_386`
7×	`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 → 81

Calls

4 calls:

7.0ms	(*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))
1.0ms	(cbrt.f64 (log.f64 y))
1.0ms	(cbrt.f64 (log.f64 y))
1.0ms	(cbrt.f64 (log.f64 y))

Compiler

Compiled 2312 to 687 computations (70.3% saved)

series887.0ms (5.8%)

Error

0.0b

Counts

4 → 12

Calls

4 calls:

228.0ms	(*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))
220.0ms	(cbrt.f64 (log.f64 y))
216.0ms	(cbrt.f64 (log.f64 y))
208.0ms	(cbrt.f64 (log.f64 y))

Compiler

Compiled 948 to 657 computations (30.7% saved)

simplify737.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

449×	`associate-/l*_binary64_364`
351×	`associate-l_binary64_360`
305×	`distribute-rgt-in_binary64_369`
275×	`log-prod_binary64_505`
262×	`distribute-lft-in_binary64_368`
241×	`distribute-rgt-neg-in_binary64_377`
231×	`associate-r_binary64_359`
209×	`distribute-lft-neg-in_binary64_376`
207×	`associate-/r/_binary64_365`
183×	`cancel-sign-sub-inv_binary64_385`
156×	`swap-sqr_binary64_386`
140×	`exp-prod_binary64_471`
114×	`unswap-sqr_binary64_387` `distribute-rgt-neg-out_binary64_379`
112×	`cube-prod_binary64_447`
100×	`distribute-lft-neg-out_binary64_378` `associate-/l/_binary64_366`
79×	`sqr-pow_binary64_391`
55×	`distribute-rgt-out_binary64_372`
52×	`times-frac_binary64_425`
47×	`log-div_binary64_506`
38×	`associate-*l/_binary64_362`
35×	`pow-sqr_binary64_392` `*-commutative_binary64_350`
32×	`neg-sub0_binary64_414` `distribute-lft-out_binary64_370`
30×	`distribute-neg-frac_binary64_383`
29×	`cube-div_binary64_448`
27×	`neg-mul-1_binary64_415`
24×	`*-rgt-identity_binary64_409`
23×	`*-lft-identity_binary64_408`
22×	`pow-plus_binary64_482`
21×	`associate-*r/_binary64_361`
19×	`log-pow_binary64_508` `exp-sqrt_binary64_472`
18×	`rem-sqrt-square_binary64_432` `unsub-neg_binary64_413`
14×	`cube-unmult_binary64_456`
13×	`sub-neg_binary64_412`
12×	`associate-/r*_binary64_363`
9×	`exp-lft-sqr_binary64_474`
8×	`distribute-rgt1-in_binary64_375` `count-2_binary64_367`
7×	`distribute-neg-in_binary64_380`
6×	`unpow1/3_binary64_486` `unpow3_binary64_485` `mul0-lft_binary64_401`
5×	`log-rec_binary64_507` `sqr-neg_binary64_433` `div-sub_binary64_424` `associate-+r+_binary64_351` `+-commutative_binary64_349`
4×	`unpow2_binary64_484` `remove-double-neg_binary64_407` `mul0-rgt_binary64_402` `distribute-frac-neg_binary64_382` `distribute-rgt-out--_binary64_373` `associate-+l+_binary64_352`
3×	`unpow1_binary64_477` `exp-sum_binary64_465` `/-rgt-identity_binary64_410` `distribute-lft-out--_binary64_371` `associate--r-_binary64_358`
2×	`exp-diff_binary64_467` `cube-mult_binary64_449` `rem-3cbrt-lft_binary64_444` `rem-cbrt-cube_binary64_443` `cancel-sign-sub_binary64_384` `distribute-lft1-in_binary64_374` `associate-+r-_binary64_353`
1×	`pow-base-1_binary64_479` `prod-exp_binary64_468` `1-exp_binary64_463` `exp-1-e_binary64_462` `rem-log-exp_binary64_460` `rem-3cbrt-rft_binary64_445` `rem-square-sqrt_binary64_431` `mul-1-neg_binary64_411` `sub0-neg_binary64_406` `--rgt-identity_binary64_405` `*-inverses_binary64_399` `+-inverses_binary64_398` `distribute-neg-out_binary64_381` `associate--r+_binary64_355` `associate-+l-_binary64_354`
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/2_binary64_483` `exp-to-pow_binary64_481` `unpow0_binary64_478` `unpow-1_binary64_476` `exp-lft-cube_binary64_475` `exp-cbrt_binary64_473` `div-exp_binary64_470` `rec-exp_binary64_469` `exp-neg_binary64_466` `e-exp-1_binary64_464` `exp-0_binary64_461` `rem-exp-log_binary64_459` `cube-neg_binary64_446` `rem-cube-cbrt_binary64_442` `sqr-abs_binary64_434` `+-rgt-identity_binary64_404` `+-lft-identity_binary64_403` `div0_binary64_400` `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` `associate--l-_binary64_357` `associate--l+_binary64_356`

Counts

93 → 109

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	63	1019
1	121	921
2	354	885
3	1463	879

prune149.0ms (1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	108	1	109
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	108	7	115

Error

0.0b

Counts

115 → 7

Compiler

Compiled 3184 to 1244 computations (60.9% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b	(.f64 (pow.f64 (pow.f64 (log.f64 y) 2) 1/3) (.f64 (+.f64 x -1) (cbrt.f64 (log.f64 y))))
0.5b	(pow.f64 (log.f64 y) 2)
0.5b	(cbrt.f64 (log.f64 y))
1.2b	(pow.f64 (pow.f64 (log.f64 y) 2) 1/3)

rewrite173.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

30×	`unpow-prod-down_binary64_498`
28×	`add-exp-log_binary64_457`
15×	`prod-exp_binary64_468`
13×	`add-cube-cbrt_binary64_454` `add-sqr-sqrt_binary64_441` `-un-lft-identity_binary64_419` `pow-exp_binary64_487` `associate-l*_binary64_360`
10×	`add-cbrt-cube_binary64_455`
9×	`pow1_binary64_480`
7×	`pow-to-exp_binary64_488`
6×	`pow-unpow_binary64_496` `cbrt-unprod_binary64_452`
5×	`sqr-pow_binary64_391`
4×	`log-pow_binary64_508` `add-log-exp_binary64_458` `cbrt-prod_binary64_450`
3×	`unpow2_binary64_484` `unpow1/3_binary64_486`
2×	`pow-pow_binary64_491` `associate-l/_binary64_362` `associate-r/_binary64_361`
1×	`pow1/3_binary64_501` `flip3-+_binary64_422` `flip-+_binary64_393` `associate-r_binary64_359` `*-commutative_binary64_350`

Counts

4 → 95

Calls

4 calls:

12.0ms	(.f64 (pow.f64 (pow.f64 (log.f64 y) 2) 1/3) (.f64 (+.f64 x -1) (cbrt.f64 (log.f64 y))))
4.0ms	(pow.f64 (pow.f64 (log.f64 y) 2) 1/3)
2.0ms	(pow.f64 (log.f64 y) 2)
1.0ms	(cbrt.f64 (log.f64 y))

Compiler

Compiled 2734 to 1410 computations (48.4% saved)

series835.0ms (5.4%)

Error

0.0b

Counts

4 → 18

Calls

4 calls:

248.0ms	(pow.f64 (pow.f64 (log.f64 y) 2) 1/3)
236.0ms	(.f64 (pow.f64 (pow.f64 (log.f64 y) 2) 1/3) (.f64 (+.f64 x -1) (cbrt.f64 (log.f64 y))))
222.0ms	(cbrt.f64 (log.f64 y))
109.0ms	(pow.f64 (log.f64 y) 2)

Compiler

Compiled 1032 to 744 computations (27.9% saved)

simplify776.0ms (5%)

Algorithm

1×	egg-herbie

Rules

457×	`distribute-rgt-in_binary64_369`
450×	`distribute-lft-in_binary64_368`
377×	`unswap-sqr_binary64_387`
297×	`exp-prod_binary64_471`
293×	`*-commutative_binary64_350`
291×	`log-prod_binary64_505`
148×	`associate-r_binary64_359`
143×	`associate-l_binary64_360`
102×	`sqr-pow_binary64_391`
91×	`log-pow_binary64_508`
86×	`times-frac_binary64_425`
79×	`distribute-rgt-neg-out_binary64_379`
73×	`pow-plus_binary64_482`
62×	`distribute-lft-neg-out_binary64_378` `associate-/r*_binary64_363`
57×	`pow-sqr_binary64_392`
49×	`cancel-sign-sub-inv_binary64_385` `distribute-rgt-neg-in_binary64_377`
48×	`log-div_binary64_506`
42×	`associate-/r/_binary64_365`
39×	`swap-sqr_binary64_386` `distribute-lft-neg-in_binary64_376`
37×	`associate-/l*_binary64_364`
36×	`cube-prod_binary64_447`
26×	`associate-+r+_binary64_351`
25×	`associate-*l/_binary64_362`
24×	`associate-*r/_binary64_361`
23×	`associate-+l+_binary64_352`
22×	`associate-/l/_binary64_366`
21×	`unpow3_binary64_485`
19×	`mul-1-neg_binary64_411`
17×	`neg-sub0_binary64_414` `+-commutative_binary64_349`
16×	`sub-neg_binary64_412` `distribute-rgt-out_binary64_372`
15×	`unpow1/3_binary64_486` `exp-to-pow_binary64_481` `cube-unmult_binary64_456`
14×	`exp-sqrt_binary64_472`
12×	`rem-sqrt-square_binary64_432` `unsub-neg_binary64_413` `distribute-lft-out_binary64_370`
11×	`pow-base-1_binary64_479` `associate-+r-_binary64_353`
10×	`associate-+l-_binary64_354`
8×	`neg-mul-1_binary64_415` `/-rgt-identity_binary64_410`
7×	`log-rec_binary64_507` `unpow2_binary64_484` `unpow1_binary64_477` `associate--l-_binary64_357`
6×	`exp-sum_binary64_465` `associate--r-_binary64_358`
5×	`distribute-neg-in_binary64_380` `count-2_binary64_367`
4×	`exp-lft-sqr_binary64_474` `sqr-neg_binary64_433`
3×	`cube-div_binary64_448` `cube-neg_binary64_446` `*-rgt-identity_binary64_409` `distribute-neg-frac_binary64_383` `distribute-rgt-out--_binary64_373` `distribute-lft-out--_binary64_371`
2×	`exp-diff_binary64_467` `exp-neg_binary64_466` `cube-mult_binary64_449` `remove-double-neg_binary64_407` `difference-of-sqr--1_binary64_390` `associate--r+_binary64_355`
1×	`unpow-1_binary64_476` `prod-exp_binary64_468` `1-exp_binary64_463` `rem-log-exp_binary64_460` `rem-exp-log_binary64_459` `rem-3cbrt-rft_binary64_445` `rem-3cbrt-lft_binary64_444` `rem-square-sqrt_binary64_431` `div-sub_binary64_424` `-lft-identity_binary64_408` `+-rgt-identity_binary64_404` `-inverses_binary64_399` `+-inverses_binary64_398` `difference-of-squares_binary64_388` `distribute-frac-neg_binary64_382` `distribute-rgt1-in_binary64_375` `distribute-lft1-in_binary64_374`
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/2_binary64_483` `unpow0_binary64_478` `exp-lft-cube_binary64_475` `exp-cbrt_binary64_473` `div-exp_binary64_470` `rec-exp_binary64_469` `e-exp-1_binary64_464` `exp-1-e_binary64_462` `exp-0_binary64_461` `rem-cbrt-cube_binary64_443` `rem-cube-cbrt_binary64_442` `sqr-abs_binary64_434` `sub0-neg_binary64_406` `--rgt-identity_binary64_405` `+-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` `remove-double-div_binary64_395` `difference-of-sqr-1_binary64_389` `cancel-sign-sub_binary64_384` `distribute-neg-out_binary64_381` `associate--l+_binary64_356`

Counts

113 → 193

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	142	1721
1	340	1479
2	1179	1332
3	4135	1332

prune278.0ms (1.8%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	192	1	193
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	193	7	200

Error

0.0b

Counts

200 → 7

Compiler

Compiled 5304 to 2608 computations (50.8% saved)

regimes1.7s (10.9%)

Accuracy

Total 0.4b remaining (74.7%)

Threshold costs 0.4b (74.7%)

Compiler

Compiled 19464 to 15653 computations (19.6% saved)

bsearch0.0ms (0%)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

23×	`unsub-neg_binary64_413`
22×	`neg-mul-1_binary64_415` `neg-sub0_binary64_414`
17×	`distribute-neg-in_binary64_380`
16×	`distribute-rgt-neg-out_binary64_379`
13×	`distribute-lft-neg-out_binary64_378` `distribute-rgt-neg-in_binary64_377`
12×	`*-commutative_binary64_350`
11×	`sub-neg_binary64_412`
10×	`+-commutative_binary64_349`
9×	`distribute-lft-neg-in_binary64_376`
5×	`*-lft-identity_binary64_408`
4×	`*-rgt-identity_binary64_409`
3×	`cancel-sign-sub-inv_binary64_385`
2×	`remove-double-neg_binary64_407` `distribute-neg-out_binary64_381`
1×	`1-exp_binary64_463` `--rgt-identity_binary64_405`
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_404` `+-lft-identity_binary64_403` `cancel-sign-sub_binary64_384` `distribute-neg-frac_binary64_383` `distribute-frac-neg_binary64_382`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	23
1	29	21
2	44	21
3	58	21
4	86	21
5	103	21
6	129	21
7	147	21
8	148	21

Proof

(- f64 (+ f64 (* f64 (=> (- f64 h0 1)) (log f64 h1)) (* f64 (- f64 h2 1) (neg f64 h1))) h3)
sub-neg_binary64_412 =>
(- f64 (+ f64 (* f64 (+ f64 h0 (neg f64 1)) (log f64 h1)) (=> (* f64 (- f64 h2 1) (neg f64 h1)))) h3)
*-commutative_binary64_350 =>
(- f64 (+ f64 (* f64 (+ f64 h0 (=> (neg f64 1))) (log f64 h1)) (* f64 (neg f64 h1) (- f64 h2 1))) h3)
neg-mul-1_binary64_415 =>
(- f64 (+ f64 (* f64 (+ f64 h0 (* f64 -1 1)) (log f64 h1)) (=> (* f64 (neg f64 h1) (- f64 h2 1)))) h3)
distribute-lft-neg-out_binary64_378 =>
(- f64 (+ f64 (* f64 (+ f64 h0 (=> (* f64 -1 1))) (log f64 h1)) (neg f64 (* f64 h1 (- f64 h2 1)))) h3)
*-rgt-identity_binary64_409 =>
(- f64 (+ f64 (* f64 (+ f64 h0 -1) (log f64 h1)) (=> (neg f64 (* f64 h1 (- f64 h2 1))))) h3)
distribute-rgt-neg-in_binary64_377 =>
(- f64 (+ f64 (* f64 (+ f64 h0 -1) (log f64 h1)) (* f64 h1 (neg f64 (=> (- f64 h2 1))))) h3)
sub-neg_binary64_412 =>
(- f64 (+ f64 (* f64 (+ f64 h0 -1) (log f64 h1)) (* f64 h1 (neg f64 (=> (+ f64 h2 (neg f64 1)))))) h3)
+-commutative_binary64_349 =>
(- f64 (+ f64 (* f64 (+ f64 h0 -1) (log f64 h1)) (* f64 h1 (=> (neg f64 (+ f64 (neg f64 1) h2))))) h3)
distribute-neg-in_binary64_380 =>
(- f64 (+ f64 (* f64 (+ f64 h0 -1) (log f64 h1)) (* f64 h1 (+ f64 (neg f64 (=> (neg f64 1))) (neg f64 h2)))) h3)
neg-mul-1_binary64_415 =>
(- f64 (+ f64 (* f64 (+ f64 h0 -1) (log f64 h1)) (* f64 h1 (+ f64 (neg f64 (=> (* f64 -1 1))) (neg f64 h2)))) h3)
*-rgt-identity_binary64_409 =>
(- f64 (+ f64 (* f64 (+ f64 h0 -1) (log f64 h1)) (* f64 h1 (=> (+ f64 (neg f64 -1) (neg f64 h2))))) h3)
unsub-neg_binary64_413 =>
(- f64 (+ f64 (* f64 (+ f64 h0 -1) (log f64 h1)) (* f64 h1 (- f64 (neg f64 -1) h2))) h3)
<= *-rgt-identity_binary64_409
(- f64 (+ f64 (* f64 (+ f64 h0 -1) (log f64 h1)) (* f64 h1 (- f64 (neg f64 (<= (* f64 -1 1))) h2))) h3)
<= neg-mul-1_binary64_415
(- f64 (+ f64 (* f64 (+ f64 h0 -1) (log f64 h1)) (* f64 h1 (- f64 (=> (neg f64 (<= (neg f64 1)))) h2))) h3)
remove-double-neg_binary64_407 =>
(- f64 (+ f64 (* f64 (+ f64 h0 -1) (log f64 h1)) (* f64 h1 (- f64 1 h2))) h3)

end0.0ms (0%)

sample3.3s (21.7%)

Algorithm

1×

intervals

Results

458.0ms	6136×	body	128	valid
222.0ms	800×	body	512	valid
217.0ms	433×	body	1024	valid
98.0ms	627×	body	256	valid
20.0ms	273×	body	128	nan
3.0ms	4×	body	2048	valid
2.0ms	28×	body	128	invalid

Compiler

Compiled 2395 to 1926 computations (19.6% saved)

Details

analyze329.0ms (2.1%)

sample47.0ms (0.3%)

simplify553.0ms (3.6%)

prune8.0ms (0.1%)

localize13.0ms (0.1%)

rewrite211.0ms (1.4%)

series1.9s (12.4%)

simplify475.0ms (3.1%)

prune912.0ms (5.9%)

localize11.0ms (0.1%)

rewrite100.0ms (0.6%)

series1.1s (7.4%)

simplify316.0ms (2.1%)

prune325.0ms (2.1%)

localize18.0ms (0.1%)

rewrite127.0ms (0.8%)

series887.0ms (5.8%)

simplify737.0ms (4.8%)

prune149.0ms (1%)

localize20.0ms (0.1%)

rewrite173.0ms (1.1%)

series835.0ms (5.4%)

simplify776.0ms (5%)

prune278.0ms (1.8%)

regimes1.7s (10.9%)

bsearch0.0ms (0%)

simplify10.0ms (0.1%)

end0.0ms (0%)

sample3.3s (21.7%)

Profiling