Details

Time bar (total: 1.4min)

analyze6.0ms (0%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
0%50%50%3
25%25%50%4
37.5%12.5%50%5
43.7%6.2%50%6
46.9%3.1%50%7
48.4%1.6%50%8
49.2%0.8%50%9
49.6%0.4%50%10
49.8%0.2%50%11
49.9%0.1%50%12
49.9%0%50.1%13
49.9%0%50.1%14
Compiler

Compiled 20 to 16 computations (20% saved)

sample19.0ms (0%)

Algorithm
1×intervals
Results
13.0ms256×body128valid
Compiler

Compiled 39 to 32 computations (17.9% saved)

simplify179.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (81.0ms)

IterNodesCost
0503929

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.0b
Counts
2 → 1
Compiler

Compiled 19 to 15 computations (21.1% saved)

localize16.0ms (0%)

Local error

Found 6 expressions with local error:

0.2b
(*.f64 3 (*.f64 v v))
0.0b
(*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v)))
0.0b
(*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
0.0b
(*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
0.0b
(*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v)))
0.2b
(*.f64 3 (*.f64 v v))

rewrite47.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
38×add-sqr-sqrt_binary64_2146
26×associate-*l*_binary64_2065
22×add-exp-log_binary64_2162 times-frac_binary64_2130 add-cbrt-cube_binary64_2160
21×*-un-lft-identity_binary64_2124
20×add-cube-cbrt_binary64_2159
18×frac-times_binary64_2134
17×sqrt-prod_binary64_2140
16×sqrt-div_binary64_2141
15×pow1_binary64_2185
14×flip--_binary64_2099 flip3--_binary64_2128
12×associate-*r*_binary64_2064
10×prod-exp_binary64_2173 associate-*r/_binary64_2066 cbrt-unprod_binary64_2157
9×associate-*l/_binary64_2067
7×pow-prod-down_binary64_2195 unswap-sqr_binary64_2092
3×*-commutative_binary64_2055 add-log-exp_binary64_2163
2×difference-of-squares_binary64_2093 cbrt-undiv_binary64_2158 cancel-sign-sub-inv_binary64_2090 distribute-rgt-in_binary64_2074 sub-neg_binary64_2117 div-exp_binary64_2175 distribute-lft-in_binary64_2073
1×div-inv_binary64_2121
Counts
3 → 114
Calls

6 calls:

15.0ms
(*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v)))
13.0ms
(*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
6.0ms
(*.f64 3 (*.f64 v v))
0.0ms
(*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
0.0ms
(*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v)))

series150.0ms (0.2%)

Counts
3 → 15
Calls

3 calls:

72.0ms
(*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (-.f64 1 (*.f64 v v)))
52.0ms
(*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
25.0ms
(*.f64 3 (*.f64 v v))
Compiler

Compiled 443 to 405 computations (8.6% saved)

simplify87.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
129 → 129
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
050213284

prune697.0ms (0.8%)

Pruning

58 alts after pruning (57 fresh and 1 done)

PrunedKeptTotal
New7257129
Fresh000
Picked000
Done011
Total7258130
Error
0b
Counts
130 → 58
Compiler

Compiled 4092 to 3157 computations (22.8% saved)

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (neg.f64 (*.f64 v v)))
0.0b
(+.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (neg.f64 (*.f64 v v))))
0.0b
(*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
0.0b
(*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
0.0b
(+.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (neg.f64 (*.f64 v v))))
0.2b
(*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (neg.f64 (*.f64 v v)))
0.2b
(*.f64 3 (*.f64 v v))
0.2b
(*.f64 3 (*.f64 v v))

rewrite57.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
44×sqrt-div_binary64_2141
41×associate-*l/_binary64_2067
25×frac-add_binary64_2132
23×add-exp-log_binary64_2162 add-cbrt-cube_binary64_2160
22×flip--_binary64_2099 flip3--_binary64_2128 associate-*r/_binary64_2066 frac-times_binary64_2134
19×pow1_binary64_2185
11×prod-exp_binary64_2173 cbrt-unprod_binary64_2157
9×pow-prod-down_binary64_2195 add-sqr-sqrt_binary64_2146
8×associate-*r*_binary64_2064
7×add-cube-cbrt_binary64_2159 associate-*l*_binary64_2065 *-un-lft-identity_binary64_2124
6×add-log-exp_binary64_2163
3×*-commutative_binary64_2055
2×unswap-sqr_binary64_2092 distribute-rgt-neg-out_binary64_2084
1×cbrt-undiv_binary64_2158 unsub-neg_binary64_2118 sum-log_binary64_2215 distribute-lft-neg-in_binary64_2081 distribute-rgt-neg-in_binary64_2082 +-commutative_binary64_2054 neg-mul-1_binary64_2120 flip3-+_binary64_2127 flip-+_binary64_2098 div-exp_binary64_2175
Counts
4 → 104
Calls

8 calls:

14.0ms
(*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (neg.f64 (*.f64 v v)))
14.0ms
(+.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (neg.f64 (*.f64 v v))))
7.0ms
(*.f64 3 (*.f64 v v))
6.0ms
(*.f64 3 (*.f64 v v))
0.0ms
(*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))

series222.0ms (0.3%)

Counts
4 → 18
Calls

4 calls:

89.0ms
(+.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (neg.f64 (*.f64 v v))))
71.0ms
(*.f64 (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (neg.f64 (*.f64 v v)))
33.0ms
(*.f64 3 (*.f64 v v))
28.0ms
(*.f64 3 (*.f64 v v))
Compiler

Compiled 801 to 711 computations (11.2% saved)

simplify83.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
122 → 122
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
049784289
149784289

localize3.0ms (0%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms (0%)

Counts
0 → 0

simplify7.0ms (0%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

localize14.0ms (0%)

Local error

Found 6 expressions with local error:

0.2b
(*.f64 3 (*.f64 v v))
0.0b
(*.f64 (*.f64 (/.f64 1 (sqrt.f64 4)) (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 2))) (-.f64 1 (*.f64 v v)))
0.0b
(*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 2))
0.0b
(*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 2))
0.0b
(*.f64 (*.f64 (/.f64 1 (sqrt.f64 4)) (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 2))) (-.f64 1 (*.f64 v v)))
0.2b
(*.f64 3 (*.f64 v v))

