Details

Time bar (total: 1.9min)

analyze270.0ms (0.2%)

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
31.2%68.6%0.1%9
43.3%49.9%6.8%10
49.7%40.8%9.5%11
55.7%34%10.3%12
61.3%24.4%14.3%13
65%19.8%15.3%14
Compiler

Compiled 8 to 7 computations (12.5% saved)

sample17.0ms (0%)

Algorithm
1×intervals
Results
6.0ms256×body128valid
0.0ms19×body128invalid
Compiler

Compiled 15 to 16 computations (-6.7% saved)

simplify105.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (14.0ms)

IterNodesCost
030110
130110

prune1.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 7 to 6 computations (14.3% saved)

localize5.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite13.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
8×add-sqr-sqrt_binary64_9307
6×*-un-lft-identity_binary64_9285
5×associate-*l*_binary64_9226
4×pow1_binary64_9346 add-cbrt-cube_binary64_9321 add-log-exp_binary64_9324 add-exp-log_binary64_9323 add-cube-cbrt_binary64_9320
3×associate-*r*_binary64_9225
2×associate-*l/_binary64_9228
1×cbrt-unprod_binary64_9318 prod-exp_binary64_9334 pow-prod-down_binary64_9356 unswap-sqr_binary64_9253 flip--_binary64_9260 flip3--_binary64_9289 flip-+_binary64_9259 *-commutative_binary64_9216 difference-of-squares_binary64_9254 sum-log_binary64_9376 flip3-+_binary64_9288 +-commutative_binary64_9215 distribute-lft-out--_binary64_9237
Counts
2 → 33
Calls

4 calls:

7.0ms
(*.f64 (-.f64 y x) z)
4.0ms
(+.f64 x (*.f64 (-.f64 y x) z))
0.0ms
(+.f64 x (*.f64 (-.f64 y x) z))
0.0ms
(*.f64 (-.f64 y x) z)

series217.0ms (0.2%)

Counts
2 → 33
Calls

2 calls:

123.0ms
(+.f64 x (*.f64 (-.f64 y x) z))
95.0ms
(*.f64 (-.f64 y x) z)
Compiler

Compiled 387 to 328 computations (15.2% saved)

simplify40.0ms (0%)

Algorithm
1×egg-herbie
Counts
66 → 66
Iterations

Useful iterations: 0 (28.0ms)

IterNodesCost
05343634

prune142.0ms (0.1%)

Pruning

29 alts after pruning (28 fresh and 1 done)

PrunedKeptTotal
New382866
Fresh000
Picked000
Done011
Total382967
Error
0b
Counts
67 → 29
Compiler

Compiled 752 to 344 computations (54.3% saved)

localize6.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite20.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
8×add-sqr-sqrt_binary64_9307 *-un-lft-identity_binary64_9285
5×associate-*l*_binary64_9226
4×pow1_binary64_9346 add-cbrt-cube_binary64_9321 add-log-exp_binary64_9324 add-exp-log_binary64_9323 add-cube-cbrt_binary64_9320
3×associate-*r*_binary64_9225
2×associate-*l/_binary64_9228
1×cbrt-unprod_binary64_9318 prod-exp_binary64_9334 pow-prod-down_binary64_9356 unswap-sqr_binary64_9253 flip--_binary64_9260 flip3--_binary64_9289 flip-+_binary64_9259 *-commutative_binary64_9216 difference-of-squares_binary64_9254 distribute-lft-out_binary64_9236 sum-log_binary64_9376 flip3-+_binary64_9288 +-commutative_binary64_9215 distribute-lft-out--_binary64_9237
Counts
2 → 34
Calls

4 calls:

10.0ms
(+.f64 x (pow.f64 (*.f64 (-.f64 y x) z) 1))
7.0ms
(*.f64 (-.f64 y x) z)
0.0ms
(+.f64 x (pow.f64 (*.f64 (-.f64 y x) z) 1))
0.0ms
(*.f64 (-.f64 y x) z)

series230.0ms (0.2%)

Counts
2 → 33
Calls

2 calls:

130.0ms
(+.f64 x (pow.f64 (*.f64 (-.f64 y x) z) 1))
100.0ms
(*.f64 (-.f64 y x) z)
Compiler

Compiled 435 to 376 computations (13.6% saved)

simplify41.0ms (0%)

Algorithm
1×egg-herbie
Counts
67 → 67
Iterations

Useful iterations: 0 (29.0ms)

IterNodesCost
04990638
14990638

localize3.0ms (0%)

rewrite0.0ms (0%)

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

series0.0ms (0%)

Counts
0 → 0

