Details

Time bar (total: 1.6min)

analyze491.0ms (0.5%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
0%99.9%0.1%6
12.5%87.4%0.1%7
18.7%81.1%0.1%8
36.7%60.8%2.5%9
43.3%49.9%6.8%10
49.7%40.8%9.5%11
58.2%30.4%11.4%12
61.3%24.7%14%13
65%19.9%15.1%14
Compiler

Compiled 8 to 7 computations (12.5% saved)

sample15.0ms (0%)

Algorithm
1×intervals
Results
6.0ms256×body128valid
1.0ms22×body128invalid
Compiler

Compiled 15 to 16 computations (-6.7% saved)

simplify104.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
05210
15210

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112
Error
0.0b
Counts
2 → 1
Compiler

Compiled 7 to 6 computations (14.3% saved)

localize6.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b
(*.f64 y (+.f64 z x))
0.0b
(+.f64 x (*.f64 y (+.f64 z x)))
0.0b
(+.f64 x (*.f64 y (+.f64 z x)))
0.0b
(*.f64 y (+.f64 z x))

rewrite12.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
6×add-sqr-sqrt_binary64_2146 *-un-lft-identity_binary64_2124
4×pow1_binary64_2185 add-log-exp_binary64_2163 add-cube-cbrt_binary64_2159 associate-*r*_binary64_2064 add-exp-log_binary64_2162 add-cbrt-cube_binary64_2160
3×associate-*l*_binary64_2065
2×associate-+r+_binary64_2056 distribute-rgt-in_binary64_2074 associate-*r/_binary64_2066 flip3-+_binary64_2127 flip-+_binary64_2098 distribute-lft-in_binary64_2073
1×pow-prod-down_binary64_2195 unswap-sqr_binary64_2092 sum-log_binary64_2215 *-commutative_binary64_2055 distribute-lft-out_binary64_2075 prod-exp_binary64_2173 +-commutative_binary64_2054 cbrt-unprod_binary64_2157
Counts
2 → 36
Calls

4 calls:

6.0ms
(*.f64 y (+.f64 z x))
3.0ms
(+.f64 x (*.f64 y (+.f64 z x)))
0.0ms
(+.f64 x (*.f64 y (+.f64 z x)))
0.0ms
(*.f64 y (+.f64 z x))

series199.0ms (0.2%)

Counts
2 → 33
Calls

2 calls:

116.0ms
(+.f64 x (*.f64 y (+.f64 z x)))
82.0ms
(*.f64 y (+.f64 z x))
Compiler

Compiled 377 to 318 computations (15.6% saved)

simplify78.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
69 → 69
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
04971641
14971641

prune143.0ms (0.1%)

Pruning

27 alts after pruning (26 fresh and 1 done)

PrunedKeptTotal
New432669
Fresh000
Picked000
Done011
Total432770
Error
0b
Counts
70 → 27
Compiler

Compiled 737 to 324 computations (56% saved)

localize7.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b
(*.f64 y (+.f64 z x))
0.0b
(+.f64 x (pow.f64 (*.f64 y (+.f64 z x)) 1))
0.0b
(+.f64 x (pow.f64 (*.f64 y (+.f64 z x)) 1))
0.0b
(*.f64 y (+.f64 z x))

rewrite13.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
8×*-un-lft-identity_binary64_2124
6×add-sqr-sqrt_binary64_2146
4×pow1_binary64_2185 add-log-exp_binary64_2163 add-cube-cbrt_binary64_2159 associate-*r*_binary64_2064 add-exp-log_binary64_2162 add-cbrt-cube_binary64_2160
3×associate-*l*_binary64_2065
2×distribute-lft-out_binary64_2075 associate-*r/_binary64_2066 flip3-+_binary64_2127 flip-+_binary64_2098
1×pow-prod-down_binary64_2195 unswap-sqr_binary64_2092 sum-log_binary64_2215 *-commutative_binary64_2055 prod-exp_binary64_2173 +-commutative_binary64_2054 distribute-rgt-in_binary64_2074 distribute-lft-in_binary64_2073 cbrt-unprod_binary64_2157
Counts
2 → 35
Calls

4 calls:

6.0ms
(*.f64 y (+.f64 z x))
4.0ms
(+.f64 x (pow.f64 (*.f64 y (+.f64 z x)) 1))
0.0ms
(+.f64 x (pow.f64 (*.f64 y (+.f64 z x)) 1))
0.0ms
(*.f64 y (+.f64 z x))

series205.0ms (0.2%)

Counts
2 → 33
Calls

2 calls:

118.0ms
(+.f64 x (pow.f64 (*.f64 y (+.f64 z x)) 1))
87.0ms
(*.f64 y (+.f64 z x))
Compiler

Compiled 425 to 366 computations (13.9% saved)

simplify96.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
68 → 68
Iterations

Useful iterations: 0 (84.0ms)

IterNodesCost
04955631
14955631

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

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b
(*.f64 (*.f64 y (+.f64 z x)) (*.f64 y (+.f64 z x)))
0.0b
(*.f64 y (+.f64 z x))
0.0b
(*.f64 y (+.f64 z x))
0.0b
(*.f64 y (+.f64 z x))
0.0b
(*.f64 y (+.f64 z x))
0.3b
(*.f64 (*.f64 y (+.f64 z x)) (*.f64 y (+.f64 z x)))
3.4b
(-.f64 (*.f64 x x) (*.f64 (*.f64 y (+.f64 z x)) (*.f64 y (+.f64 z x))))
23.5b
(/.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y (+.f64 z x)) (*.f64 y (+.f64 z x)))) (-.f64 x (*.f64 y (+.f64 z x))))