rewrite69.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
66×add-exp-log_binary64_2162
51×frac-times_binary64_2134
42×add-cbrt-cube_binary64_2160
38×prod-exp_binary64_2173 add-sqr-sqrt_binary64_2146
28×sqrt-div_binary64_2141 associate-*l/_binary64_2067 associate-*r*_binary64_2064
26×flip--_binary64_2099 flip3--_binary64_2128
24×associate-*r/_binary64_2066
22×times-frac_binary64_2130 cbrt-unprod_binary64_2157
21×*-un-lft-identity_binary64_2124
20×add-cube-cbrt_binary64_2159
19×pow1_binary64_2185
17×sqrt-prod_binary64_2140
11×div-exp_binary64_2175
10×pow-prod-down_binary64_2195 associate-*l*_binary64_2065
7×unswap-sqr_binary64_2092
6×cbrt-undiv_binary64_2158
3×*-commutative_binary64_2055 add-log-exp_binary64_2163 1-exp_binary64_2168 rec-exp_binary64_2174
2×difference-of-squares_binary64_2093 cancel-sign-sub-inv_binary64_2090 distribute-rgt-in_binary64_2074 sub-neg_binary64_2117 distribute-lft-in_binary64_2073
1×div-inv_binary64_2121
Counts
3 → 147
Calls

6 calls:

24.0ms
(*.f64 (*.f64 (/.f64 1 (sqrt.f64 4)) (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 2))) (-.f64 1 (*.f64 v v)))
16.0ms
(*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 2))
6.0ms
(*.f64 3 (*.f64 v v))
0.0ms
(*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 2))
0.0ms
(*.f64 (*.f64 (/.f64 1 (sqrt.f64 4)) (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 2))) (-.f64 1 (*.f64 v v)))

series147.0ms (0.2%)

Counts
3 → 15
Calls

3 calls:

65.0ms
(*.f64 (*.f64 (/.f64 1 (sqrt.f64 4)) (*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 2))) (-.f64 1 (*.f64 v v)))
56.0ms
(*.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))) (/.f64 (sqrt.f64 2) 2))
25.0ms
(*.f64 3 (*.f64 v v))
Compiler

Compiled 513 to 475 computations (7.4% saved)

simplify84.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
162 → 162
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
049554783
149554783

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(*.f64 3 (*.f64 v v))
0.0b
(/.f64 (*.f64 (-.f64 1 (pow.f64 v 6)) (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (*.f64 4 (+.f64 (pow.f64 v 4) (+.f64 (*.f64 v v) 1))))
0.0b
(+.f64 (pow.f64 v 4) (+.f64 (*.f64 v v) 1))
0.0b
(*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
0.0b
(+.f64 (pow.f64 v 4) (+.f64 (*.f64 v v) 1))
0.0b
(*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
0.0b
(/.f64 (*.f64 (-.f64 1 (pow.f64 v 6)) (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (*.f64 4 (+.f64 (pow.f64 v 4) (+.f64 (*.f64 v v) 1))))
0.2b
(*.f64 3 (*.f64 v v))

rewrite60.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
32×add-exp-log_binary64_2162 add-cbrt-cube_binary64_2160
18×add-sqr-sqrt_binary64_2146
13×pow1_binary64_2185 prod-exp_binary64_2173 cbrt-unprod_binary64_2157
12×associate-*r/_binary64_2066
11×*-un-lft-identity_binary64_2124
10×sqrt-prod_binary64_2140
9×add-log-exp_binary64_2163 add-cube-cbrt_binary64_2159 associate-*l*_binary64_2065
8×sqrt-div_binary64_2141 associate-/l/_binary64_2071
7×flip--_binary64_2099 flip3--_binary64_2128 associate-*r*_binary64_2064
6×pow-prod-down_binary64_2195 cbrt-undiv_binary64_2158 div-exp_binary64_2175
5×unswap-sqr_binary64_2092
4×frac-times_binary64_2134
3×sum-log_binary64_2215
2×associate-/r/_binary64_2070 sqrt-pow1_binary64_2142 *-commutative_binary64_2055 associate-*l/_binary64_2067 pow1/2_binary64_2204 flip3-+_binary64_2127 flip-+_binary64_2098
1×clear-num_binary64_2123 sqrt-unprod_binary64_2144 associate-/l*_binary64_2069 distribute-lft-out_binary64_2075 associate-/r*_binary64_2068 associate-+r+_binary64_2056 +-commutative_binary64_2054 div-inv_binary64_2121 times-frac_binary64_2130 frac-2neg_binary64_2135
Counts
4 → 100
Calls

8 calls:

25.0ms
(/.f64 (*.f64 (-.f64 1 (pow.f64 v 6)) (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (*.f64 4 (+.f64 (pow.f64 v 4) (+.f64 (*.f64 v v) 1))))
9.0ms
(*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
8.0ms
(+.f64 (pow.f64 v 4) (+.f64 (*.f64 v v) 1))
6.0ms
(*.f64 3 (*.f64 v v))
0.0ms
(*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))

series257.0ms (0.3%)

Counts
4 → 24
Calls

4 calls:

98.0ms
(+.f64 (pow.f64 v 4) (+.f64 (*.f64 v v) 1))
80.0ms
(/.f64 (*.f64 (-.f64 1 (pow.f64 v 6)) (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))) (*.f64 4 (+.f64 (pow.f64 v 4) (+.f64 (*.f64 v v) 1))))
48.0ms
(*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
31.0ms
(*.f64 3 (*.f64 v v))
Compiler

Compiled 905 to 796 computations (12% saved)

simplify107.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
124 → 124
Iterations

Useful iterations: 0 (72.0ms)

IterNodesCost
049292929
149292929

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(sqrt.f64 (+.f64 (*.f64 3 (*.f64 v v)) 1))
0.0b
(+.f64 (pow.f64 v 4) (+.f64 (*.f64 v v) 1))
0.0b
(sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 4) -9)))
0.0b
(*.f64 (-.f64 1 (pow.f64 v 6)) (*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 4) -9)))))
0.0b
(*.f64 (+.f64 (pow.f64 v 4) (+.f64 (*.f64 v v) 1)) (*.f64 4 (sqrt.f64 (+.f64 (*.f64 3 (*.f64 v v)) 1))))
0.0b
(/.f64 (*.f64 (-.f64 1 (pow.f64 v 6)) (*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 4) -9))))) (*.f64 (+.f64 (pow.f64 v 4) (+.f64 (*.f64 v v) 1)) (*.f64 4 (sqrt.f64 (+.f64 (*.f64 3 (*.f64 v v)) 1)))))
0.1b
(*.f64 (pow.f64 v 4) -9)
0.2b
(*.f64 3 (*.f64 v v))