simplify10.0ms (0%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
000

localize10.0ms (0%)

Local error

Found 8 expressions with local error:

18.1b
(/.f64 (*.f64 z (-.f64 (*.f64 y y) (*.f64 x x))) (+.f64 y x))
8.1b
(*.f64 z (-.f64 (*.f64 y y) (*.f64 x x)))
2.6b
(-.f64 (*.f64 y y) (*.f64 x x))
0.0b
(+.f64 x (/.f64 (*.f64 z (-.f64 (*.f64 y y) (*.f64 x x))) (+.f64 y x)))
0.0b
(+.f64 x (/.f64 (*.f64 z (-.f64 (*.f64 y y) (*.f64 x x))) (+.f64 y x)))
2.6b
(-.f64 (*.f64 y y) (*.f64 x x))
8.1b
(*.f64 z (-.f64 (*.f64 y y) (*.f64 x x)))
18.1b
(/.f64 (*.f64 z (-.f64 (*.f64 y y) (*.f64 x x))) (+.f64 y x))

rewrite35.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
14×*-un-lft-identity_binary64_9285
11×add-cbrt-cube_binary64_9321 add-exp-log_binary64_9323
10×add-sqr-sqrt_binary64_9307
8×add-log-exp_binary64_9324 add-cube-cbrt_binary64_9320
6×pow1_binary64_9346
4×associate-*r*_binary64_9225 times-frac_binary64_9291 associate-*r/_binary64_9227 associate-/r*_binary64_9229
3×cancel-sign-sub-inv_binary64_9251 sub-neg_binary64_9278 associate-*l*_binary64_9226 flip--_binary64_9260 flip3--_binary64_9289 distribute-lft-out_binary64_9236
2×associate-/l/_binary64_9232 cbrt-unprod_binary64_9318 prod-exp_binary64_9334 div-exp_binary64_9336 distribute-lft-in_binary64_9234 distribute-rgt-in_binary64_9235 cbrt-undiv_binary64_9319 flip-+_binary64_9259 difference-of-squares_binary64_9254 associate-/r/_binary64_9231 flip3-+_binary64_9288
1×clear-num_binary64_9284 pow-prod-down_binary64_9356 unswap-sqr_binary64_9253 frac-2neg_binary64_9296 *-commutative_binary64_9216 associate-/l*_binary64_9230 sum-log_binary64_9376 diff-log_binary64_9377 +-commutative_binary64_9215 div-inv_binary64_9282
Counts
4 → 77
Calls

8 calls:

10.0ms
(/.f64 (*.f64 z (-.f64 (*.f64 y y) (*.f64 x x))) (+.f64 y x))
7.0ms
(*.f64 z (-.f64 (*.f64 y y) (*.f64 x x)))
7.0ms
(+.f64 x (/.f64 (*.f64 z (-.f64 (*.f64 y y) (*.f64 x x))) (+.f64 y x)))
4.0ms
(-.f64 (*.f64 y y) (*.f64 x x))
0.0ms
(+.f64 x (/.f64 (*.f64 z (-.f64 (*.f64 y y) (*.f64 x x))) (+.f64 y x)))

series871.0ms (0.8%)

Counts
4 → 60
Calls

4 calls:

366.0ms
(+.f64 x (/.f64 (*.f64 z (-.f64 (*.f64 y y) (*.f64 x x))) (+.f64 y x)))
227.0ms
(/.f64 (*.f64 z (-.f64 (*.f64 y y) (*.f64 x x))) (+.f64 y x))
180.0ms
(*.f64 z (-.f64 (*.f64 y y) (*.f64 x x)))
97.0ms
(-.f64 (*.f64 y y) (*.f64 x x))
Compiler

Compiled 1149 to 912 computations (20.6% saved)

simplify51.0ms (0%)

Algorithm
1×egg-herbie
Counts
137 → 137
Iterations

Useful iterations: 0 (29.0ms)

IterNodesCost
051541774

localize9.0ms (0%)

Local error

Found 8 expressions with local error:

34.3b
(cbrt.f64 (pow.f64 (+.f64 x (*.f64 (-.f64 y x) z)) 3))
0.2b
(pow.f64 (+.f64 x (*.f64 (-.f64 y x) z)) 3)
0.0b
(*.f64 (-.f64 y x) z)
0.0b
(+.f64 x (*.f64 (-.f64 y x) z))
0.0b
(+.f64 x (*.f64 (-.f64 y x) z))
0.0b
(*.f64 (-.f64 y x) z)
0.2b
(pow.f64 (+.f64 x (*.f64 (-.f64 y x) z)) 3)
34.3b
(cbrt.f64 (pow.f64 (+.f64 x (*.f64 (-.f64 y x) z)) 3))

rewrite24.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
16×add-sqr-sqrt_binary64_9307
14×*-un-lft-identity_binary64_9285
12×cbrt-prod_binary64_9316 add-cube-cbrt_binary64_9320
7×pow1_binary64_9346 add-cbrt-cube_binary64_9321 add-exp-log_binary64_9323
6×unpow-prod-down_binary64_9364 add-log-exp_binary64_9324 cube-prod_binary64_9313
5×associate-*l*_binary64_9226
4×cube-div_binary64_9314
3×associate-*r*_binary64_9225 flip-+_binary64_9259 pow-unpow_binary64_9362 flip3-+_binary64_9288
2×sqr-pow_binary64_9257 associate-*l/_binary64_9228 cbrt-div_binary64_9317 unpow3_binary64_9351 cube-mult_binary64_9315
1×cbrt-unprod_binary64_9318 prod-exp_binary64_9334 pow-exp_binary64_9353 rem-cbrt-cube_binary64_9309 pow-prod-down_binary64_9356 pow-pow_binary64_9357 unswap-sqr_binary64_9253 flip--_binary64_9260 flip3--_binary64_9289 pow1/3_binary64_9367 *-commutative_binary64_9216 difference-of-squares_binary64_9254 sum-log_binary64_9376 pow-to-exp_binary64_9354 +-commutative_binary64_9215 distribute-lft-out--_binary64_9237 rem-cube-cbrt_binary64_9308
Counts
4 → 81
Calls

8 calls:

7.0ms
(*.f64 (-.f64 y x) z)
4.0ms
(cbrt.f64 (pow.f64 (+.f64 x (*.f64 (-.f64 y x) z)) 3))
4.0ms
(pow.f64 (+.f64 x (*.f64 (-.f64 y x) z)) 3)
3.0ms
(+.f64 x (*.f64 (-.f64 y x) z))
0.0ms
(+.f64 x (*.f64 (-.f64 y x) z))

series698.0ms (0.6%)

Counts
4 → 87
Calls

4 calls:

353.0ms
(pow.f64 (+.f64 x (*.f64 (-.f64 y x) z)) 3)
127.0ms
(+.f64 x (*.f64 (-.f64 y x) z))
126.0ms
(cbrt.f64 (pow.f64 (+.f64 x (*.f64 (-.f64 y x) z)) 3))
92.0ms
(*.f64 (-.f64 y x) z)
Compiler

Compiled 2845 to 2338 computations (17.8% saved)

simplify112.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
168 → 168
Iterations

Useful iterations: 0 (69.0ms)

IterNodesCost
049624403
149624403

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

2.4b
(-.f64 (pow.f64 y 3) (pow.f64 x 3))
2.4b
(+.f64 (*.f64 x x) (*.f64 y x))
1.0b
(+.f64 (*.f64 y y) (+.f64 (*.f64 x x) (*.f64 y x)))
0.0b
(+.f64 x (/.f64 (*.f64 z (-.f64 (pow.f64 y 3) (pow.f64 x 3))) (+.f64 (*.f64 y y) (+.f64 (*.f64 x x) (*.f64 y x)))))
2.4b
(-.f64 (pow.f64 y 3) (pow.f64 x 3))
2.4b
(+.f64 (*.f64 x x) (*.f64 y x))
5.8b
(*.f64 z (-.f64 (pow.f64 y 3) (pow.f64 x 3)))
33.2b
(/.f64 (*.f64 z (-.f64 (pow.f64 y 3) (pow.f64 x 3))) (+.f64 (*.f64 y y) (+.f64 (*.f64 x x) (*.f64 y x))))

rewrite80.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
67×add-sqr-sqrt_binary64_9307
37×*-un-lft-identity_binary64_9285
36×cancel-sign-sub-inv_binary64_9251
33×unpow-prod-down_binary64_9364 cube-prod_binary64_9313
32×difference-of-squares_binary64_9254
25×associate-*r*_binary64_9225
19×sqr-pow_binary64_9257
17×add-cube-cbrt_binary64_9320
13×distribute-lft-in_binary64_9234 distribute-rgt-in_binary64_9235
11×add-cbrt-cube_binary64_9321 add-exp-log_binary64_9323
10×distribute-lft-out--_binary64_9237
8×add-log-exp_binary64_9324
6×pow1_binary64_9346
4×associate-*r/_binary64_9227
3×unpow3_binary64_9351 sub-neg_binary64_9278 associate-*l*_binary64_9226 flip--_binary64_9260 flip3--_binary64_9289 times-frac_binary64_9291 cube-mult_binary64_9315 associate-/r*_binary64_9229
2×associate-/l/_binary64_9232 cbrt-unprod_binary64_9318 difference-cubes_binary64_9287 prod-exp_binary64_9334 div-exp_binary64_9336 cbrt-undiv_binary64_9319 flip-+_binary64_9259 associate-/r/_binary64_9231 flip3-+_binary64_9288
1×distribute-rgt-out_binary64_9238 clear-num_binary64_9284 pow-prod-down_binary64_9356 unswap-sqr_binary64_9253 frac-2neg_binary64_9296 *-commutative_binary64_9216 associate-/l*_binary64_9230 sum-log_binary64_9376 diff-log_binary64_9377 +-commutative_binary64_9215 div-inv_binary64_9282
Counts
4 → 150
Calls

8 calls:

23.0ms
(*.f64 z (-.f64 (pow.f64 y 3) (pow.f64 x 3)))
23.0ms
(/.f64 (*.f64 z (-.f64 (pow.f64 y 3) (pow.f64 x 3))) (+.f64 (*.f64 y y) (+.f64 (*.f64 x x) (*.f64 y x))))
13.0ms
(-.f64 (pow.f64 y 3) (pow.f64 x 3))
4.0ms
(+.f64 (*.f64 x x) (*.f64 y x))
0.0ms
(+.f64 x (/.f64 (*.f64 z (-.f64 (pow.f64 y 3) (pow.f64 x 3))) (+.f64 (*.f64 y y) (+.f64 (*.f64 x x) (*.f64 y x)))))

series904.0ms (0.8%)

Counts
4 → 54
Calls

4 calls:

393.0ms
(/.f64 (*.f64 z (-.f64 (pow.f64 y 3) (pow.f64 x 3))) (+.f64 (*.f64 y y) (+.f64 (*.f64 x x) (*.f64 y x))))
269.0ms
(*.f64 z (-.f64 (pow.f64 y 3) (pow.f64 x 3)))
162.0ms
(-.f64 (pow.f64 y 3) (pow.f64 x 3))
80.0ms
(+.f64 (*.f64 x x) (*.f64 y x))
Compiler

Compiled 1626 to 1179 computations (27.5% saved)

simplify112.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
204 → 204
Iterations

Useful iterations: 0 (76.0ms)

IterNodesCost
051163079

prune4.1s (3.7%)

Pruning

205 alts after pruning (200 fresh and 5 done)

PrunedKeptTotal
New395181576
Fresh41923
Picked000
Done156
Total400205605
Error
0b
Counts
605 → 205
Compiler

Compiled 10409 to 5326 computations (48.8% saved)

localize7.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite14.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
8×add-sqr-sqrt_binary64_9307 *-un-lft-identity_binary64_9285
5×associate-*l*_binary64_9226
4×pow1_binary64_9346 add-cbrt-cube_binary64_9321 add-log-exp_binary64_9324 add-exp-log_binary64_9323 add-cube-cbrt_binary64_9320
3×associate-*r*_binary64_9225
2×associate-*l/_binary64_9228
1×cbrt-unprod_binary64_9318 prod-exp_binary64_9334 pow-prod-down_binary64_9356 unswap-sqr_binary64_9253 flip--_binary64_9260 flip3--_binary64_9289 flip-+_binary64_9259 *-commutative_binary64_9216 difference-of-squares_binary64_9254 distribute-lft-out_binary64_9236 sum-log_binary64_9376 flip3-+_binary64_9288 +-commutative_binary64_9215 distribute-lft-out--_binary64_9237
Counts
2 → 34
Calls

4 calls:

7.0ms
(*.f64 (-.f64 y x) z)
5.0ms
(+.f64 x (pow.f64 (*.f64 1 (*.f64 (-.f64 y x) z)) 1))
0.0ms
(+.f64 x (pow.f64 (*.f64 1 (*.f64 (-.f64 y x) z)) 1))
0.0ms
(*.f64 (-.f64 y x) z)

series221.0ms (0.2%)

Counts
2 → 33
Calls

2 calls:

123.0ms
(+.f64 x (pow.f64 (*.f64 1 (*.f64 (-.f64 y x) z)) 1))
98.0ms
(*.f64 (-.f64 y x) z)
Compiler

Compiled 483 to 424 computations (12.2% saved)

simplify43.0ms (0%)

Algorithm
1×egg-herbie
Counts
67 → 67
Iterations

Useful iterations: 0 (30.0ms)

IterNodesCost
05079638

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite8.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
7×add-sqr-sqrt_binary64_9307
5×*-un-lft-identity_binary64_9285 associate-*l*_binary64_9226
3×associate-*r*_binary64_9225 pow1_binary64_9346 add-cbrt-cube_binary64_9321 add-exp-log_binary64_9323 add-cube-cbrt_binary64_9320
2×associate-*l/_binary64_9228
1×cbrt-unprod_binary64_9318 prod-exp_binary64_9334 pow-prod-down_binary64_9356 unswap-sqr_binary64_9253 flip--_binary64_9260 flip3--_binary64_9289 add-log-exp_binary64_9324 *-commutative_binary64_9216 difference-of-squares_binary64_9254 distribute-lft-out--_binary64_9237
Counts
1 → 22
Calls

2 calls:

7.0ms
(*.f64 (-.f64 y x) z)
0.0ms
(*.f64 (-.f64 y x) z)

series95.0ms (0.1%)

Counts
1 → 15
Calls

1 calls:

95.0ms
(*.f64 (-.f64 y x) z)
Compiler

Compiled 138 to 132 computations (4.3% saved)

simplify42.0ms (0%)

Algorithm
1×egg-herbie
Counts
37 → 37
Iterations

Useful iterations: 0 (33.0ms)

IterNodesCost
04937312
14937312

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

8.1b
(*.f64 z (-.f64 (*.f64 y y) (*.f64 x x)))
2.6b
(-.f64 (*.f64 y y) (*.f64 x x))
1.8b
(exp.f64 (log.f64 (*.f64 z (-.f64 (*.f64 y y) (*.f64 x x)))))
0.0b
(+.f64 x (/.f64 (exp.f64 (log.f64 (*.f64 z (-.f64 (*.f64 y y) (*.f64 x x))))) (+.f64 y x)))
2.6b
(-.f64 (*.f64 y y) (*.f64 x x))
8.1b
(*.f64 z (-.f64 (*.f64 y y) (*.f64 x x)))
8.3b
(/.f64 (exp.f64 (log.f64 (*.f64 z (-.f64 (*.f64 y y) (*.f64 x x))))) (+.f64 y x))
11.3b
(log.f64 (*.f64 z (-.f64 (*.f64 y y) (*.f64 x x))))

rewrite39.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
26×*-un-lft-identity_binary64_9285
18×add-sqr-sqrt_binary64_9307
16×times-frac_binary64_9291 add-cube-cbrt_binary64_9320
10×add-exp-log_binary64_9323
9×pow1_binary64_9346
8×add-cbrt-cube_binary64_9321
6×log-prod_binary64_9371 add-log-exp_binary64_9324 associate-*r/_binary64_9227
5×exp-sum_binary64_9331 distribute-lft-out_binary64_9236
4×log-div_binary64_9372 flip--_binary64_9260 associate-*r*_binary64_9225 flip3--_binary64_9289 associate-/l*_binary64_9230 associate-/r*_binary64_9229
3×cancel-sign-sub-inv_binary64_9251 sub-neg_binary64_9278 associate-*l*_binary64_9226
2×associate-/l/_binary64_9232 prod-exp_binary64_9334 distribute-lft-in_binary64_9234 distribute-rgt-in_binary64_9235 pow-prod-down_binary64_9356 log-pow_binary64_9374 exp-diff_binary64_9333 rem-log-exp_binary64_9326 difference-of-squares_binary64_9254 associate-/r/_binary64_9231
1×clear-num_binary64_9284 cbrt-unprod_binary64_9318 div-exp_binary64_9336 unswap-sqr_binary64_9253 cbrt-undiv_binary64_9319 flip-+_binary64_9259 frac-2neg_binary64_9296 *-commutative_binary64_9216 diff-log_binary64_9377 flip3-+_binary64_9288 div-inv_binary64_9282
Counts
4 → 92
Calls

8 calls:

11.0ms
(/.f64 (exp.f64 (log.f64 (*.f64 z (-.f64 (*.f64 y y) (*.f64 x x))))) (+.f64 y x))
7.0ms
(*.f64 z (-.f64 (*.f64 y y) (*.f64 x x)))
7.0ms
(-.f64 (*.f64 y y) (*.f64 x x))
5.0ms
(log.f64 (*.f64 z (-.f64 (*.f64 y y) (*.f64 x x))))
0.0ms
(+.f64 x (/.f64 (exp.f64 (log.f64 (*.f64 z (-.f64 (*.f64 y y) (*.f64 x x))))) (+.f64 y x)))

series1.1s (1%)

Counts
4 → 54
Calls

4 calls:

579.0ms
(/.f64 (exp.f64 (log.f64 (*.f64 z (-.f64 (*.f64 y y) (*.f64 x x))))) (+.f64 y x))
212.0ms
(log.f64 (*.f64 z (-.f64 (*.f64 y y) (*.f64 x x))))
211.0ms
(*.f64 z (-.f64 (*.f64 y y) (*.f64 x x)))
102.0ms
(-.f64 (*.f64 y y) (*.f64 x x))
Compiler

Compiled 1743 to 1457 computations (16.4% saved)

simplify79.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
146 → 146
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
049402458
149402458

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(/.f64 1 (-.f64 y x))
0.0b
(/.f64 1 (-.f64 y x))
0.0b
(/.f64 1 (-.f64 y x))
0.0b
(+.f64 x (*.f64 (*.f64 (cbrt.f64 (/.f64 z (/.f64 1 (-.f64 y x)))) (cbrt.f64 (/.f64 z (/.f64 1 (-.f64 y x))))) (cbrt.f64 (/.f64 z (/.f64 1 (-.f64 y x))))))
0.5b
(*.f64 (cbrt.f64 (/.f64 z (/.f64 1 (-.f64 y x)))) (cbrt.f64 (/.f64 z (/.f64 1 (-.f64 y x)))))
2.2b
(cbrt.f64 (/.f64 z (/.f64 1 (-.f64 y x))))
2.2b
(cbrt.f64 (/.f64 z (/.f64 1 (-.f64 y x))))
2.2b
(cbrt.f64 (/.f64 z (/.f64 1 (-.f64 y x))))

rewrite255.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
890×times-frac_binary64_9291
595×add-sqr-sqrt_binary64_9307
575×*-un-lft-identity_binary64_9285
564×cbrt-prod_binary64_9316
379×add-cube-cbrt_binary64_9320
95×swap-sqr_binary64_9252
81×distribute-lft-out--_binary64_9237
71×associate-*l*_binary64_9226 associate-*r*_binary64_9225
63×difference-of-squares_binary64_9254
49×associate-/r/_binary64_9231
34×div-inv_binary64_9282
25×unswap-sqr_binary64_9253
21×flip--_binary64_9260 flip3--_binary64_9289
11×pow1_binary64_9346
9×pow1/3_binary64_9367
7×cbrt-div_binary64_9317
6×add-exp-log_binary64_9323
4×add-cbrt-cube_binary64_9321 add-log-exp_binary64_9324
2×pow-prod-down_binary64_9356 pow-prod-up_binary64_9355 pow-sqr_binary64_9258
1×cbrt-unprod_binary64_9318 associate-*l/_binary64_9228 frac-times_binary64_9295 prod-exp_binary64_9334 pow-plus_binary64_9348 associate-*r/_binary64_9227 *-commutative_binary64_9216 pow2_binary64_9366
Counts
4 → 514
Calls

8 calls:

105.0ms
(*.f64 (cbrt.f64 (/.f64 z (/.f64 1 (-.f64 y x)))) (cbrt.f64 (/.f64 z (/.f64 1 (-.f64 y x)))))
15.0ms
(cbrt.f64 (/.f64 z (/.f64 1 (-.f64 y x))))
10.0ms
(cbrt.f64 (/.f64 z (/.f64 1 (-.f64 y x))))
10.0ms
(cbrt.f64 (/.f64 z (/.f64 1 (-.f64 y x))))
0.0ms
(+.f64 x (*.f64 (*.f64 (cbrt.f64 (/.f64 z (/.f64 1 (-.f64 y x)))) (cbrt.f64 (/.f64 z (/.f64 1 (-.f64 y x))))) (cbrt.f64 (/.f64 z (/.f64 1 (-.f64 y x))))))

series1.1s (1%)

Counts
4 → 57
Calls

4 calls:

354.0ms
(*.f64 (cbrt.f64 (/.f64 z (/.f64 1 (-.f64 y x)))) (cbrt.f64 (/.f64 z (/.f64 1 (-.f64 y x)))))
261.0ms
(cbrt.f64 (/.f64 z (/.f64 1 (-.f64 y x))))
254.0ms
(cbrt.f64 (/.f64 z (/.f64 1 (-.f64 y x))))
250.0ms
(cbrt.f64 (/.f64 z (/.f64 1 (-.f64 y x))))
Compiler

Compiled 3939 to 3063 computations (22.2% saved)

simplify219.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
571 → 571
Iterations

Useful iterations: 0 (64.0ms)

IterNodesCost
0498116837
1498116837

localize30.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(*.f64 (*.f64 x x) -6)
0.2b
(*.f64 3 (-.f64 (*.f64 (*.f64 x x) (*.f64 y z)) (*.f64 z (pow.f64 x 3))))
0.1b
(*.f64 3 (+.f64 (*.f64 x (*.f64 (*.f64 z z) (*.f64 y y))) (*.f64 (pow.f64 x 3) (*.f64 z z))))
0.0b
(+.f64 (pow.f64 x 3) (*.f64 3 (+.f64 (*.f64 x (*.f64 (*.f64 z z) (*.f64 y y))) (*.f64 (pow.f64 x 3) (*.f64 z z)))))
11.9b
(*.f64 (*.f64 y (*.f64 z z)) (*.f64 (*.f64 x x) -6))
13.5b
(*.f64 (pow.f64 x 3) (*.f64 z z))
16.3b
(*.f64 (*.f64 z z) (*.f64 y y))
31.3b
(cbrt.f64 (+.f64 (+.f64 (+.f64 (pow.f64 x 3) (*.f64 3 (+.f64 (*.f64 x (*.f64 (*.f64 z z) (*.f64 y y))) (*.f64 (pow.f64 x 3) (*.f64 z z))))) (*.f64 3 (-.f64 (*.f64 (*.f64 x x) (*.f64 y z)) (*.f64 z (pow.f64 x 3))))) (*.f64 (*.f64 y (*.f64 z z)) (*.f64 (*.f64 x x) -6))))

rewrite81.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
68×pow1_binary64_9346
65×add-exp-log_binary64_9323
57×add-cbrt-cube_binary64_9321
44×prod-exp_binary64_9334
41×pow-prod-down_binary64_9356
38×cbrt-unprod_binary64_9318
14×associate-*l*_binary64_9226
11×add-sqr-sqrt_binary64_9307
8×*-un-lft-identity_binary64_9285 add-cube-cbrt_binary64_9320
5×unswap-sqr_binary64_9253
4×pow-plus_binary64_9348 pow-prod-up_binary64_9355 unpow-prod-down_binary64_9364 add-log-exp_binary64_9324 cube-prod_binary64_9313
3×associate-*r*_binary64_9225 *-commutative_binary64_9216 cbrt-prod_binary64_9316
2×sqr-pow_binary64_9257 cbrt-div_binary64_9317 pow-exp_binary64_9353 pow-to-exp_binary64_9354 pow2_binary64_9366 pow-sqr_binary64_9258
1×unpow3_binary64_9351 cube-mult_binary64_9315 flip-+_binary64_9259 pow1/3_binary64_9367 flip3-+_binary64_9288
Counts
4 → 112
Calls

8 calls:

31.0ms
(cbrt.f64 (+.f64 (+.f64 (+.f64 (pow.f64 x 3) (*.f64 3 (+.f64 (*.f64 x (*.f64 (*.f64 z z) (*.f64 y y))) (*.f64 (pow.f64 x 3) (*.f64 z z))))) (*.f64 3 (-.f64 (*.f64 (*.f64 x x) (*.f64 y z)) (*.f64 z (pow.f64 x 3))))) (*.f64 (*.f64 y (*.f64 z z)) (*.f64 (*.f64 x x) -6))))
12.0ms
(*.f64 (*.f64 y (*.f64 z z)) (*.f64 (*.f64 x x) -6))
9.0ms
(*.f64 (*.f64 z z) (*.f64 y y))
9.0ms
(*.f64 (pow.f64 x 3) (*.f64 z z))
0.0ms
(+.f64 (pow.f64 x 3) (*.f64 3 (+.f64 (*.f64 x (*.f64 (*.f64 z z) (*.f64 y y))) (*.f64 (pow.f64 x 3) (*.f64 z z)))))

series1.5s (1.4%)

Counts
4 → 40
Calls

4 calls:

1.1s
(cbrt.f64 (+.f64 (+.f64 (+.f64 (pow.f64 x 3) (*.f64 3 (+.f64 (*.f64 x (*.f64 (*.f64 z z) (*.f64 y y))) (*.f64 (pow.f64 x 3) (*.f64 z z))))) (*.f64 3 (-.f64 (*.f64 (*.f64 x x) (*.f64 y z)) (*.f64 z (pow.f64 x 3))))) (*.f64 (*.f64 y (*.f64 z z)) (*.f64 (*.f64 x x) -6))))
201.0ms
(*.f64 (*.f64 y (*.f64 z z)) (*.f64 (*.f64 x x) -6))
92.0ms
(*.f64 (pow.f64 x 3) (*.f64 z z))
85.0ms
(*.f64 (*.f64 z z) (*.f64 y y))
Compiler

Compiled 5480 to 4186 computations (23.6% saved)

simplify93.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
152 → 152
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
056044697

prune28.1s (25%)

Pruning

577 alts after pruning (569 fresh and 8 done)

PrunedKeptTotal
New593380973
Fresh6189195
Picked000
Done2810
Total6015771178
Error
0b
Counts
1178 → 577
Compiler

Compiled 41941 to 22302 computations (46.8% saved)

localize11.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite13.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
8×add-sqr-sqrt_binary64_9307
6×*-un-lft-identity_binary64_9285
5×associate-*l*_binary64_9226
4×pow1_binary64_9346 add-cbrt-cube_binary64_9321 add-log-exp_binary64_9324 add-exp-log_binary64_9323 add-cube-cbrt_binary64_9320
3×associate-*r*_binary64_9225
2×associate-*l/_binary64_9228
1×cbrt-unprod_binary64_9318 prod-exp_binary64_9334 pow-prod-down_binary64_9356 unswap-sqr_binary64_9253 flip--_binary64_9260 flip3--_binary64_9289 flip-+_binary64_9259 *-commutative_binary64_9216 difference-of-squares_binary64_9254 sum-log_binary64_9376 flip3-+_binary64_9288 +-commutative_binary64_9215 distribute-lft-out--_binary64_9237
Counts
2 → 33
Calls

4 calls:

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

series226.0ms (0.2%)

Counts
2 → 33
Calls

2 calls:

129.0ms
(+.f64 x (*.f64 (-.f64 y x) z))
96.0ms
(*.f64 (-.f64 y x) z)
Compiler

Compiled 540 to 481 computations (10.9% saved)

simplify42.0ms (0%)

Algorithm
1×egg-herbie
Counts
66 → 66
Iterations

Useful iterations: 0 (28.0ms)

IterNodesCost
05343634

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

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(-.f64 x (*.f64 (-.f64 y x) z))
0.0b
(*.f64 (-.f64 y x) z)
0.0b
(*.f64 (-.f64 y x) z)
0.0b
(*.f64 (-.f64 y x) z)
0.3b
(*.f64 (*.f64 (-.f64 y x) z) (*.f64 (-.f64 y x) z))
5.0b
(-.f64 (*.f64 x x) (*.f64 (*.f64 (-.f64 y x) z) (*.f64 (-.f64 y x) z)))
34.3b
(cbrt.f64 (/.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 (-.f64 y x) z) (*.f64 (-.f64 y x) z))) 3) (pow.f64 (-.f64 x (*.f64 (-.f64 y x) z)) 3)))
45.9b
(/.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 (-.f64 y x) z) (*.f64 (-.f64 y x) z))) 3) (pow.f64 (-.f64 x (*.f64 (-.f64 y x) z)) 3))