rewrite44.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
45×pow1_binary64_2185
20×add-exp-log_binary64_2162 add-cbrt-cube_binary64_2160
18×pow-prod-down_binary64_2195
17×add-sqr-sqrt_binary64_2146 *-un-lft-identity_binary64_2124
16×associate-*r/_binary64_2066
15×add-cube-cbrt_binary64_2159
12×times-frac_binary64_2130
9×prod-exp_binary64_2173 distribute-rgt-in_binary64_2074 distribute-lft-in_binary64_2073 cbrt-unprod_binary64_2157
7×flip3-+_binary64_2127 flip-+_binary64_2098
6×add-log-exp_binary64_2163
5×difference-of-squares_binary64_2093 associate-*r*_binary64_2064
4×pow-prod-up_binary64_2194 associate-/l*_binary64_2069 associate--r+_binary64_2060 associate-*l*_binary64_2065 pow-sqr_binary64_2097 frac-times_binary64_2134
3×flip--_binary64_2099 flip3--_binary64_2128 associate-/r*_binary64_2068
2×associate-/r/_binary64_2070 *-commutative_binary64_2055 associate-*l/_binary64_2067 pow-plus_binary64_2187 associate-/l/_binary64_2071
1×clear-num_binary64_2123 cbrt-undiv_binary64_2158 cancel-sign-sub-inv_binary64_2090 unswap-sqr_binary64_2092 swap-sqr_binary64_2091 distribute-lft-out_binary64_2075 diff-log_binary64_2216 sub-neg_binary64_2117 pow2_binary64_2205 div-sub_binary64_2129 div-inv_binary64_2121 div-exp_binary64_2175 frac-2neg_binary64_2135
Counts
4 → 122
Calls

8 calls:

12.0ms
(*.f64 (*.f64 y (+.f64 z x)) (*.f64 y (+.f64 z x)))
9.0ms
(/.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y (+.f64 z x)) (*.f64 y (+.f64 z x)))) (-.f64 x (*.f64 y (+.f64 z x))))
6.0ms
(*.f64 y (+.f64 z x))
5.0ms
(-.f64 (*.f64 x x) (*.f64 (*.f64 y (+.f64 z x)) (*.f64 y (+.f64 z x))))
0.0ms
(*.f64 y (+.f64 z x))

series1.4s (1.5%)

Counts
4 → 79
Calls

4 calls:

566.0ms
(/.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y (+.f64 z x)) (*.f64 y (+.f64 z x)))) (-.f64 x (*.f64 y (+.f64 z x))))
542.0ms
(-.f64 (*.f64 x x) (*.f64 (*.f64 y (+.f64 z x)) (*.f64 y (+.f64 z x))))
226.0ms
(*.f64 (*.f64 y (+.f64 z x)) (*.f64 y (+.f64 z x)))
88.0ms
(*.f64 y (+.f64 z x))
Compiler

Compiled 3726 to 2553 computations (31.5% saved)

simplify84.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
201 → 201
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
051784597

localize9.0ms (0%)

Local error

Found 8 expressions with local error:

33.8b
(cbrt.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3))
0.3b
(pow.f64 (*.f64 y (+.f64 z x)) 3)
0.0b
(*.f64 y (+.f64 z x))
0.0b
(+.f64 x (cbrt.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3)))
0.0b
(+.f64 x (cbrt.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3)))
0.0b
(*.f64 y (+.f64 z x))
0.3b
(pow.f64 (*.f64 y (+.f64 z x)) 3)
33.8b
(cbrt.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3))

rewrite24.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
12×*-un-lft-identity_binary64_2124
10×add-sqr-sqrt_binary64_2146
9×pow1_binary64_2185 add-exp-log_binary64_2162 add-cbrt-cube_binary64_2160
8×add-cube-cbrt_binary64_2159 cbrt-prod_binary64_2155
6×add-log-exp_binary64_2163 associate-*r/_binary64_2066
4×flip3-+_binary64_2127 associate-*r*_binary64_2064 cube-div_binary64_2153 flip-+_binary64_2098
3×pow-unpow_binary64_2201 associate-*l*_binary64_2065
2×unpow3_binary64_2190 cbrt-div_binary64_2156 pow-prod-down_binary64_2195 unpow-prod-down_binary64_2203 cube-mult_binary64_2154 pow-pow_binary64_2196 pow-exp_binary64_2192 distribute-lft-out_binary64_2075 prod-exp_binary64_2173 sqr-pow_binary64_2096 cube-prod_binary64_2152 cbrt-unprod_binary64_2157 rem-cube-cbrt_binary64_2147
1×unswap-sqr_binary64_2092 sum-log_binary64_2215 rem-cbrt-cube_binary64_2148 *-commutative_binary64_2055 pow1/3_binary64_2206 +-commutative_binary64_2054 distribute-rgt-in_binary64_2074 pow-to-exp_binary64_2193 distribute-lft-in_binary64_2073
Counts
4 → 78
Calls

8 calls:

6.0ms
(*.f64 y (+.f64 z x))
6.0ms
(pow.f64 (*.f64 y (+.f64 z x)) 3)
5.0ms
(+.f64 x (cbrt.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3)))
2.0ms
(cbrt.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3))
0.0ms
(+.f64 x (cbrt.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3)))

series450.0ms (0.5%)

Counts
4 → 66
Calls

4 calls:

135.0ms
(+.f64 x (cbrt.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3)))
131.0ms
(pow.f64 (*.f64 y (+.f64 z x)) 3)
93.0ms
(cbrt.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3))
91.0ms
(*.f64 y (+.f64 z x))
Compiler

Compiled 1151 to 996 computations (13.5% saved)

simplify47.0ms (0%)

Algorithm
1×egg-herbie
Counts
144 → 144
Iterations

Useful iterations: 0 (24.0ms)

IterNodesCost
055531619

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b
(pow.f64 (*.f64 y (+.f64 z x)) 3)
0.1b
(*.f64 (+.f64 z x) (-.f64 (*.f64 y (+.f64 z x)) x))
0.0b
(*.f64 y (+.f64 z x))
0.0b
(*.f64 y (+.f64 z x))
1.2b
(+.f64 (*.f64 x x) (*.f64 y (*.f64 (+.f64 z x) (-.f64 (*.f64 y (+.f64 z x)) x))))
2.9b
(+.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3) (pow.f64 x 3))
7.0b
(*.f64 y (*.f64 (+.f64 z x) (-.f64 (*.f64 y (+.f64 z x)) x)))
35.2b
(/.f64 (+.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3) (pow.f64 x 3)) (+.f64 (*.f64 x x) (*.f64 y (*.f64 (+.f64 z x) (-.f64 (*.f64 y (+.f64 z x)) x)))))

