Details

analyze726.0ms (3.9%)

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%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	74.9%	25.1%	8
6.2%	68.6%	25.1%	9
7.8%	67.1%	25.1%	10
10.1%	64.7%	25.1%	11
14.8%	47.6%	37.6%	12
15.8%	36.8%	47.4%	13
16.6%	35.1%	48.3%	14

Compiler

Compiled 18 to 17 computations (5.6% saved)

sample62.0ms (0.3%)

Algorithm

1×

intervals

Results

14.0ms	256×	body	128	valid
12.0ms	139×	body	128	nan
11.0ms	216×	body	128	invalid

Compiler

Compiled 35 to 37 computations (-5.7% saved)

simplify355.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

995×	`exp-prod_binary64_33207`
351×	`distribute-lft-neg-in_binary64_33112`
345×	`distribute-rgt-neg-in_binary64_33113`
341×	`associate-l_binary64_33096`
238×	`associate-r_binary64_33095`
234×	`distribute-rgt-in_binary64_33105`
233×	`*-commutative_binary64_33086`
210×	`distribute-rgt-neg-out_binary64_33115`
206×	`unswap-sqr_binary64_33123`
191×	`distribute-lft-neg-out_binary64_33114`
180×	`distribute-lft-in_binary64_33104`
169×	`swap-sqr_binary64_33122`
147×	`unsub-neg_binary64_33149`
140×	`neg-sub0_binary64_33150`
126×	`neg-mul-1_binary64_33151`
111×	`distribute-neg-out_binary64_33117`
104×	`distribute-rgt1-in_binary64_33111`
79×	`distribute-neg-in_binary64_33116`
78×	`pow-plus_binary64_33218`
75×	`associate-+l-_binary64_33090`
59×	`+-commutative_binary64_33085`
51×	`cancel-sign-sub-inv_binary64_33121`
48×	`distribute-rgt-out_binary64_33108`
46×	`sub-neg_binary64_33148`
39×	`associate-+l+_binary64_33088`
33×	`associate-/l/_binary64_33102`
32×	`associate-/l*_binary64_33100`
31×	`sqr-pow_binary64_33127`
28×	`distribute-lft-out_binary64_33106`
22×	`associate-+r+_binary64_33087`
21×	`exp-lft-sqr_binary64_33210` `pow-sqr_binary64_33128`
20×	`associate--r+_binary64_33091`
18×	`mul0-lft_binary64_33137`
16×	`mul0-rgt_binary64_33138`
15×	`associate-*r/_binary64_33097` `associate--l-_binary64_33093`
14×	`distribute-lft1-in_binary64_33110`
12×	`remove-double-neg_binary64_33143`
11×	`associate-+r-_binary64_33089`
10×	`exp-sqrt_binary64_33208` `sub0-neg_binary64_33142` `count-2_binary64_33103`
9×	`times-frac_binary64_33161` `distribute-rgt-out--_binary64_33109` `associate-*l/_binary64_33098`
8×	`distribute-lft-out--_binary64_33107` `associate-/r/_binary64_33101`
7×	`cube-unmult_binary64_33192`
6×	`rem-sqrt-square_binary64_33168` `mul-1-neg_binary64_33147` `--rgt-identity_binary64_33141`
3×	`/-rgt-identity_binary64_33146` `+-rgt-identity_binary64_33140` `cancel-sign-sub_binary64_33120`
2×	`unpow3_binary64_33221` `associate--r-_binary64_33094` `associate--l+_binary64_33092`
1×	`prod-exp_binary64_33204` `exp-diff_binary64_33203` `exp-sum_binary64_33201` `1-exp_binary64_33199` `cube-prod_binary64_33183` `rem-square-sqrt_binary64_33167` `-rgt-identity_binary64_33145` `-lft-identity_binary64_33144` `*-inverses_binary64_33135`
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_33418` `erf-erfc_binary64_33417` `erf-odd_binary64_33416` `if-if-and-not_binary64_33415` `if-if-and_binary64_33414` `if-if-or-not_binary64_33413` `if-if-or_binary64_33412` `if-not_binary64_33411` `if-same_binary64_33410` `if-false_binary64_33409` `if-true_binary64_33408` `not-gte_binary64_33407` `not-lte_binary64_33406` `not-gt_binary64_33405` `not-lt_binary64_33404` `gte-same_binary64_33403` `lte-same_binary64_33402` `gt-same_binary64_33401` `lt-same_binary64_33400` `sinh---cosh_binary64_33347` `sinh-+-cosh_binary64_33346` `sinh-cosh_binary64_33345` `tanh-def-c_binary64_33344` `tanh-def-b_binary64_33343` `tanh-def-a_binary64_33342` `cosh-def_binary64_33341` `sinh-def_binary64_33340` `tan-neg_binary64_33287` `cos-neg_binary64_33286` `sin-neg_binary64_33285` `tan-0_binary64_33284` `cos-0_binary64_33283` `sin-0_binary64_33282` `hang-m-tan_binary64_33281` `hang-p-tan_binary64_33280` `hang-m0-tan_binary64_33279` `hang-p0-tan_binary64_33278` `hang-0m-tan_binary64_33277` `hang-0p-tan_binary64_33276` `tan-+PI/2_binary64_33275` `tan-+PI_binary64_33274` `tan-PI_binary64_33273` `tan-PI/3_binary64_33272` `tan-PI/4_binary64_33271` `tan-PI/6_binary64_33270` `cos-+PI/2_binary64_33269` `cos-+PI_binary64_33268` `cos-PI_binary64_33267` `cos-PI/2_binary64_33266` `cos-PI/3_binary64_33265` `cos-PI/4_binary64_33264` `cos-PI/6_binary64_33263` `sin-+PI/2_binary64_33262` `sin-+PI_binary64_33261` `sin-PI_binary64_33260` `sin-PI/2_binary64_33259` `sin-PI/3_binary64_33258` `sin-PI/4_binary64_33257` `sin-PI/6_binary64_33256` `sub-1-sin_binary64_33255` `sub-1-cos_binary64_33254` `-1-add-sin_binary64_33253` `-1-add-cos_binary64_33252` `1-sub-sin_binary64_33251` `1-sub-cos_binary64_33250` `cos-sin-sum_binary64_33249` `log-E_binary64_33245` `log-pow_binary64_33244` `log-rec_binary64_33243` `log-div_binary64_33242` `log-prod_binary64_33241` `pow-base-0_binary64_33239` `unpow1/3_binary64_33222` `unpow2_binary64_33220` `unpow1/2_binary64_33219` `exp-to-pow_binary64_33217` `pow-base-1_binary64_33215` `unpow0_binary64_33214` `unpow1_binary64_33213` `unpow-1_binary64_33212` `exp-lft-cube_binary64_33211` `exp-cbrt_binary64_33209` `div-exp_binary64_33206` `rec-exp_binary64_33205` `exp-neg_binary64_33202` `e-exp-1_binary64_33200` `exp-1-e_binary64_33198` `exp-0_binary64_33197` `rem-log-exp_binary64_33196` `rem-exp-log_binary64_33195` `cube-mult_binary64_33185` `cube-div_binary64_33184` `cube-neg_binary64_33182` `rem-3cbrt-rft_binary64_33181` `rem-3cbrt-lft_binary64_33180` `rem-cbrt-cube_binary64_33179` `rem-cube-cbrt_binary64_33178` `sqr-abs_binary64_33170` `sqr-neg_binary64_33169` `div-sub_binary64_33160` `+-lft-identity_binary64_33139` `div0_binary64_33136` `+-inverses_binary64_33134` `lft-mult-inverse_binary64_33133` `rgt-mult-inverse_binary64_33132` `remove-double-div_binary64_33131` `difference-of-sqr--1_binary64_33126` `difference-of-sqr-1_binary64_33125` `difference-of-squares_binary64_33124` `distribute-neg-frac_binary64_33119` `distribute-frac-neg_binary64_33118` `associate-/r*_binary64_33099`

Counts

1 → 6

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	25
1	28	25
2	49	25
3	101	25
4	198	25
5	396	25
6	1222	25
7	1919	25
8	4250	25

prune11.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.3b

Counts

7 → 2

Compiler

Compiled 128 to 90 computations (29.7% saved)

localize18.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))) (sqrt.f64 (pow.f64 (exp.f64 t) t)))
0.0b	(pow.f64 (exp.f64 t) t)
0.3b	(.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (*.f64 z 2)))

rewrite130.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

14×	`associate-r_binary64_33095`
13×	`add-sqr-sqrt_binary64_33177`
11×	`pow1_binary64_33216` `add-cube-cbrt_binary64_33190` `*-un-lft-identity_binary64_33155`
10×	`add-exp-log_binary64_33193` `add-cbrt-cube_binary64_33191`
8×	`sqrt-prod_binary64_33171`
6×	`associate-*l/_binary64_33098` `unpow-prod-down_binary64_33234`
4×	`pow-prod-down_binary64_33226` `prod-exp_binary64_33204` `cbrt-unprod_binary64_33188` `associate-l_binary64_33096` `pow-pow_binary64_33227`
3×	`add-log-exp_binary64_33194` `pow-unpow_binary64_33232` `exp-prod_binary64_33207`
2×	`flip3--_binary64_33159` `flip--_binary64_33130` `*-commutative_binary64_33086` `sqr-pow_binary64_33127`
1×	`unswap-sqr_binary64_33123` `pow-to-exp_binary64_33224` `pow-exp_binary64_33223`

Counts

3 → 68

Calls

3 calls:

13.0ms	(.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))) (sqrt.f64 (pow.f64 (exp.f64 t) t)))
10.0ms	(.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (*.f64 z 2)))
3.0ms	(pow.f64 (exp.f64 t) t)

Compiler

Compiled 1681 to 939 computations (44.1% saved)

series1.5s (8.3%)

Error

0.2b

Counts

3 → 42

Calls

3 calls:

1.1s	(.f64 (.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (.f64 z 2))) (sqrt.f64 (pow.f64 (exp.f64 t) t)))
367.0ms	(.f64 (-.f64 (.f64 x 1/2) y) (sqrt.f64 (*.f64 z 2)))
48.0ms	(pow.f64 (exp.f64 t) t)

Compiler

Compiled 2812 to 1976 computations (29.7% saved)

simplify373.0ms (2%)

Algorithm

1×	egg-herbie

Rules

316×	`associate-l_binary64_33096`
300×	`associate-r_binary64_33095`
280×	`distribute-rgt-in_binary64_33105`
274×	`distribute-lft-in_binary64_33104`
257×	`cancel-sign-sub-inv_binary64_33121`
147×	`associate--r+_binary64_33091`
144×	`associate-+l+_binary64_33088`
142×	`*-commutative_binary64_33086`
135×	`associate--l+_binary64_33092`
94×	`associate-+r+_binary64_33087`
92×	`distribute-rgt-neg-in_binary64_33113` `+-commutative_binary64_33085`
81×	`sub-neg_binary64_33148`
78×	`sqr-pow_binary64_33127`
76×	`distribute-rgt-out_binary64_33108`
74×	`distribute-lft-neg-in_binary64_33112`
70×	`exp-prod_binary64_33207`
61×	`associate-*l/_binary64_33098`
58×	`associate-*r/_binary64_33097`
52×	`distribute-lft-out_binary64_33106`
47×	`log-prod_binary64_33241`
40×	`unswap-sqr_binary64_33123`
37×	`pow-sqr_binary64_33128`
32×	`neg-sub0_binary64_33150`
31×	`*-lft-identity_binary64_33144` `distribute-lft-neg-out_binary64_33114`
30×	`neg-mul-1_binary64_33151` `distribute-neg-in_binary64_33116`
28×	`associate-+l-_binary64_33090`
25×	`associate-+r-_binary64_33089`
23×	`*-rgt-identity_binary64_33145`
22×	`log-pow_binary64_33244`
21×	`exp-sqrt_binary64_33208` `distribute-lft-out--_binary64_33107`
20×	`swap-sqr_binary64_33122`
17×	`distribute-rgt-out--_binary64_33109`
16×	`cube-prod_binary64_33183` `distribute-rgt-neg-out_binary64_33115`
14×	`log-div_binary64_33242`
13×	`unsub-neg_binary64_33149` `associate-/l/_binary64_33102`
12×	`pow-plus_binary64_33218`
10×	`associate-/l*_binary64_33100`
9×	`unpow3_binary64_33221` `exp-sum_binary64_33201` `cube-unmult_binary64_33192` `rem-sqrt-square_binary64_33168`
6×	`exp-to-pow_binary64_33217` `distribute-rgt1-in_binary64_33111`
5×	`associate-/r/_binary64_33101` `associate--l-_binary64_33093`
4×	`pow-base-1_binary64_33215` `prod-exp_binary64_33204` `cube-mult_binary64_33185` `count-2_binary64_33103`
3×	`difference-of-squares_binary64_33124` `distribute-lft1-in_binary64_33110`
2×	`unpow1_binary64_33213` `exp-diff_binary64_33203` `rem-log-exp_binary64_33196` `rem-square-sqrt_binary64_33167` `times-frac_binary64_33161` `mul-1-neg_binary64_33147`
1×	`log-E_binary64_33245` `unpow2_binary64_33220` `unpow1/2_binary64_33219` `exp-lft-sqr_binary64_33210` `1-exp_binary64_33199` `exp-1-e_binary64_33198` `/-rgt-identity_binary64_33146` `-inverses_binary64_33135` `rgt-mult-inverse_binary64_33132` `associate-/r_binary64_33099`
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_33418` `erf-erfc_binary64_33417` `erf-odd_binary64_33416` `if-if-and-not_binary64_33415` `if-if-and_binary64_33414` `if-if-or-not_binary64_33413` `if-if-or_binary64_33412` `if-not_binary64_33411` `if-same_binary64_33410` `if-false_binary64_33409` `if-true_binary64_33408` `not-gte_binary64_33407` `not-lte_binary64_33406` `not-gt_binary64_33405` `not-lt_binary64_33404` `gte-same_binary64_33403` `lte-same_binary64_33402` `gt-same_binary64_33401` `lt-same_binary64_33400` `sinh---cosh_binary64_33347` `sinh-+-cosh_binary64_33346` `sinh-cosh_binary64_33345` `tanh-def-c_binary64_33344` `tanh-def-b_binary64_33343` `tanh-def-a_binary64_33342` `cosh-def_binary64_33341` `sinh-def_binary64_33340` `tan-neg_binary64_33287` `cos-neg_binary64_33286` `sin-neg_binary64_33285` `tan-0_binary64_33284` `cos-0_binary64_33283` `sin-0_binary64_33282` `hang-m-tan_binary64_33281` `hang-p-tan_binary64_33280` `hang-m0-tan_binary64_33279` `hang-p0-tan_binary64_33278` `hang-0m-tan_binary64_33277` `hang-0p-tan_binary64_33276` `tan-+PI/2_binary64_33275` `tan-+PI_binary64_33274` `tan-PI_binary64_33273` `tan-PI/3_binary64_33272` `tan-PI/4_binary64_33271` `tan-PI/6_binary64_33270` `cos-+PI/2_binary64_33269` `cos-+PI_binary64_33268` `cos-PI_binary64_33267` `cos-PI/2_binary64_33266` `cos-PI/3_binary64_33265` `cos-PI/4_binary64_33264` `cos-PI/6_binary64_33263` `sin-+PI/2_binary64_33262` `sin-+PI_binary64_33261` `sin-PI_binary64_33260` `sin-PI/2_binary64_33259` `sin-PI/3_binary64_33258` `sin-PI/4_binary64_33257` `sin-PI/6_binary64_33256` `sub-1-sin_binary64_33255` `sub-1-cos_binary64_33254` `-1-add-sin_binary64_33253` `-1-add-cos_binary64_33252` `1-sub-sin_binary64_33251` `1-sub-cos_binary64_33250` `cos-sin-sum_binary64_33249` `log-rec_binary64_33243` `pow-base-0_binary64_33239` `unpow1/3_binary64_33222` `unpow0_binary64_33214` `unpow-1_binary64_33212` `exp-lft-cube_binary64_33211` `exp-cbrt_binary64_33209` `div-exp_binary64_33206` `rec-exp_binary64_33205` `exp-neg_binary64_33202` `e-exp-1_binary64_33200` `exp-0_binary64_33197` `rem-exp-log_binary64_33195` `cube-div_binary64_33184` `cube-neg_binary64_33182` `rem-3cbrt-rft_binary64_33181` `rem-3cbrt-lft_binary64_33180` `rem-cbrt-cube_binary64_33179` `rem-cube-cbrt_binary64_33178` `sqr-abs_binary64_33170` `sqr-neg_binary64_33169` `div-sub_binary64_33160` `remove-double-neg_binary64_33143` `sub0-neg_binary64_33142` `--rgt-identity_binary64_33141` `+-rgt-identity_binary64_33140` `+-lft-identity_binary64_33139` `mul0-rgt_binary64_33138` `mul0-lft_binary64_33137` `div0_binary64_33136` `+-inverses_binary64_33134` `lft-mult-inverse_binary64_33133` `remove-double-div_binary64_33131` `difference-of-sqr--1_binary64_33126` `difference-of-sqr-1_binary64_33125` `cancel-sign-sub_binary64_33120` `distribute-neg-frac_binary64_33119` `distribute-frac-neg_binary64_33118` `distribute-neg-out_binary64_33117` `associate--r-_binary64_33094`