rewrite132.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
336×times-frac_binary64_9291
187×unpow-prod-down_binary64_9364 cube-prod_binary64_9313
174×cbrt-prod_binary64_9316
167×add-sqr-sqrt_binary64_9307 *-un-lft-identity_binary64_9285 add-cube-cbrt_binary64_9320
54×sqr-pow_binary64_9257 unpow3_binary64_9351 cube-mult_binary64_9315
51×difference-of-squares_binary64_9254
43×pow1_binary64_9346
28×add-exp-log_binary64_9323
18×add-cbrt-cube_binary64_9321
17×pow-prod-down_binary64_9356
14×associate-*l/_binary64_9228 associate-/l*_binary64_9230
12×associate-/r*_binary64_9229
10×flip--_binary64_9260 flip3--_binary64_9289
9×div-exp_binary64_9336
8×cbrt-unprod_binary64_9318 prod-exp_binary64_9334
6×pow-exp_binary64_9353 add-log-exp_binary64_9324 pow-to-exp_binary64_9354 cube-div_binary64_9314
4×frac-times_binary64_9295 pow-prod-up_binary64_9355 associate-/r/_binary64_9231 pow-sqr_binary64_9258
2×associate-/l/_binary64_9232 pow-plus_binary64_9348 associate-*r/_binary64_9227 div-inv_binary64_9282
1×swap-sqr_binary64_9252 clear-num_binary64_9284 cancel-sign-sub-inv_binary64_9251 cbrt-div_binary64_9317 sub-neg_binary64_9278 cbrt-undiv_binary64_9319 associate-*l*_binary64_9226 associate-*r*_binary64_9225 frac-2neg_binary64_9296 pow1/3_binary64_9367 *-commutative_binary64_9216 diff-log_binary64_9377 pow2_binary64_9366
Counts
4 → 456
Calls

