Details

analyze907.0ms (6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	74.8%	25.2%	5
0%	74.8%	25.2%	6
0%	74.8%	25.2%	7
0%	74.8%	25.2%	8
0%	74.8%	25.2%	9
0%	62.3%	37.7%	10
0%	56.1%	43.9%	11
0%	56.1%	43.9%	12
1.6%	54.5%	43.9%	13
2.4%	53.7%	43.9%	14

Compiler

Compiled 17 to 16 computations (5.9% saved)

sample36.0ms (0.2%)

Algorithm

1×

intervals

Results

15.0ms	256×	body	128	valid
2.0ms	38×	body	128	invalid
1.0ms	27×	body	128	nan

Compiler

Compiled 33 to 37 computations (-12.1% saved)

simplify465.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

596×	`exp-prod_binary64_17521`
518×	`sub-neg_binary64_17462`
376×	`cube-prod_binary64_17497`
340×	`distribute-neg-in_binary64_17430`
294×	`neg-mul-1_binary64_17465`
280×	`+-commutative_binary64_17399`
233×	`neg-sub0_binary64_17464`
231×	`associate--l+_binary64_17406`
224×	`unsub-neg_binary64_17463`
212×	`associate-+l-_binary64_17404`
168×	`associate--r+_binary64_17405`
148×	`swap-sqr_binary64_17436`
133×	`cancel-sign-sub-inv_binary64_17435`
127×	`associate-+r+_binary64_17401`
126×	`associate-+l+_binary64_17402`
125×	`*-commutative_binary64_17400`
111×	`distribute-lft-neg-out_binary64_17428`
108×	`associate--r-_binary64_17408`
107×	`associate-+r-_binary64_17403`
101×	`distribute-rgt-in_binary64_17419`
97×	`remove-double-neg_binary64_17457`
96×	`sqr-pow_binary64_17441`
95×	`associate--l-_binary64_17407`
88×	`distribute-rgt-neg-out_binary64_17429`
83×	`distribute-rgt-neg-in_binary64_17427`
80×	`distribute-lft-neg-in_binary64_17426`
79×	`sub0-neg_binary64_17456`
75×	`pow-plus_binary64_17532` `distribute-rgt1-in_binary64_17425`
74×	`associate-r_binary64_17409`
71×	`pow-sqr_binary64_17442`
68×	`exp-sum_binary64_17515`
61×	`exp-diff_binary64_17517`
55×	`distribute-lft-in_binary64_17418`
43×	`distribute-neg-out_binary64_17431` `associate-l_binary64_17410`
41×	`sqr-neg_binary64_17483`
39×	`exp-neg_binary64_17516` `distribute-rgt-out_binary64_17422`
36×	`+-rgt-identity_binary64_17454`
28×	`distribute-rgt-out--_binary64_17423`
23×	`*-rgt-identity_binary64_17459`
20×	`div-sub_binary64_17474`
16×	`--rgt-identity_binary64_17455`
15×	`exp-to-pow_binary64_17531`
14×	`exp-lft-sqr_binary64_17524`
12×	`mul0-rgt_binary64_17452` `mul0-lft_binary64_17451`
11×	`*-lft-identity_binary64_17458`
9×	`distribute-lft-out--_binary64_17421`
6×	`+-lft-identity_binary64_17453` `count-2_binary64_17417`
5×	`+-inverses_binary64_17448` `distribute-lft1-in_binary64_17424` `distribute-lft-out_binary64_17420`
4×	`pow-base-1_binary64_17529` `cube-unmult_binary64_17506` `mul-1-neg_binary64_17461` `associate-*l/_binary64_17412`
1×	`unpow1/2_binary64_17533` `1-exp_binary64_17513` `exp-1-e_binary64_17512` `rem-exp-log_binary64_17509` `div0_binary64_17450` `distribute-neg-frac_binary64_17433`
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_17732` `erf-erfc_binary64_17731` `erf-odd_binary64_17730` `if-if-and-not_binary64_17729` `if-if-and_binary64_17728` `if-if-or-not_binary64_17727` `if-if-or_binary64_17726` `if-not_binary64_17725` `if-same_binary64_17724` `if-false_binary64_17723` `if-true_binary64_17722` `not-gte_binary64_17721` `not-lte_binary64_17720` `not-gt_binary64_17719` `not-lt_binary64_17718` `gte-same_binary64_17717` `lte-same_binary64_17716` `gt-same_binary64_17715` `lt-same_binary64_17714` `sinh---cosh_binary64_17661` `sinh-+-cosh_binary64_17660` `sinh-cosh_binary64_17659` `tanh-def-c_binary64_17658` `tanh-def-b_binary64_17657` `tanh-def-a_binary64_17656` `cosh-def_binary64_17655` `sinh-def_binary64_17654` `tan-neg_binary64_17601` `cos-neg_binary64_17600` `sin-neg_binary64_17599` `tan-0_binary64_17598` `cos-0_binary64_17597` `sin-0_binary64_17596` `hang-m-tan_binary64_17595` `hang-p-tan_binary64_17594` `hang-m0-tan_binary64_17593` `hang-p0-tan_binary64_17592` `hang-0m-tan_binary64_17591` `hang-0p-tan_binary64_17590` `tan-+PI/2_binary64_17589` `tan-+PI_binary64_17588` `tan-PI_binary64_17587` `tan-PI/3_binary64_17586` `tan-PI/4_binary64_17585` `tan-PI/6_binary64_17584` `cos-+PI/2_binary64_17583` `cos-+PI_binary64_17582` `cos-PI_binary64_17581` `cos-PI/2_binary64_17580` `cos-PI/3_binary64_17579` `cos-PI/4_binary64_17578` `cos-PI/6_binary64_17577` `sin-+PI/2_binary64_17576` `sin-+PI_binary64_17575` `sin-PI_binary64_17574` `sin-PI/2_binary64_17573` `sin-PI/3_binary64_17572` `sin-PI/4_binary64_17571` `sin-PI/6_binary64_17570` `sub-1-sin_binary64_17569` `sub-1-cos_binary64_17568` `-1-add-sin_binary64_17567` `-1-add-cos_binary64_17566` `1-sub-sin_binary64_17565` `1-sub-cos_binary64_17564` `cos-sin-sum_binary64_17563` `log-E_binary64_17559` `log-pow_binary64_17558` `log-rec_binary64_17557` `log-div_binary64_17556` `log-prod_binary64_17555` `pow-base-0_binary64_17553` `unpow1/3_binary64_17536` `unpow3_binary64_17535` `unpow2_binary64_17534` `unpow0_binary64_17528` `unpow1_binary64_17527` `unpow-1_binary64_17526` `exp-lft-cube_binary64_17525` `exp-cbrt_binary64_17523` `exp-sqrt_binary64_17522` `div-exp_binary64_17520` `rec-exp_binary64_17519` `prod-exp_binary64_17518` `e-exp-1_binary64_17514` `exp-0_binary64_17511` `rem-log-exp_binary64_17510` `cube-mult_binary64_17499` `cube-div_binary64_17498` `cube-neg_binary64_17496` `rem-3cbrt-rft_binary64_17495` `rem-3cbrt-lft_binary64_17494` `rem-cbrt-cube_binary64_17493` `rem-cube-cbrt_binary64_17492` `sqr-abs_binary64_17484` `rem-sqrt-square_binary64_17482` `rem-square-sqrt_binary64_17481` `times-frac_binary64_17475` `/-rgt-identity_binary64_17460` `-inverses_binary64_17449` `lft-mult-inverse_binary64_17447` `rgt-mult-inverse_binary64_17446` `remove-double-div_binary64_17445` `difference-of-sqr--1_binary64_17440` `difference-of-sqr-1_binary64_17439` `difference-of-squares_binary64_17438` `unswap-sqr_binary64_17437` `cancel-sign-sub_binary64_17434` `distribute-frac-neg_binary64_17432` `associate-/l/_binary64_17416` `associate-/r/_binary64_17415` `associate-/l_binary64_17414` `associate-/r_binary64_17413` `associate-r/_binary64_17411`

Counts

1 → 6

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	24
1	34	24
2	98	24
3	266	24
4	720	24
5	1791	24
6	2521	24
7	3405	24

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.1b

Counts

7 → 2

Compiler

Compiled 128 to 80 computations (37.5% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 1 (log.f64 t))
0.0b	(+.f64 y (+.f64 (.f64 (-.f64 a 1/2) b) (.f64 z (-.f64 1 (log.f64 t)))))
0.0b	(+.f64 (.f64 (-.f64 a 1/2) b) (.f64 z (-.f64 1 (log.f64 t))))
0.3b	(*.f64 z (-.f64 1 (log.f64 t)))

rewrite184.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

22×	`*-un-lft-identity_binary64_17469`
20×	`add-sqr-sqrt_binary64_17491` `cancel-sign-sub-inv_binary64_17435`
13×	`pow1_binary64_17530`
12×	`add-log-exp_binary64_17508` `add-cube-cbrt_binary64_17504`
11×	`associate-+r+_binary64_17401`
10×	`distribute-rgt-in_binary64_17419` `distribute-lft-in_binary64_17418`
7×	`log-pow_binary64_17558` `associate-r_binary64_17409`
6×	`add-exp-log_binary64_17507` `add-cbrt-cube_binary64_17505` `flip3--_binary64_17473` `associate-*r/_binary64_17411` `flip--_binary64_17444`
5×	`sub-neg_binary64_17462`
4×	`difference-of-squares_binary64_17438` `distribute-lft-out--_binary64_17421` `sum-log_binary64_17560` `associate-*l/_binary64_17412` `frac-add_binary64_17477`
3×	`associate-l_binary64_17410` `log-prod_binary64_17555` `associate--r+_binary64_17405`
2×	`flip3-+_binary64_17472` `flip-+_binary64_17443` `+-commutative_binary64_17399`
1×	`pow-prod-down_binary64_17540` `prod-exp_binary64_17518` `cbrt-unprod_binary64_17502` `unswap-sqr_binary64_17437` `*-commutative_binary64_17400` `distribute-lft-out_binary64_17420` `diff-log_binary64_17561`

Counts

4 → 95

Calls

4 calls:

10.0ms	(+.f64 (.f64 (-.f64 a 1/2) b) (.f64 z (-.f64 1 (log.f64 t))))
8.0ms	(*.f64 z (-.f64 1 (log.f64 t)))
8.0ms	(+.f64 y (+.f64 (.f64 (-.f64 a 1/2) b) (.f64 z (-.f64 1 (log.f64 t)))))
5.0ms	(-.f64 1 (log.f64 t))

Compiler

Compiled 2450 to 1421 computations (42% saved)

series1.8s (11.6%)

Error

0.1b

Counts

4 → 57

Calls

4 calls:

784.0ms	(+.f64 y (+.f64 (.f64 (-.f64 a 1/2) b) (.f64 z (-.f64 1 (log.f64 t)))))
641.0ms	(+.f64 (.f64 (-.f64 a 1/2) b) (.f64 z (-.f64 1 (log.f64 t))))
205.0ms	(*.f64 z (-.f64 1 (log.f64 t)))
75.0ms	(-.f64 1 (log.f64 t))

Compiler

Compiled 2370 to 1810 computations (23.6% saved)

simplify561.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

440×	`associate-+l+_binary64_17402`
407×	`associate-+r+_binary64_17401`
201×	`cancel-sign-sub-inv_binary64_17435`
195×	`associate--l+_binary64_17406`
160×	`distribute-rgt-in_binary64_17419`
158×	`sub-neg_binary64_17462`
152×	`associate-l_binary64_17410`
151×	`distribute-lft-in_binary64_17418`
148×	`associate-r_binary64_17409`
135×	`associate--r+_binary64_17405`
114×	`associate-+l-_binary64_17404`
107×	`distribute-rgt-neg-in_binary64_17427`
103×	`*-commutative_binary64_17400`
83×	`associate-+r-_binary64_17403` `+-commutative_binary64_17399`
79×	`distribute-lft-neg-out_binary64_17428`
78×	`distribute-lft-neg-in_binary64_17426`
60×	`distribute-neg-in_binary64_17430`
58×	`distribute-rgt-neg-out_binary64_17429`
55×	`neg-sub0_binary64_17464`
54×	`sqr-pow_binary64_17441`
50×	`neg-mul-1_binary64_17465`
45×	`unsub-neg_binary64_17463`
43×	`distribute-rgt-out_binary64_17422`
40×	`exp-sum_binary64_17515`
38×	`*-lft-identity_binary64_17458`
37×	`exp-prod_binary64_17521`
35×	`*-rgt-identity_binary64_17459`
31×	`distribute-lft-out_binary64_17420`
26×	`pow-sqr_binary64_17442`
21×	`associate--r-_binary64_17408`
20×	`unswap-sqr_binary64_17437`
18×	`exp-diff_binary64_17517`
17×	`distribute-rgt-out--_binary64_17423`
14×	`cube-prod_binary64_17497` `associate--l-_binary64_17407`
13×	`log-prod_binary64_17555`
12×	`unpow3_binary64_17535`
10×	`cube-mult_binary64_17499` `swap-sqr_binary64_17436`
9×	`difference-of-squares_binary64_17438`
6×	`log-pow_binary64_17558` `prod-exp_binary64_17518`
5×	`pow-plus_binary64_17532` `distribute-neg-out_binary64_17431` `distribute-rgt1-in_binary64_17425`
4×	`div-sub_binary64_17474` `mul-1-neg_binary64_17461` `distribute-lft-out--_binary64_17421` `associate-*r/_binary64_17411`
3×	`log-div_binary64_17556` `exp-to-pow_binary64_17531` `pow-base-1_binary64_17529` `cancel-sign-sub_binary64_17434` `associate-/l_binary64_17414` `associate-l/_binary64_17412`
2×	`log-rec_binary64_17557` `div-exp_binary64_17520` `cube-unmult_binary64_17506` `rem-sqrt-square_binary64_17482` `--rgt-identity_binary64_17455` `+-rgt-identity_binary64_17454` `count-2_binary64_17417`
1×	`1-exp_binary64_17513` `exp-1-e_binary64_17512` `rem-log-exp_binary64_17510` `rem-exp-log_binary64_17509` `rem-3cbrt-lft_binary64_17494` `rem-square-sqrt_binary64_17481` `/-rgt-identity_binary64_17460` `remove-double-neg_binary64_17457` `difference-of-sqr--1_binary64_17440` `distribute-frac-neg_binary64_17432` `distribute-lft1-in_binary64_17424` `associate-/l/_binary64_17416` `associate-/r/_binary64_17415`
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_17732` `erf-erfc_binary64_17731` `erf-odd_binary64_17730` `if-if-and-not_binary64_17729` `if-if-and_binary64_17728` `if-if-or-not_binary64_17727` `if-if-or_binary64_17726` `if-not_binary64_17725` `if-same_binary64_17724` `if-false_binary64_17723` `if-true_binary64_17722` `not-gte_binary64_17721` `not-lte_binary64_17720` `not-gt_binary64_17719` `not-lt_binary64_17718` `gte-same_binary64_17717` `lte-same_binary64_17716` `gt-same_binary64_17715` `lt-same_binary64_17714` `sinh---cosh_binary64_17661` `sinh-+-cosh_binary64_17660` `sinh-cosh_binary64_17659` `tanh-def-c_binary64_17658` `tanh-def-b_binary64_17657` `tanh-def-a_binary64_17656` `cosh-def_binary64_17655` `sinh-def_binary64_17654` `tan-neg_binary64_17601` `cos-neg_binary64_17600` `sin-neg_binary64_17599` `tan-0_binary64_17598` `cos-0_binary64_17597` `sin-0_binary64_17596` `hang-m-tan_binary64_17595` `hang-p-tan_binary64_17594` `hang-m0-tan_binary64_17593` `hang-p0-tan_binary64_17592` `hang-0m-tan_binary64_17591` `hang-0p-tan_binary64_17590` `tan-+PI/2_binary64_17589` `tan-+PI_binary64_17588` `tan-PI_binary64_17587` `tan-PI/3_binary64_17586` `tan-PI/4_binary64_17585` `tan-PI/6_binary64_17584` `cos-+PI/2_binary64_17583` `cos-+PI_binary64_17582` `cos-PI_binary64_17581` `cos-PI/2_binary64_17580` `cos-PI/3_binary64_17579` `cos-PI/4_binary64_17578` `cos-PI/6_binary64_17577` `sin-+PI/2_binary64_17576` `sin-+PI_binary64_17575` `sin-PI_binary64_17574` `sin-PI/2_binary64_17573` `sin-PI/3_binary64_17572` `sin-PI/4_binary64_17571` `sin-PI/6_binary64_17570` `sub-1-sin_binary64_17569` `sub-1-cos_binary64_17568` `-1-add-sin_binary64_17567` `-1-add-cos_binary64_17566` `1-sub-sin_binary64_17565` `1-sub-cos_binary64_17564` `cos-sin-sum_binary64_17563` `log-E_binary64_17559` `pow-base-0_binary64_17553` `unpow1/3_binary64_17536` `unpow2_binary64_17534` `unpow1/2_binary64_17533` `unpow0_binary64_17528` `unpow1_binary64_17527` `unpow-1_binary64_17526` `exp-lft-cube_binary64_17525` `exp-lft-sqr_binary64_17524` `exp-cbrt_binary64_17523` `exp-sqrt_binary64_17522` `rec-exp_binary64_17519` `exp-neg_binary64_17516` `e-exp-1_binary64_17514` `exp-0_binary64_17511` `cube-div_binary64_17498` `cube-neg_binary64_17496` `rem-3cbrt-rft_binary64_17495` `rem-cbrt-cube_binary64_17493` `rem-cube-cbrt_binary64_17492` `sqr-abs_binary64_17484` `sqr-neg_binary64_17483` `times-frac_binary64_17475` `sub0-neg_binary64_17456` `+-lft-identity_binary64_17453` `mul0-rgt_binary64_17452` `mul0-lft_binary64_17451` `div0_binary64_17450` `-inverses_binary64_17449` `+-inverses_binary64_17448` `lft-mult-inverse_binary64_17447` `rgt-mult-inverse_binary64_17446` `remove-double-div_binary64_17445` `difference-of-sqr-1_binary64_17439` `distribute-neg-frac_binary64_17433` `associate-/r_binary64_17413`

Counts

152 → 367

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	219	2616
1	619	2464
2	2060	2446

prune625.0ms (4.1%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	362	5	367
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	364	5	369

Error

0.0b

Counts

369 → 5

Compiler

Compiled 10299 to 5317 computations (48.4% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 z (-.f64 (-.f64 1 (.f64 2 (log.f64 (cbrt.f64 t)))) (log.f64 (cbrt.f64 t))))
0.3b	(-.f64 (-.f64 1 (*.f64 2 (log.f64 (cbrt.f64 t)))) (log.f64 (cbrt.f64 t)))
0.5b	(cbrt.f64 t)
0.5b	(cbrt.f64 t)

rewrite175.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

19×	`add-sqr-sqrt_binary64_17491` `*-un-lft-identity_binary64_17469`
18×	`cancel-sign-sub-inv_binary64_17435`
13×	`add-cube-cbrt_binary64_17504`
11×	`pow1_binary64_17530`
9×	`cbrt-prod_binary64_17500`
8×	`log-pow_binary64_17558` `distribute-rgt-in_binary64_17419` `distribute-lft-in_binary64_17418`
7×	`add-log-exp_binary64_17508`
6×	`add-exp-log_binary64_17507` `add-cbrt-cube_binary64_17505` `sub-neg_binary64_17462` `associate--l+_binary64_17406` `log-prod_binary64_17555` `associate--r+_binary64_17405` `associate-r_binary64_17409`
5×	`pow1/3_binary64_17551`
4×	`distribute-lft-out--_binary64_17421`
3×	`diff-log_binary64_17561` `associate-l_binary64_17410`
2×	`flip3--_binary64_17473` `flip--_binary64_17444` `difference-of-squares_binary64_17438` `associate-*r/_binary64_17411`
1×	`associate--l-_binary64_17407` `pow-prod-down_binary64_17540` `prod-exp_binary64_17518` `cbrt-unprod_binary64_17502` `unswap-sqr_binary64_17437` `*-commutative_binary64_17400`

Counts

4 → 90

Calls

4 calls:

11.0ms	(.f64 z (-.f64 (-.f64 1 (.f64 2 (log.f64 (cbrt.f64 t)))) (log.f64 (cbrt.f64 t))))
8.0ms	(-.f64 (-.f64 1 (*.f64 2 (log.f64 (cbrt.f64 t)))) (log.f64 (cbrt.f64 t)))
2.0ms	(cbrt.f64 t)
1.0ms	(cbrt.f64 t)

Compiler

Compiled 2759 to 1459 computations (47.1% saved)

series966.0ms (6.4%)

Error

Counts

4 → 15

Calls

4 calls:

462.0ms	(.f64 z (-.f64 (-.f64 1 (.f64 2 (log.f64 (cbrt.f64 t)))) (log.f64 (cbrt.f64 t))))
224.0ms	(-.f64 (-.f64 1 (*.f64 2 (log.f64 (cbrt.f64 t)))) (log.f64 (cbrt.f64 t)))
133.0ms	(cbrt.f64 t)
123.0ms	(cbrt.f64 t)

Compiler

Compiled 1044 to 932 computations (10.7% saved)

simplify1.0s (6.8%)

Algorithm

1×	egg-herbie

Rules

487×	`unsub-neg_binary64_17463`
312×	`distribute-rgt-in_binary64_17419`
306×	`distribute-lft-in_binary64_17418`
272×	`cancel-sign-sub-inv_binary64_17435`
262×	`distribute-lft-neg-out_binary64_17428`
258×	`distribute-rgt-neg-out_binary64_17429`
205×	`*-commutative_binary64_17400`
185×	`exp-sum_binary64_17515`
158×	`exp-prod_binary64_17521`
148×	`neg-sub0_binary64_17464`
144×	`neg-mul-1_binary64_17465` `sub-neg_binary64_17462`
127×	`distribute-neg-in_binary64_17430`
108×	`sqr-pow_binary64_17441`
106×	`associate-l_binary64_17410`
98×	`associate-r_binary64_17409`
92×	`unswap-sqr_binary64_17437`
90×	`log-prod_binary64_17555`
75×	`distribute-neg-out_binary64_17431`
74×	`times-frac_binary64_17475`
66×	`*-lft-identity_binary64_17458`
59×	`pow-sqr_binary64_17442`
54×	`*-rgt-identity_binary64_17459`
51×	`swap-sqr_binary64_17436`
50×	`log-pow_binary64_17558`
48×	`distribute-rgt-neg-in_binary64_17427`
46×	`associate-+l+_binary64_17402`
45×	`cube-prod_binary64_17497`
44×	`associate-+r+_binary64_17401`
43×	`+-commutative_binary64_17399`
34×	`exp-diff_binary64_17517`
33×	`distribute-lft-neg-in_binary64_17426`
32×	`associate-/r*_binary64_17413`
29×	`exp-to-pow_binary64_17531` `mul0-rgt_binary64_17452` `mul0-lft_binary64_17451`
26×	`associate-+l-_binary64_17404`
24×	`associate--l+_binary64_17406`
22×	`div-sub_binary64_17474`
20×	`associate--r+_binary64_17405` `associate-+r-_binary64_17403`
17×	`sub0-neg_binary64_17456` `difference-of-squares_binary64_17438`
16×	`remove-double-neg_binary64_17457` `distribute-rgt-out_binary64_17422`
15×	`log-div_binary64_17556` `exp-neg_binary64_17516`
11×	`distribute-lft-out_binary64_17420`
9×	`rem-sqrt-square_binary64_17482` `associate-/l*_binary64_17414` `associate--l-_binary64_17407`
8×	`prod-exp_binary64_17518` `cube-unmult_binary64_17506` `+-rgt-identity_binary64_17454`
7×	`unpow3_binary64_17535` `div-exp_binary64_17520` `cancel-sign-sub_binary64_17434`
6×	`exp-lft-sqr_binary64_17524`
5×	`sqr-neg_binary64_17483` `distribute-lft1-in_binary64_17424` `distribute-rgt-out--_binary64_17423` `associate-/l/_binary64_17416` `associate--r-_binary64_17408`
4×	`pow-plus_binary64_17532` `cube-mult_binary64_17499` `distribute-lft-out--_binary64_17421` `count-2_binary64_17417`
3×	`unpow1/3_binary64_17536` `rem-log-exp_binary64_17510` `--rgt-identity_binary64_17455` `associate-*r/_binary64_17411`
2×	`rem-exp-log_binary64_17509` `rem-3cbrt-lft_binary64_17494`
1×	`log-rec_binary64_17557` `exp-lft-cube_binary64_17525` `1-exp_binary64_17513` `exp-1-e_binary64_17512` `rem-square-sqrt_binary64_17481` `mul-1-neg_binary64_17461` `/-rgt-identity_binary64_17460` `-inverses_binary64_17449` `associate-l/_binary64_17412`
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_17732` `erf-erfc_binary64_17731` `erf-odd_binary64_17730` `if-if-and-not_binary64_17729` `if-if-and_binary64_17728` `if-if-or-not_binary64_17727` `if-if-or_binary64_17726` `if-not_binary64_17725` `if-same_binary64_17724` `if-false_binary64_17723` `if-true_binary64_17722` `not-gte_binary64_17721` `not-lte_binary64_17720` `not-gt_binary64_17719` `not-lt_binary64_17718` `gte-same_binary64_17717` `lte-same_binary64_17716` `gt-same_binary64_17715` `lt-same_binary64_17714` `sinh---cosh_binary64_17661` `sinh-+-cosh_binary64_17660` `sinh-cosh_binary64_17659` `tanh-def-c_binary64_17658` `tanh-def-b_binary64_17657` `tanh-def-a_binary64_17656` `cosh-def_binary64_17655` `sinh-def_binary64_17654` `tan-neg_binary64_17601` `cos-neg_binary64_17600` `sin-neg_binary64_17599` `tan-0_binary64_17598` `cos-0_binary64_17597` `sin-0_binary64_17596` `hang-m-tan_binary64_17595` `hang-p-tan_binary64_17594` `hang-m0-tan_binary64_17593` `hang-p0-tan_binary64_17592` `hang-0m-tan_binary64_17591` `hang-0p-tan_binary64_17590` `tan-+PI/2_binary64_17589` `tan-+PI_binary64_17588` `tan-PI_binary64_17587` `tan-PI/3_binary64_17586` `tan-PI/4_binary64_17585` `tan-PI/6_binary64_17584` `cos-+PI/2_binary64_17583` `cos-+PI_binary64_17582` `cos-PI_binary64_17581` `cos-PI/2_binary64_17580` `cos-PI/3_binary64_17579` `cos-PI/4_binary64_17578` `cos-PI/6_binary64_17577` `sin-+PI/2_binary64_17576` `sin-+PI_binary64_17575` `sin-PI_binary64_17574` `sin-PI/2_binary64_17573` `sin-PI/3_binary64_17572` `sin-PI/4_binary64_17571` `sin-PI/6_binary64_17570` `sub-1-sin_binary64_17569` `sub-1-cos_binary64_17568` `-1-add-sin_binary64_17567` `-1-add-cos_binary64_17566` `1-sub-sin_binary64_17565` `1-sub-cos_binary64_17564` `cos-sin-sum_binary64_17563` `log-E_binary64_17559` `pow-base-0_binary64_17553` `unpow2_binary64_17534` `unpow1/2_binary64_17533` `pow-base-1_binary64_17529` `unpow0_binary64_17528` `unpow1_binary64_17527` `unpow-1_binary64_17526` `exp-cbrt_binary64_17523` `exp-sqrt_binary64_17522` `rec-exp_binary64_17519` `e-exp-1_binary64_17514` `exp-0_binary64_17511` `cube-div_binary64_17498` `cube-neg_binary64_17496` `rem-3cbrt-rft_binary64_17495` `rem-cbrt-cube_binary64_17493` `rem-cube-cbrt_binary64_17492` `sqr-abs_binary64_17484` `+-lft-identity_binary64_17453` `div0_binary64_17450` `+-inverses_binary64_17448` `lft-mult-inverse_binary64_17447` `rgt-mult-inverse_binary64_17446` `remove-double-div_binary64_17445` `difference-of-sqr--1_binary64_17440` `difference-of-sqr-1_binary64_17439` `distribute-neg-frac_binary64_17433` `distribute-frac-neg_binary64_17432` `distribute-rgt1-in_binary64_17425` `associate-/r/_binary64_17415`

Counts

105 → 365

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	141	1805
1	325	1618
2	962	1289
3	2842	1285

prune670.0ms (4.4%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	361	4	365
Fresh	3	1	4
Picked	0	1	1
Done	0	0	0
Total	364	6	370

Error

Counts

370 → 6

Compiler

Compiled 10990 to 6036 computations (45.1% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (-.f64 1 (.f64 2 (log.f64 (cbrt.f64 t)))) z)
0.3b	(*.f64 z (neg.f64 (log.f64 (cbrt.f64 t))))
0.5b	(cbrt.f64 t)
0.5b	(cbrt.f64 t)

rewrite153.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

20×	`add-sqr-sqrt_binary64_17491`
17×	`associate-r_binary64_17409`
16×	`add-cube-cbrt_binary64_17504` `*-un-lft-identity_binary64_17469`
12×	`cbrt-prod_binary64_17500` `log-prod_binary64_17555` `distribute-neg-in_binary64_17430`
10×	`pow1_binary64_17530`
8×	`add-exp-log_binary64_17507` `add-cbrt-cube_binary64_17505`
6×	`distribute-rgt-in_binary64_17419` `distribute-lft-in_binary64_17418` `associate-l_binary64_17410`
5×	`distribute-rgt-neg-in_binary64_17427` `distribute-lft-neg-in_binary64_17426`
4×	`pow1/3_binary64_17551` `add-log-exp_binary64_17508` `log-pow_binary64_17558`
2×	`pow-prod-down_binary64_17540` `prod-exp_binary64_17518` `cbrt-unprod_binary64_17502` `unswap-sqr_binary64_17437` `-commutative_binary64_17400` `associate-l/_binary64_17412`
1×	`distribute-rgt-neg-out_binary64_17429` `neg-mul-1_binary64_17465` `flip3--_binary64_17473` `flip--_binary64_17444`

Counts

4 → 84

Calls

4 calls:

8.0ms	(*.f64 z (neg.f64 (log.f64 (cbrt.f64 t))))
6.0ms	(.f64 (-.f64 1 (.f64 2 (log.f64 (cbrt.f64 t)))) z)
1.0ms	(cbrt.f64 t)
1.0ms	(cbrt.f64 t)

Compiler

Compiled 2740 to 1353 computations (50.6% saved)

series1.2s (7.9%)

Error

Counts

4 → 18

Calls

4 calls:

483.0ms	(.f64 (-.f64 1 (.f64 2 (log.f64 (cbrt.f64 t)))) z)
442.0ms	(*.f64 z (neg.f64 (log.f64 (cbrt.f64 t))))
122.0ms	(cbrt.f64 t)
121.0ms	(cbrt.f64 t)

Compiler

Compiled 1548 to 1288 computations (16.8% saved)

simplify426.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

375×	`unsub-neg_binary64_17463`
359×	`distribute-rgt-neg-in_binary64_17427`
304×	`distribute-lft-neg-in_binary64_17426`
263×	`distribute-rgt-in_binary64_17419`
255×	`distribute-lft-in_binary64_17418`
254×	`*-commutative_binary64_17400`
252×	`neg-sub0_binary64_17464`
236×	`neg-mul-1_binary64_17465`
189×	`cancel-sign-sub-inv_binary64_17435`
173×	`associate-l_binary64_17410`
165×	`associate-r_binary64_17409`
158×	`distribute-rgt-out--_binary64_17423`
156×	`log-prod_binary64_17555`
142×	`distribute-neg-in_binary64_17430`
140×	`distribute-rgt-neg-out_binary64_17429`
136×	`sqr-pow_binary64_17441`
133×	`times-frac_binary64_17475`
127×	`unswap-sqr_binary64_17437`
121×	`distribute-lft-neg-out_binary64_17428`
110×	`exp-prod_binary64_17521`
91×	`sub-neg_binary64_17462`
75×	`*-lft-identity_binary64_17458`
70×	`distribute-neg-out_binary64_17431`
69×	`*-rgt-identity_binary64_17459`
67×	`exp-sum_binary64_17515`
66×	`cube-prod_binary64_17497`
65×	`pow-sqr_binary64_17442` `swap-sqr_binary64_17436`
60×	`remove-double-neg_binary64_17457`
38×	`mul0-rgt_binary64_17452` `mul0-lft_binary64_17451`
34×	`log-pow_binary64_17558`
26×	`log-div_binary64_17556`
22×	`difference-of-squares_binary64_17438`
21×	`distribute-rgt1-in_binary64_17425`
20×	`exp-to-pow_binary64_17531` `+-commutative_binary64_17399`
17×	`distribute-frac-neg_binary64_17432` `associate-+l+_binary64_17402`
16×	`associate-/l*_binary64_17414`
15×	`pow-plus_binary64_17532`
14×	`associate-/r*_binary64_17413`
12×	`unpow3_binary64_17535` `exp-diff_binary64_17517` `div-sub_binary64_17474`
11×	`cube-unmult_binary64_17506` `cube-mult_binary64_17499` `sqr-neg_binary64_17483` `associate--r+_binary64_17405`
8×	`exp-neg_binary64_17516` `associate-+l-_binary64_17404`
7×	`mul-1-neg_binary64_17461` `associate-+r+_binary64_17401`
6×	`log-rec_binary64_17557` `pow-base-1_binary64_17529` `rem-sqrt-square_binary64_17482` `sub0-neg_binary64_17456` `difference-of-sqr-1_binary64_17439` `distribute-neg-frac_binary64_17433` `count-2_binary64_17417` `associate-+r-_binary64_17403`
5×	`cube-neg_binary64_17496` `/-rgt-identity_binary64_17460` `distribute-rgt-out_binary64_17422` `associate-*r/_binary64_17411`
4×	`exp-lft-sqr_binary64_17524`
3×	`associate-/l/_binary64_17416`
2×	`unpow1/3_binary64_17536` `+-rgt-identity_binary64_17454` `associate-*l/_binary64_17412`
1×	`unpow2_binary64_17534` `div-exp_binary64_17520` `prod-exp_binary64_17518` `1-exp_binary64_17513` `exp-1-e_binary64_17512` `rem-log-exp_binary64_17510` `rem-3cbrt-lft_binary64_17494` `rem-cbrt-cube_binary64_17493` `--rgt-identity_binary64_17455` `div0_binary64_17450` `+-inverses_binary64_17448` `distribute-lft1-in_binary64_17424` `associate-/r/_binary64_17415`
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_17732` `erf-erfc_binary64_17731` `erf-odd_binary64_17730` `if-if-and-not_binary64_17729` `if-if-and_binary64_17728` `if-if-or-not_binary64_17727` `if-if-or_binary64_17726` `if-not_binary64_17725` `if-same_binary64_17724` `if-false_binary64_17723` `if-true_binary64_17722` `not-gte_binary64_17721` `not-lte_binary64_17720` `not-gt_binary64_17719` `not-lt_binary64_17718` `gte-same_binary64_17717` `lte-same_binary64_17716` `gt-same_binary64_17715` `lt-same_binary64_17714` `sinh---cosh_binary64_17661` `sinh-+-cosh_binary64_17660` `sinh-cosh_binary64_17659` `tanh-def-c_binary64_17658` `tanh-def-b_binary64_17657` `tanh-def-a_binary64_17656` `cosh-def_binary64_17655` `sinh-def_binary64_17654` `tan-neg_binary64_17601` `cos-neg_binary64_17600` `sin-neg_binary64_17599` `tan-0_binary64_17598` `cos-0_binary64_17597` `sin-0_binary64_17596` `hang-m-tan_binary64_17595` `hang-p-tan_binary64_17594` `hang-m0-tan_binary64_17593` `hang-p0-tan_binary64_17592` `hang-0m-tan_binary64_17591` `hang-0p-tan_binary64_17590` `tan-+PI/2_binary64_17589` `tan-+PI_binary64_17588` `tan-PI_binary64_17587` `tan-PI/3_binary64_17586` `tan-PI/4_binary64_17585` `tan-PI/6_binary64_17584` `cos-+PI/2_binary64_17583` `cos-+PI_binary64_17582` `cos-PI_binary64_17581` `cos-PI/2_binary64_17580` `cos-PI/3_binary64_17579` `cos-PI/4_binary64_17578` `cos-PI/6_binary64_17577` `sin-+PI/2_binary64_17576` `sin-+PI_binary64_17575` `sin-PI_binary64_17574` `sin-PI/2_binary64_17573` `sin-PI/3_binary64_17572` `sin-PI/4_binary64_17571` `sin-PI/6_binary64_17570` `sub-1-sin_binary64_17569` `sub-1-cos_binary64_17568` `-1-add-sin_binary64_17567` `-1-add-cos_binary64_17566` `1-sub-sin_binary64_17565` `1-sub-cos_binary64_17564` `cos-sin-sum_binary64_17563` `log-E_binary64_17559` `pow-base-0_binary64_17553` `unpow1/2_binary64_17533` `unpow0_binary64_17528` `unpow1_binary64_17527` `unpow-1_binary64_17526` `exp-lft-cube_binary64_17525` `exp-cbrt_binary64_17523` `exp-sqrt_binary64_17522` `rec-exp_binary64_17519` `e-exp-1_binary64_17514` `exp-0_binary64_17511` `rem-exp-log_binary64_17509` `cube-div_binary64_17498` `rem-3cbrt-rft_binary64_17495` `rem-cube-cbrt_binary64_17492` `sqr-abs_binary64_17484` `rem-square-sqrt_binary64_17481` `+-lft-identity_binary64_17453` `*-inverses_binary64_17449` `lft-mult-inverse_binary64_17447` `rgt-mult-inverse_binary64_17446` `remove-double-div_binary64_17445` `difference-of-sqr--1_binary64_17440` `cancel-sign-sub_binary64_17434` `distribute-lft-out--_binary64_17421` `distribute-lft-out_binary64_17420` `associate--r-_binary64_17408` `associate--l-_binary64_17407` `associate--l+_binary64_17406`

Counts

102 → 251

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	151	1399
1	356	1270
2	1187	1243
3	2874	1233

prune478.0ms (3.2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	251	0	251
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	251	6	257

Error

Counts

257 → 6

Compiler

Compiled 8552 to 4164 computations (51.3% saved)

localize28.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 t)
0.5b	(cbrt.f64 t)
0.5b	(cbrt.f64 t)
0.5b	(cbrt.f64 t)

rewrite110.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

12×	`cbrt-prod_binary64_17500`
8×	`add-cube-cbrt_binary64_17504` `add-sqr-sqrt_binary64_17491` `*-un-lft-identity_binary64_17469`
4×	`pow1/3_binary64_17551` `pow1_binary64_17530` `add-log-exp_binary64_17508` `add-exp-log_binary64_17507` `add-cbrt-cube_binary64_17505`

Counts

4 → 44

Calls

4 calls:

1.0ms	(cbrt.f64 t)
1.0ms	(cbrt.f64 t)
1.0ms	(cbrt.f64 t)
1.0ms	(cbrt.f64 t)

Compiler

Compiled 2164 to 1162 computations (46.3% saved)

series508.0ms (3.4%)

Error

Counts

4 → 12

Calls

4 calls:

125.0ms	(cbrt.f64 t)
122.0ms	(cbrt.f64 t)
118.0ms	(cbrt.f64 t)
116.0ms	(cbrt.f64 t)

Compiler

Compiled 1716 to 1263 computations (26.4% saved)

simplify150.0ms (1%)

Algorithm

1×	egg-herbie

Rules

838×	`unswap-sqr_binary64_17437`
434×	`associate-*r/_binary64_17411`
402×	`distribute-rgt-in_binary64_17419`
396×	`distribute-lft-in_binary64_17418`
359×	`distribute-rgt-out_binary64_17422`
287×	`associate-/l*_binary64_17414`
213×	`log-prod_binary64_17555`
184×	`associate-l_binary64_17410`
182×	`distribute-rgt-neg-in_binary64_17427` `distribute-lft-neg-in_binary64_17426`
142×	`associate-+l+_binary64_17402`
137×	`associate-+r+_binary64_17401`
115×	`associate-/l/_binary64_17416`
97×	`associate-r_binary64_17409`
86×	`sqr-pow_binary64_17441` `*-commutative_binary64_17400`
85×	`cancel-sign-sub-inv_binary64_17435`
64×	`times-frac_binary64_17475`
62×	`count-2_binary64_17417` `associate-/r*_binary64_17413`
53×	`pow-sqr_binary64_17442`
48×	`associate-/r/_binary64_17415`
46×	`distribute-rgt1-in_binary64_17425`
44×	`associate-*l/_binary64_17412`
35×	`exp-prod_binary64_17521`
31×	`log-pow_binary64_17558`
28×	`distribute-lft-out_binary64_17420`
27×	`neg-sub0_binary64_17464`
26×	`cube-prod_binary64_17497` `neg-mul-1_binary64_17465`
24×	`unsub-neg_binary64_17463`
17×	`distribute-rgt-neg-out_binary64_17429` `distribute-lft-neg-out_binary64_17428`
16×	`distribute-lft1-in_binary64_17424`
15×	`sub-neg_binary64_17462`
13×	`pow-plus_binary64_17532` `rem-sqrt-square_binary64_17482`
10×	`cube-unmult_binary64_17506`
8×	`mul0-rgt_binary64_17452` `mul0-lft_binary64_17451`
5×	`/-rgt-identity_binary64_17460`
4×	`unpow3_binary64_17535` `+-commutative_binary64_17399`
2×	`unpow1/3_binary64_17536` `cube-mult_binary64_17499`
1×	`exp-sum_binary64_17515` `1-exp_binary64_17513` `rem-3cbrt-lft_binary64_17494` `mul-1-neg_binary64_17461` `-rgt-identity_binary64_17459` `-lft-identity_binary64_17458` `sub0-neg_binary64_17456` `--rgt-identity_binary64_17455` `+-rgt-identity_binary64_17454` `*-inverses_binary64_17449` `associate-+l-_binary64_17404` `associate-+r-_binary64_17403`
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_17732` `erf-erfc_binary64_17731` `erf-odd_binary64_17730` `if-if-and-not_binary64_17729` `if-if-and_binary64_17728` `if-if-or-not_binary64_17727` `if-if-or_binary64_17726` `if-not_binary64_17725` `if-same_binary64_17724` `if-false_binary64_17723` `if-true_binary64_17722` `not-gte_binary64_17721` `not-lte_binary64_17720` `not-gt_binary64_17719` `not-lt_binary64_17718` `gte-same_binary64_17717` `lte-same_binary64_17716` `gt-same_binary64_17715` `lt-same_binary64_17714` `sinh---cosh_binary64_17661` `sinh-+-cosh_binary64_17660` `sinh-cosh_binary64_17659` `tanh-def-c_binary64_17658` `tanh-def-b_binary64_17657` `tanh-def-a_binary64_17656` `cosh-def_binary64_17655` `sinh-def_binary64_17654` `tan-neg_binary64_17601` `cos-neg_binary64_17600` `sin-neg_binary64_17599` `tan-0_binary64_17598` `cos-0_binary64_17597` `sin-0_binary64_17596` `hang-m-tan_binary64_17595` `hang-p-tan_binary64_17594` `hang-m0-tan_binary64_17593` `hang-p0-tan_binary64_17592` `hang-0m-tan_binary64_17591` `hang-0p-tan_binary64_17590` `tan-+PI/2_binary64_17589` `tan-+PI_binary64_17588` `tan-PI_binary64_17587` `tan-PI/3_binary64_17586` `tan-PI/4_binary64_17585` `tan-PI/6_binary64_17584` `cos-+PI/2_binary64_17583` `cos-+PI_binary64_17582` `cos-PI_binary64_17581` `cos-PI/2_binary64_17580` `cos-PI/3_binary64_17579` `cos-PI/4_binary64_17578` `cos-PI/6_binary64_17577` `sin-+PI/2_binary64_17576` `sin-+PI_binary64_17575` `sin-PI_binary64_17574` `sin-PI/2_binary64_17573` `sin-PI/3_binary64_17572` `sin-PI/4_binary64_17571` `sin-PI/6_binary64_17570` `sub-1-sin_binary64_17569` `sub-1-cos_binary64_17568` `-1-add-sin_binary64_17567` `-1-add-cos_binary64_17566` `1-sub-sin_binary64_17565` `1-sub-cos_binary64_17564` `cos-sin-sum_binary64_17563` `log-E_binary64_17559` `log-rec_binary64_17557` `log-div_binary64_17556` `pow-base-0_binary64_17553` `unpow2_binary64_17534` `unpow1/2_binary64_17533` `exp-to-pow_binary64_17531` `pow-base-1_binary64_17529` `unpow0_binary64_17528` `unpow1_binary64_17527` `unpow-1_binary64_17526` `exp-lft-cube_binary64_17525` `exp-lft-sqr_binary64_17524` `exp-cbrt_binary64_17523` `exp-sqrt_binary64_17522` `div-exp_binary64_17520` `rec-exp_binary64_17519` `prod-exp_binary64_17518` `exp-diff_binary64_17517` `exp-neg_binary64_17516` `e-exp-1_binary64_17514` `exp-1-e_binary64_17512` `exp-0_binary64_17511` `rem-log-exp_binary64_17510` `rem-exp-log_binary64_17509` `cube-div_binary64_17498` `cube-neg_binary64_17496` `rem-3cbrt-rft_binary64_17495` `rem-cbrt-cube_binary64_17493` `rem-cube-cbrt_binary64_17492` `sqr-abs_binary64_17484` `sqr-neg_binary64_17483` `rem-square-sqrt_binary64_17481` `div-sub_binary64_17474` `remove-double-neg_binary64_17457` `+-lft-identity_binary64_17453` `div0_binary64_17450` `+-inverses_binary64_17448` `lft-mult-inverse_binary64_17447` `rgt-mult-inverse_binary64_17446` `remove-double-div_binary64_17445` `difference-of-sqr--1_binary64_17440` `difference-of-sqr-1_binary64_17439` `difference-of-squares_binary64_17438` `swap-sqr_binary64_17436` `cancel-sign-sub_binary64_17434` `distribute-neg-frac_binary64_17433` `distribute-frac-neg_binary64_17432` `distribute-neg-out_binary64_17431` `distribute-neg-in_binary64_17430` `distribute-rgt-out--_binary64_17423` `distribute-lft-out--_binary64_17421` `associate--r-_binary64_17408` `associate--l-_binary64_17407` `associate--l+_binary64_17406` `associate--r+_binary64_17405`

Counts

56 → 28

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	22	340
1	35	336
2	83	336
3	212	336
4	675	336
5	2532	336

prune66.0ms (0.4%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	28	0	28
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	28	6	34

Error

Counts

34 → 6

Compiler

Compiled 1372 to 792 computations (42.3% saved)

regimes2.0s (12.9%)

Accuracy

Total 0.1b remaining (94.7%)

Threshold costs 0.1b (94.7%)

Compiler

Compiled 21131 to 18985 computations (10.2% saved)

bsearch0.0ms (0%)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

11×	`+-commutative_binary64_17399`
8×	`sub-neg_binary64_17462` `*-commutative_binary64_17400`
5×	`neg-mul-1_binary64_17465` `neg-sub0_binary64_17464`
2×	`cancel-sign-sub-inv_binary64_17435` `distribute-rgt-neg-in_binary64_17427`
1×	`1-exp_binary64_17513` `distribute-lft-neg-out_binary64_17428` `distribute-lft-neg-in_binary64_17426`
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_17729` `if-if-and_binary64_17728` `if-if-or-not_binary64_17727` `if-if-or_binary64_17726` `if-not_binary64_17725` `if-same_binary64_17724` `if-false_binary64_17723` `if-true_binary64_17722` `tan-0_binary64_17598` `cos-0_binary64_17597` `sin-0_binary64_17596` `unpow1_binary64_17527` `e-exp-1_binary64_17514` `exp-1-e_binary64_17512` `exp-0_binary64_17511` `sqr-abs_binary64_17484` `sqr-neg_binary64_17483` `unsub-neg_binary64_17463` `mul-1-neg_binary64_17461` `/-rgt-identity_binary64_17460` `-rgt-identity_binary64_17459` `-lft-identity_binary64_17458` `remove-double-neg_binary64_17457` `sub0-neg_binary64_17456` `--rgt-identity_binary64_17455` `+-rgt-identity_binary64_17454` `+-lft-identity_binary64_17453` `cancel-sign-sub_binary64_17434` `distribute-neg-frac_binary64_17433` `distribute-frac-neg_binary64_17432` `distribute-neg-out_binary64_17431` `distribute-neg-in_binary64_17430` `distribute-rgt-neg-out_binary64_17429`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	37
1	41	37
2	56	37
3	66	37
4	72	37
5	73	37

Proof

(+ f64 h0 (+ f64 h1 (+ f64 (* f64 (- f64 h2 1/2) h3) (* f64 h4 (- f64 (- f64 1 (* f64 2 (log f64 (pow f64 h5 1/3)))) (log f64 (cbrt f64 h5)))))))

end0.0ms (0%)

sample2.6s (17.1%)

Algorithm

1×

intervals

Results

506.0ms	7997×	body	128	valid
71.0ms	1142×	body	128	invalid
59.0ms	1146×	body	128	nan
0.0ms	2×	body	256	valid
0.0ms	1×	body	512	valid

Compiler

Compiled 1727 to 1549 computations (10.3% saved)

Details

analyze907.0ms (6%)

sample36.0ms (0.2%)

simplify465.0ms (3.1%)

prune11.0ms (0.1%)

localize13.0ms (0.1%)

rewrite184.0ms (1.2%)

series1.8s (11.6%)

simplify561.0ms (3.7%)

prune625.0ms (4.1%)

localize20.0ms (0.1%)

rewrite175.0ms (1.2%)

series966.0ms (6.4%)

simplify1.0s (6.8%)

prune670.0ms (4.4%)

localize23.0ms (0.2%)

rewrite153.0ms (1%)

series1.2s (7.9%)

simplify426.0ms (2.8%)

prune478.0ms (3.2%)

localize28.0ms (0.2%)

rewrite110.0ms (0.7%)

series508.0ms (3.4%)

simplify150.0ms (1%)

prune66.0ms (0.4%)

regimes2.0s (12.9%)

bsearch0.0ms (0%)

simplify5.0ms (0%)

end0.0ms (0%)

sample2.6s (17.1%)

Profiling