Counts

110 → 218

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	211	2758
1	549	2424
2	1948	2214
3	4881	2214

prune338.0ms (1.8%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	210	8	218
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	211	9	220

Error

0.0b

Counts

220 → 9

Compiler

Compiled 5508 to 3031 computations (45% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(pow.f64 (exp.f64 t) t)
0.0b	(.f64 (.f64 (.f64 (sqrt.f64 z) (-.f64 (.f64 1/2 x) y)) (sqrt.f64 2)) (sqrt.f64 (pow.f64 (exp.f64 t) t)))
0.3b	(.f64 (sqrt.f64 z) (-.f64 (.f64 1/2 x) y))
0.5b	(.f64 (.f64 (sqrt.f64 z) (-.f64 (*.f64 1/2 x) y)) (sqrt.f64 2))

rewrite214.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

21×	`pow1_binary64_33216` `add-sqr-sqrt_binary64_33177`
20×	`add-exp-log_binary64_33193` `add-cbrt-cube_binary64_33191`
19×	`associate-r_binary64_33095`
17×	`add-cube-cbrt_binary64_33190` `*-un-lft-identity_binary64_33155`
14×	`sqrt-prod_binary64_33171`
10×	`pow-prod-down_binary64_33226` `prod-exp_binary64_33204` `cbrt-unprod_binary64_33188`
8×	`associate-l_binary64_33096`
6×	`associate-r/_binary64_33097` `associate-l/_binary64_33098` `cancel-sign-sub-inv_binary64_33121` `unpow-prod-down_binary64_33234`
4×	`add-log-exp_binary64_33194` `distribute-rgt-in_binary64_33105` `distribute-lft-in_binary64_33104` `pow-pow_binary64_33227`
3×	`flip3--_binary64_33159` `flip--_binary64_33130` `*-commutative_binary64_33086` `pow-unpow_binary64_33232` `exp-prod_binary64_33207`
2×	`unswap-sqr_binary64_33123` `sub-neg_binary64_33148` `sqr-pow_binary64_33127`
1×	`pow-to-exp_binary64_33224` `pow-exp_binary64_33223`

Counts

4 → 105

Calls

4 calls:

15.0ms	(.f64 (.f64 (.f64 (sqrt.f64 z) (-.f64 (.f64 1/2 x) y)) (sqrt.f64 2)) (sqrt.f64 (pow.f64 (exp.f64 t) t)))
11.0ms	(.f64 (.f64 (sqrt.f64 z) (-.f64 (*.f64 1/2 x) y)) (sqrt.f64 2))
9.0ms	(.f64 (sqrt.f64 z) (-.f64 (.f64 1/2 x) y))
7.0ms	(pow.f64 (exp.f64 t) t)

Compiler

Compiled 2696 to 1405 computations (47.9% saved)

series1.8s (9.5%)

Error

0.0b

Counts

4 → 57

Calls

4 calls:

1.0s	(.f64 (.f64 (.f64 (sqrt.f64 z) (-.f64 (.f64 1/2 x) y)) (sqrt.f64 2)) (sqrt.f64 (pow.f64 (exp.f64 t) t)))
363.0ms	(.f64 (.f64 (sqrt.f64 z) (-.f64 (*.f64 1/2 x) y)) (sqrt.f64 2))
237.0ms	(.f64 (sqrt.f64 z) (-.f64 (.f64 1/2 x) y))
55.0ms	(pow.f64 (exp.f64 t) t)

Compiler

Compiled 3642 to 2577 computations (29.2% saved)

simplify546.0ms (3%)

Algorithm

1×	egg-herbie

Rules

537×	`associate-l_binary64_33096`
449×	`associate-r_binary64_33095`
440×	`distribute-rgt-in_binary64_33105`
434×	`distribute-lft-in_binary64_33104`
292×	`cancel-sign-sub-inv_binary64_33121`
190×	`*-commutative_binary64_33086`
109×	`distribute-rgt-neg-in_binary64_33113`
96×	`distribute-rgt-out_binary64_33108`
88×	`sqr-pow_binary64_33127`
87×	`sub-neg_binary64_33148`
85×	`distribute-lft-neg-in_binary64_33112`
67×	`unswap-sqr_binary64_33123`
58×	`exp-prod_binary64_33207`
56×	`log-prod_binary64_33241` `distribute-lft-neg-out_binary64_33114`
54×	`*-lft-identity_binary64_33144`
48×	`distribute-lft-out_binary64_33106`
45×	`*-rgt-identity_binary64_33145` `swap-sqr_binary64_33122` `+-commutative_binary64_33085`
43×	`times-frac_binary64_33161`
41×	`neg-sub0_binary64_33150`
39×	`cube-prod_binary64_33183`
38×	`pow-sqr_binary64_33128` `distribute-rgt-neg-out_binary64_33115`
36×	`neg-mul-1_binary64_33151`
33×	`associate-+l+_binary64_33088`
30×	`distribute-neg-in_binary64_33116`
29×	`associate-+r+_binary64_33087`
21×	`distribute-rgt-out--_binary64_33109` `associate--l+_binary64_33092` `associate--r+_binary64_33091`
20×	`distribute-lft-out--_binary64_33107`
17×	`rem-sqrt-square_binary64_33168`
15×	`unsub-neg_binary64_33149`
12×	`cube-unmult_binary64_33192`
11×	`log-pow_binary64_33244`
9×	`exp-sum_binary64_33201` `associate-/r*_binary64_33099`
6×	`distribute-rgt1-in_binary64_33111`
5×	`associate-/l*_binary64_33100`
4×	`unpow3_binary64_33221` `pow-plus_binary64_33218` `prod-exp_binary64_33204` `cube-mult_binary64_33185` `rem-square-sqrt_binary64_33167`
3×	`log-div_binary64_33242` `pow-base-1_binary64_33215` `exp-diff_binary64_33203` `mul-1-neg_binary64_33147` `difference-of-squares_binary64_33124` `distribute-neg-frac_binary64_33119` `distribute-lft1-in_binary64_33110`
2×	`exp-to-pow_binary64_33217` `unpow1_binary64_33213` `rem-log-exp_binary64_33196` `div-sub_binary64_33160` `*-inverses_binary64_33135`
1×	`unpow2_binary64_33220` `exp-sqrt_binary64_33208` `1-exp_binary64_33199` `exp-1-e_binary64_33198` `rem-3cbrt-lft_binary64_33180` `/-rgt-identity_binary64_33146` `+-rgt-identity_binary64_33140` `rgt-mult-inverse_binary64_33132` `associate-/l/_binary64_33102` `associate-+r-_binary64_33089`
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_33418` `erf-erfc_binary64_33417` `erf-odd_binary64_33416` `if-if-and-not_binary64_33415` `if-if-and_binary64_33414` `if-if-or-not_binary64_33413` `if-if-or_binary64_33412` `if-not_binary64_33411` `if-same_binary64_33410` `if-false_binary64_33409` `if-true_binary64_33408` `not-gte_binary64_33407` `not-lte_binary64_33406` `not-gt_binary64_33405` `not-lt_binary64_33404` `gte-same_binary64_33403` `lte-same_binary64_33402` `gt-same_binary64_33401` `lt-same_binary64_33400` `sinh---cosh_binary64_33347` `sinh-+-cosh_binary64_33346` `sinh-cosh_binary64_33345` `tanh-def-c_binary64_33344` `tanh-def-b_binary64_33343` `tanh-def-a_binary64_33342` `cosh-def_binary64_33341` `sinh-def_binary64_33340` `tan-neg_binary64_33287` `cos-neg_binary64_33286` `sin-neg_binary64_33285` `tan-0_binary64_33284` `cos-0_binary64_33283` `sin-0_binary64_33282` `hang-m-tan_binary64_33281` `hang-p-tan_binary64_33280` `hang-m0-tan_binary64_33279` `hang-p0-tan_binary64_33278` `hang-0m-tan_binary64_33277` `hang-0p-tan_binary64_33276` `tan-+PI/2_binary64_33275` `tan-+PI_binary64_33274` `tan-PI_binary64_33273` `tan-PI/3_binary64_33272` `tan-PI/4_binary64_33271` `tan-PI/6_binary64_33270` `cos-+PI/2_binary64_33269` `cos-+PI_binary64_33268` `cos-PI_binary64_33267` `cos-PI/2_binary64_33266` `cos-PI/3_binary64_33265` `cos-PI/4_binary64_33264` `cos-PI/6_binary64_33263` `sin-+PI/2_binary64_33262` `sin-+PI_binary64_33261` `sin-PI_binary64_33260` `sin-PI/2_binary64_33259` `sin-PI/3_binary64_33258` `sin-PI/4_binary64_33257` `sin-PI/6_binary64_33256` `sub-1-sin_binary64_33255` `sub-1-cos_binary64_33254` `-1-add-sin_binary64_33253` `-1-add-cos_binary64_33252` `1-sub-sin_binary64_33251` `1-sub-cos_binary64_33250` `cos-sin-sum_binary64_33249` `log-E_binary64_33245` `log-rec_binary64_33243` `pow-base-0_binary64_33239` `unpow1/3_binary64_33222` `unpow1/2_binary64_33219` `unpow0_binary64_33214` `unpow-1_binary64_33212` `exp-lft-cube_binary64_33211` `exp-lft-sqr_binary64_33210` `exp-cbrt_binary64_33209` `div-exp_binary64_33206` `rec-exp_binary64_33205` `exp-neg_binary64_33202` `e-exp-1_binary64_33200` `exp-0_binary64_33197` `rem-exp-log_binary64_33195` `cube-div_binary64_33184` `cube-neg_binary64_33182` `rem-3cbrt-rft_binary64_33181` `rem-cbrt-cube_binary64_33179` `rem-cube-cbrt_binary64_33178` `sqr-abs_binary64_33170` `sqr-neg_binary64_33169` `remove-double-neg_binary64_33143` `sub0-neg_binary64_33142` `--rgt-identity_binary64_33141` `+-lft-identity_binary64_33139` `mul0-rgt_binary64_33138` `mul0-lft_binary64_33137` `div0_binary64_33136` `+-inverses_binary64_33134` `lft-mult-inverse_binary64_33133` `remove-double-div_binary64_33131` `difference-of-sqr--1_binary64_33126` `difference-of-sqr-1_binary64_33125` `cancel-sign-sub_binary64_33120` `distribute-frac-neg_binary64_33118` `distribute-neg-out_binary64_33117` `count-2_binary64_33103` `associate-/r/_binary64_33101` `associate-l/_binary64_33098` `associate-r/_binary64_33097` `associate--r-_binary64_33094` `associate--l-_binary64_33093` `associate-+l-_binary64_33090`

Counts

162 → 318

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	265	3823
1	695	3334
2	2678	3091

prune466.0ms (2.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	313	5	318
Fresh	5	2	7
Picked	1	0	1
Done	0	1	1
Total	319	8	327

Error

0.0b

Counts

327 → 8

Compiler

Compiled 7910 to 4076 computations (48.5% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (.f64 1/2 (.f64 x (sqrt.f64 z))) (*.f64 y (sqrt.f64 z)))
0.2b	(*.f64 x (sqrt.f64 z))
0.2b	(*.f64 y (sqrt.f64 z))
0.5b	(.f64 (-.f64 (.f64 1/2 (.f64 x (sqrt.f64 z))) (.f64 y (sqrt.f64 z))) (sqrt.f64 2))

rewrite156.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

25×	`add-sqr-sqrt_binary64_33177`
18×	`associate-r_binary64_33095`
13×	`add-cube-cbrt_binary64_33190` `*-un-lft-identity_binary64_33155`
12×	`sqrt-prod_binary64_33171`
10×	`pow1_binary64_33216` `add-exp-log_binary64_33193` `add-cbrt-cube_binary64_33191`
9×	`associate-l_binary64_33096`
6×	`add-log-exp_binary64_33194` `unswap-sqr_binary64_33123`
3×	`pow-prod-down_binary64_33226` `prod-exp_binary64_33204` `cbrt-unprod_binary64_33188` `*-commutative_binary64_33086`
2×	`flip3--_binary64_33159` `associate-*l/_binary64_33098` `flip--_binary64_33130`
1×	`diff-log_binary64_33247` `sub-neg_binary64_33148` `cancel-sign-sub-inv_binary64_33121`

Counts

4 → 80

Calls

4 calls:

10.0ms	(.f64 (-.f64 (.f64 1/2 (.f64 x (sqrt.f64 z))) (.f64 y (sqrt.f64 z))) (sqrt.f64 2))
8.0ms	(*.f64 y (sqrt.f64 z))
6.0ms	(-.f64 (.f64 1/2 (.f64 x (sqrt.f64 z))) (*.f64 y (sqrt.f64 z)))
5.0ms	(*.f64 x (sqrt.f64 z))

Compiler

Compiled 2281 to 905 computations (60.3% saved)

series933.0ms (5%)

Error

0.0b

Counts

4 → 42

Calls

4 calls:

415.0ms	(.f64 (-.f64 (.f64 1/2 (.f64 x (sqrt.f64 z))) (.f64 y (sqrt.f64 z))) (sqrt.f64 2))
308.0ms	(-.f64 (.f64 1/2 (.f64 x (sqrt.f64 z))) (*.f64 y (sqrt.f64 z)))
83.0ms	(*.f64 y (sqrt.f64 z))
83.0ms	(*.f64 x (sqrt.f64 z))

Compiler

Compiled 2401 to 1761 computations (26.7% saved)

simplify237.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

344×	`unsub-neg_binary64_33149`
326×	`unswap-sqr_binary64_33123`
291×	`*-commutative_binary64_33086`
268×	`neg-mul-1_binary64_33151`
263×	`neg-sub0_binary64_33150`
214×	`associate-l_binary64_33096`
211×	`sqr-pow_binary64_33127`
196×	`cancel-sign-sub-inv_binary64_33121`
189×	`associate-r_binary64_33095`
157×	`distribute-rgt-neg-in_binary64_33113`
151×	`exp-prod_binary64_33207`
139×	`distribute-rgt-in_binary64_33105` `distribute-lft-in_binary64_33104`
132×	`distribute-lft-neg-in_binary64_33112`
120×	`sub-neg_binary64_33148`
106×	`+-commutative_binary64_33085`
102×	`distribute-rgt-out_binary64_33108`
96×	`pow-sqr_binary64_33128`
90×	`distribute-lft-neg-out_binary64_33114`
83×	`distribute-rgt-neg-out_binary64_33115`
77×	`difference-of-squares_binary64_33124`
75×	`times-frac_binary64_33161`
69×	`*-rgt-identity_binary64_33145`
63×	`*-lft-identity_binary64_33144`
53×	`associate-+r+_binary64_33087`
51×	`exp-sum_binary64_33201` `associate-/l*_binary64_33100`
49×	`associate-/r*_binary64_33099`
45×	`cube-prod_binary64_33183`
44×	`associate-+l+_binary64_33088`
40×	`log-prod_binary64_33241`
38×	`swap-sqr_binary64_33122`
34×	`distribute-rgt-out--_binary64_33109`
30×	`distribute-lft-out_binary64_33106`
27×	`+-rgt-identity_binary64_33140`
23×	`div-sub_binary64_33160`
20×	`associate-/l/_binary64_33102`
19×	`exp-diff_binary64_33203` `associate-+r-_binary64_33089`
18×	`sub0-neg_binary64_33142` `associate-*r/_binary64_33097` `associate-+l-_binary64_33090`
15×	`exp-to-pow_binary64_33217`
14×	`mul0-rgt_binary64_33138` `mul0-lft_binary64_33137`
13×	`rem-sqrt-square_binary64_33168`
10×	`unpow3_binary64_33221`
8×	`/-rgt-identity_binary64_33146`
7×	`pow-plus_binary64_33218` `cube-mult_binary64_33185`
6×	`cube-unmult_binary64_33192` `associate-*l/_binary64_33098`
5×	`log-pow_binary64_33244` `sqr-neg_binary64_33169` `associate-/r/_binary64_33101`
4×	`log-div_binary64_33242` `unpow1/2_binary64_33219`
3×	`pow-base-1_binary64_33215` `cube-div_binary64_33184` `mul-1-neg_binary64_33147`
2×	`div-exp_binary64_33206` `exp-neg_binary64_33202` `rem-square-sqrt_binary64_33167` `--rgt-identity_binary64_33141` `*-inverses_binary64_33135` `distribute-neg-in_binary64_33116` `associate--r+_binary64_33091`
1×	`log-rec_binary64_33243` `prod-exp_binary64_33204` `1-exp_binary64_33199` `exp-1-e_binary64_33198` `rem-log-exp_binary64_33196` `cube-neg_binary64_33182` `remove-double-neg_binary64_33143` `+-lft-identity_binary64_33139` `div0_binary64_33136` `rgt-mult-inverse_binary64_33132` `count-2_binary64_33103`
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_33418` `erf-erfc_binary64_33417` `erf-odd_binary64_33416` `if-if-and-not_binary64_33415` `if-if-and_binary64_33414` `if-if-or-not_binary64_33413` `if-if-or_binary64_33412` `if-not_binary64_33411` `if-same_binary64_33410` `if-false_binary64_33409` `if-true_binary64_33408` `not-gte_binary64_33407` `not-lte_binary64_33406` `not-gt_binary64_33405` `not-lt_binary64_33404` `gte-same_binary64_33403` `lte-same_binary64_33402` `gt-same_binary64_33401` `lt-same_binary64_33400` `sinh---cosh_binary64_33347` `sinh-+-cosh_binary64_33346` `sinh-cosh_binary64_33345` `tanh-def-c_binary64_33344` `tanh-def-b_binary64_33343` `tanh-def-a_binary64_33342` `cosh-def_binary64_33341` `sinh-def_binary64_33340` `tan-neg_binary64_33287` `cos-neg_binary64_33286` `sin-neg_binary64_33285` `tan-0_binary64_33284` `cos-0_binary64_33283` `sin-0_binary64_33282` `hang-m-tan_binary64_33281` `hang-p-tan_binary64_33280` `hang-m0-tan_binary64_33279` `hang-p0-tan_binary64_33278` `hang-0m-tan_binary64_33277` `hang-0p-tan_binary64_33276` `tan-+PI/2_binary64_33275` `tan-+PI_binary64_33274` `tan-PI_binary64_33273` `tan-PI/3_binary64_33272` `tan-PI/4_binary64_33271` `tan-PI/6_binary64_33270` `cos-+PI/2_binary64_33269` `cos-+PI_binary64_33268` `cos-PI_binary64_33267` `cos-PI/2_binary64_33266` `cos-PI/3_binary64_33265` `cos-PI/4_binary64_33264` `cos-PI/6_binary64_33263` `sin-+PI/2_binary64_33262` `sin-+PI_binary64_33261` `sin-PI_binary64_33260` `sin-PI/2_binary64_33259` `sin-PI/3_binary64_33258` `sin-PI/4_binary64_33257` `sin-PI/6_binary64_33256` `sub-1-sin_binary64_33255` `sub-1-cos_binary64_33254` `-1-add-sin_binary64_33253` `-1-add-cos_binary64_33252` `1-sub-sin_binary64_33251` `1-sub-cos_binary64_33250` `cos-sin-sum_binary64_33249` `log-E_binary64_33245` `pow-base-0_binary64_33239` `unpow1/3_binary64_33222` `unpow2_binary64_33220` `unpow0_binary64_33214` `unpow1_binary64_33213` `unpow-1_binary64_33212` `exp-lft-cube_binary64_33211` `exp-lft-sqr_binary64_33210` `exp-cbrt_binary64_33209` `exp-sqrt_binary64_33208` `rec-exp_binary64_33205` `e-exp-1_binary64_33200` `exp-0_binary64_33197` `rem-exp-log_binary64_33195` `rem-3cbrt-rft_binary64_33181` `rem-3cbrt-lft_binary64_33180` `rem-cbrt-cube_binary64_33179` `rem-cube-cbrt_binary64_33178` `sqr-abs_binary64_33170` `+-inverses_binary64_33134` `lft-mult-inverse_binary64_33133` `remove-double-div_binary64_33131` `difference-of-sqr--1_binary64_33126` `difference-of-sqr-1_binary64_33125` `cancel-sign-sub_binary64_33120` `distribute-neg-frac_binary64_33119` `distribute-frac-neg_binary64_33118` `distribute-neg-out_binary64_33117` `distribute-rgt1-in_binary64_33111` `distribute-lft1-in_binary64_33110` `distribute-lft-out--_binary64_33107` `associate--r-_binary64_33094` `associate--l-_binary64_33093` `associate--l+_binary64_33092`

Counts

122 → 264

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	145	2042
1	334	1671
2	1070	1598
3	2049	1598
4	3726	1598

prune431.0ms (2.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	261	3	264
Fresh	2	4	6
Picked	1	0	1
Done	0	1	1
Total	264	8	272

Error

0.0b

Counts

272 → 8

Compiler

Compiled 7505 to 3482 computations (53.6% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 1/2 x) (sqrt.f64 z))
0.2b	(*.f64 (sqrt.f64 z) y)
0.3b	(.f64 (-.f64 (.f64 (.f64 1/2 x) (sqrt.f64 z)) (.f64 (sqrt.f64 z) y)) (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))))
0.3b	(.f64 (.f64 (-.f64 (.f64 (.f64 1/2 x) (sqrt.f64 z)) (.f64 (sqrt.f64 z) y)) (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (cbrt.f64 (sqrt.f64 2)))

rewrite268.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

25×	`pow1_binary64_33216` `add-exp-log_binary64_33193`
19×	`associate-r_binary64_33095`
18×	`add-cbrt-cube_binary64_33191` `add-sqr-sqrt_binary64_33177`
13×	`pow-prod-down_binary64_33226` `prod-exp_binary64_33204` `add-cube-cbrt_binary64_33190` `cbrt-unprod_binary64_33188` `*-un-lft-identity_binary64_33155`
11×	`associate-l_binary64_33096`
10×	`sqrt-prod_binary64_33171`
6×	`associate-*l/_binary64_33098` `cbrt-prod_binary64_33186`
4×	`add-log-exp_binary64_33194` `*-commutative_binary64_33086`
3×	`unswap-sqr_binary64_33123`
2×	`flip3--_binary64_33159` `flip--_binary64_33130`

Counts

4 → 93

Calls

4 calls:

18.0ms	(.f64 (.f64 (-.f64 (.f64 (.f64 1/2 x) (sqrt.f64 z)) (.f64 (sqrt.f64 z) y)) (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (cbrt.f64 (sqrt.f64 2)))
17.0ms	(.f64 (-.f64 (.f64 (.f64 1/2 x) (sqrt.f64 z)) (.f64 (sqrt.f64 z) y)) (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))))
6.0ms	(.f64 (.f64 1/2 x) (sqrt.f64 z))
5.0ms	(*.f64 (sqrt.f64 z) y)

Compiler

Compiled 3622 to 2158 computations (40.4% saved)

series1.7s (9.1%)

Error

0.0b

Counts

4 → 42

Calls

4 calls:

946.0ms	(.f64 (-.f64 (.f64 (.f64 1/2 x) (sqrt.f64 z)) (.f64 (sqrt.f64 z) y)) (*.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2))))
465.0ms	(.f64 (.f64 (-.f64 (.f64 (.f64 1/2 x) (sqrt.f64 z)) (.f64 (sqrt.f64 z) y)) (.f64 (cbrt.f64 (sqrt.f64 2)) (cbrt.f64 (sqrt.f64 2)))) (cbrt.f64 (sqrt.f64 2)))
107.0ms	(.f64 (.f64 1/2 x) (sqrt.f64 z))
98.0ms	(*.f64 (sqrt.f64 z) y)