8 calls:

19.0ms
(cbrt.f64 (/.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 (-.f64 y x) z) (*.f64 (-.f64 y x) z))) 3) (pow.f64 (-.f64 x (*.f64 (-.f64 y x) z)) 3)))
17.0ms
(*.f64 (*.f64 (-.f64 y x) z) (*.f64 (-.f64 y x) z))
16.0ms
(/.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 (-.f64 y x) z) (*.f64 (-.f64 y x) z))) 3) (pow.f64 (-.f64 x (*.f64 (-.f64 y x) z)) 3))
5.0ms
(-.f64 (*.f64 x x) (*.f64 (*.f64 (-.f64 y x) z) (*.f64 (-.f64 y x) z)))
0.0ms
(*.f64 (-.f64 y x) z)

series6.0s (5.3%)

Counts
4 → 97
Calls

4 calls:

4.7s
(/.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 (-.f64 y x) z) (*.f64 (-.f64 y x) z))) 3) (pow.f64 (-.f64 x (*.f64 (-.f64 y x) z)) 3))
559.0ms
(-.f64 (*.f64 x x) (*.f64 (*.f64 (-.f64 y x) z) (*.f64 (-.f64 y x) z)))
538.0ms
(cbrt.f64 (/.f64 (pow.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 (-.f64 y x) z) (*.f64 (-.f64 y x) z))) 3) (pow.f64 (-.f64 x (*.f64 (-.f64 y x) z)) 3)))
232.0ms
(*.f64 (*.f64 (-.f64 y x) z) (*.f64 (-.f64 y x) z))
Compiler