rewrite70.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
56×distribute-rgt-in_binary64_2074 distribute-lft-in_binary64_2073
33×*-un-lft-identity_binary64_2124
24×cancel-sign-sub-inv_binary64_2090 associate-+r+_binary64_2056
23×add-cube-cbrt_binary64_2159 add-sqr-sqrt_binary64_2146
16×associate--l+_binary64_2061
15×times-frac_binary64_2130
11×add-exp-log_binary64_2162 add-cbrt-cube_binary64_2160
10×associate-*r/_binary64_2066
9×pow1_binary64_2185
8×add-log-exp_binary64_2163 sub-neg_binary64_2117
7×flip3-+_binary64_2127 flip-+_binary64_2098
5×associate-/l*_binary64_2069 distribute-lft-out_binary64_2075 sum-cubes_binary64_2125
4×frac-times_binary64_2134
3×flip--_binary64_2099 pow-prod-down_binary64_2195 flip3--_binary64_2128 associate-/r*_binary64_2068 associate-*l*_binary64_2065 prod-exp_binary64_2173 cbrt-unprod_binary64_2157
2×associate-/r/_binary64_2070 sum-log_binary64_2215 associate-*l/_binary64_2067 +-commutative_binary64_2054 associate-/l/_binary64_2071
1×clear-num_binary64_2123 cbrt-undiv_binary64_2158 *-commutative_binary64_2055 associate-*r*_binary64_2064 div-inv_binary64_2121 div-exp_binary64_2175 frac-2neg_binary64_2135
Counts
4 → 137
Calls

8 calls:

19.0ms
(/.f64 (+.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3) (pow.f64 x 3)) (+.f64 (*.f64 x x) (*.f64 y (*.f64 (+.f64 z x) (-.f64 (*.f64 y (+.f64 z x)) x)))))
15.0ms
(*.f64 y (*.f64 (+.f64 z x) (-.f64 (*.f64 y (+.f64 z x)) x)))
11.0ms
(+.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3) (pow.f64 x 3))
7.0ms
(+.f64 (*.f64 x x) (*.f64 y (*.f64 (+.f64 z x) (-.f64 (*.f64 y (+.f64 z x)) x))))
0.0ms
(*.f64 y (+.f64 z x))

series3.7s (3.8%)

Counts
4 → 99
Calls

4 calls:

1.9s
(/.f64 (+.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3) (pow.f64 x 3)) (+.f64 (*.f64 x x) (*.f64 y (*.f64 (+.f64 z x) (-.f64 (*.f64 y (+.f64 z x)) x)))))
773.0ms
(+.f64 (*.f64 x x) (*.f64 y (*.f64 (+.f64 z x) (-.f64 (*.f64 y (+.f64 z x)) x))))
617.0ms
(+.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3) (pow.f64 x 3))
359.0ms
(*.f64 y (*.f64 (+.f64 z x) (-.f64 (*.f64 y (+.f64 z x)) x)))
Compiler

Compiled 7625 to 5563 computations (27% saved)

simplify118.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
236 → 236
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
049968871
149968871

prune7.5s (7.9%)

Pruning

249 alts after pruning (244 fresh and 5 done)

PrunedKeptTotal
New423226649
Fresh31821
Picked000
Done156
Total427249676
Error
0b
Counts
676 → 249
Compiler

Compiled 18674 to 7588 computations (59.4% saved)

localize8.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b
(*.f64 y (+.f64 z x))
0.0b
(+.f64 x (*.f64 (cbrt.f64 1) (*.f64 y (+.f64 z x))))
0.0b
(+.f64 x (*.f64 (cbrt.f64 1) (*.f64 y (+.f64 z x))))
0.0b
(*.f64 y (+.f64 z x))

rewrite13.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
6×add-sqr-sqrt_binary64_2146 *-un-lft-identity_binary64_2124
5×distribute-rgt-in_binary64_2074 distribute-lft-in_binary64_2073
4×pow1_binary64_2185 add-log-exp_binary64_2163 associate-+r+_binary64_2056 add-cube-cbrt_binary64_2159 associate-*r*_binary64_2064 add-exp-log_binary64_2162 add-cbrt-cube_binary64_2160
3×associate-*l*_binary64_2065
2×associate-*r/_binary64_2066 flip3-+_binary64_2127 flip-+_binary64_2098
1×pow-prod-down_binary64_2195 unswap-sqr_binary64_2092 sum-log_binary64_2215 *-commutative_binary64_2055 distribute-lft-out_binary64_2075 prod-exp_binary64_2173 +-commutative_binary64_2054 cbrt-unprod_binary64_2157
Counts
2 → 38
Calls

4 calls:

6.0ms
(*.f64 y (+.f64 z x))
4.0ms
(+.f64 x (*.f64 (cbrt.f64 1) (*.f64 y (+.f64 z x))))
0.0ms
(+.f64 x (*.f64 (cbrt.f64 1) (*.f64 y (+.f64 z x))))
0.0ms
(*.f64 y (+.f64 z x))

series207.0ms (0.2%)

Counts
2 → 33
Calls

2 calls:

121.0ms
(+.f64 x (*.f64 (cbrt.f64 1) (*.f64 y (+.f64 z x))))
86.0ms
(*.f64 y (+.f64 z x))
Compiler

Compiled 449 to 390 computations (13.1% saved)

simplify62.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
05042745

localize4.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

localize10.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b
(*.f64 (*.f64 y (+.f64 z x)) (pow.f64 (*.f64 y (+.f64 z x)) 2))
0.0b
(*.f64 y (+.f64 z x))
0.0b
(*.f64 y (+.f64 z x))
0.0b
(+.f64 x (cbrt.f64 (*.f64 (*.f64 y (+.f64 z x)) (pow.f64 (*.f64 y (+.f64 z x)) 2))))
0.0b
(*.f64 y (+.f64 z x))
0.1b
(*.f64 (*.f64 y (+.f64 z x)) (pow.f64 (*.f64 y (+.f64 z x)) 2))
0.3b
(pow.f64 (*.f64 y (+.f64 z x)) 2)
33.8b
(cbrt.f64 (*.f64 (*.f64 y (+.f64 z x)) (pow.f64 (*.f64 y (+.f64 z x)) 2)))

