Details

analyze2.5s (5.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
0%	99.9%	0.1%	7
0%	99.9%	0.1%	8
0%	99.9%	0.1%	9
0%	99.9%	0.1%	10
0%	99.5%	0.5%	11
0%	99.1%	0.9%	12
0.4%	97.3%	2.3%	13
0.7%	95.8%	3.5%	14

Compiler

Compiled 26 to 22 computations (15.4% saved)

sample414.0ms (0.9%)

Algorithm

1×

intervals

Results

151.0ms	44×	body	4096	invalid
80.0ms	147×	body	1024	valid
64.0ms	34×	body	2048	invalid
33.0ms	30×	body	2048	valid
17.0ms	43×	body	512	valid
11.0ms	20×	body	1024	invalid
9.0ms	7×	body	4096	valid
7.0ms	19×	body	512	invalid
7.0ms	10×	body	256	valid
6.0ms	44×	body	128	invalid
3.0ms	11×	body	256	invalid
3.0ms	19×	body	128	valid

Compiler

Compiled 51 to 46 computations (9.8% saved)

simplify238.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

490×	`times-frac_binary64_425`
434×	`associate-/r/_binary64_365`
388×	`associate-/r*_binary64_363`
353×	`distribute-rgt-in_binary64_369`
341×	`associate-/l*_binary64_364`
298×	`distribute-lft-in_binary64_368`
234×	`div-sub_binary64_424`
222×	`distribute-rgt-neg-in_binary64_377`
216×	`distribute-lft-neg-in_binary64_376`
203×	`*-commutative_binary64_350`
186×	`cancel-sign-sub-inv_binary64_385`
182×	`distribute-neg-frac_binary64_383`
116×	`associate-/l/_binary64_366`
84×	`associate-l/_binary64_362` `associate-l*_binary64_360`
76×	`associate-r_binary64_359`
63×	`associate-*r/_binary64_361`
61×	`distribute-rgt-neg-out_binary64_379`
50×	`distribute-lft-neg-out_binary64_378`
47×	`/-rgt-identity_binary64_410`
38×	`unsub-neg_binary64_413`
35×	`neg-sub0_binary64_414`
29×	`unswap-sqr_binary64_387`
28×	`sub-neg_binary64_412`
27×	`neg-mul-1_binary64_415`
23×	`mul0-rgt_binary64_402` `mul0-lft_binary64_401`
20×	`sqr-pow_binary64_391`
19×	`exp-prod_binary64_471`
17×	`exp-sum_binary64_465` `distribute-neg-in_binary64_380`
16×	`*-rgt-identity_binary64_409`
15×	`*-lft-identity_binary64_408`
14×	`distribute-frac-neg_binary64_382`
13×	`pow-sqr_binary64_392`
12×	`distribute-rgt-out_binary64_372` `distribute-lft-out_binary64_370`
10×	`mul-1-neg_binary64_411` `associate--l+_binary64_356` `+-commutative_binary64_349`
9×	`distribute-rgt1-in_binary64_375`
7×	`pow-plus_binary64_482` `associate-+r-_binary64_353`
6×	`exp-diff_binary64_467` `cube-unmult_binary64_456` `swap-sqr_binary64_386` `associate-+l-_binary64_354` `associate-+r+_binary64_351`
5×	`difference-of-sqr-1_binary64_389` `associate--l-_binary64_357`
4×	`sub0-neg_binary64_406` `remove-double-div_binary64_395` `associate--r+_binary64_355` `associate-+l+_binary64_352`
3×	`exp-lft-sqr_binary64_474` `exp-sqrt_binary64_472` `+-rgt-identity_binary64_404`
2×	`cancel-sign-sub_binary64_384` `distribute-neg-out_binary64_381`
1×	`unpow3_binary64_485` `unpow2_binary64_484` `unpow1_binary64_477` `rec-exp_binary64_469` `1-exp_binary64_463` `exp-1-e_binary64_462` `cube-mult_binary64_449` `--rgt-identity_binary64_405` `*-inverses_binary64_399` `+-inverses_binary64_398` `rgt-mult-inverse_binary64_396` `difference-of-sqr--1_binary64_390` `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` `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` `unpow1/2_binary64_483` `exp-to-pow_binary64_481` `pow-base-1_binary64_479` `unpow0_binary64_478` `unpow-1_binary64_476` `exp-lft-cube_binary64_475` `exp-cbrt_binary64_473` `div-exp_binary64_470` `prod-exp_binary64_468` `exp-neg_binary64_466` `e-exp-1_binary64_464` `exp-0_binary64_461` `rem-log-exp_binary64_460` `rem-exp-log_binary64_459` `cube-div_binary64_448` `cube-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` `remove-double-neg_binary64_407` `+-lft-identity_binary64_403` `div0_binary64_400` `lft-mult-inverse_binary64_397` `distribute-lft1-in_binary64_374` `distribute-rgt-out--_binary64_373` `distribute-lft-out--_binary64_371` `count-2_binary64_367` `associate--r-_binary64_358`

Counts

1 → 4

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	20	38
1	50	38
2	178	35
3	848	32
4	3634	32

prune15.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

34.0b

Counts

5 → 3

Compiler

Compiled 163 to 115 computations (29.4% saved)

localize20.0ms (0%)

Local error

Found 4 expressions with local error:

1.1b	(.f64 (tan.f64 k) (.f64 (pow.f64 t 3) (/.f64 (sin.f64 k) l)))
4.3b	(*.f64 (pow.f64 t 3) (/.f64 (sin.f64 k) l))
5.7b	(.f64 l (/.f64 2 (.f64 (pow.f64 (/.f64 k t) 2) (.f64 (tan.f64 k) (.f64 (pow.f64 t 3) (/.f64 (sin.f64 k) l))))))
26.9b	(.f64 (pow.f64 (/.f64 k t) 2) (.f64 (tan.f64 k) (*.f64 (pow.f64 t 3) (/.f64 (sin.f64 k) l))))

rewrite671.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

25.2b

Rules

347×	`add-exp-log_binary64_457`
221×	`prod-exp_binary64_468`
79×	`div-exp_binary64_470`
59×	`add-cbrt-cube_binary64_455`
52×	`pow-exp_binary64_487`
46×	`add-sqr-sqrt_binary64_441`
36×	`pow-to-exp_binary64_488` `associate-l_binary64_360`
31×	`cbrt-unprod_binary64_452`
26×	`add-cube-cbrt_binary64_454` `*-un-lft-identity_binary64_419`
25×	`times-frac_binary64_425` `associate-r_binary64_359`
18×	`unpow-prod-down_binary64_498`
17×	`associate-*r/_binary64_361`
9×	`cbrt-undiv_binary64_453` `unswap-sqr_binary64_387`
8×	`pow1_binary64_480`
6×	`tan-quot_binary64_578`
5×	`cube-prod_binary64_447`
4×	`add-log-exp_binary64_458` `sqr-pow_binary64_391` `*-commutative_binary64_350`
3×	`frac-times_binary64_429` `associate-*l/_binary64_362` `div-inv_binary64_416` `associate-/r/_binary64_365`
2×	`pow-prod-down_binary64_490`
1×	`unpow2_binary64_484` `unpow3_binary64_485` `cube-mult_binary64_449`

Counts

4 → 206

Calls

4 calls:

22.0ms	(.f64 l (/.f64 2 (.f64 (pow.f64 (/.f64 k t) 2) (.f64 (tan.f64 k) (.f64 (pow.f64 t 3) (/.f64 (sin.f64 k) l))))))
18.0ms	(.f64 (pow.f64 (/.f64 k t) 2) (.f64 (tan.f64 k) (*.f64 (pow.f64 t 3) (/.f64 (sin.f64 k) l))))
11.0ms	(*.f64 (pow.f64 t 3) (/.f64 (sin.f64 k) l))
10.0ms	(.f64 (tan.f64 k) (.f64 (pow.f64 t 3) (/.f64 (sin.f64 k) l)))

Compiler

Compiled 6293 to 2979 computations (52.7% saved)

series2.9s (6.1%)

Error

14.6b

Counts

4 → 48

Calls

4 calls:

1.0s	(.f64 l (/.f64 2 (.f64 (pow.f64 (/.f64 k t) 2) (.f64 (tan.f64 k) (.f64 (pow.f64 t 3) (/.f64 (sin.f64 k) l))))))
778.0ms	(.f64 (pow.f64 (/.f64 k t) 2) (.f64 (tan.f64 k) (*.f64 (pow.f64 t 3) (/.f64 (sin.f64 k) l))))
714.0ms	(.f64 (tan.f64 k) (.f64 (pow.f64 t 3) (/.f64 (sin.f64 k) l)))
335.0ms	(*.f64 (pow.f64 t 3) (/.f64 (sin.f64 k) l))

Compiler

Compiled 2992 to 2232 computations (25.4% saved)

simplify1.2s (2.5%)

Algorithm

1×	egg-herbie

Rules

521×	`associate-r_binary64_359`
515×	`associate-l_binary64_360`
316×	`times-frac_binary64_425`
278×	`associate-/r*_binary64_363`
220×	`associate-/l*_binary64_364`
217×	`associate-*r/_binary64_361`
190×	`*-commutative_binary64_350`
157×	`associate-*l/_binary64_362`
137×	`log-prod_binary64_505`
119×	`exp-prod_binary64_471`
64×	`log-div_binary64_506`
58×	`sqr-pow_binary64_391`
46×	`cube-div_binary64_448`
44×	`unswap-sqr_binary64_387`
42×	`+-commutative_binary64_349`
40×	`associate-/l/_binary64_366`
32×	`pow-plus_binary64_482`
30×	`pow-sqr_binary64_392` `associate-+r+_binary64_351`
29×	`associate-/r/_binary64_365`
23×	`associate--r+_binary64_355` `associate-+l+_binary64_352`
21×	`sub-neg_binary64_412`
19×	`cube-unmult_binary64_456`
18×	`swap-sqr_binary64_386`
17×	`log-pow_binary64_508`
15×	`unpow2_binary64_484` `unpow1_binary64_477`
14×	`cancel-sign-sub-inv_binary64_385`
10×	`neg-mul-1_binary64_415` `neg-sub0_binary64_414` `distribute-neg-in_binary64_380` `associate-+r-_binary64_353`
9×	`div-exp_binary64_470` `prod-exp_binary64_468`
6×	`unpow3_binary64_485` `associate--l+_binary64_356`
4×	`log-rec_binary64_507` `exp-sqrt_binary64_472` `cube-mult_binary64_449` `distribute-rgt-neg-in_binary64_377` `associate-+l-_binary64_354`
3×	`rec-exp_binary64_469` `cube-prod_binary64_447` `rem-sqrt-square_binary64_432` `/-rgt-identity_binary64_410`
2×	`exp-lft-sqr_binary64_474` `rem-square-sqrt_binary64_431` `*-rgt-identity_binary64_409` `distribute-neg-frac_binary64_383` `distribute-lft-neg-out_binary64_378` `distribute-lft-neg-in_binary64_376`
1×	`1-exp_binary64_463` `exp-1-e_binary64_462` `rem-log-exp_binary64_460` `rem-cbrt-cube_binary64_443` `rem-cube-cbrt_binary64_442` `*-inverses_binary64_399` `distribute-rgt-in_binary64_369` `distribute-lft-in_binary64_368`
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` `exp-to-pow_binary64_481` `pow-base-1_binary64_479` `unpow0_binary64_478` `unpow-1_binary64_476` `exp-lft-cube_binary64_475` `exp-cbrt_binary64_473` `exp-diff_binary64_467` `exp-neg_binary64_466` `exp-sum_binary64_465` `e-exp-1_binary64_464` `exp-0_binary64_461` `rem-exp-log_binary64_459` `cube-neg_binary64_446` `rem-3cbrt-rft_binary64_445` `rem-3cbrt-lft_binary64_444` `sqr-abs_binary64_434` `sqr-neg_binary64_433` `div-sub_binary64_424` `unsub-neg_binary64_413` `mul-1-neg_binary64_411` `*-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_398` `lft-mult-inverse_binary64_397` `rgt-mult-inverse_binary64_396` `remove-double-div_binary64_395` `difference-of-sqr--1_binary64_390` `difference-of-sqr-1_binary64_389` `difference-of-squares_binary64_388` `cancel-sign-sub_binary64_384` `distribute-frac-neg_binary64_382` `distribute-neg-out_binary64_381` `distribute-rgt-neg-out_binary64_379` `distribute-rgt1-in_binary64_375` `distribute-lft1-in_binary64_374` `distribute-rgt-out--_binary64_373` `distribute-rgt-out_binary64_372` `distribute-lft-out--_binary64_371` `distribute-lft-out_binary64_370` `count-2_binary64_367` `associate--r-_binary64_358` `associate--l-_binary64_357`

Counts

254 → 486

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	396	7386
1	930	6487
2	4432	6487

prune900.0ms (1.9%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	473	13	486
Fresh	2	0	2
Picked	1	0	1
Done	0	0	0
Total	476	13	489

Error

5.7b

Counts

489 → 13

Compiler

Compiled 14575 to 7339 computations (49.6% saved)

localize16.0ms (0%)

Local error

Found 4 expressions with local error:

0.4b	(/.f64 2 (*.f64 (/.f64 k (/.f64 l k)) (/.f64 t (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2)))))
1.0b	(/.f64 t (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2)))
4.4b	(*.f64 (/.f64 k (/.f64 l k)) (/.f64 t (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2))))
5.7b	(.f64 l (/.f64 2 (.f64 (/.f64 k (/.f64 l k)) (/.f64 t (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2))))))

rewrite916.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

1.0b

Rules

453×	`times-frac_binary64_425`
284×	`add-sqr-sqrt_binary64_441`
255×	`add-exp-log_binary64_457`
207×	`add-cube-cbrt_binary64_454` `*-un-lft-identity_binary64_419`
151×	`add-cbrt-cube_binary64_455`
147×	`div-exp_binary64_470`
99×	`associate-r_binary64_359`
77×	`cbrt-undiv_binary64_453`
66×	`unpow-prod-down_binary64_498`
62×	`prod-exp_binary64_468`
47×	`associate-l_binary64_360`
38×	`cbrt-unprod_binary64_452`
29×	`associate-/r*_binary64_363`
24×	`unpow2_binary64_484` `sqr-pow_binary64_391`
19×	`unswap-sqr_binary64_387`
15×	`div-inv_binary64_416`
10×	`pow-to-exp_binary64_488` `pow-exp_binary64_487`
9×	`associate-/r/_binary64_365`
8×	`pow1_binary64_480`
6×	`associate-/l*_binary64_364`
4×	`add-log-exp_binary64_458` `associate-*r/_binary64_361`
3×	`frac-times_binary64_429` `associate-*l/_binary64_362`
2×	`pow-prod-down_binary64_490` `*-commutative_binary64_350` `frac-2neg_binary64_430` `clear-num_binary64_418`

Counts

4 → 417

Calls

4 calls:

88.0ms	(*.f64 (/.f64 k (/.f64 l k)) (/.f64 t (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2))))
30.0ms	(.f64 l (/.f64 2 (.f64 (/.f64 k (/.f64 l k)) (/.f64 t (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2))))))
23.0ms	(/.f64 2 (*.f64 (/.f64 k (/.f64 l k)) (/.f64 t (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2)))))
11.0ms	(/.f64 t (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2)))

Compiler

Compiled 13899 to 5729 computations (58.8% saved)

series2.7s (5.7%)

Error

5.7b

Counts

4 → 45

Calls

4 calls:

886.0ms	(.f64 l (/.f64 2 (.f64 (/.f64 k (/.f64 l k)) (/.f64 t (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2))))))
818.0ms	(/.f64 2 (*.f64 (/.f64 k (/.f64 l k)) (/.f64 t (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2)))))
666.0ms	(*.f64 (/.f64 k (/.f64 l k)) (/.f64 t (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2))))
293.0ms	(/.f64 t (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2)))

Compiler

Compiled 2485 to 1850 computations (25.6% saved)

simplify2.0s (4.1%)

Algorithm

1×	egg-herbie

Rules

636×	`associate-/l*_binary64_364`
626×	`associate-*l/_binary64_362`
590×	`associate-/r/_binary64_365`
357×	`associate-/l/_binary64_366`
351×	`times-frac_binary64_425`
272×	`associate-/r*_binary64_363`
198×	`*-commutative_binary64_350`
177×	`associate-*r/_binary64_361`
32×	`sub-neg_binary64_412`
29×	`associate-l_binary64_360`
26×	`sqr-pow_binary64_391`
20×	`neg-mul-1_binary64_415` `neg-sub0_binary64_414`
18×	`+-commutative_binary64_349`
16×	`cancel-sign-sub-inv_binary64_385`
15×	`pow-sqr_binary64_392` `distribute-neg-in_binary64_380`
14×	`log-div_binary64_506` `cube-unmult_binary64_456` `associate-r_binary64_359`
13×	`unswap-sqr_binary64_387` `distribute-rgt-neg-in_binary64_377`
12×	`log-prod_binary64_505` `swap-sqr_binary64_386`
10×	`exp-prod_binary64_471` `/-rgt-identity_binary64_410` `distribute-neg-frac_binary64_383` `distribute-lft-neg-in_binary64_376`
8×	`associate-+r+_binary64_351`
7×	`unpow2_binary64_484`
6×	`unpow1_binary64_477` `remove-double-div_binary64_395` `distribute-rgt-out_binary64_372` `associate--r+_binary64_355`
4×	`associate-+r-_binary64_353`
3×	`pow-plus_binary64_482` `*-rgt-identity_binary64_409` `distribute-lft-neg-out_binary64_378` `associate--r-_binary64_358`
2×	`pow-base-1_binary64_479` `associate-+l-_binary64_354`
1×	`log-pow_binary64_508` `log-rec_binary64_507` `div-exp_binary64_470` `rec-exp_binary64_469` `prod-exp_binary64_468` `1-exp_binary64_463` `rem-sqrt-square_binary64_432` `rem-square-sqrt_binary64_431` `-lft-identity_binary64_408` `-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` `unpow3_binary64_485` `unpow1/2_binary64_483` `exp-to-pow_binary64_481` `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` `exp-diff_binary64_467` `exp-neg_binary64_466` `exp-sum_binary64_465` `e-exp-1_binary64_464` `exp-1-e_binary64_462` `exp-0_binary64_461` `rem-log-exp_binary64_460` `rem-exp-log_binary64_459` `cube-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` `div-sub_binary64_424` `unsub-neg_binary64_413` `mul-1-neg_binary64_411` `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_398` `lft-mult-inverse_binary64_397` `rgt-mult-inverse_binary64_396` `difference-of-sqr--1_binary64_390` `difference-of-sqr-1_binary64_389` `difference-of-squares_binary64_388` `cancel-sign-sub_binary64_384` `distribute-frac-neg_binary64_382` `distribute-neg-out_binary64_381` `distribute-rgt-neg-out_binary64_379` `distribute-rgt1-in_binary64_375` `distribute-lft1-in_binary64_374` `distribute-rgt-out--_binary64_373` `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_357` `associate--l+_binary64_356` `associate-+l+_binary64_352`

Counts

462 → 1257

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	711	15355
1	1930	12955

prune2.3s (4.8%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	1246	11	1257
Fresh	10	2	12
Picked	1	0	1
Done	0	0	0
Total	1257	13	1270

Error

1.0b

Counts

1270 → 13

Compiler

Compiled 40832 to 14676 computations (64.1% saved)

localize15.0ms (0%)

Local error

Found 4 expressions with local error:

0.8b	(*.f64 (/.f64 l k) (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2)))
0.8b	(/.f64 2 (/.f64 (*.f64 k t) l))
1.7b	(.f64 (/.f64 2 (/.f64 (.f64 k t) l)) (*.f64 (/.f64 l k) (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2))))
3.3b	(/.f64 (*.f64 k t) l)

rewrite445.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.7b

Rules

232×	`add-exp-log_binary64_457`
132×	`add-cbrt-cube_binary64_455`
112×	`times-frac_binary64_425`
102×	`div-exp_binary64_470`
87×	`prod-exp_binary64_468` `add-sqr-sqrt_binary64_441`
58×	`add-cube-cbrt_binary64_454` `*-un-lft-identity_binary64_419`
52×	`cbrt-undiv_binary64_453`
47×	`cbrt-unprod_binary64_452`
39×	`associate-l_binary64_360`
29×	`associate-r_binary64_359`
12×	`div-inv_binary64_416`
11×	`pow1_binary64_480` `unpow-prod-down_binary64_498`
10×	`associate-/r*_binary64_363` `pow-to-exp_binary64_488` `pow-exp_binary64_487` `unswap-sqr_binary64_387`
6×	`frac-times_binary64_429` `associate-*r/_binary64_361`
5×	`unpow2_binary64_484` `sqr-pow_binary64_391`
4×	`add-log-exp_binary64_458` `associate-/l_binary64_364` `pow-prod-down_binary64_490` `associate-l/_binary64_362`
2×	`frac-2neg_binary64_430` `clear-num_binary64_418` `associate-/r/_binary64_365` `*-commutative_binary64_350`

Counts

4 → 244

Calls

4 calls:

21.0ms	(.f64 (/.f64 2 (/.f64 (.f64 k t) l)) (*.f64 (/.f64 l k) (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2))))
19.0ms	(*.f64 (/.f64 l k) (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2)))
6.0ms	(/.f64 2 (/.f64 (*.f64 k t) l))
4.0ms	(/.f64 (*.f64 k t) l)

Compiler

Compiled 7358 to 2897 computations (60.6% saved)

series1.6s (3.4%)

Error

1.0b

Counts

4 → 39

Calls

4 calls:

845.0ms	(.f64 (/.f64 2 (/.f64 (.f64 k t) l)) (*.f64 (/.f64 l k) (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2))))
383.0ms	(*.f64 (/.f64 l k) (/.f64 (cos.f64 k) (pow.f64 (sin.f64 k) 2)))
203.0ms	(/.f64 2 (/.f64 (*.f64 k t) l))
149.0ms	(/.f64 (*.f64 k t) l)

Compiler

Compiled 2163 to 1517 computations (29.9% saved)

simplify1.8s (3.7%)

Algorithm

1×	egg-herbie

Rules

473×	`associate-*l/_binary64_362`
461×	`associate-*r/_binary64_361`
371×	`associate-r_binary64_359`
351×	`associate-l_binary64_360`
304×	`associate-/l*_binary64_364`
271×	`*-commutative_binary64_350`
198×	`times-frac_binary64_425`
192×	`associate-/r/_binary64_365`
166×	`associate-/l/_binary64_366`
141×	`associate-/r*_binary64_363`
95×	`log-div_binary64_506`
89×	`log-prod_binary64_505`
51×	`exp-prod_binary64_471`
50×	`cube-div_binary64_448`
27×	`sub-neg_binary64_412`
25×	`+-commutative_binary64_349`
20×	`sqr-pow_binary64_391` `associate--r+_binary64_355`
19×	`neg-mul-1_binary64_415` `neg-sub0_binary64_414`
16×	`pow-plus_binary64_482` `div-exp_binary64_470` `prod-exp_binary64_468` `cube-unmult_binary64_456` `cancel-sign-sub-inv_binary64_385`
15×	`associate-+l+_binary64_352`
12×	`distribute-neg-in_binary64_380` `associate-+r+_binary64_351`
11×	`log-pow_binary64_508` `pow-sqr_binary64_392` `swap-sqr_binary64_386`
9×	`/-rgt-identity_binary64_410` `associate-+l-_binary64_354`
8×	`distribute-neg-frac_binary64_383` `distribute-rgt-neg-in_binary64_377` `associate-+r-_binary64_353`
6×	`unpow2_binary64_484` `associate--l+_binary64_356`
5×	`log-rec_binary64_507` `unpow1_binary64_477` `distribute-lft-neg-in_binary64_376`
4×	`exp-sqrt_binary64_472` `rec-exp_binary64_469` `unswap-sqr_binary64_387` `associate--r-_binary64_358`
3×	`pow-base-1_binary64_479` `exp-lft-sqr_binary64_474` `distribute-lft-neg-out_binary64_378`
2×	`-rgt-identity_binary64_409` `-lft-identity_binary64_408` `distribute-rgt-out_binary64_372`
1×	`unpow3_binary64_485` `1-exp_binary64_463` `exp-1-e_binary64_462` `rem-log-exp_binary64_460` `cube-mult_binary64_449` `rem-sqrt-square_binary64_432` `rem-square-sqrt_binary64_431` `div-sub_binary64_424` `*-inverses_binary64_399` `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` `log-E_binary64_509` `pow-base-0_binary64_503` `unpow1/3_binary64_486` `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` `exp-diff_binary64_467` `exp-neg_binary64_466` `exp-sum_binary64_465` `e-exp-1_binary64_464` `exp-0_binary64_461` `rem-exp-log_binary64_459` `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` `unsub-neg_binary64_413` `mul-1-neg_binary64_411` `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_398` `lft-mult-inverse_binary64_397` `rgt-mult-inverse_binary64_396` `remove-double-div_binary64_395` `difference-of-sqr--1_binary64_390` `difference-of-sqr-1_binary64_389` `difference-of-squares_binary64_388` `cancel-sign-sub_binary64_384` `distribute-frac-neg_binary64_382` `distribute-neg-out_binary64_381` `distribute-rgt-neg-out_binary64_379` `distribute-rgt1-in_binary64_375` `distribute-lft1-in_binary64_374` `distribute-rgt-out--_binary64_373` `distribute-lft-out--_binary64_371` `distribute-lft-out_binary64_370` `distribute-rgt-in_binary64_369` `distribute-lft-in_binary64_368` `count-2_binary64_367`

Counts

283 → 641

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	409	7993
1	1128	6309
2	4583	6309

prune1.2s (2.6%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	634	7	641
Fresh	4	8	12
Picked	1	0	1
Done	0	0	0
Total	639	15	654

Error

0.7b

Counts

654 → 15

Compiler

Compiled 18485 to 7959 computations (56.9% saved)

localize14.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (cos.f64 k) (.f64 2 (/.f64 (/.f64 l k) t)))
0.4b	(pow.f64 (sin.f64 k) 2)
2.1b	(/.f64 (.f64 (/.f64 l k) (.f64 (cos.f64 k) (*.f64 2 (/.f64 (/.f64 l k) t)))) (pow.f64 (sin.f64 k) 2))
5.2b	(/.f64 (/.f64 l k) t)

rewrite326.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

184×	`add-exp-log_binary64_457`
83×	`times-frac_binary64_425`
80×	`add-cbrt-cube_binary64_455`
79×	`prod-exp_binary64_468`
72×	`div-exp_binary64_470`
53×	`add-cube-cbrt_binary64_454` `add-sqr-sqrt_binary64_441` `*-un-lft-identity_binary64_419`
31×	`cbrt-unprod_binary64_452`
28×	`cbrt-undiv_binary64_453`
14×	`associate-/l*_binary64_364`
12×	`pow-to-exp_binary64_488` `pow-exp_binary64_487`
11×	`associate-/r*_binary64_363`
10×	`pow1_binary64_480`
9×	`unpow-prod-down_binary64_498`
7×	`associate-*r/_binary64_361`
6×	`div-inv_binary64_416`
4×	`add-log-exp_binary64_458` `associate-/l/_binary64_366`
3×	`unpow2_binary64_484` `sqr-pow_binary64_391` `pow-unpow_binary64_496` `pow-prod-down_binary64_490` `associate-l_binary64_360`
2×	`frac-2neg_binary64_430` `clear-num_binary64_418`
1×	`frac-times_binary64_429` `associate-l/_binary64_362` `pow-pow_binary64_491` `associate-r_binary64_359` `-commutative_binary64_350`

Counts

4 → 185

Calls

4 calls:

20.0ms	(/.f64 (.f64 (/.f64 l k) (.f64 (cos.f64 k) (*.f64 2 (/.f64 (/.f64 l k) t)))) (pow.f64 (sin.f64 k) 2))
12.0ms	(.f64 (cos.f64 k) (.f64 2 (/.f64 (/.f64 l k) t)))
7.0ms	(/.f64 (/.f64 l k) t)
3.0ms	(pow.f64 (sin.f64 k) 2)

Compiler

Compiled 5348 to 2073 computations (61.2% saved)

series1.5s (3.2%)

Error

0.7b

Counts

4 → 39

Calls

4 calls:

881.0ms	(/.f64 (.f64 (/.f64 l k) (.f64 (cos.f64 k) (*.f64 2 (/.f64 (/.f64 l k) t)))) (pow.f64 (sin.f64 k) 2))
377.0ms	(.f64 (cos.f64 k) (.f64 2 (/.f64 (/.f64 l k) t)))
176.0ms	(/.f64 (/.f64 l k) t)
37.0ms	(pow.f64 (sin.f64 k) 2)

Compiler

Compiled 2195 to 1514 computations (31% saved)

simplify1.2s (2.5%)

Algorithm

1×	egg-herbie

Rules

346×	`times-frac_binary64_425`
266×	`associate-/l/_binary64_366`
240×	`associate-/l*_binary64_364`
230×	`associate-/r*_binary64_363`
229×	`associate-r_binary64_359`
208×	`associate-l_binary64_360`
163×	`associate-*l/_binary64_362`
142×	`associate-*r/_binary64_361`
132×	`associate-+l+_binary64_352`
129×	`cancel-sign-sub-inv_binary64_385`
119×	`*-commutative_binary64_350`
107×	`associate-+l-_binary64_354`
97×	`associate-/r/_binary64_365`
93×	`distribute-rgt-neg-in_binary64_377`
91×	`sub-neg_binary64_412`
89×	`log-prod_binary64_505` `unswap-sqr_binary64_387`
83×	`associate--l+_binary64_356`
78×	`distribute-lft-neg-in_binary64_376`
76×	`associate-+r-_binary64_353`
71×	`log-div_binary64_506` `sqr-pow_binary64_391`
66×	`distribute-neg-frac_binary64_383`
60×	`associate--r+_binary64_355`
52×	`cube-prod_binary64_447`
51×	`swap-sqr_binary64_386`
46×	`neg-mul-1_binary64_415`
45×	`*-rgt-identity_binary64_409`
44×	`neg-sub0_binary64_414`
41×	`exp-prod_binary64_471`
39×	`cube-div_binary64_448` `/-rgt-identity_binary64_410`
37×	`associate--l-_binary64_357`
34×	`+-commutative_binary64_349`
27×	`distribute-neg-in_binary64_380`
25×	`pow-sqr_binary64_392`
22×	`*-lft-identity_binary64_408`
19×	`associate--r-_binary64_358`
18×	`pow-plus_binary64_482` `distribute-rgt-in_binary64_369`
16×	`div-exp_binary64_470` `prod-exp_binary64_468` `distribute-lft-neg-out_binary64_378`
15×	`cube-unmult_binary64_456`
14×	`unsub-neg_binary64_413`
12×	`log-pow_binary64_508` `associate-+r+_binary64_351`
9×	`distribute-rgt-out_binary64_372`
7×	`unpow2_binary64_484` `exp-lft-sqr_binary64_474` `distribute-lft-in_binary64_368`
6×	`unpow1_binary64_477`
5×	`rem-sqrt-square_binary64_432` `div-sub_binary64_424`
4×	`rec-exp_binary64_469`
3×	`log-rec_binary64_507` `pow-base-1_binary64_479`
2×	`distribute-rgt1-in_binary64_375` `distribute-rgt-out--_binary64_373` `count-2_binary64_367`
1×	`unpow3_binary64_485` `1-exp_binary64_463` `rem-log-exp_binary64_460` `cube-mult_binary64_449` `rem-3cbrt-rft_binary64_445` `rem-3cbrt-lft_binary64_444` `rem-square-sqrt_binary64_431` `*-inverses_binary64_399` `cancel-sign-sub_binary64_384` `distribute-neg-out_binary64_381` `distribute-rgt-neg-out_binary64_379` `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/3_binary64_486` `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` `exp-sqrt_binary64_472` `exp-diff_binary64_467` `exp-neg_binary64_466` `exp-sum_binary64_465` `e-exp-1_binary64_464` `exp-1-e_binary64_462` `exp-0_binary64_461` `rem-exp-log_binary64_459` `cube-neg_binary64_446` `rem-cbrt-cube_binary64_443` `rem-cube-cbrt_binary64_442` `sqr-abs_binary64_434` `sqr-neg_binary64_433` `mul-1-neg_binary64_411` `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_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` `distribute-frac-neg_binary64_382` `distribute-lft-out--_binary64_371` `distribute-lft-out_binary64_370`

Counts

224 → 695

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	381	5715
1	919	4714
2	3299	4684

prune1.1s (2.4%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	692	3	695
Fresh	5	9	14
Picked	1	0	1
Done	0	0	0
Total	698	12	710

Error

0.0b

Counts

710 → 12

Compiler

Compiled 19004 to 7471 computations (60.7% saved)

regimes3.6s (7.5%)

Accuracy

Total 0.9b remaining (94.2%)

Threshold costs 0.9b (94.2%)

Compiler

Compiled 38219 to 27934 computations (26.9% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3× *-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 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 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 +-commutative_binary64_349

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	31
1	17	31

Proof

(* f64 (/ f64 (/ f64 h0 h1) (sin f64 h1)) (/ f64 (* f64 (cos f64 h1) (* f64 2 (/ f64 (/ f64 h0 h1) h2))) (sin f64 h1)))

end0.0ms (0%)

sample18.2s (37.9%)

Algorithm

1×

intervals

Results

4.2s	1239×	body	4096	invalid
2.2s	3967×	body	1024	valid
2.1s	1103×	body	2048	invalid
972.0ms	986×	body	2048	valid
885.0ms	459×	body	4096	valid
540.0ms	1312×	body	512	valid
407.0ms	696×	body	1024	invalid
180.0ms	455×	body	512	invalid
153.0ms	1097×	body	128	invalid
130.0ms	486×	body	256	valid
114.0ms	790×	body	128	valid
83.0ms	289×	body	256	invalid

Compiler

Compiled 6373 to 4655 computations (27% saved)

Details

analyze2.5s (5.3%)

sample414.0ms (0.9%)

simplify238.0ms (0.5%)

prune15.0ms (0%)

localize20.0ms (0%)

rewrite671.0ms (1.4%)

series2.9s (6.1%)

simplify1.2s (2.5%)

prune900.0ms (1.9%)

localize16.0ms (0%)

rewrite916.0ms (1.9%)

series2.7s (5.7%)

simplify2.0s (4.1%)

prune2.3s (4.8%)

localize15.0ms (0%)

rewrite445.0ms (0.9%)

series1.6s (3.4%)

simplify1.8s (3.7%)

prune1.2s (2.6%)

localize14.0ms (0%)

rewrite326.0ms (0.7%)

series1.5s (3.2%)

simplify1.2s (2.5%)

prune1.1s (2.4%)

regimes3.6s (7.5%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample18.2s (37.9%)

Profiling