Compiled 13556 to 9964 computations (26.5% saved)

simplify367.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
553 → 553
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
0497744236
1497744236

localize38.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(*.f64 (*.f64 x x) -6)
0.2b
(*.f64 3 (-.f64 (*.f64 (*.f64 x x) (*.f64 y z)) (*.f64 z (pow.f64 x 3))))
0.1b
(*.f64 3 (+.f64 (*.f64 x (pow.f64 (*.f64 z y) 2)) (*.f64 (pow.f64 x 3) (*.f64 z z))))
0.0b
(+.f64 (pow.f64 x 3) (*.f64 3 (+.f64 (*.f64 x (pow.f64 (*.f64 z y) 2)) (*.f64 (pow.f64 x 3) (*.f64 z z)))))
8.2b
(+.f64 (+.f64 (pow.f64 x 3) (*.f64 3 (+.f64 (*.f64 x (pow.f64 (*.f64 z y) 2)) (*.f64 (pow.f64 x 3) (*.f64 z z))))) (*.f64 3 (-.f64 (*.f64 (*.f64 x x) (*.f64 y z)) (*.f64 z (pow.f64 x 3)))))
11.9b
(*.f64 (*.f64 y (*.f64 z z)) (*.f64 (*.f64 x x) -6))
13.5b
(*.f64 (pow.f64 x 3) (*.f64 z z))
31.3b
(cbrt.f64 (+.f64 (+.f64 (+.f64 (pow.f64 x 3) (*.f64 3 (+.f64 (*.f64 x (pow.f64 (*.f64 z y) 2)) (*.f64 (pow.f64 x 3) (*.f64 z z))))) (*.f64 3 (-.f64 (*.f64 (*.f64 x x) (*.f64 y z)) (*.f64 z (pow.f64 x 3))))) (*.f64 (*.f64 y (*.f64 z z)) (*.f64 (*.f64 x x) -6))))