rewrite85.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
55×add-exp-log_binary64_2162
52×add-cbrt-cube_binary64_2160
27×prod-exp_binary64_2173
25×cbrt-unprod_binary64_2157
24×associate-*r/_binary64_2066
18×sqrt-div_binary64_2141
15×add-sqr-sqrt_binary64_2146 flip3-+_binary64_2127 flip-+_binary64_2098
14×pow1_binary64_2185 associate-*l*_binary64_2065
12×frac-times_binary64_2134
11×*-un-lft-identity_binary64_2124
9×cbrt-undiv_binary64_2158 add-cube-cbrt_binary64_2159 div-exp_binary64_2175
8×associate-/r/_binary64_2070 associate-/l/_binary64_2071
6×pow-prod-down_binary64_2195 associate-*l/_binary64_2067
5×associate-*r*_binary64_2064
4×unswap-sqr_binary64_2092 unpow-prod-down_binary64_2203 add-log-exp_binary64_2163
3×flip--_binary64_2099 flip3--_binary64_2128 *-commutative_binary64_2055
2×sqr-pow_binary64_2096
1×clear-num_binary64_2123 pow-exp_binary64_2192 associate-/l*_binary64_2069 distribute-lft-out_binary64_2075 associate-/r*_binary64_2068 pow-to-exp_binary64_2193 div-inv_binary64_2121 times-frac_binary64_2130 frac-2neg_binary64_2135
Counts
4 → 118
Calls

8 calls:

34.0ms
(/.f64 (*.f64 (-.f64 1 (pow.f64 v 6)) (*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 4) -9))))) (*.f64 (+.f64 (pow.f64 v 4) (+.f64 (*.f64 v v) 1)) (*.f64 4 (sqrt.f64 (+.f64 (*.f64 3 (*.f64 v v)) 1)))))
21.0ms
(*.f64 (+.f64 (pow.f64 v 4) (+.f64 (*.f64 v v) 1)) (*.f64 4 (sqrt.f64 (+.f64 (*.f64 3 (*.f64 v v)) 1))))
6.0ms
(*.f64 3 (*.f64 v v))
6.0ms
(*.f64 (pow.f64 v 4) -9)
0.0ms
(*.f64 (-.f64 1 (pow.f64 v 6)) (*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 4) -9)))))

series315.0ms (0.4%)

Counts
4 → 24
Calls

4 calls:

157.0ms
(*.f64 (+.f64 (pow.f64 v 4) (+.f64 (*.f64 v v) 1)) (*.f64 4 (sqrt.f64 (+.f64 (*.f64 3 (*.f64 v v)) 1))))
90.0ms
(/.f64 (*.f64 (-.f64 1 (pow.f64 v 6)) (*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 4) -9))))) (*.f64 (+.f64 (pow.f64 v 4) (+.f64 (*.f64 v v) 1)) (*.f64 4 (sqrt.f64 (+.f64 (*.f64 3 (*.f64 v v)) 1)))))
38.0ms
(*.f64 (pow.f64 v 4) -9)
29.0ms
(*.f64 3 (*.f64 v v))
Compiler

Compiled 1193 to 1059 computations (11.2% saved)

simplify111.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
142 → 142
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
049294892
149294892

prune11.7s (13.9%)

Pruning

235 alts after pruning (231 fresh and 4 done)

PrunedKeptTotal
New356194550
Fresh153752
Picked000
Done246
Total373235608
Error
0b
Counts
608 → 235
Compiler

Compiled 24421 to 18777 computations (23.1% saved)

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 -9 (pow.f64 v 4)))))
0.0b
(sqrt.f64 (+.f64 (*.f64 3 (*.f64 v v)) 1))
0.0b
(sqrt.f64 (+.f64 1 (*.f64 -9 (pow.f64 v 4))))
0.0b
(sqrt.f64 (+.f64 1 (*.f64 -9 (pow.f64 v 4))))
0.1b
(*.f64 -9 (pow.f64 v 4))
0.2b
(*.f64 3 (*.f64 v v))
0.2b
(*.f64 3 (*.f64 v v))
0.2b
(*.f64 (*.f64 v v) (*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 -9 (pow.f64 v 4))))))

rewrite43.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
31×add-exp-log_binary64_2162
28×add-cbrt-cube_binary64_2160
26×pow1_binary64_2185
17×prod-exp_binary64_2173
16×add-sqr-sqrt_binary64_2146
15×cbrt-unprod_binary64_2157
14×pow-prod-down_binary64_2195
10×associate-*l*_binary64_2065 associate-*r*_binary64_2064
9×add-cube-cbrt_binary64_2159 *-un-lft-identity_binary64_2124
5×unswap-sqr_binary64_2092
4×unpow-prod-down_binary64_2203 *-commutative_binary64_2055 add-log-exp_binary64_2163 associate-*r/_binary64_2066
2×sqrt-div_binary64_2141 sqr-pow_binary64_2096
1×pow-exp_binary64_2192 pow-to-exp_binary64_2193 flip3-+_binary64_2127 flip-+_binary64_2098
Counts
4 → 87
Calls

