Details

Time bar (total: 2.3s)

analyze3.0ms (0.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
50%25%25%4
62.5%12.5%25%5
68.7%6.2%25%6
71.8%3.1%25%7
73.4%1.6%25%8
74.2%0.8%25%9
74.6%0.4%25%10
74.8%0.2%25%11
74.9%0.1%25%12
74.9%0%25%13
74.9%0%25%14
Compiler

Compiled 6 to 5 computations (16.7% saved)

sample11.0ms (0.5%)

Algorithm
1×intervals
Results
4.0ms256×body128valid
Compiler

Compiled 11 to 10 computations (9.1% saved)

simplify1.2s (53.1%)

Algorithm
1×egg-herbie
Rules
880×exp-prod_binary64_12065
832×cube-prod_binary64_12041
665×swap-sqr_binary64_11980
339×distribute-lft-out_binary64_11964
338×distribute-lft-out--_binary64_11965
294×unsub-neg_binary64_12007
285×sub-neg_binary64_12006
284×distribute-rgt-out--_binary64_11967
271×distribute-rgt-out_binary64_11966
120×cancel-sign-sub-inv_binary64_11979
39×exp-sum_binary64_12059
34×exp-diff_binary64_12061
33×sqr-pow_binary64_11985
28×neg-sub0_binary64_12008
26×neg-mul-1_binary64_12009
25×distribute-rgt-neg-in_binary64_11971 distribute-rgt-in_binary64_11963
22×distribute-rgt1-in_binary64_11969
20×pow-plus_binary64_12076 +-inverses_binary64_11992 pow-sqr_binary64_11986
16×difference-of-squares_binary64_11982 distribute-lft-in_binary64_11962
15×associate--r+_binary64_11949 associate-+l-_binary64_11948
14×distribute-lft-neg-in_binary64_11970 associate-*r*_binary64_11953
13×div-sub_binary64_12018
12×distribute-rgt-neg-out_binary64_11973
11×sqr-neg_binary64_12027
10×cancel-sign-sub_binary64_11978
9×distribute-lft-neg-out_binary64_11972
8×remove-double-neg_binary64_12001
7×*-rgt-identity_binary64_12003 sub0-neg_binary64_12000 --rgt-identity_binary64_11999 distribute-neg-in_binary64_11974 *-commutative_binary64_11944 +-commutative_binary64_11943
6×exp-neg_binary64_12060 associate-*l*_binary64_11954 associate--l+_binary64_11950 associate-+r+_binary64_11945
5×exp-lft-sqr_binary64_12068 associate-+r-_binary64_11947 associate-+l+_binary64_11946
4×+-rgt-identity_binary64_11998 +-lft-identity_binary64_11997
3×pow-base-1_binary64_12073 cube-unmult_binary64_12050 *-lft-identity_binary64_12002 mul0-lft_binary64_11995 difference-of-sqr--1_binary64_11984 count-2_binary64_11961 associate--l-_binary64_11951
2×mul-1-neg_binary64_12005 mul0-rgt_binary64_11996 distribute-neg-out_binary64_11975 associate--r-_binary64_11952
1×prod-exp_binary64_12062 1-exp_binary64_12057 exp-1-e_binary64_12056 div0_binary64_11994 distribute-lft1-in_binary64_11968
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_12276 erf-erfc_binary64_12275 erf-odd_binary64_12274 if-if-and-not_binary64_12273 if-if-and_binary64_12272 if-if-or-not_binary64_12271 if-if-or_binary64_12270 if-not_binary64_12269 if-same_binary64_12268 if-false_binary64_12267 if-true_binary64_12266 not-gte_binary64_12265 not-lte_binary64_12264 not-gt_binary64_12263 not-lt_binary64_12262 gte-same_binary64_12261 lte-same_binary64_12260 gt-same_binary64_12259 lt-same_binary64_12258 sinh---cosh_binary64_12205 sinh-+-cosh_binary64_12204 sinh-cosh_binary64_12203 tanh-def-c_binary64_12202 tanh-def-b_binary64_12201 tanh-def-a_binary64_12200 cosh-def_binary64_12199 sinh-def_binary64_12198 tan-neg_binary64_12145 cos-neg_binary64_12144 sin-neg_binary64_12143 tan-0_binary64_12142 cos-0_binary64_12141 sin-0_binary64_12140 hang-m-tan_binary64_12139 hang-p-tan_binary64_12138 hang-m0-tan_binary64_12137 hang-p0-tan_binary64_12136 hang-0m-tan_binary64_12135 hang-0p-tan_binary64_12134 tan-+PI/2_binary64_12133 tan-+PI_binary64_12132 tan-PI_binary64_12131 tan-PI/3_binary64_12130 tan-PI/4_binary64_12129 tan-PI/6_binary64_12128 cos-+PI/2_binary64_12127 cos-+PI_binary64_12126 cos-PI_binary64_12125 cos-PI/2_binary64_12124 cos-PI/3_binary64_12123 cos-PI/4_binary64_12122 cos-PI/6_binary64_12121 sin-+PI/2_binary64_12120 sin-+PI_binary64_12119 sin-PI_binary64_12118 sin-PI/2_binary64_12117 sin-PI/3_binary64_12116 sin-PI/4_binary64_12115 sin-PI/6_binary64_12114 sub-1-sin_binary64_12113 sub-1-cos_binary64_12112 -1-add-sin_binary64_12111 -1-add-cos_binary64_12110 1-sub-sin_binary64_12109 1-sub-cos_binary64_12108 cos-sin-sum_binary64_12107 log-E_binary64_12103 log-pow_binary64_12102 log-rec_binary64_12101 log-div_binary64_12100 log-prod_binary64_12099 pow-base-0_binary64_12097 unpow1/3_binary64_12080 unpow3_binary64_12079 unpow2_binary64_12078 unpow1/2_binary64_12077 exp-to-pow_binary64_12075 unpow0_binary64_12072 unpow1_binary64_12071 unpow-1_binary64_12070 exp-lft-cube_binary64_12069 exp-cbrt_binary64_12067 exp-sqrt_binary64_12066 div-exp_binary64_12064 rec-exp_binary64_12063 e-exp-1_binary64_12058 exp-0_binary64_12055 rem-log-exp_binary64_12054 rem-exp-log_binary64_12053 cube-mult_binary64_12043 cube-div_binary64_12042 cube-neg_binary64_12040 rem-3cbrt-rft_binary64_12039 rem-3cbrt-lft_binary64_12038 rem-cbrt-cube_binary64_12037 rem-cube-cbrt_binary64_12036 sqr-abs_binary64_12028 rem-sqrt-square_binary64_12026 rem-square-sqrt_binary64_12025 times-frac_binary64_12019 /-rgt-identity_binary64_12004 *-inverses_binary64_11993 lft-mult-inverse_binary64_11991 rgt-mult-inverse_binary64_11990 remove-double-div_binary64_11989 difference-of-sqr-1_binary64_11983 unswap-sqr_binary64_11981 distribute-neg-frac_binary64_11977 distribute-frac-neg_binary64_11976 associate-/l/_binary64_11960 associate-/r/_binary64_11959 associate-/l*_binary64_11958 associate-/r*_binary64_11957 associate-*l/_binary64_11956 associate-*r/_binary64_11955
Counts
1 → 2
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
057
1107
2197
3317
4527
51007
62047
718867

prune5.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New112
Fresh011
Picked000
Done000
Total123
Error
0b
Counts
3 → 2
Compiler

Compiled 20 to 13 computations (35% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b
(-.f64 (*.f64 x x) x)

rewrite22.0ms (1%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
3×add-log-exp_binary64_12052 add-sqr-sqrt_binary64_12035 *-un-lft-identity_binary64_12013 cancel-sign-sub-inv_binary64_11979
2×add-cube-cbrt_binary64_12048
1×diff-log_binary64_12105 pow1_binary64_12074 add-exp-log_binary64_12051 add-cbrt-cube_binary64_12049 flip3--_binary64_12017 sub-neg_binary64_12006 flip--_binary64_11988 difference-of-squares_binary64_11982 distribute-rgt-out--_binary64_11967
Counts
1 → 16
Calls

1 calls:

6.0ms
(-.f64 (*.f64 x x) x)
Compiler

Compiled 182 to 57 computations (68.7% saved)

series63.0ms (2.8%)

Error
0b
Counts
1 → 6
Calls

1 calls:

59.0ms
(-.f64 (*.f64 x x) x)
Compiler

Compiled 63 to 49 computations (22.2% saved)

simplify193.0ms (8.5%)

Algorithm
1×egg-herbie
Rules
463×unsub-neg_binary64_12007
424×distribute-rgt-in_binary64_11963
345×distribute-lft-in_binary64_11962
288×unswap-sqr_binary64_11981
232×distribute-rgt-out_binary64_11966
211×exp-prod_binary64_12065
196×associate-*l*_binary64_11954
193×*-commutative_binary64_11944
189×associate-*l/_binary64_11956
163×distribute-lft-out_binary64_11964
162×associate-*r*_binary64_11953
161×associate-*r/_binary64_11955
118×cube-prod_binary64_12041
111×cancel-sign-sub-inv_binary64_11979
104×exp-sum_binary64_12059
95×difference-of-squares_binary64_11982
93×neg-sub0_binary64_12008
89×neg-mul-1_binary64_12009
86×times-frac_binary64_12019
79×log-prod_binary64_12099
77×exp-sqrt_binary64_12066
68×distribute-rgt-out--_binary64_11967
59×sqr-pow_binary64_11985
57×associate-+l+_binary64_11946
55×distribute-rgt-neg-out_binary64_11973
54×associate-+r+_binary64_11945
50×cube-div_binary64_12042
46×distribute-lft-neg-out_binary64_11972
43×pow-plus_binary64_12076 swap-sqr_binary64_11980
42×+-commutative_binary64_11943
41×distribute-lft-out--_binary64_11965
36×sub-neg_binary64_12006
35×log-div_binary64_12100
30×associate-/l*_binary64_11958
27×associate-/r*_binary64_11957
26×unpow3_binary64_12079 distribute-rgt-neg-in_binary64_11971
25×exp-diff_binary64_12061 pow-sqr_binary64_11986
22×distribute-lft-neg-in_binary64_11970 associate-/l/_binary64_11960
21×associate-/r/_binary64_11959
20×associate--r+_binary64_11949 associate-+l-_binary64_11948
19×div-sub_binary64_12018
18×cube-mult_binary64_12043
14×associate-+r-_binary64_11947
13×cube-unmult_binary64_12050
11×*-lft-identity_binary64_12002
10×exp-lft-sqr_binary64_12068 sqr-neg_binary64_12027 *-rgt-identity_binary64_12003
9×exp-neg_binary64_12060 difference-of-sqr--1_binary64_11984 distribute-rgt1-in_binary64_11969 distribute-lft1-in_binary64_11968
8×mul0-rgt_binary64_11996 mul0-lft_binary64_11995
6×log-pow_binary64_12102 +-rgt-identity_binary64_11998 distribute-neg-in_binary64_11974 associate--l+_binary64_11950
5×rem-sqrt-square_binary64_12026 sub0-neg_binary64_12000
4×cube-neg_binary64_12040 distribute-neg-frac_binary64_11977
3×mul-1-neg_binary64_12005
2×log-rec_binary64_12101 pow-base-1_binary64_12073 div-exp_binary64_12064 count-2_binary64_11961
1×unpow2_binary64_12078 unpow1_binary64_12071 rec-exp_binary64_12063 prod-exp_binary64_12062 1-exp_binary64_12057 exp-1-e_binary64_12056 rem-log-exp_binary64_12054 rem-3cbrt-lft_binary64_12038 rem-square-sqrt_binary64_12025 /-rgt-identity_binary64_12004 *-inverses_binary64_11993
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_12276 erf-erfc_binary64_12275 erf-odd_binary64_12274 if-if-and-not_binary64_12273 if-if-and_binary64_12272 if-if-or-not_binary64_12271 if-if-or_binary64_12270 if-not_binary64_12269 if-same_binary64_12268 if-false_binary64_12267 if-true_binary64_12266 not-gte_binary64_12265 not-lte_binary64_12264 not-gt_binary64_12263 not-lt_binary64_12262 gte-same_binary64_12261 lte-same_binary64_12260 gt-same_binary64_12259 lt-same_binary64_12258 sinh---cosh_binary64_12205 sinh-+-cosh_binary64_12204 sinh-cosh_binary64_12203 tanh-def-c_binary64_12202 tanh-def-b_binary64_12201 tanh-def-a_binary64_12200 cosh-def_binary64_12199 sinh-def_binary64_12198 tan-neg_binary64_12145 cos-neg_binary64_12144 sin-neg_binary64_12143 tan-0_binary64_12142 cos-0_binary64_12141 sin-0_binary64_12140 hang-m-tan_binary64_12139 hang-p-tan_binary64_12138 hang-m0-tan_binary64_12137 hang-p0-tan_binary64_12136 hang-0m-tan_binary64_12135 hang-0p-tan_binary64_12134 tan-+PI/2_binary64_12133 tan-+PI_binary64_12132 tan-PI_binary64_12131 tan-PI/3_binary64_12130 tan-PI/4_binary64_12129 tan-PI/6_binary64_12128 cos-+PI/2_binary64_12127 cos-+PI_binary64_12126 cos-PI_binary64_12125 cos-PI/2_binary64_12124 cos-PI/3_binary64_12123 cos-PI/4_binary64_12122 cos-PI/6_binary64_12121 sin-+PI/2_binary64_12120 sin-+PI_binary64_12119 sin-PI_binary64_12118 sin-PI/2_binary64_12117 sin-PI/3_binary64_12116 sin-PI/4_binary64_12115 sin-PI/6_binary64_12114 sub-1-sin_binary64_12113 sub-1-cos_binary64_12112 -1-add-sin_binary64_12111 -1-add-cos_binary64_12110 1-sub-sin_binary64_12109 1-sub-cos_binary64_12108 cos-sin-sum_binary64_12107 log-E_binary64_12103 pow-base-0_binary64_12097 unpow1/3_binary64_12080 unpow1/2_binary64_12077 exp-to-pow_binary64_12075 unpow0_binary64_12072 unpow-1_binary64_12070 exp-lft-cube_binary64_12069 exp-cbrt_binary64_12067 e-exp-1_binary64_12058 exp-0_binary64_12055 rem-exp-log_binary64_12053 rem-3cbrt-rft_binary64_12039 rem-cbrt-cube_binary64_12037 rem-cube-cbrt_binary64_12036 sqr-abs_binary64_12028 remove-double-neg_binary64_12001 --rgt-identity_binary64_11999 +-lft-identity_binary64_11997 div0_binary64_11994 +-inverses_binary64_11992 lft-mult-inverse_binary64_11991 rgt-mult-inverse_binary64_11990 remove-double-div_binary64_11989 difference-of-sqr-1_binary64_11983 cancel-sign-sub_binary64_11978 distribute-frac-neg_binary64_11976 distribute-neg-out_binary64_11975 associate--r-_binary64_11952 associate--l-_binary64_11951
Counts
22 → 38
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
043211
199190
2255190
31068190
44085190

prune32.0ms (1.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New38038
Fresh011
Picked011
Done000
Total38240
Error
0b
Counts
40 → 2
Compiler

Compiled 457 to 220 computations (51.9% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b
(*.f64 x (-.f64 x 1))

rewrite32.0ms (1.4%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
11×add-sqr-sqrt_binary64_12035
8×*-un-lft-identity_binary64_12013
7×associate-*r*_binary64_11953
6×cancel-sign-sub-inv_binary64_11979
5×add-cube-cbrt_binary64_12048
4×distribute-rgt-in_binary64_11963 distribute-lft-in_binary64_11962
3×pow1_binary64_12074 add-exp-log_binary64_12051 add-cbrt-cube_binary64_12049 associate-*l*_binary64_11954
2×sub-neg_binary64_12006 associate-*r/_binary64_11955 difference-of-squares_binary64_11982
1×pow-prod-down_binary64_12084 prod-exp_binary64_12062 add-log-exp_binary64_12052 cbrt-unprod_binary64_12046 unswap-sqr_binary64_11981 flip3--_binary64_12017 flip--_binary64_11988 difference-of-sqr-1_binary64_11983 distribute-lft-out--_binary64_11965 *-commutative_binary64_11944
Counts
1 → 32
Calls

1 calls:

8.0ms
(*.f64 x (-.f64 x 1))
Compiler

Compiled 360 to 238 computations (33.9% saved)

series55.0ms (2.4%)

Error
0b
Counts
1 → 6
Calls

1 calls:

52.0ms
(*.f64 x (-.f64 x 1))
Compiler

Compiled 63 to 49 computations (22.2% saved)

simplify191.0ms (8.4%)

Algorithm
1×egg-herbie
Rules
814×associate-*r/_binary64_11955
811×associate-*l/_binary64_11956
273×times-frac_binary64_12019
222×associate-*l*_binary64_11954
174×unswap-sqr_binary64_11981
161×associate-*r*_binary64_11953
160×associate-/r*_binary64_11957
112×distribute-rgt-in_binary64_11963
100×distribute-lft-in_binary64_11962
92×associate-/l*_binary64_11958
91×distribute-rgt-out_binary64_11966
73×associate-/r/_binary64_11959
56×unsub-neg_binary64_12007
52×exp-prod_binary64_12065 sqr-pow_binary64_11985 distribute-rgt-neg-out_binary64_11973
43×*-commutative_binary64_11944
39×distribute-lft-neg-out_binary64_11972
37×cancel-sign-sub-inv_binary64_11979
35×distribute-lft-out_binary64_11964
34×difference-of-squares_binary64_11982
31×pow-sqr_binary64_11986
30×sub-neg_binary64_12006
29×log-prod_binary64_12099
26×pow-plus_binary64_12076 distribute-neg-in_binary64_11974
24×distribute-rgt-out--_binary64_11967
23×associate-/l/_binary64_11960
22×*-rgt-identity_binary64_12003
21×exp-sum_binary64_12059
20×cube-prod_binary64_12041
19×mul-1-neg_binary64_12005
17×log-pow_binary64_12102 exp-sqrt_binary64_12066 neg-sub0_binary64_12008 distribute-neg-frac_binary64_11977
16×+-commutative_binary64_11943
15×*-lft-identity_binary64_12002 distribute-rgt-neg-in_binary64_11971
13×distribute-lft-neg-in_binary64_11970
12×swap-sqr_binary64_11980
11×log-div_binary64_12100 cube-div_binary64_12042 distribute-lft-out--_binary64_11965
10×mul0-rgt_binary64_11996 mul0-lft_binary64_11995
8×exp-diff_binary64_12061
7×neg-mul-1_binary64_12009
6×pow-base-1_binary64_12073 difference-of-sqr-1_binary64_11983
5×cube-unmult_binary64_12050 associate-+l-_binary64_11948 associate-+l+_binary64_11946
4×prod-exp_binary64_12062 div-sub_binary64_12018 sub0-neg_binary64_12000 +-rgt-identity_binary64_11998 difference-of-sqr--1_binary64_11984 distribute-rgt1-in_binary64_11969 associate-+r-_binary64_11947
3×unpow3_binary64_12079 cube-mult_binary64_12043 rem-sqrt-square_binary64_12026 count-2_binary64_11961
2×distribute-lft1-in_binary64_11968
1×unpow2_binary64_12078 unpow1_binary64_12071 exp-lft-sqr_binary64_12068 1-exp_binary64_12057 exp-1-e_binary64_12056 rem-log-exp_binary64_12054 rem-3cbrt-lft_binary64_12038 rem-cbrt-cube_binary64_12037 sqr-neg_binary64_12027 rem-square-sqrt_binary64_12025 /-rgt-identity_binary64_12004 *-inverses_binary64_11993 distribute-neg-out_binary64_11975 associate-+r+_binary64_11945
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_12276 erf-erfc_binary64_12275 erf-odd_binary64_12274 if-if-and-not_binary64_12273 if-if-and_binary64_12272 if-if-or-not_binary64_12271 if-if-or_binary64_12270 if-not_binary64_12269 if-same_binary64_12268 if-false_binary64_12267 if-true_binary64_12266 not-gte_binary64_12265 not-lte_binary64_12264 not-gt_binary64_12263 not-lt_binary64_12262 gte-same_binary64_12261 lte-same_binary64_12260 gt-same_binary64_12259 lt-same_binary64_12258 sinh---cosh_binary64_12205 sinh-+-cosh_binary64_12204 sinh-cosh_binary64_12203 tanh-def-c_binary64_12202 tanh-def-b_binary64_12201 tanh-def-a_binary64_12200 cosh-def_binary64_12199 sinh-def_binary64_12198 tan-neg_binary64_12145 cos-neg_binary64_12144 sin-neg_binary64_12143 tan-0_binary64_12142 cos-0_binary64_12141 sin-0_binary64_12140 hang-m-tan_binary64_12139 hang-p-tan_binary64_12138 hang-m0-tan_binary64_12137 hang-p0-tan_binary64_12136 hang-0m-tan_binary64_12135 hang-0p-tan_binary64_12134 tan-+PI/2_binary64_12133 tan-+PI_binary64_12132 tan-PI_binary64_12131 tan-PI/3_binary64_12130 tan-PI/4_binary64_12129 tan-PI/6_binary64_12128 cos-+PI/2_binary64_12127 cos-+PI_binary64_12126 cos-PI_binary64_12125 cos-PI/2_binary64_12124 cos-PI/3_binary64_12123 cos-PI/4_binary64_12122 cos-PI/6_binary64_12121 sin-+PI/2_binary64_12120 sin-+PI_binary64_12119 sin-PI_binary64_12118 sin-PI/2_binary64_12117 sin-PI/3_binary64_12116 sin-PI/4_binary64_12115 sin-PI/6_binary64_12114 sub-1-sin_binary64_12113 sub-1-cos_binary64_12112 -1-add-sin_binary64_12111 -1-add-cos_binary64_12110 1-sub-sin_binary64_12109 1-sub-cos_binary64_12108 cos-sin-sum_binary64_12107 log-E_binary64_12103 log-rec_binary64_12101 pow-base-0_binary64_12097 unpow1/3_binary64_12080 unpow1/2_binary64_12077 exp-to-pow_binary64_12075 unpow0_binary64_12072 unpow-1_binary64_12070 exp-lft-cube_binary64_12069 exp-cbrt_binary64_12067 div-exp_binary64_12064 rec-exp_binary64_12063 exp-neg_binary64_12060 e-exp-1_binary64_12058 exp-0_binary64_12055 rem-exp-log_binary64_12053 cube-neg_binary64_12040 rem-3cbrt-rft_binary64_12039 rem-cube-cbrt_binary64_12036 sqr-abs_binary64_12028 remove-double-neg_binary64_12001 --rgt-identity_binary64_11999 +-lft-identity_binary64_11997 div0_binary64_11994 +-inverses_binary64_11992 lft-mult-inverse_binary64_11991 rgt-mult-inverse_binary64_11990 remove-double-div_binary64_11989 cancel-sign-sub_binary64_11978 distribute-frac-neg_binary64_11976 associate--r-_binary64_11952 associate--l-_binary64_11951 associate--l+_binary64_11950 associate--r+_binary64_11949
Counts
38 → 54
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
065343
1146312
2372310
31181310

prune33.0ms (1.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New54054
Fresh000
Picked011
Done011
Total54256
Error
0b
Counts
56 → 2
Compiler

Compiled 548 to 239 computations (56.4% saved)

regimes24.0ms (1.1%)

Accuracy

Total 0.0b remaining (96.5%)

Threshold costs 0.0b (96.5%)

Compiler

Compiled 54 to 44 computations (18.5% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
2×sub-neg_binary64_12006 +-commutative_binary64_11943
1×neg-mul-1_binary64_12009 neg-sub0_binary64_12008 *-commutative_binary64_11944
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_12273 if-if-and_binary64_12272 if-if-or-not_binary64_12271 if-if-or_binary64_12270 if-not_binary64_12269 if-same_binary64_12268 if-false_binary64_12267 if-true_binary64_12266 tan-0_binary64_12142 cos-0_binary64_12141 sin-0_binary64_12140 unpow1_binary64_12071 e-exp-1_binary64_12058 1-exp_binary64_12057 exp-1-e_binary64_12056 exp-0_binary64_12055 sqr-abs_binary64_12028 sqr-neg_binary64_12027 unsub-neg_binary64_12007 mul-1-neg_binary64_12005 /-rgt-identity_binary64_12004 *-rgt-identity_binary64_12003 *-lft-identity_binary64_12002 remove-double-neg_binary64_12001 sub0-neg_binary64_12000 --rgt-identity_binary64_11999 +-rgt-identity_binary64_11998 +-lft-identity_binary64_11997 cancel-sign-sub-inv_binary64_11979 cancel-sign-sub_binary64_11978 distribute-neg-frac_binary64_11977 distribute-frac-neg_binary64_11976 distribute-neg-out_binary64_11975 distribute-neg-in_binary64_11974 distribute-rgt-neg-out_binary64_11973 distribute-lft-neg-out_binary64_11972 distribute-rgt-neg-in_binary64_11971 distribute-lft-neg-in_binary64_11970
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
047
167
2117
3137
4147
Proof
(- f64 (* f64 h0 h0) h0)

end0.0ms (0%)

sample392.0ms (17.2%)

Algorithm
1×intervals
Results
136.0ms8000×body128valid
0.0ms3×body128invalid
Compiler

Compiled 37 to 29 computations (21.6% saved)

Profiling

Loading profile data...