rewrite37.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
29×add-exp-log_binary64_2162
16×prod-exp_binary64_2173
12×pow1_binary64_2185
11×add-cbrt-cube_binary64_2160
10×add-sqr-sqrt_binary64_2146 associate-*r*_binary64_2064 *-un-lft-identity_binary64_2124
8×add-cube-cbrt_binary64_2159
6×pow-exp_binary64_2192 associate-*r/_binary64_2066
4×add-log-exp_binary64_2163 associate-*l*_binary64_2065 associate-*l/_binary64_2067 unpow2_binary64_2189 cbrt-unprod_binary64_2157
3×pow-prod-down_binary64_2195 pow-unpow_binary64_2201 pow-to-exp_binary64_2193 flip3-+_binary64_2127 flip-+_binary64_2098
2×cbrt-div_binary64_2156 unpow-prod-down_binary64_2203 pow-prod-up_binary64_2194 pow-pow_binary64_2196 *-commutative_binary64_2055 sqr-pow_binary64_2096 cube-unmult_binary64_2161
1×unswap-sqr_binary64_2092 rem-cbrt-cube_binary64_2148 distribute-lft-out_binary64_2075 pow1/3_binary64_2206 cbrt-prod_binary64_2155 distribute-rgt-in_binary64_2074 distribute-lft-in_binary64_2073
Counts
4 → 83
Calls

8 calls:

10.0ms
(*.f64 (*.f64 y (+.f64 z x)) (pow.f64 (*.f64 y (+.f64 z x)) 2))
7.0ms
(cbrt.f64 (*.f64 (*.f64 y (+.f64 z x)) (pow.f64 (*.f64 y (+.f64 z x)) 2)))
7.0ms
(*.f64 y (+.f64 z x))
6.0ms
(pow.f64 (*.f64 y (+.f64 z x)) 2)
0.0ms
(+.f64 x (cbrt.f64 (*.f64 (*.f64 y (+.f64 z x)) (pow.f64 (*.f64 y (+.f64 z x)) 2))))

series526.0ms (0.6%)

Counts
4 → 69
Calls

4 calls:

183.0ms
(pow.f64 (*.f64 y (+.f64 z x)) 2)
153.0ms
(*.f64 (*.f64 y (+.f64 z x)) (pow.f64 (*.f64 y (+.f64 z x)) 2))
99.0ms
(cbrt.f64 (*.f64 (*.f64 y (+.f64 z x)) (pow.f64 (*.f64 y (+.f64 z x)) 2)))
91.0ms
(*.f64 y (+.f64 z x))
Compiler

Compiled 1846 to 1474 computations (20.2% saved)

simplify79.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
152 → 152
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
050281756

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

3.4b
(-.f64 (*.f64 x x) (*.f64 y (*.f64 y (pow.f64 (+.f64 x z) 2))))
0.2b
(pow.f64 (-.f64 (*.f64 x x) (*.f64 y (*.f64 y (pow.f64 (+.f64 x z) 2)))) 3)
0.0b
(pow.f64 (+.f64 x z) 2)
0.0b
(*.f64 y (+.f64 z x))
3.6b
(*.f64 y (*.f64 y (pow.f64 (+.f64 x z) 2)))
10.0b
(*.f64 y (pow.f64 (+.f64 x z) 2))
22.2b
(cbrt.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y (*.f64 y (pow.f64 (+.f64 x z) 2)))) 3))
23.5b
(/.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y (*.f64 y (pow.f64 (+.f64 x z) 2)))) 3)) (-.f64 x (*.f64 y (+.f64 z x))))

rewrite54.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
60×cbrt-prod_binary64_2155
49×add-sqr-sqrt_binary64_2146
45×times-frac_binary64_2130 *-un-lft-identity_binary64_2124
43×add-cube-cbrt_binary64_2159
21×add-exp-log_binary64_2162
20×unpow-prod-down_binary64_2203
15×associate-/l*_binary64_2069 cube-prod_binary64_2152
12×add-cbrt-cube_binary64_2160
10×prod-exp_binary64_2173 associate-*r*_binary64_2064
7×sqr-pow_binary64_2096
6×pow1_binary64_2185 associate-*l*_binary64_2065
5×unpow3_binary64_2190 cube-mult_binary64_2154
4×cbrt-div_binary64_2156 unswap-sqr_binary64_2092 add-log-exp_binary64_2163 cube-div_binary64_2153 cbrt-unprod_binary64_2157
3×flip--_binary64_2099 flip3--_binary64_2128 associate-/r*_binary64_2068
2×associate-/r/_binary64_2070 pow-exp_binary64_2192 *-commutative_binary64_2055 unpow2_binary64_2189 pow-to-exp_binary64_2193 associate-/l/_binary64_2071
1×pow-prod-down_binary64_2195 clear-num_binary64_2123 cbrt-undiv_binary64_2158 rem-cbrt-cube_binary64_2148 distribute-lft-out_binary64_2075 pow1/3_binary64_2206 div-inv_binary64_2121 div-exp_binary64_2175 frac-2neg_binary64_2135
Counts
4 → 149
Calls

8 calls:

11.0ms
(/.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y (*.f64 y (pow.f64 (+.f64 x z) 2)))) 3)) (-.f64 x (*.f64 y (+.f64 z x))))
9.0ms
(*.f64 y (pow.f64 (+.f64 x z) 2))
8.0ms
(*.f64 y (*.f64 y (pow.f64 (+.f64 x z) 2)))
5.0ms
(cbrt.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y (*.f64 y (pow.f64 (+.f64 x z) 2)))) 3))
0.0ms
(*.f64 y (+.f64 z x))

series1.5s (1.6%)

Counts
4 → 85
Calls

4 calls:

587.0ms
(/.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y (*.f64 y (pow.f64 (+.f64 x z) 2)))) 3)) (-.f64 x (*.f64 y (+.f64 z x))))
530.0ms
(cbrt.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 y (*.f64 y (pow.f64 (+.f64 x z) 2)))) 3))
227.0ms
(*.f64 y (*.f64 y (pow.f64 (+.f64 x z) 2)))
180.0ms
(*.f64 y (pow.f64 (+.f64 x z) 2))
Compiler

Compiled 4156 to 2985 computations (28.2% saved)

simplify100.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
234 → 234
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
050627484

localize30.0ms (0%)

Local error

Found 8 expressions with local error:

1.2b
(+.f64 (*.f64 x x) (/.f64 (*.f64 y (*.f64 (-.f64 (*.f64 y (+.f64 z x)) x) (+.f64 (pow.f64 x 3) (pow.f64 z 3)))) (+.f64 (*.f64 z z) (-.f64 (*.f64 x x) (*.f64 z x)))))
0.3b
(pow.f64 (*.f64 y (+.f64 z x)) 3)
0.0b
(*.f64 y (+.f64 z x))
0.0b
(*.f64 y (+.f64 z x))
2.9b
(+.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3) (pow.f64 x 3))
7.0b
(*.f64 y (*.f64 (-.f64 (*.f64 y (+.f64 z x)) x) (+.f64 (pow.f64 x 3) (pow.f64 z 3))))
29.5b
(/.f64 (*.f64 y (*.f64 (-.f64 (*.f64 y (+.f64 z x)) x) (+.f64 (pow.f64 x 3) (pow.f64 z 3)))) (+.f64 (*.f64 z z) (-.f64 (*.f64 x x) (*.f64 z x))))
35.2b
(/.f64 (+.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3) (pow.f64 x 3)) (+.f64 (*.f64 x x) (/.f64 (*.f64 y (*.f64 (-.f64 (*.f64 y (+.f64 z x)) x) (+.f64 (pow.f64 x 3) (pow.f64 z 3)))) (+.f64 (*.f64 z z) (-.f64 (*.f64 x x) (*.f64 z x))))))

rewrite112.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
27×*-un-lft-identity_binary64_2124
20×associate-*r/_binary64_2066 add-exp-log_binary64_2162 add-cbrt-cube_binary64_2160
18×times-frac_binary64_2130
17×add-cube-cbrt_binary64_2159 add-sqr-sqrt_binary64_2146
10×flip3-+_binary64_2127 flip-+_binary64_2098 associate-/l/_binary64_2071
9×pow1_binary64_2185
8×frac-times_binary64_2134
6×flip--_binary64_2099 flip3--_binary64_2128 associate-/l*_binary64_2069 associate-/r*_binary64_2068 add-log-exp_binary64_2163 prod-exp_binary64_2173 cbrt-unprod_binary64_2157
5×distribute-lft-out_binary64_2075 sum-cubes_binary64_2125
4×cbrt-undiv_binary64_2158 associate-/r/_binary64_2070 associate-*l/_binary64_2067 distribute-rgt-in_binary64_2074 div-exp_binary64_2175 distribute-lft-in_binary64_2073
3×pow-prod-down_binary64_2195 associate-*l*_binary64_2065
2×clear-num_binary64_2123 div-inv_binary64_2121 frac-2neg_binary64_2135
1×sum-log_binary64_2215 *-commutative_binary64_2055 +-commutative_binary64_2054 associate-*r*_binary64_2064
Counts
4 → 115
Calls

8 calls:

30.0ms
(/.f64 (*.f64 y (*.f64 (-.f64 (*.f64 y (+.f64 z x)) x) (+.f64 (pow.f64 x 3) (pow.f64 z 3)))) (+.f64 (*.f64 z z) (-.f64 (*.f64 x x) (*.f64 z x))))
27.0ms
(*.f64 y (*.f64 (-.f64 (*.f64 y (+.f64 z x)) x) (+.f64 (pow.f64 x 3) (pow.f64 z 3))))
24.0ms
(/.f64 (+.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3) (pow.f64 x 3)) (+.f64 (*.f64 x x) (/.f64 (*.f64 y (*.f64 (-.f64 (*.f64 y (+.f64 z x)) x) (+.f64 (pow.f64 x 3) (pow.f64 z 3)))) (+.f64 (*.f64 z z) (-.f64 (*.f64 x x) (*.f64 z x))))))
10.0ms
(+.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3) (pow.f64 x 3))
0.0ms
(*.f64 y (+.f64 z x))

series8.4s (8.8%)

Counts
4 → 93
Calls

4 calls:

6.5s
(/.f64 (+.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3) (pow.f64 x 3)) (+.f64 (*.f64 x x) (/.f64 (*.f64 y (*.f64 (-.f64 (*.f64 y (+.f64 z x)) x) (+.f64 (pow.f64 x 3) (pow.f64 z 3)))) (+.f64 (*.f64 z z) (-.f64 (*.f64 x x) (*.f64 z x))))))
914.0ms
(/.f64 (*.f64 y (*.f64 (-.f64 (*.f64 y (+.f64 z x)) x) (+.f64 (pow.f64 x 3) (pow.f64 z 3)))) (+.f64 (*.f64 z z) (-.f64 (*.f64 x x) (*.f64 z x))))
627.0ms
(+.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3) (pow.f64 x 3))
302.0ms
(*.f64 y (*.f64 (-.f64 (*.f64 y (+.f64 z x)) x) (+.f64 (pow.f64 x 3) (pow.f64 z 3))))
Compiler

Compiled 13982 to 9400 computations (32.8% saved)

simplify119.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
208 → 208
Iterations

Useful iterations: 0 (25.0ms)

IterNodesCost
0550412690

prune15.1s (15.8%)

Pruning

464 alts after pruning (455 fresh and 9 done)

PrunedKeptTotal
New441224665
Fresh8231239
Picked000
Done1910
Total450464914
Error
0b
Counts
914 → 464
Compiler

Compiled 33812 to 15876 computations (53% saved)