8 calls:

13.0ms
(*.f64 (*.f64 v v) (*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 -9 (pow.f64 v 4))))))
6.0ms
(*.f64 -9 (pow.f64 v 4))
6.0ms
(*.f64 3 (*.f64 v v))
6.0ms
(*.f64 3 (*.f64 v v))
0.0ms
(sqrt.f64 (+.f64 1 (*.f64 -9 (pow.f64 v 4))))

series220.0ms (0.3%)

Counts
4 → 15
Calls

4 calls:

121.0ms
(*.f64 (*.f64 v v) (*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 -9 (pow.f64 v 4))))))
35.0ms
(*.f64 -9 (pow.f64 v 4))
33.0ms
(*.f64 3 (*.f64 v v))
31.0ms
(*.f64 3 (*.f64 v v))
Compiler

Compiled 1258 to 1066 computations (15.3% saved)

simplify86.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
102 → 102
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
049011318
149011318

localize9.0ms (0%)

Local error

Found 4 expressions with local error:

0.1b
(*.f64 5/8 (*.f64 v v))
0.0b
(*.f64 (sqrt.f64 2) (-.f64 1/4 (*.f64 5/8 (*.f64 v v))))
0.0b
(*.f64 (sqrt.f64 2) (-.f64 1/4 (*.f64 5/8 (*.f64 v v))))
0.1b
(*.f64 5/8 (*.f64 v v))

rewrite16.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
11×add-sqr-sqrt_binary64_2146
9×pow1_binary64_2185 associate-*l*_binary64_2065 add-exp-log_binary64_2162 add-cbrt-cube_binary64_2160
6×add-cube-cbrt_binary64_2159 *-un-lft-identity_binary64_2124
4×pow-prod-down_binary64_2195 sqrt-prod_binary64_2140 prod-exp_binary64_2173 associate-*r*_binary64_2064 cbrt-unprod_binary64_2157
3×unswap-sqr_binary64_2092
2×cancel-sign-sub-inv_binary64_2090 *-commutative_binary64_2055 add-log-exp_binary64_2163 distribute-rgt-in_binary64_2074 sub-neg_binary64_2117 associate-*r/_binary64_2066 distribute-lft-in_binary64_2073
1×flip--_binary64_2099 flip3--_binary64_2128
Counts
2 → 47
Calls

4 calls:

7.0ms
(*.f64 (sqrt.f64 2) (-.f64 1/4 (*.f64 5/8 (*.f64 v v))))
6.0ms
(*.f64 5/8 (*.f64 v v))
0.0ms
(*.f64 (sqrt.f64 2) (-.f64 1/4 (*.f64 5/8 (*.f64 v v))))
0.0ms
(*.f64 5/8 (*.f64 v v))

series103.0ms (0.1%)

Counts
2 → 9
Calls

2 calls:

79.0ms
(*.f64 (sqrt.f64 2) (-.f64 1/4 (*.f64 5/8 (*.f64 v v))))
24.0ms
(*.f64 5/8 (*.f64 v v))
Compiler

Compiled 158 to 159 computations (-0.6% saved)

simplify82.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
56 → 56
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
04882771
14882771

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

3.2b
(log.f64 (exp.f64 (*.f64 3 (*.f64 v v))))
0.2b
(*.f64 3 (*.f64 v v))
0.0b
(*.f64 (*.f64 (/.f64 1 (sqrt.f64 4)) (*.f64 (sqrt.f64 (-.f64 1 (log.f64 (exp.f64 (*.f64 3 (*.f64 v v)))))) (/.f64 (sqrt.f64 2) 2))) (-.f64 1 (*.f64 v v)))
0.0b
(*.f64 (sqrt.f64 (-.f64 1 (log.f64 (exp.f64 (*.f64 3 (*.f64 v v)))))) (/.f64 (sqrt.f64 2) 2))
0.0b
(*.f64 (sqrt.f64 (-.f64 1 (log.f64 (exp.f64 (*.f64 3 (*.f64 v v)))))) (/.f64 (sqrt.f64 2) 2))
0.0b
(*.f64 (*.f64 (/.f64 1 (sqrt.f64 4)) (*.f64 (sqrt.f64 (-.f64 1 (log.f64 (exp.f64 (*.f64 3 (*.f64 v v)))))) (/.f64 (sqrt.f64 2) 2))) (-.f64 1 (*.f64 v v)))
0.2b
(*.f64 3 (*.f64 v v))
3.2b
(log.f64 (exp.f64 (*.f64 3 (*.f64 v v))))

rewrite80.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
67×add-exp-log_binary64_2162
51×frac-times_binary64_2134
43×add-sqr-sqrt_binary64_2146 add-cbrt-cube_binary64_2160
38×prod-exp_binary64_2173
28×sqrt-div_binary64_2141 associate-*l/_binary64_2067 associate-*r*_binary64_2064
27×*-un-lft-identity_binary64_2124
26×flip--_binary64_2099 flip3--_binary64_2128
24×associate-*r/_binary64_2066
22×pow1_binary64_2185 add-cube-cbrt_binary64_2159 times-frac_binary64_2130 cbrt-unprod_binary64_2157
21×sqrt-prod_binary64_2140
14×associate-*l*_binary64_2065
11×div-exp_binary64_2175
10×pow-prod-down_binary64_2195
7×unswap-sqr_binary64_2092
6×cbrt-undiv_binary64_2158
5×add-log-exp_binary64_2163
4×difference-of-squares_binary64_2093 log-pow_binary64_2213
3×*-commutative_binary64_2055 log-prod_binary64_2210 1-exp_binary64_2168 rec-exp_binary64_2174
2×cancel-sign-sub-inv_binary64_2090 distribute-lft-out--_binary64_2076 distribute-rgt-in_binary64_2074 sub-neg_binary64_2117 distribute-lft-in_binary64_2073
1×rem-log-exp_binary64_2165 exp-to-pow_binary64_2186 exp-prod_binary64_2176 div-inv_binary64_2121
Counts
4 → 165
Calls