rewrite76.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
53×add-exp-log_binary64_9323
45×add-cbrt-cube_binary64_9321
40×pow1_binary64_9346
36×prod-exp_binary64_9334
30×cbrt-unprod_binary64_9318
27×pow-prod-down_binary64_9356
13×associate-*l*_binary64_9226
11×add-sqr-sqrt_binary64_9307
9×add-log-exp_binary64_9324
8×*-un-lft-identity_binary64_9285 add-cube-cbrt_binary64_9320
4×associate-+r+_binary64_9217 unswap-sqr_binary64_9253 frac-add_binary64_9293 flip-+_binary64_9259 unpow-prod-down_binary64_9364 associate-*r/_binary64_9227 cube-prod_binary64_9313 flip3-+_binary64_9288
3×sum-log_binary64_9376 cbrt-prod_binary64_9316
2×sqr-pow_binary64_9257 cancel-sign-sub-inv_binary64_9251 cbrt-div_binary64_9317 distribute-lft-in_binary64_9234 sub-neg_binary64_9278 pow-exp_binary64_9353 distribute-rgt-in_binary64_9235 flip--_binary64_9260 associate-*r*_binary64_9225 flip3--_binary64_9289 *-commutative_binary64_9216 pow-to-exp_binary64_9354
1×unpow3_binary64_9351 associate-+l+_binary64_9218 cube-mult_binary64_9315 pow1/3_binary64_9367 +-commutative_binary64_9215
Counts
4 → 104
Calls