localize12.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b
(*.f64 y (+.f64 z x))
0.0b
(+.f64 x (*.f64 (cbrt.f64 1) (*.f64 y (+.f64 z x))))
0.0b
(+.f64 x (*.f64 (cbrt.f64 1) (*.f64 y (+.f64 z x))))
0.0b
(*.f64 y (+.f64 z x))

rewrite13.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
6×add-sqr-sqrt_binary64_2146 *-un-lft-identity_binary64_2124
5×distribute-rgt-in_binary64_2074 distribute-lft-in_binary64_2073
4×pow1_binary64_2185 add-log-exp_binary64_2163 associate-+r+_binary64_2056 add-cube-cbrt_binary64_2159 associate-*r*_binary64_2064 add-exp-log_binary64_2162 add-cbrt-cube_binary64_2160
3×associate-*l*_binary64_2065
2×associate-*r/_binary64_2066 flip3-+_binary64_2127 flip-+_binary64_2098
1×pow-prod-down_binary64_2195 unswap-sqr_binary64_2092 sum-log_binary64_2215 *-commutative_binary64_2055 distribute-lft-out_binary64_2075 prod-exp_binary64_2173 +-commutative_binary64_2054 cbrt-unprod_binary64_2157
Counts
2 → 38
Calls

4 calls:

6.0ms
(*.f64 y (+.f64 z x))
4.0ms
(+.f64 x (*.f64 (cbrt.f64 1) (*.f64 y (+.f64 z x))))
0.0ms
(+.f64 x (*.f64 (cbrt.f64 1) (*.f64 y (+.f64 z x))))
0.0ms
(*.f64 y (+.f64 z x))

series210.0ms (0.2%)

Counts
2 → 33
Calls

2 calls:

122.0ms
(+.f64 x (*.f64 (cbrt.f64 1) (*.f64 y (+.f64 z x))))
87.0ms
(*.f64 y (+.f64 z x))
Compiler

Compiled 551 to 492 computations (10.7% saved)

simplify62.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
05042745

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b
(*.f64 y (+.f64 z x))
0.0b
(*.f64 y (+.f64 z x))

rewrite8.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
5×add-sqr-sqrt_binary64_2146 *-un-lft-identity_binary64_2124
4×associate-*r*_binary64_2064
3×pow1_binary64_2185 add-cube-cbrt_binary64_2159 associate-*l*_binary64_2065 add-exp-log_binary64_2162 add-cbrt-cube_binary64_2160
2×associate-*r/_binary64_2066
1×pow-prod-down_binary64_2195 unswap-sqr_binary64_2092 *-commutative_binary64_2055 distribute-lft-out_binary64_2075 add-log-exp_binary64_2163 prod-exp_binary64_2173 distribute-rgt-in_binary64_2074 flip3-+_binary64_2127 flip-+_binary64_2098 distribute-lft-in_binary64_2073 cbrt-unprod_binary64_2157
Counts
1 → 23
Calls

2 calls:

6.0ms
(*.f64 y (+.f64 z x))
0.0ms
(*.f64 y (+.f64 z x))

series82.0ms (0.1%)

Counts
1 → 15
Calls

1 calls:

82.0ms
(*.f64 y (+.f64 z x))
Compiler

Compiled 132 to 126 computations (4.5% saved)

simplify100.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
38 → 38
Iterations

Useful iterations: 0 (91.0ms)

IterNodesCost
04890305
14890305

localize25.0ms (0%)

Local error

Found 8 expressions with local error:

1.1b
(+.f64 (*.f64 x (*.f64 x (*.f64 y y))) (*.f64 2 (*.f64 x (*.f64 y (*.f64 y z)))))
0.2b
(pow.f64 (-.f64 (*.f64 x x) (+.f64 (*.f64 x (*.f64 x (*.f64 y y))) (*.f64 2 (*.f64 x (*.f64 y (*.f64 y z)))))) 3)
0.1b
(*.f64 y (*.f64 y z))
0.0b
(*.f64 y (+.f64 z x))
7.2b
(*.f64 x (*.f64 y y))
7.8b
(*.f64 x (*.f64 y (*.f64 y z)))
18.6b
(/.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 x x) (+.f64 (*.f64 x (*.f64 x (*.f64 y y))) (*.f64 2 (*.f64 x (*.f64 y (*.f64 y z)))))) 3)) (-.f64 x (*.f64 y (+.f64 z x))))
23.2b
(cbrt.f64 (pow.f64 (-.f64 (*.f64 x x) (+.f64 (*.f64 x (*.f64 x (*.f64 y y))) (*.f64 2 (*.f64 x (*.f64 y (*.f64 y z)))))) 3))

rewrite66.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
70×cbrt-prod_binary64_2155
54×add-sqr-sqrt_binary64_2146
51×times-frac_binary64_2130
43×add-cube-cbrt_binary64_2159 *-un-lft-identity_binary64_2124
20×unpow-prod-down_binary64_2203 cube-prod_binary64_2152 add-exp-log_binary64_2162
19×add-cbrt-cube_binary64_2160
18×pow1_binary64_2185
17×associate-/l*_binary64_2069
10×difference-of-squares_binary64_2093
9×pow-prod-down_binary64_2195 prod-exp_binary64_2173 cbrt-unprod_binary64_2157
6×associate-*l*_binary64_2065
5×unpow3_binary64_2190 cube-mult_binary64_2154 sqr-pow_binary64_2096
4×cbrt-div_binary64_2156 add-log-exp_binary64_2163 cube-div_binary64_2153
3×flip--_binary64_2099 flip3--_binary64_2128 associate-/r*_binary64_2068
2×associate-/r/_binary64_2070 *-commutative_binary64_2055 associate-*r*_binary64_2064 associate-/l/_binary64_2071
1×clear-num_binary64_2123 cbrt-undiv_binary64_2158 unswap-sqr_binary64_2092 rem-cbrt-cube_binary64_2148 pow1/3_binary64_2206 div-inv_binary64_2121 div-exp_binary64_2175 frac-2neg_binary64_2135
Counts
4 → 152
Calls

8 calls:

18.0ms
(/.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 x x) (+.f64 (*.f64 x (*.f64 x (*.f64 y y))) (*.f64 2 (*.f64 x (*.f64 y (*.f64 y z)))))) 3)) (-.f64 x (*.f64 y (+.f64 z x))))
12.0ms
(cbrt.f64 (pow.f64 (-.f64 (*.f64 x x) (+.f64 (*.f64 x (*.f64 x (*.f64 y y))) (*.f64 2 (*.f64 x (*.f64 y (*.f64 y z)))))) 3))
7.0ms
(*.f64 x (*.f64 y (*.f64 y z)))
6.0ms
(*.f64 x (*.f64 y y))
0.0ms
(*.f64 y (+.f64 z x))

series1.0s (1.1%)

Counts
4 → 54
Calls

4 calls:

438.0ms
(/.f64 (cbrt.f64 (pow.f64 (-.f64 (*.f64 x x) (+.f64 (*.f64 x (*.f64 x (*.f64 y y))) (*.f64 2 (*.f64 x (*.f64 y (*.f64 y z)))))) 3)) (-.f64 x (*.f64 y (+.f64 z x))))
389.0ms
(cbrt.f64 (pow.f64 (-.f64 (*.f64 x x) (+.f64 (*.f64 x (*.f64 x (*.f64 y y))) (*.f64 2 (*.f64 x (*.f64 y (*.f64 y z)))))) 3))
124.0ms
(*.f64 x (*.f64 y (*.f64 y z)))
66.0ms
(*.f64 x (*.f64 y y))
Compiler

Compiled 3273 to 2299 computations (29.8% saved)

simplify128.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
206 → 206
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
049818404
149818404

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b
(*.f64 (*.f64 y (+.f64 z x)) (pow.f64 (*.f64 (sqrt.f64 (*.f64 y (+.f64 z x))) (sqrt.f64 (*.f64 y (+.f64 z x)))) 2))
0.0b
(*.f64 y (+.f64 z x))
0.0b
(*.f64 y (+.f64 z x))
0.0b
(*.f64 y (+.f64 z x))
0.3b
(*.f64 (sqrt.f64 (*.f64 y (+.f64 z x))) (sqrt.f64 (*.f64 y (+.f64 z x))))
2.0b
(sqrt.f64 (*.f64 y (+.f64 z x)))
2.0b
(sqrt.f64 (*.f64 y (+.f64 z x)))
17.7b
(cbrt.f64 (*.f64 (*.f64 y (+.f64 z x)) (pow.f64 (*.f64 (sqrt.f64 (*.f64 y (+.f64 z x))) (sqrt.f64 (*.f64 y (+.f64 z x)))) 2)))

rewrite47.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
59×pow1_binary64_2185
32×sqrt-pow1_binary64_2142
22×pow-prod-down_binary64_2195
20×associate-*r/_binary64_2066
16×sqrt-div_binary64_2141
12×pow1/2_binary64_2204
10×pow-prod-up_binary64_2194 add-sqr-sqrt_binary64_2146
9×flip3-+_binary64_2127 flip-+_binary64_2098
8×add-cube-cbrt_binary64_2159 *-un-lft-identity_binary64_2124
6×sqrt-prod_binary64_2140 pow-sqr_binary64_2097 add-exp-log_binary64_2162 add-cbrt-cube_binary64_2160
4×swap-sqr_binary64_2091 add-log-exp_binary64_2163 associate-*l*_binary64_2065 associate-*l/_binary64_2067 associate-*r*_binary64_2064 frac-times_binary64_2134
2×cbrt-div_binary64_2156
1×sqrt-unprod_binary64_2144 unswap-sqr_binary64_2092 *-commutative_binary64_2055 pow1/3_binary64_2206 prod-exp_binary64_2173 pow-plus_binary64_2187 cbrt-prod_binary64_2155 rem-square-sqrt_binary64_2136 pow2_binary64_2205 cbrt-unprod_binary64_2157
Counts
4 → 94
Calls

8 calls:

18.0ms
(*.f64 (sqrt.f64 (*.f64 y (+.f64 z x))) (sqrt.f64 (*.f64 y (+.f64 z x))))
9.0ms
(cbrt.f64 (*.f64 (*.f64 y (+.f64 z x)) (pow.f64 (*.f64 (sqrt.f64 (*.f64 y (+.f64 z x))) (sqrt.f64 (*.f64 y (+.f64 z x)))) 2)))
5.0ms
(sqrt.f64 (*.f64 y (+.f64 z x)))
5.0ms
(sqrt.f64 (*.f64 y (+.f64 z x)))
0.0ms
(*.f64 y (+.f64 z x))

series501.0ms (0.5%)

Counts
4 → 48
Calls

4 calls:

258.0ms
(cbrt.f64 (*.f64 (*.f64 y (+.f64 z x)) (pow.f64 (*.f64 (sqrt.f64 (*.f64 y (+.f64 z x))) (sqrt.f64 (*.f64 y (+.f64 z x)))) 2)))
105.0ms
(*.f64 (sqrt.f64 (*.f64 y (+.f64 z x))) (sqrt.f64 (*.f64 y (+.f64 z x))))
71.0ms
(sqrt.f64 (*.f64 y (+.f64 z x)))
66.0ms
(sqrt.f64 (*.f64 y (+.f64 z x)))
Compiler

Compiled 2176 to 1530 computations (29.7% saved)

simplify85.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
142 → 142
Iterations

Useful iterations: 0 (64.0ms)

IterNodesCost
050071359

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b
(*.f64 (+.f64 z x) (-.f64 (*.f64 y (+.f64 z x)) x))
0.0b
(*.f64 y (+.f64 z x))
0.0b
(*.f64 y (+.f64 z x))
0.0b
(*.f64 y (+.f64 z x))
7.0b
(*.f64 y (*.f64 (+.f64 z x) (-.f64 (*.f64 y (+.f64 z x)) x)))
11.2b
(/.f64 (+.f64 (*.f64 x x) (*.f64 y (*.f64 (+.f64 z x) (-.f64 (*.f64 y (+.f64 z x)) x)))) (sqrt.f64 (+.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3) (pow.f64 x 3))))
14.8b
(sqrt.f64 (+.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3) (pow.f64 x 3)))
14.8b
(sqrt.f64 (+.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3) (pow.f64 x 3)))