8 calls:

26.0ms
(*.f64 (*.f64 (/.f64 1 (sqrt.f64 4)) (*.f64 (sqrt.f64 (-.f64 1 (log.f64 (exp.f64 (*.f64 3 (*.f64 v v)))))) (/.f64 (sqrt.f64 2) 2))) (-.f64 1 (*.f64 v v)))
18.0ms
(*.f64 (sqrt.f64 (-.f64 1 (log.f64 (exp.f64 (*.f64 3 (*.f64 v v)))))) (/.f64 (sqrt.f64 2) 2))
6.0ms
(*.f64 3 (*.f64 v v))
2.0ms
(log.f64 (exp.f64 (*.f64 3 (*.f64 v v))))
0.0ms
(*.f64 (sqrt.f64 (-.f64 1 (log.f64 (exp.f64 (*.f64 3 (*.f64 v v)))))) (/.f64 (sqrt.f64 2) 2))

series511.0ms (0.6%)

Counts
4 → 20
Calls

4 calls:

267.0ms
(*.f64 (*.f64 (/.f64 1 (sqrt.f64 4)) (*.f64 (sqrt.f64 (-.f64 1 (log.f64 (exp.f64 (*.f64 3 (*.f64 v v)))))) (/.f64 (sqrt.f64 2) 2))) (-.f64 1 (*.f64 v v)))
136.0ms
(*.f64 (sqrt.f64 (-.f64 1 (log.f64 (exp.f64 (*.f64 3 (*.f64 v v)))))) (/.f64 (sqrt.f64 2) 2))
83.0ms
(log.f64 (exp.f64 (*.f64 3 (*.f64 v v))))
25.0ms
(*.f64 3 (*.f64 v v))
Compiler

Compiled 774 to 720 computations (7% saved)

simplify90.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
185 → 185
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
049365112
149365112

localize22.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (sqrt.f64 2))))
0.0b
(*.f64 (*.f64 (/.f64 1 (sqrt.f64 4)) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (sqrt.f64 2))))) (-.f64 1 (*.f64 v v)))
0.0b
(sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (sqrt.f64 2)))
0.0b
(exp.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
0.0b
(*.f64 (*.f64 (/.f64 1 (sqrt.f64 4)) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (sqrt.f64 2))))) (-.f64 1 (*.f64 v v)))
0.0b
(log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (sqrt.f64 2))))
0.0b
(pow.f64 (exp.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (sqrt.f64 2))
0.2b
(*.f64 3 (*.f64 v v))

rewrite42.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
25×add-exp-log_binary64_2162
18×add-cbrt-cube_binary64_2160
16×pow1_binary64_2185 add-sqr-sqrt_binary64_2146
15×*-un-lft-identity_binary64_2124
14×add-cube-cbrt_binary64_2159
13×sqrt-prod_binary64_2140
12×prod-exp_binary64_2173
10×log-prod_binary64_2210
8×cbrt-unprod_binary64_2157
7×pow-pow_binary64_2196
6×pow-prod-down_binary64_2195 pow-unpow_binary64_2201 unpow-prod-down_binary64_2203 exp-prod_binary64_2176 associate-*r*_binary64_2064
4×add-log-exp_binary64_2163 associate-*l*_binary64_2065 associate-*l/_binary64_2067
3×log-pow_binary64_2213
2×flip--_binary64_2099 difference-of-squares_binary64_2093 flip3--_binary64_2128 cancel-sign-sub-inv_binary64_2090 *-commutative_binary64_2055 sqr-pow_binary64_2096 distribute-rgt-in_binary64_2074 sub-neg_binary64_2117 associate-*r/_binary64_2066 frac-times_binary64_2134 div-exp_binary64_2175 distribute-lft-in_binary64_2073
1×cbrt-undiv_binary64_2158 rem-log-exp_binary64_2165 unswap-sqr_binary64_2092 sqrt-pow1_binary64_2142 pow-exp_binary64_2192 pow1/2_binary64_2204 pow-to-exp_binary64_2193 1-exp_binary64_2168 rec-exp_binary64_2174
Counts
4 → 99
Calls

8 calls:

13.0ms
(*.f64 (*.f64 (/.f64 1 (sqrt.f64 4)) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (sqrt.f64 2))))) (-.f64 1 (*.f64 v v)))
7.0ms
(pow.f64 (exp.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (sqrt.f64 2))
6.0ms
(*.f64 3 (*.f64 v v))
5.0ms
(log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (sqrt.f64 2))))
0.0ms
(exp.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))

series986.0ms (1.2%)

Counts
4 → 23
Calls

4 calls:

538.0ms
(*.f64 (*.f64 (/.f64 1 (sqrt.f64 4)) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (sqrt.f64 2))))) (-.f64 1 (*.f64 v v)))
264.0ms
(log.f64 (sqrt.f64 (pow.f64 (exp.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (sqrt.f64 2))))
158.0ms
(pow.f64 (exp.f64 (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))) (sqrt.f64 2))
25.0ms
(*.f64 3 (*.f64 v v))
Compiler

Compiled 976 to 909 computations (6.9% saved)

simplify82.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
122 → 122
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
051543398