8 calls:

21.0ms
(cbrt.f64 (+.f64 (+.f64 (+.f64 (pow.f64 x 3) (*.f64 3 (+.f64 (*.f64 x (pow.f64 (*.f64 z y) 2)) (*.f64 (pow.f64 x 3) (*.f64 z z))))) (*.f64 3 (-.f64 (*.f64 (*.f64 x x) (*.f64 y z)) (*.f64 z (pow.f64 x 3))))) (*.f64 (*.f64 y (*.f64 z z)) (*.f64 (*.f64 x x) -6))))
15.0ms
(+.f64 (+.f64 (pow.f64 x 3) (*.f64 3 (+.f64 (*.f64 x (pow.f64 (*.f64 z y) 2)) (*.f64 (pow.f64 x 3) (*.f64 z z))))) (*.f64 3 (-.f64 (*.f64 (*.f64 x x) (*.f64 y z)) (*.f64 z (pow.f64 x 3)))))
12.0ms
(*.f64 (*.f64 y (*.f64 z z)) (*.f64 (*.f64 x x) -6))
8.0ms
(*.f64 (pow.f64 x 3) (*.f64 z z))
0.0ms
(+.f64 (pow.f64 x 3) (*.f64 3 (+.f64 (*.f64 x (pow.f64 (*.f64 z y) 2)) (*.f64 (pow.f64 x 3) (*.f64 z z)))))

series2.4s (2.1%)

Counts
4 → 61
Calls

4 calls:

1.1s
(cbrt.f64 (+.f64 (+.f64 (+.f64 (pow.f64 x 3) (*.f64 3 (+.f64 (*.f64 x (pow.f64 (*.f64 z y) 2)) (*.f64 (pow.f64 x 3) (*.f64 z z))))) (*.f64 3 (-.f64 (*.f64 (*.f64 x x) (*.f64 y z)) (*.f64 z (pow.f64 x 3))))) (*.f64 (*.f64 y (*.f64 z z)) (*.f64 (*.f64 x x) -6))))
969.0ms
(+.f64 (+.f64 (pow.f64 x 3) (*.f64 3 (+.f64 (*.f64 x (pow.f64 (*.f64 z y) 2)) (*.f64 (pow.f64 x 3) (*.f64 z z))))) (*.f64 3 (-.f64 (*.f64 (*.f64 x x) (*.f64 y z)) (*.f64 z (pow.f64 x 3)))))
205.0ms
(*.f64 (*.f64 y (*.f64 z z)) (*.f64 (*.f64 x x) -6))
99.0ms
(*.f64 (pow.f64 x 3) (*.f64 z z))
Compiler

Compiled 6416 to 5049 computations (21.3% saved)

simplify106.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
165 → 165
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
050417307