Compiler

Compiled 3274 to 2657 computations (18.8% saved)

simplify1.2s (6.4%)

Algorithm

1×	egg-herbie

Rules

572×	`associate-*l/_binary64_33098`
421×	`times-frac_binary64_33161`
410×	`associate-l_binary64_33096`
394×	`associate-*r/_binary64_33097`
328×	`associate-r_binary64_33095`
223×	`distribute-rgt-in_binary64_33105` `distribute-lft-in_binary64_33104`
141×	`associate-/r*_binary64_33099`
124×	`distribute-rgt-neg-in_binary64_33113`
119×	`*-commutative_binary64_33086`
112×	`cancel-sign-sub-inv_binary64_33121`
107×	`distribute-lft-neg-in_binary64_33112`
92×	`associate-/l*_binary64_33100`
86×	`exp-prod_binary64_33207`
83×	`log-prod_binary64_33241`
64×	`cube-prod_binary64_33183`
56×	`sqr-pow_binary64_33127`
41×	`swap-sqr_binary64_33122`
39×	`unswap-sqr_binary64_33123`
31×	`-rgt-identity_binary64_33145` `-lft-identity_binary64_33144`
24×	`neg-sub0_binary64_33150`
22×	`neg-mul-1_binary64_33151` `distribute-rgt-out--_binary64_33109`
20×	`sub-neg_binary64_33148` `distribute-lft-neg-out_binary64_33114`
19×	`associate-/l/_binary64_33102`
18×	`pow-sqr_binary64_33128`
17×	`distribute-rgt-out_binary64_33108`
16×	`+-commutative_binary64_33085`
11×	`log-div_binary64_33242` `distribute-rgt-neg-out_binary64_33115`
9×	`cube-unmult_binary64_33192` `cube-div_binary64_33184` `distribute-neg-frac_binary64_33119`
8×	`distribute-lft-out--_binary64_33107`
7×	`unpow3_binary64_33221` `exp-sum_binary64_33201` `associate-+l+_binary64_33088`
6×	`rem-sqrt-square_binary64_33168` `distribute-lft-out_binary64_33106` `associate-+r+_binary64_33087`
5×	`pow-plus_binary64_33218`
4×	`cube-mult_binary64_33185` `associate-/r/_binary64_33101`
3×	`*-inverses_binary64_33135` `difference-of-squares_binary64_33124`
2×	`unpow1/2_binary64_33219` `exp-diff_binary64_33203` `rem-square-sqrt_binary64_33167` `mul-1-neg_binary64_33147`
1×	`log-pow_binary64_33244` `unpow1/3_binary64_33222` `unpow2_binary64_33220` `pow-base-1_binary64_33215` `unpow1_binary64_33213` `exp-sqrt_binary64_33208` `prod-exp_binary64_33204` `1-exp_binary64_33199` `exp-1-e_binary64_33198` `rem-log-exp_binary64_33196` `rem-3cbrt-lft_binary64_33180` `rem-cbrt-cube_binary64_33179` `unsub-neg_binary64_33149` `distribute-lft1-in_binary64_33110` `count-2_binary64_33103`
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_33418` `erf-erfc_binary64_33417` `erf-odd_binary64_33416` `if-if-and-not_binary64_33415` `if-if-and_binary64_33414` `if-if-or-not_binary64_33413` `if-if-or_binary64_33412` `if-not_binary64_33411` `if-same_binary64_33410` `if-false_binary64_33409` `if-true_binary64_33408` `not-gte_binary64_33407` `not-lte_binary64_33406` `not-gt_binary64_33405` `not-lt_binary64_33404` `gte-same_binary64_33403` `lte-same_binary64_33402` `gt-same_binary64_33401` `lt-same_binary64_33400` `sinh---cosh_binary64_33347` `sinh-+-cosh_binary64_33346` `sinh-cosh_binary64_33345` `tanh-def-c_binary64_33344` `tanh-def-b_binary64_33343` `tanh-def-a_binary64_33342` `cosh-def_binary64_33341` `sinh-def_binary64_33340` `tan-neg_binary64_33287` `cos-neg_binary64_33286` `sin-neg_binary64_33285` `tan-0_binary64_33284` `cos-0_binary64_33283` `sin-0_binary64_33282` `hang-m-tan_binary64_33281` `hang-p-tan_binary64_33280` `hang-m0-tan_binary64_33279` `hang-p0-tan_binary64_33278` `hang-0m-tan_binary64_33277` `hang-0p-tan_binary64_33276` `tan-+PI/2_binary64_33275` `tan-+PI_binary64_33274` `tan-PI_binary64_33273` `tan-PI/3_binary64_33272` `tan-PI/4_binary64_33271` `tan-PI/6_binary64_33270` `cos-+PI/2_binary64_33269` `cos-+PI_binary64_33268` `cos-PI_binary64_33267` `cos-PI/2_binary64_33266` `cos-PI/3_binary64_33265` `cos-PI/4_binary64_33264` `cos-PI/6_binary64_33263` `sin-+PI/2_binary64_33262` `sin-+PI_binary64_33261` `sin-PI_binary64_33260` `sin-PI/2_binary64_33259` `sin-PI/3_binary64_33258` `sin-PI/4_binary64_33257` `sin-PI/6_binary64_33256` `sub-1-sin_binary64_33255` `sub-1-cos_binary64_33254` `-1-add-sin_binary64_33253` `-1-add-cos_binary64_33252` `1-sub-sin_binary64_33251` `1-sub-cos_binary64_33250` `cos-sin-sum_binary64_33249` `log-E_binary64_33245` `log-rec_binary64_33243` `pow-base-0_binary64_33239` `exp-to-pow_binary64_33217` `unpow0_binary64_33214` `unpow-1_binary64_33212` `exp-lft-cube_binary64_33211` `exp-lft-sqr_binary64_33210` `exp-cbrt_binary64_33209` `div-exp_binary64_33206` `rec-exp_binary64_33205` `exp-neg_binary64_33202` `e-exp-1_binary64_33200` `exp-0_binary64_33197` `rem-exp-log_binary64_33195` `cube-neg_binary64_33182` `rem-3cbrt-rft_binary64_33181` `rem-cube-cbrt_binary64_33178` `sqr-abs_binary64_33170` `sqr-neg_binary64_33169` `div-sub_binary64_33160` `/-rgt-identity_binary64_33146` `remove-double-neg_binary64_33143` `sub0-neg_binary64_33142` `--rgt-identity_binary64_33141` `+-rgt-identity_binary64_33140` `+-lft-identity_binary64_33139` `mul0-rgt_binary64_33138` `mul0-lft_binary64_33137` `div0_binary64_33136` `+-inverses_binary64_33134` `lft-mult-inverse_binary64_33133` `rgt-mult-inverse_binary64_33132` `remove-double-div_binary64_33131` `difference-of-sqr--1_binary64_33126` `difference-of-sqr-1_binary64_33125` `cancel-sign-sub_binary64_33120` `distribute-frac-neg_binary64_33118` `distribute-neg-out_binary64_33117` `distribute-neg-in_binary64_33116` `distribute-rgt1-in_binary64_33111` `associate--r-_binary64_33094` `associate--l-_binary64_33093` `associate--l+_binary64_33092` `associate--r+_binary64_33091` `associate-+l-_binary64_33090` `associate-+r-_binary64_33089`

Counts

135 → 290

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	186	2990
1	463	2381
2	1778	2009

prune611.0ms (3.3%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	288	2	290
Fresh	2	4	6
Picked	0	1	1
Done	0	1	1
Total	290	8	298

Error

Counts

298 → 8

Compiler

Compiled 9261 to 5446 computations (41.2% saved)

regimes2.6s (14%)

Accuracy

Total 0.3b remaining (94.1%)

Threshold costs 0.3b (94.1%)

Compiler

Compiled 27810 to 24449 computations (12.1% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64_33086`
2×	`sub-neg_binary64_33148` `+-commutative_binary64_33085`
1×	`neg-mul-1_binary64_33151` `neg-sub0_binary64_33150`
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_33415` `if-if-and_binary64_33414` `if-if-or-not_binary64_33413` `if-if-or_binary64_33412` `if-not_binary64_33411` `if-same_binary64_33410` `if-false_binary64_33409` `if-true_binary64_33408` `tan-0_binary64_33284` `cos-0_binary64_33283` `sin-0_binary64_33282` `unpow1_binary64_33213` `e-exp-1_binary64_33200` `1-exp_binary64_33199` `exp-1-e_binary64_33198` `exp-0_binary64_33197` `sqr-abs_binary64_33170` `sqr-neg_binary64_33169` `unsub-neg_binary64_33149` `mul-1-neg_binary64_33147` `/-rgt-identity_binary64_33146` `-rgt-identity_binary64_33145` `-lft-identity_binary64_33144` `remove-double-neg_binary64_33143` `sub0-neg_binary64_33142` `--rgt-identity_binary64_33141` `+-rgt-identity_binary64_33140` `+-lft-identity_binary64_33139` `cancel-sign-sub-inv_binary64_33121` `cancel-sign-sub_binary64_33120` `distribute-neg-frac_binary64_33119` `distribute-frac-neg_binary64_33118` `distribute-neg-out_binary64_33117` `distribute-neg-in_binary64_33116` `distribute-rgt-neg-out_binary64_33115` `distribute-lft-neg-out_binary64_33114` `distribute-rgt-neg-in_binary64_33113` `distribute-lft-neg-in_binary64_33112`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	26
1	22	26
2	27	26
3	29	26
4	30	26

Proof

(* f64 (* f64 (- f64 (* f64 h0 1/2) h1) (sqrt f64 (* f64 h2 2))) (exp f64 (/ f64 (* f64 h3 h3) 2)))

end0.0ms (0%)

sample3.8s (20.8%)

Algorithm

1×

intervals

Results

451.0ms	8000×	body	128	valid
350.0ms	6358×	body	128	invalid
266.0ms	4617×	body	128	nan

Compiler

Compiled 2184 to 1922 computations (12% saved)

Details

analyze726.0ms (3.9%)

sample62.0ms (0.3%)

simplify355.0ms (1.9%)

prune11.0ms (0.1%)

localize18.0ms (0.1%)

rewrite130.0ms (0.7%)

series1.5s (8.3%)

simplify373.0ms (2%)

prune338.0ms (1.8%)

localize15.0ms (0.1%)

rewrite214.0ms (1.2%)

series1.8s (9.5%)

simplify546.0ms (3%)

prune466.0ms (2.5%)

localize15.0ms (0.1%)

rewrite156.0ms (0.8%)

series933.0ms (5%)

simplify237.0ms (1.3%)

prune431.0ms (2.3%)

localize19.0ms (0.1%)

rewrite268.0ms (1.4%)

series1.7s (9.1%)

simplify1.2s (6.4%)

prune611.0ms (3.3%)

regimes2.6s (14%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample3.8s (20.8%)

Profiling