localize32.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(sqrt.f64 (+.f64 1 (*.f64 (*.f64 v v) (+.f64 3 (*.f64 (*.f64 v v) 9)))))
0.0b
(sqrt.f64 (+.f64 1 (*.f64 (*.f64 v v) (+.f64 3 (*.f64 (*.f64 v v) 9)))))
0.0b
(*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (+.f64 1 (*.f64 -27 (pow.f64 v 6)))))
0.0b
(*.f64 (sqrt.f64 (+.f64 1 (*.f64 -27 (pow.f64 v 6)))) (*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 (*.f64 v v) (+.f64 3 (*.f64 (*.f64 v v) 9)))))))
0.2b
(*.f64 (*.f64 v v) (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (+.f64 1 (*.f64 -27 (pow.f64 v 6))))))
0.2b
(*.f64 (*.f64 v v) 9)
0.2b
(*.f64 (*.f64 v v) 9)
0.2b
(*.f64 (*.f64 v v) 9)

rewrite52.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
40×add-exp-log_binary64_2162 add-cbrt-cube_binary64_2160
31×pow1_binary64_2185
22×prod-exp_binary64_2173 cbrt-unprod_binary64_2157
17×pow-prod-down_binary64_2195
10×add-sqr-sqrt_binary64_2146 associate-*r*_binary64_2064
7×add-cube-cbrt_binary64_2159 associate-*r/_binary64_2066 *-un-lft-identity_binary64_2124
4×*-commutative_binary64_2055 sqrt-div_binary64_2141 add-log-exp_binary64_2163 associate-*l*_binary64_2065
3×unswap-sqr_binary64_2092
2×cbrt-undiv_binary64_2158 flip3-+_binary64_2127 frac-times_binary64_2134 flip-+_binary64_2098 div-exp_binary64_2175
1×associate-*l/_binary64_2067
Counts
4 → 88
Calls

8 calls:

16.0ms
(*.f64 (*.f64 v v) (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (+.f64 1 (*.f64 -27 (pow.f64 v 6))))))
6.0ms
(*.f64 (*.f64 v v) 9)
6.0ms
(*.f64 (*.f64 v v) 9)
6.0ms
(*.f64 (*.f64 v v) 9)
0.0ms
(*.f64 (sqrt.f64 (+.f64 1 (*.f64 -27 (pow.f64 v 6)))) (*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 (*.f64 v v) (+.f64 3 (*.f64 (*.f64 v v) 9)))))))

series347.0ms (0.4%)

Counts
4 → 15
Calls

4 calls:

236.0ms
(*.f64 (*.f64 v v) (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (+.f64 1 (*.f64 -27 (pow.f64 v 6))))))
40.0ms
(*.f64 (*.f64 v v) 9)
37.0ms
(*.f64 (*.f64 v v) 9)
34.0ms
(*.f64 (*.f64 v v) 9)
Compiler

Compiled 2017 to 1523 computations (24.5% saved)

simplify63.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
103 → 103
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
060411499

prune23.0s (27.4%)

Pruning

365 alts after pruning (356 fresh and 9 done)

PrunedKeptTotal
New417151568
Fresh21205226
Picked000
Done099
Total438365803
Error
0b
Counts
803 → 365
Compiler

Compiled 30049 to 23299 computations (22.5% saved)

localize34.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(sqrt.f64 (+.f64 (*.f64 3 (*.f64 v v)) 1))
0.0b
(*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 (*.f64 -9 (pow.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v)) 4)) (pow.f64 (cbrt.f64 v) 4)))))
0.0b
(sqrt.f64 (+.f64 1 (*.f64 (*.f64 -9 (pow.f64 (*.f64 (cbrt.f64 v) (cbrt.f64 v)) 4)) (pow.f64 (cbrt.f64 v) 4))))
0.0b
(sqrt.f64 (+.f64 1 (*.f64 -9 (pow.f64 v 4))))
0.6b
(cbrt.f64 v)
0.6b
(cbrt.f64 v)
0.6b
(cbrt.f64 v)
0.7b
(pow.f64 (cbrt.f64 v) 4)

rewrite16.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
12×cbrt-prod_binary64_2155
10×add-cube-cbrt_binary64_2159 add-sqr-sqrt_binary64_2146 *-un-lft-identity_binary64_2124
6×unpow-prod-down_binary64_2203
5×pow1_binary64_2185 add-exp-log_binary64_2162
4×add-log-exp_binary64_2163 pow1/3_binary64_2206 add-cbrt-cube_binary64_2160
3×pow-unpow_binary64_2201
2×pow-pow_binary64_2196
1×pow-exp_binary64_2192 sqr-pow_binary64_2096 pow-to-exp_binary64_2193
Counts
4 → 54
Calls

8 calls:

3.0ms
(pow.f64 (cbrt.f64 v) 4)
3.0ms
(cbrt.f64 v)
1.0ms
(cbrt.f64 v)
1.0ms
(cbrt.f64 v)
0.0ms
(sqrt.f64 (+.f64 1 (*.f64 -9 (pow.f64 v 4))))

series374.0ms (0.4%)

Counts
4 → 12
Calls

4 calls:

120.0ms
(pow.f64 (cbrt.f64 v) 4)
88.0ms
(cbrt.f64 v)
87.0ms
(cbrt.f64 v)
79.0ms
(cbrt.f64 v)
Compiler

Compiled 1432 to 1144 computations (20.1% saved)

simplify62.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
66 → 66
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
04766402
14766402

localize6.0ms (0%)

Local error

Found 4 expressions with local error:

0.2b
(*.f64 v (*.f64 (sqrt.f64 2) -5/8))
0.1b
(*.f64 v (*.f64 v (*.f64 (sqrt.f64 2) -5/8)))
0.1b
(*.f64 v (*.f64 v (*.f64 (sqrt.f64 2) -5/8)))
0.2b
(*.f64 v (*.f64 (sqrt.f64 2) -5/8))

rewrite17.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
16×pow1_binary64_2185 add-exp-log_binary64_2162 add-cbrt-cube_binary64_2160
9×pow-prod-down_binary64_2195 prod-exp_binary64_2173 cbrt-unprod_binary64_2157
6×associate-*l*_binary64_2065
4×add-cube-cbrt_binary64_2159 add-sqr-sqrt_binary64_2146 *-un-lft-identity_binary64_2124
2×*-commutative_binary64_2055 add-log-exp_binary64_2163 associate-*r*_binary64_2064
Counts
2 → 39
Calls