localize25.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b
(*.f64 (*.f64 (cbrt.f64 (pow.f64 z 2/3)) (cbrt.f64 (pow.f64 z 2/3))) (*.f64 (cbrt.f64 (*.f64 (-.f64 y x) (cbrt.f64 z))) (cbrt.f64 (*.f64 (-.f64 y x) (cbrt.f64 z)))))
0.2b
(*.f64 (*.f64 (*.f64 (cbrt.f64 (pow.f64 z 2/3)) (cbrt.f64 (pow.f64 z 2/3))) (*.f64 (cbrt.f64 (*.f64 (-.f64 y x) (cbrt.f64 z))) (cbrt.f64 (*.f64 (-.f64 y x) (cbrt.f64 z))))) (cbrt.f64 (/.f64 z (/.f64 1 (-.f64 y x)))))
0.0b
(/.f64 1 (-.f64 y x))
0.0b
(+.f64 x (*.f64 (*.f64 (*.f64 (cbrt.f64 (pow.f64 z 2/3)) (cbrt.f64 (pow.f64 z 2/3))) (*.f64 (cbrt.f64 (*.f64 (-.f64 y x) (cbrt.f64 z))) (cbrt.f64 (*.f64 (-.f64 y x) (cbrt.f64 z))))) (cbrt.f64 (/.f64 z (/.f64 1 (-.f64 y x))))))
0.9b
(cbrt.f64 (*.f64 (-.f64 y x) (cbrt.f64 z)))
2.2b
(cbrt.f64 (/.f64 z (/.f64 1 (-.f64 y x))))
2.9b
(pow.f64 z 2/3)
2.9b
(pow.f64 z 2/3)

rewrite42.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
108×times-frac_binary64_9291
75×add-sqr-sqrt_binary64_9307 *-un-lft-identity_binary64_9285
69×cbrt-prod_binary64_9316
57×add-cube-cbrt_binary64_9320
9×difference-of-squares_binary64_9254 distribute-lft-out--_binary64_9237
7×associate-/r/_binary64_9231
6×pow1_binary64_9346 unpow-prod-down_binary64_9364 pow-unpow_binary64_9362 add-exp-log_binary64_9323
4×flip--_binary64_9260 flip3--_binary64_9289 add-cbrt-cube_binary64_9321 add-log-exp_binary64_9324 div-inv_binary64_9282
3×cbrt-div_binary64_9317
2×sqr-pow_binary64_9257 associate-*l/_binary64_9228 pow-exp_binary64_9353 pow-pow_binary64_9357 pow1/3_binary64_9367 pow-to-exp_binary64_9354
Counts
4 → 122
Calls

8 calls:

10.0ms
(cbrt.f64 (/.f64 z (/.f64 1 (-.f64 y x))))
6.0ms
(cbrt.f64 (*.f64 (-.f64 y x) (cbrt.f64 z)))
2.0ms
(pow.f64 z 2/3)
2.0ms
(pow.f64 z 2/3)
0.0ms
(+.f64 x (*.f64 (*.f64 (*.f64 (cbrt.f64 (pow.f64 z 2/3)) (cbrt.f64 (pow.f64 z 2/3))) (*.f64 (cbrt.f64 (*.f64 (-.f64 y x) (cbrt.f64 z))) (cbrt.f64 (*.f64 (-.f64 y x) (cbrt.f64 z))))) (cbrt.f64 (/.f64 z (/.f64 1 (-.f64 y x))))))

series694.0ms (0.6%)

Counts
4 → 29
Calls

4 calls:

302.0ms
(cbrt.f64 (*.f64 (-.f64 y x) (cbrt.f64 z)))
240.0ms
(cbrt.f64 (/.f64 z (/.f64 1 (-.f64 y x))))
77.0ms
(pow.f64 z 2/3)
75.0ms
(pow.f64 z 2/3)
Compiler

Compiled 2450 to 1740 computations (29% saved)

simplify95.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
151 → 151
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
049482417
149482417

prune39.2s (34.8%)

Pruning

848 alts after pruning (836 fresh and 12 done)

PrunedKeptTotal
New653282935
Fresh10554564
Picked000
Done11213
Total6648481512
Error
0b
Counts
1512 → 848
Compiler

Compiled 26876 to 13134 computations (51.1% saved)

simplify1.1s (1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (14.0ms)

IterNodesCost
0580780443

regimes18.5s (16.4%)

Compiler

Compiled 204993 to 129113 computations (37% saved)

bsearch0.0ms (0%)

regimes120.0ms (0.1%)

Compiler

Compiled 213 to 267 computations (-25.4% saved)

bsearch27.0ms (0%)

Steps
ItersRangePoint
6
0.3192886044458171
3.563332242560903
1.002031271848288
10
-4979.0899108039075
-6.031469697127891e-09
-1.0156882816974229
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes140.0ms (0.1%)

Compiler

Compiled 78 to 132 computations (-69.2% saved)

bsearch21.0ms (0%)

Steps
ItersRangePoint
7
1.1504997840405646e-38
1.9269349272279737e-37
7.423582860353716e-38
6
-1.1356163439950499e-33
-1.811775078977361e-34
-8.703483155628362e-34
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes115.0ms (0.1%)

Compiler

Compiled 48 to 102 computations (-112.5% saved)

bsearch103.0ms (0.1%)

Steps
ItersRangePoint
9
1.3087500523141441e+99
1.3618010184076916e+107
4.0778055723519505e+106
7
4.263163640043237e-43
8.456098923612986e-42
1.6454526886463466e-42
6
-1.1356163439950499e-33
-1.811775078977361e-34
-1.0263883322876679e-33
8
-4.778935294445843e+27
-4.7061458244880665e+24
-4.804150411558862e+25
7
-3.065480546033533e+60
-1.441062796361831e+58
-3.343048753855634e+59
10
-7.248295966653885e+109
-2.9146405846609957e+91
-4.64017936705747e+97
9
-4.784391583900683e+155
-1.1024252924778507e+148
-6.173643132510311e+153
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes69.0ms (0.1%)

Compiler

Compiled 36 to 87 computations (-141.7% saved)

bsearch23.0ms (0%)

Steps
ItersRangePoint
7
4.263163640043237e-43
8.456098923612986e-42
1.88562760211355e-42
6
-1.1356163439950499e-33
-1.811775078977361e-34
-2.906930343184931e-34
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes28.0ms (0%)

Compiler

Compiled 18 to 63 computations (-250% saved)

bsearch5.0ms (0%)

Compiler

Compiled 118 to 70 computations (40.7% saved)

simplify5.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
090157
190157

end0.0ms (0%)

sample1.5s (1.4%)

Algorithm
1×intervals
Results
207.0ms8000×body128valid
13.0ms536×body128invalid
Compiler

Compiled 51305 to 32305 computations (37% saved)

Profiling

Loading profile data...