rewrite78.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
40×*-un-lft-identity_binary64_2124
30×sqrt-prod_binary64_2140 add-sqr-sqrt_binary64_2146
28×add-cube-cbrt_binary64_2159 distribute-rgt-in_binary64_2074 distribute-lft-in_binary64_2073
24×times-frac_binary64_2130
12×cancel-sign-sub-inv_binary64_2090
11×pow1_binary64_2185 add-exp-log_binary64_2162 add-cbrt-cube_binary64_2160
10×associate-*r/_binary64_2066
8×associate-/r*_binary64_2068 associate--l+_binary64_2061
7×flip3-+_binary64_2127 flip-+_binary64_2098
6×distribute-lft-out_binary64_2075 sqrt-div_binary64_2141 sum-cubes_binary64_2125
4×add-log-exp_binary64_2163 sub-neg_binary64_2117 frac-times_binary64_2134
3×flip--_binary64_2099 pow-prod-down_binary64_2195 flip3--_binary64_2128 associate-/l*_binary64_2069 associate-*l*_binary64_2065 prod-exp_binary64_2173 cbrt-unprod_binary64_2157
2×associate-/r/_binary64_2070 sqrt-pow1_binary64_2142 rem-sqrt-square_binary64_2137 associate-*l/_binary64_2067 pow1/2_binary64_2204 associate-/l/_binary64_2071
1×clear-num_binary64_2123 cbrt-undiv_binary64_2158 *-commutative_binary64_2055 associate-*r*_binary64_2064 div-inv_binary64_2121 div-exp_binary64_2175 frac-2neg_binary64_2135
Counts
4 → 135
Calls

8 calls:

17.0ms
(/.f64 (+.f64 (*.f64 x x) (*.f64 y (*.f64 (+.f64 z x) (-.f64 (*.f64 y (+.f64 z x)) x)))) (sqrt.f64 (+.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3) (pow.f64 x 3))))
15.0ms
(*.f64 y (*.f64 (+.f64 z x) (-.f64 (*.f64 y (+.f64 z x)) x)))
10.0ms
(sqrt.f64 (+.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3) (pow.f64 x 3)))
10.0ms
(sqrt.f64 (+.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3) (pow.f64 x 3)))
0.0ms
(*.f64 y (+.f64 z x))

series1.4s (1.5%)

Counts
4 → 52
Calls

4 calls:

614.0ms
(/.f64 (+.f64 (*.f64 x x) (*.f64 y (*.f64 (+.f64 z x) (-.f64 (*.f64 y (+.f64 z x)) x)))) (sqrt.f64 (+.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3) (pow.f64 x 3))))
377.0ms
(*.f64 y (*.f64 (+.f64 z x) (-.f64 (*.f64 y (+.f64 z x)) x)))
207.0ms
(sqrt.f64 (+.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3) (pow.f64 x 3)))
205.0ms
(sqrt.f64 (+.f64 (pow.f64 (*.f64 y (+.f64 z x)) 3) (pow.f64 x 3)))
Compiler

Compiled 5988 to 4184 computations (30.1% saved)

simplify110.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
187 → 187
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
052296811

prune22.5s (23.5%)

Pruning

677 alts after pruning (665 fresh and 12 done)

PrunedKeptTotal
New419225644
Fresh10440450
Picked000
Done21214
Total4316771108
Error
0b
Counts
1108 → 677
Compiler

Compiled 12800 to 4332 computations (66.2% saved)

simplify664.0ms (0.7%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (32.0ms)

IterNodesCost
0502553550

regimes7.3s (7.7%)

Compiler

Compiled 90624 to 49188 computations (45.7% saved)

bsearch0.0ms (0%)

regimes97.0ms (0.1%)

Compiler

Compiled 81 to 132 computations (-63% saved)

bsearch29.0ms (0%)

Steps
ItersRangePoint
8
1.7115772798229812e-13
6.271746511737133e-09
6.161311737209512e-09
10
-78.0306546130345
-3.357381942867156e-11
-0.9915933825682126
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes117.0ms (0.1%)

Compiler

Compiled 51 to 102 computations (-100% saved)

bsearch27.0ms (0%)

Steps
ItersRangePoint
7
8.838291860038957e-66
5.268380288811302e-64
1.539707023242084e-64
10
-8.070344820554454e-54
-3.782732721675748e-66
-3.3189895676687136e-64
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes143.0ms (0.1%)

Compiler

Compiled 36 to 87 computations (-141.7% saved)

bsearch114.0ms (0.1%)

Steps
ItersRangePoint
11
3.636235519862227e+255
5.5295928031520706e+284
7.613433346793353e+256
8
3.9352259673422157e+208
1.6238584985979758e+212
9.721438915267512e+211
8
7124986520136.518
22512706626761588.0
7576974284072711.0
7
8.838291860038957e-66
5.268380288811302e-64
4.78047581618741e-64
10
-8.070344820554454e-54
-3.782732721675748e-66
-2.217625604918875e-56
7
-1.5442637232478958e+100
-2.570469084003404e+98
-1.767097151838892e+99
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes88.0ms (0.1%)

Compiler

Compiled 27 to 75 computations (-177.8% saved)

bsearch28.0ms (0%)

Steps
ItersRangePoint
8
6.467280683899152e-78
2.1335165938071686e-74
3.27982273925082e-77
10
-1.7747836343111028e-79
-2.2951099179222014e-91
-8.887636648204338e-87
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes28.0ms (0%)

Accuracy

Total 0.0b remaining (98%)

Threshold costs 0.0b (98%)

Compiler

Compiled 18 to 63 computations (-250% saved)

bsearch5.0ms (0%)

Compiler

Compiled 106 to 66 computations (37.7% saved)

simplify5.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
072134
172134

end0.0ms (0%)

sample19.1s (20%)

Algorithm
1×intervals
Results
210.0ms8000×body128valid
15.0ms592×body128invalid
Compiler

Compiled 30493 to 16607 computations (45.5% saved)

Pareto

-0.08858662318410555

Profiling

Loading profile data...