4 calls:

8.0ms
(*.f64 v (*.f64 v (*.f64 (sqrt.f64 2) -5/8)))
6.0ms
(*.f64 v (*.f64 (sqrt.f64 2) -5/8))
0.0ms
(*.f64 v (*.f64 v (*.f64 (sqrt.f64 2) -5/8)))
0.0ms
(*.f64 v (*.f64 (sqrt.f64 2) -5/8))

series76.0ms (0.1%)

Counts
2 → 6
Calls

2 calls:

40.0ms
(*.f64 v (*.f64 v (*.f64 (sqrt.f64 2) -5/8)))
36.0ms
(*.f64 v (*.f64 (sqrt.f64 2) -5/8))
Compiler

Compiled 96 to 90 computations (6.3% saved)

simplify43.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
45 → 45
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
05055523

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(sqrt.f64 (+.f64 (*.f64 3 (*.f64 v v)) 1))
0.0b
(*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 4) -9))))
0.0b
(*.f64 (+.f64 (*.f64 v v) 1) (*.f64 4 (sqrt.f64 (+.f64 (*.f64 3 (*.f64 v v)) 1))))
0.0b
(sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 4) -9)))
0.0b
(*.f64 (-.f64 1 (pow.f64 v 4)) (*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 4) -9)))))
0.0b
(/.f64 (*.f64 (-.f64 1 (pow.f64 v 4)) (*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 4) -9))))) (*.f64 (+.f64 (*.f64 v v) 1) (*.f64 4 (sqrt.f64 (+.f64 (*.f64 3 (*.f64 v v)) 1)))))
0.1b
(*.f64 (pow.f64 v 4) -9)
0.2b
(*.f64 3 (*.f64 v v))

rewrite80.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
55×add-exp-log_binary64_2162
52×add-cbrt-cube_binary64_2160
27×prod-exp_binary64_2173
25×cbrt-unprod_binary64_2157
24×associate-*r/_binary64_2066
22×add-sqr-sqrt_binary64_2146
20×associate-*l*_binary64_2065
18×sqrt-div_binary64_2141
14×pow1_binary64_2185 *-un-lft-identity_binary64_2124
12×flip3-+_binary64_2127 frac-times_binary64_2134 flip-+_binary64_2098
9×cbrt-undiv_binary64_2158 add-cube-cbrt_binary64_2159 div-exp_binary64_2175
8×associate-/r/_binary64_2070 associate-/l/_binary64_2071
6×flip--_binary64_2099 difference-of-squares_binary64_2093 pow-prod-down_binary64_2195 flip3--_binary64_2128 unpow-prod-down_binary64_2203 associate-*l/_binary64_2067
5×associate-*r*_binary64_2064
4×unswap-sqr_binary64_2092 add-log-exp_binary64_2163 sqr-pow_binary64_2096
3×*-commutative_binary64_2055
1×clear-num_binary64_2123 distribute-lft-out--_binary64_2076 pow-exp_binary64_2192 associate-/l*_binary64_2069 associate-/r*_binary64_2068 pow-to-exp_binary64_2193 div-inv_binary64_2121 times-frac_binary64_2130 frac-2neg_binary64_2135
Counts
4 → 124
Calls

8 calls:

30.0ms
(/.f64 (*.f64 (-.f64 1 (pow.f64 v 4)) (*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 4) -9))))) (*.f64 (+.f64 (*.f64 v v) 1) (*.f64 4 (sqrt.f64 (+.f64 (*.f64 3 (*.f64 v v)) 1)))))
15.0ms
(*.f64 (-.f64 1 (pow.f64 v 4)) (*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 4) -9)))))
6.0ms
(*.f64 3 (*.f64 v v))
6.0ms
(*.f64 (pow.f64 v 4) -9)
0.0ms
(sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 4) -9)))

series273.0ms (0.3%)

Counts
4 → 18
Calls

4 calls:

116.0ms
(*.f64 (-.f64 1 (pow.f64 v 4)) (*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 4) -9)))))
97.0ms
(/.f64 (*.f64 (-.f64 1 (pow.f64 v 4)) (*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 (pow.f64 v 4) -9))))) (*.f64 (+.f64 (*.f64 v v) 1) (*.f64 4 (sqrt.f64 (+.f64 (*.f64 3 (*.f64 v v)) 1)))))
32.0ms
(*.f64 (pow.f64 v 4) -9)
28.0ms
(*.f64 3 (*.f64 v v))
Compiler

Compiled 844 to 732 computations (13.3% saved)

simplify113.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
142 → 142
Iterations

Useful iterations: 0 (70.0ms)

IterNodesCost
049344146
149344146

localize24.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(sqrt.f64 (+.f64 (*.f64 3 (*.f64 v v)) 1))
0.0b
(sqrt.f64 (+.f64 (*.f64 3 (*.f64 v v)) 1))
0.0b
(*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v)))))
0.0b
(sqrt.f64 (+.f64 1 (*.f64 -9 (pow.f64 v 4))))
0.2b
(*.f64 3 (*.f64 v v))
0.2b
(*.f64 3 (*.f64 v v))
0.2b
(*.f64 3 (*.f64 v v))
0.2b
(*.f64 (*.f64 v v) (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))

rewrite45.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
31×pow1_binary64_2185 add-exp-log_binary64_2162 add-cbrt-cube_binary64_2160
17×pow-prod-down_binary64_2195 prod-exp_binary64_2173 cbrt-unprod_binary64_2157
10×associate-*l*_binary64_2065 add-sqr-sqrt_binary64_2146
7×add-cube-cbrt_binary64_2159 *-un-lft-identity_binary64_2124
4×*-commutative_binary64_2055 add-log-exp_binary64_2163 associate-*r/_binary64_2066 associate-*r*_binary64_2064
3×unswap-sqr_binary64_2092
2×sqrt-div_binary64_2141
1×flip--_binary64_2099 flip3--_binary64_2128
Counts
4 → 81
Calls

8 calls:

16.0ms
(*.f64 (*.f64 v v) (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
6.0ms
(*.f64 3 (*.f64 v v))
6.0ms
(*.f64 3 (*.f64 v v))
6.0ms
(*.f64 3 (*.f64 v v))
0.0ms
(sqrt.f64 (+.f64 1 (*.f64 -9 (pow.f64 v 4))))

series163.0ms (0.2%)

Counts
4 → 15
Calls

4 calls:

63.0ms
(*.f64 (*.f64 v v) (*.f64 (sqrt.f64 2) (sqrt.f64 (-.f64 1 (*.f64 3 (*.f64 v v))))))
39.0ms
(*.f64 3 (*.f64 v v))
30.0ms
(*.f64 3 (*.f64 v v))
30.0ms
(*.f64 3 (*.f64 v v))
Compiler

Compiled 1291 to 1073 computations (16.9% saved)

simplify82.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
96 → 96
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
049381234
149381234

localize32.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(sqrt.f64 (+.f64 1 (*.f64 (*.f64 v v) (+.f64 3 (*.f64 (*.f64 v v) 9)))))
0.0b
(sqrt.f64 (+.f64 1 (*.f64 (*.f64 v v) (+.f64 3 (*.f64 (*.f64 v v) 9)))))
0.0b
(*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (+.f64 1 (*.f64 -27 (pow.f64 v 6)))))
0.0b
(*.f64 (sqrt.f64 (+.f64 1 (*.f64 -27 (pow.f64 v 6)))) (*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 (*.f64 v v) (+.f64 3 (*.f64 (*.f64 v v) 9)))))))
0.2b
(*.f64 (*.f64 v v) (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (+.f64 1 (*.f64 -27 (pow.f64 v 6))))))
0.2b
(*.f64 (*.f64 v v) 9)
0.2b
(*.f64 (*.f64 v v) 9)
0.2b
(*.f64 (*.f64 v v) 9)

rewrite55.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
40×add-exp-log_binary64_2162 add-cbrt-cube_binary64_2160
31×pow1_binary64_2185
22×prod-exp_binary64_2173 cbrt-unprod_binary64_2157
17×pow-prod-down_binary64_2195
10×add-sqr-sqrt_binary64_2146 associate-*r*_binary64_2064
7×add-cube-cbrt_binary64_2159 associate-*r/_binary64_2066 *-un-lft-identity_binary64_2124
4×*-commutative_binary64_2055 sqrt-div_binary64_2141 add-log-exp_binary64_2163 associate-*l*_binary64_2065
3×unswap-sqr_binary64_2092
2×cbrt-undiv_binary64_2158 flip3-+_binary64_2127 frac-times_binary64_2134 flip-+_binary64_2098 div-exp_binary64_2175
1×associate-*l/_binary64_2067
Counts
4 → 88
Calls

8 calls:

18.0ms
(*.f64 (*.f64 v v) (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (+.f64 1 (*.f64 -27 (pow.f64 v 6))))))
7.0ms
(*.f64 (*.f64 v v) 9)
7.0ms
(*.f64 (*.f64 v v) 9)
7.0ms
(*.f64 (*.f64 v v) 9)
0.0ms
(*.f64 (sqrt.f64 (+.f64 1 (*.f64 -27 (pow.f64 v 6)))) (*.f64 (sqrt.f64 2) (sqrt.f64 (+.f64 1 (*.f64 (*.f64 v v) (+.f64 3 (*.f64 (*.f64 v v) 9)))))))

series371.0ms (0.4%)

Counts
4 → 15
Calls

4 calls:

252.0ms
(*.f64 (*.f64 v v) (*.f64 (/.f64 (sqrt.f64 2) 4) (sqrt.f64 (+.f64 1 (*.f64 -27 (pow.f64 v 6))))))
42.0ms
(*.f64 (*.f64 v v) 9)
38.0ms
(*.f64 (*.f64 v v) 9)
38.0ms
(*.f64 (*.f64 v v) 9)
Compiler

Compiled 2069 to 1575 computations (23.9% saved)

simplify62.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
103 → 103
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
060411499

prune28.9s (34.4%)

Pruning

451 alts after pruning (437 fresh and 14 done)

PrunedKeptTotal
New35696452
Fresh10341351
Picked000
Done01414
Total366451817
Error
0b
Counts
817 → 451
Compiler

Compiled 15373 to 11359 computations (26.1% saved)

simplify860.0ms (1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
0517165765

regimes6.8s (8.1%)

Compiler

Compiled 105226 to 83580 computations (20.6% saved)

bsearch0.0ms (0%)

regimes2.4s (2.8%)

Compiler

Compiled 35904 to 29187 computations (18.7% saved)

bsearch0.0ms (0%)

regimes755.0ms (0.9%)

Compiler

Compiled 10036 to 8294 computations (17.4% saved)

bsearch0.0ms (0%)

regimes89.0ms (0.1%)

Compiler

Compiled 704 to 619 computations (12.1% saved)

bsearch0.0ms (0%)

regimes59.0ms (0.1%)

Compiler

Compiled 400 to 356 computations (11% saved)

bsearch0.0ms (0%)

regimes27.0ms (0%)

Compiler

Compiled 102 to 98 computations (3.9% saved)

bsearch0.0ms (0%)

regimes7.0ms (0%)

Compiler

Compiled 5 to 8 computations (-60% saved)

bsearch8.0ms (0%)

Compiler

Compiled 129 to 108 computations (16.3% saved)

simplify5.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0179197
1179197

end0.0ms (0%)

sample1.6s (1.9%)

Algorithm
1×intervals
Results
413.0ms8000×body128valid
0.0ms4×body128nan
Compiler

Compiled 33198 to 26359 computations (20.6% saved)

Profiling

Loading profile data...