Details

Time bar (total: 35.4min)

analyze306.0ms (0%)

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
21.8%78%0.1%7
26.5%73.3%0.1%8
36.7%63.2%0.1%9
41.3%49.9%8.7%10
47.2%43.3%9.5%11
54.4%35.5%10.1%12
57.9%27.4%14.7%13
61.7%23.2%15.1%14
Compiler

Compiled 8 to 8 computations (0% saved)

sample14.0ms (0%)

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

Compiled 15 to 18 computations (-20% saved)

simplify100.0ms (0%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
010410
110410

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 7 computations (0% saved)

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite12.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
7×*-un-lft-identity_binary64_419
6×flip3-+_binary64_422 flip-+_binary64_393
5×add-sqr-sqrt_binary64_441
4×associate-*r*_binary64_359 frac-times_binary64_429 associate-*l*_binary64_360
3×add-cube-cbrt_binary64_454 add-cbrt-cube_binary64_455 add-exp-log_binary64_457 pow1_binary64_480
2×associate-*l/_binary64_362 distribute-lft-out_binary64_370 associate-*r/_binary64_361
1×pow-prod-down_binary64_490 add-log-exp_binary64_458 distribute-rgt-in_binary64_369 unswap-sqr_binary64_387 prod-exp_binary64_468 cbrt-unprod_binary64_452 distribute-lft-in_binary64_368 *-commutative_binary64_350
Counts
1 → 30
Calls

2 calls:

9.0ms
(*.f64 (+.f64 x y) (+.f64 z 1))
0.0ms
(*.f64 (+.f64 x y) (+.f64 z 1))

series112.0ms (0%)

Counts
1 → 18
Calls

1 calls:

111.0ms
(*.f64 (+.f64 x y) (+.f64 z 1))
Compiler

Compiled 241 to 194 computations (19.5% saved)

simplify72.0ms (0%)

Algorithm
1×egg-herbie
Counts
48 → 48
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
04982622
14982622

prune117.0ms (0%)

Pruning

26 alts after pruning (25 fresh and 1 done)

PrunedKeptTotal
New232548
Fresh000
Picked000
Done011
Total232649
Error
0b
Counts
49 → 26
Compiler

Compiled 760 to 490 computations (35.5% saved)

localize5.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite19.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
7×add-log-exp_binary64_458
6×flip3-+_binary64_422 *-un-lft-identity_binary64_419 associate-*l/_binary64_362 add-sqr-sqrt_binary64_441 flip-+_binary64_393
4×frac-add_binary64_427 add-cube-cbrt_binary64_454 associate-*l*_binary64_360 add-cbrt-cube_binary64_455 add-exp-log_binary64_457 pow1_binary64_480
3×associate-*r*_binary64_359 sum-log_binary64_510
1×associate-+r+_binary64_351 pow-prod-down_binary64_490 unswap-sqr_binary64_387 prod-exp_binary64_468 cbrt-unprod_binary64_452 distribute-lft-out_binary64_370 *-commutative_binary64_350 +-commutative_binary64_349
Counts
2 → 38
Calls

4 calls:

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

series221.0ms (0%)

Counts
2 → 33
Calls

2 calls:

137.0ms
(+.f64 (*.f64 (+.f64 x y) z) (+.f64 x y))
84.0ms
(*.f64 (+.f64 x y) z)
Compiler

Compiled 469 to 360 computations (23.2% saved)

simplify79.0ms (0%)

Algorithm
1×egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
04959860
14959860

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 6 expressions with local error:

25.5b
(/.f64 (*.f64 (+.f64 z 1) (-.f64 (*.f64 x x) (*.f64 y y))) (-.f64 x y))
2.5b
(-.f64 (*.f64 x x) (*.f64 y y))
1.0b
(*.f64 (+.f64 z 1) (-.f64 (*.f64 x x) (*.f64 y y)))
1.0b
(*.f64 (+.f64 z 1) (-.f64 (*.f64 x x) (*.f64 y y)))
2.5b
(-.f64 (*.f64 x x) (*.f64 y y))
25.5b
(/.f64 (*.f64 (+.f64 z 1) (-.f64 (*.f64 x x) (*.f64 y y))) (-.f64 x y))

rewrite36.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
13×*-un-lft-identity_binary64_419 add-sqr-sqrt_binary64_441
10×add-cbrt-cube_binary64_455 add-exp-log_binary64_457
8×frac-times_binary64_429 flip3--_binary64_423 flip--_binary64_394 associate-/l/_binary64_366
7×add-cube-cbrt_binary64_454
6×flip3-+_binary64_422 flip-+_binary64_393
5×times-frac_binary64_425 add-log-exp_binary64_458 associate-/r*_binary64_363 pow1_binary64_480
4×associate-*l/_binary64_362 difference-of-squares_binary64_388 associate-*r*_binary64_359 associate-*r/_binary64_361 associate-*l*_binary64_360
3×sub-neg_binary64_412 cancel-sign-sub-inv_binary64_385
2×distribute-rgt-in_binary64_369 prod-exp_binary64_468 cbrt-unprod_binary64_452 distribute-lft-out--_binary64_371 associate-/r/_binary64_365 distribute-lft-in_binary64_368 div-exp_binary64_470 cbrt-undiv_binary64_453
1×pow-prod-down_binary64_490 clear-num_binary64_418 div-inv_binary64_416 unswap-sqr_binary64_387 distribute-lft-out_binary64_370 *-commutative_binary64_350 frac-2neg_binary64_430 diff-log_binary64_511 associate-/l*_binary64_364
Counts
3 → 80
Calls

6 calls:

13.0ms
(/.f64 (*.f64 (+.f64 z 1) (-.f64 (*.f64 x x) (*.f64 y y))) (-.f64 x y))
9.0ms
(*.f64 (+.f64 z 1) (-.f64 (*.f64 x x) (*.f64 y y)))
6.0ms
(-.f64 (*.f64 x x) (*.f64 y y))
0.0ms
(*.f64 (+.f64 z 1) (-.f64 (*.f64 x x) (*.f64 y y)))
0.0ms
(-.f64 (*.f64 x x) (*.f64 y y))

series649.0ms (0%)

Counts
3 → 48
Calls

3 calls:

326.0ms
(/.f64 (*.f64 (+.f64 z 1) (-.f64 (*.f64 x x) (*.f64 y y))) (-.f64 x y))
229.0ms
(*.f64 (+.f64 z 1) (-.f64 (*.f64 x x) (*.f64 y y)))
93.0ms
(-.f64 (*.f64 x x) (*.f64 y y))
Compiler

Compiled 1184 to 934 computations (21.1% saved)

simplify73.0ms (0%)

Algorithm
1×egg-herbie
Counts
128 → 128
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
050012167

localize8.0ms (0%)

Local error

Found 6 expressions with local error:

3.5b
(log.f64 (exp.f64 (*.f64 (+.f64 x y) (+.f64 z 1))))
0.0b
(*.f64 (+.f64 x y) (+.f64 z 1))
0.0b
(exp.f64 (*.f64 (+.f64 x y) (+.f64 z 1)))
0.0b
(exp.f64 (*.f64 (+.f64 x y) (+.f64 z 1)))
0.0b
(*.f64 (+.f64 x y) (+.f64 z 1))
3.5b
(log.f64 (exp.f64 (*.f64 (+.f64 x y) (+.f64 z 1))))

rewrite23.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
10×*-un-lft-identity_binary64_419 add-log-exp_binary64_458
8×add-sqr-sqrt_binary64_441
6×flip3-+_binary64_422 add-cube-cbrt_binary64_454 flip-+_binary64_393 pow1_binary64_480
5×log-prod_binary64_505 add-cbrt-cube_binary64_455 add-exp-log_binary64_457
4×associate-*r*_binary64_359 exp-to-pow_binary64_481 frac-times_binary64_429 log-pow_binary64_508 associate-*l*_binary64_360 exp-sum_binary64_465
3×distribute-rgt-in_binary64_369 distribute-lft-in_binary64_368
2×associate-*l/_binary64_362 sum-log_binary64_510 distribute-lft-out_binary64_370 exp-prod_binary64_471 associate-*r/_binary64_361
1×pow-prod-down_binary64_490 rem-log-exp_binary64_460 unswap-sqr_binary64_387 prod-exp_binary64_468 cbrt-unprod_binary64_452 *-commutative_binary64_350 rem-exp-log_binary64_459
Counts
3 → 60
Calls

6 calls:

9.0ms
(*.f64 (+.f64 x y) (+.f64 z 1))
4.0ms
(exp.f64 (*.f64 (+.f64 x y) (+.f64 z 1)))
2.0ms
(log.f64 (exp.f64 (*.f64 (+.f64 x y) (+.f64 z 1))))
0.0ms
(exp.f64 (*.f64 (+.f64 x y) (+.f64 z 1)))
0.0ms
(*.f64 (+.f64 x y) (+.f64 z 1))

series822.0ms (0%)

Counts
3 → 46
Calls

3 calls:

597.0ms
(log.f64 (exp.f64 (*.f64 (+.f64 x y) (+.f64 z 1))))
115.0ms
(exp.f64 (*.f64 (+.f64 x y) (+.f64 z 1)))
111.0ms
(*.f64 (+.f64 x y) (+.f64 z 1))
Compiler

Compiled 1304 to 1039 computations (20.3% saved)

simplify92.0ms (0%)

Algorithm
1×egg-herbie
Counts
106 → 106
Iterations

Useful iterations: 0 (73.0ms)

IterNodesCost
049931548
149931548

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

2.0b
(+.f64 (pow.f64 x 3) (pow.f64 y 3))
1.0b
(+.f64 (*.f64 x x) (*.f64 y (-.f64 y x)))
1.0b
(*.f64 (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))) (-.f64 z 1))
0.0b
(*.f64 y (-.f64 y x))
1.0b
(+.f64 (*.f64 x x) (*.f64 y (-.f64 y x)))
2.0b
(+.f64 (pow.f64 x 3) (pow.f64 y 3))
3.6b
(*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (*.f64 z z) 1))
38.3b
(/.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (*.f64 z z) 1)) (*.f64 (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))) (-.f64 z 1)))

rewrite79.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
31×*-un-lft-identity_binary64_419
18×add-cbrt-cube_binary64_455 add-exp-log_binary64_457
13×add-sqr-sqrt_binary64_441
12×frac-times_binary64_429 cancel-sign-sub-inv_binary64_385
11×flip3-+_binary64_422 flip-+_binary64_393
10×add-cube-cbrt_binary64_454 distribute-lft-out_binary64_370
9×flip3--_binary64_423 associate-*l*_binary64_360 flip--_binary64_394
8×associate-+r+_binary64_351 unpow-prod-down_binary64_498 add-log-exp_binary64_458 distribute-rgt-in_binary64_369 associate-/r/_binary64_365 distribute-lft-in_binary64_368 cube-prod_binary64_447 associate-/l/_binary64_366
6×associate-*l/_binary64_362 associate-*r*_binary64_359 associate-*r/_binary64_361 pow1_binary64_480
5×prod-exp_binary64_468 cbrt-unprod_binary64_452
4×sub-neg_binary64_412 div-exp_binary64_470 cbrt-undiv_binary64_453
2×difference-of-squares_binary64_388 sum-log_binary64_510 sum-cubes_binary64_420 +-commutative_binary64_349
1×pow-prod-down_binary64_490 clear-num_binary64_418 times-frac_binary64_425 difference-of-sqr-1_binary64_389 div-inv_binary64_416 unswap-sqr_binary64_387 *-commutative_binary64_350 frac-2neg_binary64_430 associate-/r*_binary64_363 associate-/l*_binary64_364
Counts
4 → 116
Calls

8 calls:

29.0ms
(/.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (*.f64 z z) 1)) (*.f64 (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))) (-.f64 z 1)))
19.0ms
(*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (*.f64 z z) 1))
11.0ms
(+.f64 (pow.f64 x 3) (pow.f64 y 3))
5.0ms
(+.f64 (*.f64 x x) (*.f64 y (-.f64 y x)))
0.0ms
(*.f64 y (-.f64 y x))

series1.6s (0.1%)

Counts
4 → 66
Calls

4 calls:

948.0ms
(/.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (*.f64 z z) 1)) (*.f64 (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))) (-.f64 z 1)))
382.0ms
(*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (*.f64 z z) 1))
148.0ms
(+.f64 (pow.f64 x 3) (pow.f64 y 3))
144.0ms
(+.f64 (*.f64 x x) (*.f64 y (-.f64 y x)))
Compiler

Compiled 4228 to 3184 computations (24.7% saved)

simplify79.0ms (0%)

Algorithm
1×egg-herbie
Counts
182 → 182
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
049734725
149734725

prune4.5s (0.2%)

Pruning

210 alts after pruning (205 fresh and 5 done)

PrunedKeptTotal
New298189487
Fresh41620
Picked000
Done156
Total303210513
Error
0b
Counts
513 → 210
Compiler

Compiled 12725 to 7128 computations (44% saved)

localize7.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite23.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
9×*-un-lft-identity_binary64_419
7×add-log-exp_binary64_458
6×flip3-+_binary64_422 associate-*l/_binary64_362 add-sqr-sqrt_binary64_441 flip-+_binary64_393
4×frac-add_binary64_427 add-cube-cbrt_binary64_454 distribute-lft-out_binary64_370 associate-*r/_binary64_361 associate-*l*_binary64_360 add-cbrt-cube_binary64_455 add-exp-log_binary64_457 pow1_binary64_480
3×associate-*r*_binary64_359 sum-log_binary64_510
1×associate-+r+_binary64_351 pow-prod-down_binary64_490 unswap-sqr_binary64_387 prod-exp_binary64_468 cbrt-unprod_binary64_452 *-commutative_binary64_350 +-commutative_binary64_349
Counts
2 → 40
Calls

4 calls:

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

series218.0ms (0%)

Counts
2 → 33
Calls

2 calls:

134.0ms
(+.f64 (*.f64 1 (*.f64 (+.f64 x y) z)) (+.f64 x y))
84.0ms
(*.f64 (+.f64 x y) z)
Compiler

Compiled 517 to 408 computations (21.1% saved)

simplify80.0ms (0%)

Algorithm
1×egg-herbie
Counts
73 → 73
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
04971880
14971880

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite8.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
5×*-un-lft-identity_binary64_419 add-sqr-sqrt_binary64_441
4×associate-*l*_binary64_360
3×add-cube-cbrt_binary64_454 associate-*r*_binary64_359 add-cbrt-cube_binary64_455 add-exp-log_binary64_457 pow1_binary64_480
2×associate-*l/_binary64_362
1×flip3-+_binary64_422 pow-prod-down_binary64_490 add-log-exp_binary64_458 unswap-sqr_binary64_387 prod-exp_binary64_468 cbrt-unprod_binary64_452 distribute-lft-out_binary64_370 *-commutative_binary64_350 flip-+_binary64_393
Counts
1 → 21
Calls

2 calls:

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

series87.0ms (0%)

Counts
1 → 15
Calls

1 calls:

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

Compiled 132 to 126 computations (4.5% saved)

simplify60.0ms (0%)

Algorithm
1×egg-herbie
Counts
36 → 36
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
05403295

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

8.4b
(/.f64 (*.f64 (+.f64 x y) (-.f64 (*.f64 z z) 1)) (-.f64 z 1))
3.5b
(log.f64 (exp.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 (*.f64 z z) 1)) (-.f64 z 1))))
1.2b
(*.f64 (+.f64 x y) (-.f64 (*.f64 z z) 1))
0.0b
(exp.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 (*.f64 z z) 1)) (-.f64 z 1)))
0.0b
(exp.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 (*.f64 z z) 1)) (-.f64 z 1)))
1.2b
(*.f64 (+.f64 x y) (-.f64 (*.f64 z z) 1))
3.5b
(log.f64 (exp.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 (*.f64 z z) 1)) (-.f64 z 1))))
8.4b
(/.f64 (*.f64 (+.f64 x y) (-.f64 (*.f64 z z) 1)) (-.f64 z 1))

rewrite50.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
34×add-sqr-sqrt_binary64_441
30×*-un-lft-identity_binary64_419
26×exp-prod_binary64_471
21×times-frac_binary64_425
15×add-cube-cbrt_binary64_454
14×log-pow_binary64_508
11×add-cbrt-cube_binary64_455 add-exp-log_binary64_457
10×difference-of-squares_binary64_388
9×flip3--_binary64_423 flip--_binary64_394
8×frac-times_binary64_429 associate-/l/_binary64_366
7×associate-/r*_binary64_363 pow1_binary64_480
6×flip3-+_binary64_422 associate-*r*_binary64_359 associate-/r/_binary64_365 flip-+_binary64_393 cancel-sign-sub-inv_binary64_385
5×add-log-exp_binary64_458 difference-of-sqr-1_binary64_389
4×associate-*l/_binary64_362 distribute-rgt-in_binary64_369 associate-*r/_binary64_361 distribute-lft-out--_binary64_371 distribute-lft-in_binary64_368 associate-*l*_binary64_360
3×div-inv_binary64_416 log-prod_binary64_505
2×sub-neg_binary64_412 prod-exp_binary64_468 cbrt-unprod_binary64_452 div-exp_binary64_470 cbrt-undiv_binary64_453
1×pow-prod-down_binary64_490 clear-num_binary64_418 rem-log-exp_binary64_460 unswap-sqr_binary64_387 distribute-lft-out_binary64_370 *-commutative_binary64_350 frac-2neg_binary64_430 rem-exp-log_binary64_459 associate-/l*_binary64_364
Counts
4 → 123
Calls

8 calls:

14.0ms
(/.f64 (*.f64 (+.f64 x y) (-.f64 (*.f64 z z) 1)) (-.f64 z 1))
11.0ms
(*.f64 (+.f64 x y) (-.f64 (*.f64 z z) 1))
6.0ms
(log.f64 (exp.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 (*.f64 z z) 1)) (-.f64 z 1))))
6.0ms
(exp.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 (*.f64 z z) 1)) (-.f64 z 1)))
0.0ms
(exp.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 (*.f64 z z) 1)) (-.f64 z 1)))

series2.7s (0.1%)

Counts
4 → 63
Calls

4 calls:

2.0s
(log.f64 (exp.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 (*.f64 z z) 1)) (-.f64 z 1))))
312.0ms
(/.f64 (*.f64 (+.f64 x y) (-.f64 (*.f64 z z) 1)) (-.f64 z 1))
211.0ms
(exp.f64 (/.f64 (*.f64 (+.f64 x y) (-.f64 (*.f64 z z) 1)) (-.f64 z 1)))
168.0ms
(*.f64 (+.f64 x y) (-.f64 (*.f64 z z) 1))
Compiler

Compiled 2485 to 2033 computations (18.2% saved)

simplify82.0ms (0%)

Algorithm
1×egg-herbie
Counts
186 → 186
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
050034136

localize10.0ms (0%)

Local error

Found 8 expressions with local error:

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

rewrite29.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
36×cbrt-prod_binary64_450
35×*-un-lft-identity_binary64_419
23×add-sqr-sqrt_binary64_441
18×cbrt-div_binary64_451
15×add-cube-cbrt_binary64_454
11×pow1_binary64_480
9×flip3-+_binary64_422 pow1/3_binary64_501 distribute-lft-out_binary64_370 swap-sqr_binary64_386 flip-+_binary64_393
7×associate-*r*_binary64_359 associate-*l*_binary64_360
6×add-exp-log_binary64_457
4×add-log-exp_binary64_458 unswap-sqr_binary64_387 frac-times_binary64_429 add-cbrt-cube_binary64_455
2×associate-*l/_binary64_362 pow-prod-down_binary64_490 associate-*r/_binary64_361 pow-sqr_binary64_392 pow-prod-up_binary64_489
1×prod-exp_binary64_468 cbrt-unprod_binary64_452 pow-plus_binary64_482 *-commutative_binary64_350 pow2_binary64_500
Counts
4 → 95
Calls

8 calls:

11.0ms
(*.f64 (cbrt.f64 (+.f64 z 1)) (cbrt.f64 (+.f64 z 1)))
3.0ms
(cbrt.f64 (+.f64 z 1))
3.0ms
(cbrt.f64 (+.f64 z 1))
3.0ms
(cbrt.f64 (+.f64 z 1))
0.0ms
(*.f64 (+.f64 x y) (*.f64 (cbrt.f64 (+.f64 z 1)) (cbrt.f64 (+.f64 z 1))))

series210.0ms (0%)

Counts
4 → 39
Calls

4 calls:

61.0ms
(*.f64 (cbrt.f64 (+.f64 z 1)) (cbrt.f64 (+.f64 z 1)))
57.0ms
(cbrt.f64 (+.f64 z 1))
47.0ms
(cbrt.f64 (+.f64 z 1))
45.0ms
(cbrt.f64 (+.f64 z 1))
Compiler

Compiled 1133 to 1017 computations (10.2% saved)

simplify133.0ms (0%)

Algorithm
1×egg-herbie
Counts
134 → 134
Iterations

Useful iterations: 0 (108.0ms)

IterNodesCost
052871820

localize24.0ms (0%)

Local error

Found 8 expressions with local error:

1.6b
(-.f64 (pow.f64 x 3) (pow.f64 y 3))
1.0b
(+.f64 (*.f64 x x) (*.f64 y (-.f64 y x)))
1.0b
(*.f64 (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))) (-.f64 z 1))
0.0b
(*.f64 y (-.f64 y x))
4.4b
(*.f64 (-.f64 (*.f64 z z) 1) (-.f64 (pow.f64 x 6) (pow.f64 y 6)))
6.2b
(-.f64 (pow.f64 x 6) (pow.f64 y 6))
38.3b
(/.f64 (/.f64 (*.f64 (-.f64 (*.f64 z z) 1) (-.f64 (pow.f64 x 6) (pow.f64 y 6))) (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))) (-.f64 z 1)))
42.5b
(/.f64 (*.f64 (-.f64 (*.f64 z z) 1) (-.f64 (pow.f64 x 6) (pow.f64 y 6))) (-.f64 (pow.f64 x 3) (pow.f64 y 3)))

rewrite143.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
141×add-sqr-sqrt_binary64_441
106×times-frac_binary64_425
84×difference-of-squares_binary64_388
73×unpow-prod-down_binary64_498
67×*-un-lft-identity_binary64_419
48×cube-prod_binary64_447
47×sqr-pow_binary64_391
32×add-cbrt-cube_binary64_455 add-exp-log_binary64_457 associate-/l*_binary64_364
26×associate-/r*_binary64_363
24×distribute-lft-out--_binary64_371
21×cancel-sign-sub-inv_binary64_385
19×flip3--_binary64_423 flip--_binary64_394
18×add-cube-cbrt_binary64_454
14×associate-*r*_binary64_359 associate-/r/_binary64_365
12×frac-times_binary64_429 div-exp_binary64_470 cbrt-undiv_binary64_453
9×associate-/l/_binary64_366
8×distribute-rgt-in_binary64_369 distribute-lft-in_binary64_368
7×prod-exp_binary64_468 cbrt-unprod_binary64_452
6×associate-*l/_binary64_362 add-log-exp_binary64_458 associate-*r/_binary64_361 associate-*l*_binary64_360 pow1_binary64_480
4×difference-cubes_binary64_421 div-inv_binary64_416
3×flip3-+_binary64_422 sub-neg_binary64_412 flip-+_binary64_393
2×clear-num_binary64_418 frac-2neg_binary64_430
1×pow-prod-down_binary64_490 difference-of-sqr-1_binary64_389 unswap-sqr_binary64_387 *-commutative_binary64_350 diff-log_binary64_511
Counts
4 → 254
Calls

8 calls:

44.0ms
(/.f64 (/.f64 (*.f64 (-.f64 (*.f64 z z) 1) (-.f64 (pow.f64 x 6) (pow.f64 y 6))) (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))) (-.f64 z 1)))
29.0ms
(/.f64 (*.f64 (-.f64 (*.f64 z z) 1) (-.f64 (pow.f64 x 6) (pow.f64 y 6))) (-.f64 (pow.f64 x 3) (pow.f64 y 3)))
18.0ms
(*.f64 (-.f64 (*.f64 z z) 1) (-.f64 (pow.f64 x 6) (pow.f64 y 6)))
8.0ms
(-.f64 (pow.f64 x 6) (pow.f64 y 6))
0.0ms
(*.f64 y (-.f64 y x))

series5.5s (0.3%)

Counts
4 → 66
Calls

4 calls:

3.8s
(/.f64 (/.f64 (*.f64 (-.f64 (*.f64 z z) 1) (-.f64 (pow.f64 x 6) (pow.f64 y 6))) (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (*.f64 (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))) (-.f64 z 1)))
852.0ms
(/.f64 (*.f64 (-.f64 (*.f64 z z) 1) (-.f64 (pow.f64 x 6) (pow.f64 y 6))) (-.f64 (pow.f64 x 3) (pow.f64 y 3)))
605.0ms
(*.f64 (-.f64 (*.f64 z z) 1) (-.f64 (pow.f64 x 6) (pow.f64 y 6)))
280.0ms
(-.f64 (pow.f64 x 6) (pow.f64 y 6))
Compiler

Compiled 8809 to 6506 computations (26.1% saved)

simplify184.0ms (0%)

Algorithm
1×egg-herbie
Counts
320 → 320
Iterations

Useful iterations: 0 (72.0ms)

IterNodesCost
0496613210
1496613210

prune19.4s (0.9%)

Pruning

455 alts after pruning (446 fresh and 9 done)

PrunedKeptTotal
New483266749
Fresh20180200
Picked000
Done1910
Total504455959
Error
0b
Counts
959 → 455
Compiler

Compiled 29788 to 18931 computations (36.4% saved)

localize8.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite19.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
7×add-log-exp_binary64_458
6×flip3-+_binary64_422 *-un-lft-identity_binary64_419 associate-*l/_binary64_362 add-sqr-sqrt_binary64_441 flip-+_binary64_393
4×frac-add_binary64_427 add-cube-cbrt_binary64_454 associate-*l*_binary64_360 add-cbrt-cube_binary64_455 add-exp-log_binary64_457 pow1_binary64_480
3×associate-*r*_binary64_359 sum-log_binary64_510
1×associate-+r+_binary64_351 pow-prod-down_binary64_490 unswap-sqr_binary64_387 prod-exp_binary64_468 cbrt-unprod_binary64_452 distribute-lft-out_binary64_370 *-commutative_binary64_350 +-commutative_binary64_349
Counts
2 → 38
Calls

4 calls:

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

series230.0ms (0%)

Counts
2 → 33
Calls

2 calls:

137.0ms
(+.f64 (*.f64 (+.f64 x y) z) (+.f64 x y))
93.0ms
(*.f64 (+.f64 x y) z)
Compiler

Compiled 571 to 462 computations (19.1% saved)

simplify79.0ms (0%)

Algorithm
1×egg-herbie
Counts
71 → 71
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
04959860
14959860

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 8 expressions with local error:

2.5b
(-.f64 (*.f64 x x) (*.f64 y y))
2.5b
(-.f64 (*.f64 x x) (*.f64 y y))
0.0b
(*.f64 (+.f64 z 1) (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))))
0.0b
(*.f64 (*.f64 (+.f64 z 1) (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 y y)))) (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))))
2.5b
(-.f64 (*.f64 x x) (*.f64 y y))
12.4b
(/.f64 (*.f64 (*.f64 (+.f64 z 1) (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 y y)))) (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 y y)))) (-.f64 x y))
13.2b
(sqrt.f64 (-.f64 (*.f64 x x) (*.f64 y y)))
13.2b
(sqrt.f64 (-.f64 (*.f64 x x) (*.f64 y y)))

rewrite51.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
40×sqrt-div_binary64_436
28×frac-times_binary64_429
26×associate-/l/_binary64_366
22×flip3--_binary64_423 flip--_binary64_394
14×associate-*l/_binary64_362 add-sqr-sqrt_binary64_441
13×add-cbrt-cube_binary64_455 add-exp-log_binary64_457
12×*-un-lft-identity_binary64_419
9×flip3-+_binary64_422 flip-+_binary64_393
8×add-cube-cbrt_binary64_454 associate-*r/_binary64_361 sqrt-prod_binary64_435
6×add-log-exp_binary64_458 pow1_binary64_480
5×times-frac_binary64_425 difference-of-squares_binary64_388 associate-/r*_binary64_363
3×prod-exp_binary64_468 cbrt-unprod_binary64_452 div-exp_binary64_470 cbrt-undiv_binary64_453
2×pow1/2_binary64_499 distribute-lft-out--_binary64_371 associate-/r/_binary64_365 sqrt-pow1_binary64_437 rem-sqrt-square_binary64_432
1×clear-num_binary64_418 sub-neg_binary64_412 div-inv_binary64_416 frac-2neg_binary64_430 diff-log_binary64_511 cancel-sign-sub-inv_binary64_385 associate-/l*_binary64_364
Counts
4 → 100
Calls

8 calls:

21.0ms
(/.f64 (*.f64 (*.f64 (+.f64 z 1) (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 y y)))) (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 y y)))) (-.f64 x y))
4.0ms
(sqrt.f64 (-.f64 (*.f64 x x) (*.f64 y y)))
4.0ms
(sqrt.f64 (-.f64 (*.f64 x x) (*.f64 y y)))
4.0ms
(-.f64 (*.f64 x x) (*.f64 y y))
0.0ms
(*.f64 (*.f64 (+.f64 z 1) (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 y y)))) (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 y y))))

series543.0ms (0%)

Counts
4 → 44
Calls

4 calls:

332.0ms
(/.f64 (*.f64 (*.f64 (+.f64 z 1) (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 y y)))) (sqrt.f64 (-.f64 (*.f64 x x) (*.f64 y y)))) (-.f64 x y))
102.0ms
(-.f64 (*.f64 x x) (*.f64 y y))
55.0ms
(sqrt.f64 (-.f64 (*.f64 x x) (*.f64 y y)))
54.0ms
(sqrt.f64 (-.f64 (*.f64 x x) (*.f64 y y)))
Compiler

Compiled 1511 to 1128 computations (25.3% saved)

simplify75.0ms (0%)

Algorithm
1×egg-herbie
Counts
144 → 144
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
051932594

localize22.0ms (0%)

Local error

Found 8 expressions with local error:

2.0b
(+.f64 (pow.f64 x 3) (pow.f64 y 3))
1.0b
(+.f64 (*.f64 x x) (*.f64 y (-.f64 y x)))
1.0b
(*.f64 (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))) (-.f64 z 1))
0.0b
(*.f64 y (-.f64 y x))
2.0b
(+.f64 (pow.f64 x 3) (pow.f64 y 3))
3.0b
(exp.f64 (log.f64 (/.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (*.f64 z z) 1)) (*.f64 (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))) (-.f64 z 1)))))
3.6b
(*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (*.f64 z z) 1))
38.3b
(/.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (*.f64 z z) 1)) (*.f64 (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))) (-.f64 z 1)))

rewrite108.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
31×*-un-lft-identity_binary64_419
18×add-cbrt-cube_binary64_455 add-exp-log_binary64_457
16×frac-times_binary64_429 associate-/r/_binary64_365
13×flip3-+_binary64_422 log-prod_binary64_505 add-sqr-sqrt_binary64_441 flip-+_binary64_393 exp-sum_binary64_465
12×flip3--_binary64_423 flip--_binary64_394
10×add-cube-cbrt_binary64_454 distribute-lft-out_binary64_370
9×associate-*l*_binary64_360
8×associate-*l/_binary64_362 unpow-prod-down_binary64_498 associate-*r/_binary64_361 cube-prod_binary64_447 associate-/l/_binary64_366
7×pow1_binary64_480
6×add-log-exp_binary64_458 associate-*r*_binary64_359 cancel-sign-sub-inv_binary64_385
5×prod-exp_binary64_468 cbrt-unprod_binary64_452
4×distribute-rgt-in_binary64_369 exp-prod_binary64_471 distribute-lft-in_binary64_368 div-exp_binary64_470 cbrt-undiv_binary64_453
2×times-frac_binary64_425 sub-neg_binary64_412 difference-of-squares_binary64_388 div-inv_binary64_416 sum-cubes_binary64_420
1×pow-prod-down_binary64_490 clear-num_binary64_418 exp-diff_binary64_467 difference-of-sqr-1_binary64_389 unswap-sqr_binary64_387 sum-log_binary64_510 log-pow_binary64_508 *-commutative_binary64_350 frac-2neg_binary64_430 associate-/r*_binary64_363 rem-exp-log_binary64_459 log-div_binary64_506 +-commutative_binary64_349 associate-/l*_binary64_364
Counts
4 → 123
Calls

8 calls:

29.0ms
(/.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (*.f64 z z) 1)) (*.f64 (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))) (-.f64 z 1)))
25.0ms
(exp.f64 (log.f64 (/.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (*.f64 z z) 1)) (*.f64 (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))) (-.f64 z 1)))))
24.0ms
(*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (*.f64 z z) 1))
12.0ms
(+.f64 (pow.f64 x 3) (pow.f64 y 3))
0.0ms
(*.f64 y (-.f64 y x))

series32.4min (91.7%)

Counts
4 → 73
Calls

4 calls:

32.4min
(exp.f64 (log.f64 (/.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (*.f64 z z) 1)) (*.f64 (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))) (-.f64 z 1)))))
1.8s
(/.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (*.f64 z z) 1)) (*.f64 (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))) (-.f64 z 1)))
377.0ms
(*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (-.f64 (*.f64 z z) 1))
151.0ms
(+.f64 (pow.f64 x 3) (pow.f64 y 3))
Compiler

Compiled 13868 to 10505 computations (24.3% saved)

simplify108.0ms (0%)

Algorithm
1×egg-herbie
Counts
196 → 196
Iterations

Useful iterations: 0 (28.0ms)

IterNodesCost
0511910982

localize29.0ms (0%)

Local error

Found 8 expressions with local error:

2.0b
(+.f64 (pow.f64 x 3) (pow.f64 y 3))
1.0b
(+.f64 (*.f64 x x) (*.f64 y (-.f64 y x)))
0.0b
(exp.f64 (/.f64 (/.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (+.f64 (pow.f64 z 6) -1)) (*.f64 (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))) (+.f64 (pow.f64 z 4) (+.f64 (*.f64 z z) 1)))) (-.f64 z 1)))
0.0b
(*.f64 y (-.f64 y x))
3.2b
(*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (+.f64 (pow.f64 z 6) -1))
3.5b
(log.f64 (exp.f64 (/.f64 (/.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (+.f64 (pow.f64 z 6) -1)) (*.f64 (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))) (+.f64 (pow.f64 z 4) (+.f64 (*.f64 z z) 1)))) (-.f64 z 1))))
8.4b
(/.f64 (/.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (+.f64 (pow.f64 z 6) -1)) (*.f64 (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))) (+.f64 (pow.f64 z 4) (+.f64 (*.f64 z z) 1)))) (-.f64 z 1))
43.8b
(/.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (+.f64 (pow.f64 z 6) -1)) (*.f64 (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))) (+.f64 (pow.f64 z 4) (+.f64 (*.f64 z z) 1))))

rewrite188.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
198×times-frac_binary64_425
162×add-sqr-sqrt_binary64_441
143×*-un-lft-identity_binary64_419
132×associate-/r/_binary64_365
108×flip3-+_binary64_422 flip-+_binary64_393
98×log-pow_binary64_508
97×exp-prod_binary64_471
72×frac-times_binary64_429
54×difference-of-squares_binary64_388
50×add-cube-cbrt_binary64_454
36×associate-*l/_binary64_362 associate-*r/_binary64_361 add-cbrt-cube_binary64_455 add-exp-log_binary64_457
27×difference-of-sqr-1_binary64_389 distribute-lft-out--_binary64_371
18×div-inv_binary64_416
14×associate-/l*_binary64_364
13×div-exp_binary64_470 cbrt-undiv_binary64_453
9×prod-exp_binary64_468 cbrt-unprod_binary64_452 associate-*l*_binary64_360 associate-/l/_binary64_366
8×associate-/r*_binary64_363
7×associate-*r*_binary64_359 pow1_binary64_480
6×distribute-lft-out_binary64_370
5×unpow-prod-down_binary64_498
4×add-log-exp_binary64_458 cube-prod_binary64_447
3×log-prod_binary64_505 difference-of-sqr--1_binary64_390
2×clear-num_binary64_418 flip3--_binary64_423 frac-2neg_binary64_430 flip--_binary64_394
1×pow-prod-down_binary64_490 distribute-rgt-in_binary64_369 rem-log-exp_binary64_460 unswap-sqr_binary64_387 sqr-pow_binary64_391 distribute-lft-in_binary64_368 *-commutative_binary64_350 sum-cubes_binary64_420
Counts
4 → 318
Calls

8 calls:

37.0ms
(/.f64 (/.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (+.f64 (pow.f64 z 6) -1)) (*.f64 (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))) (+.f64 (pow.f64 z 4) (+.f64 (*.f64 z z) 1)))) (-.f64 z 1))
32.0ms
(/.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (+.f64 (pow.f64 z 6) -1)) (*.f64 (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))) (+.f64 (pow.f64 z 4) (+.f64 (*.f64 z z) 1))))
27.0ms
(log.f64 (exp.f64 (/.f64 (/.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (+.f64 (pow.f64 z 6) -1)) (*.f64 (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))) (+.f64 (pow.f64 z 4) (+.f64 (*.f64 z z) 1)))) (-.f64 z 1))))
20.0ms
(*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (+.f64 (pow.f64 z 6) -1))
0.0ms
(*.f64 y (-.f64 y x))

series23.5s (1.1%)

Counts
4 → 73
Calls

4 calls:

12.9s
(log.f64 (exp.f64 (/.f64 (/.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (+.f64 (pow.f64 z 6) -1)) (*.f64 (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))) (+.f64 (pow.f64 z 4) (+.f64 (*.f64 z z) 1)))) (-.f64 z 1))))
5.7s
(/.f64 (/.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (+.f64 (pow.f64 z 6) -1)) (*.f64 (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))) (+.f64 (pow.f64 z 4) (+.f64 (*.f64 z z) 1)))) (-.f64 z 1))
4.2s
(/.f64 (*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (+.f64 (pow.f64 z 6) -1)) (*.f64 (+.f64 (*.f64 x x) (*.f64 y (-.f64 y x))) (+.f64 (pow.f64 z 4) (+.f64 (*.f64 z z) 1))))
594.0ms
(*.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (+.f64 (pow.f64 z 6) -1))
Compiler

Compiled 26417 to 20813 computations (21.2% saved)

simplify256.0ms (0%)

Algorithm
1×egg-herbie
Counts
391 → 391
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
0565732239

prune44.3s (2.1%)

Pruning

770 alts after pruning (760 fresh and 10 done)

PrunedKeptTotal
New461341802
Fresh22419441
Picked000
Done41014
Total4877701257
Error
0b
Counts
1257 → 770
Compiler

Compiled 32309 to 17153 computations (46.9% saved)

simplify1.0s (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
0501979498

regimes23.8s (1.1%)

Compiler

Compiled 301363 to 207070 computations (31.3% saved)

bsearch0.0ms (0%)

regimes186.0ms (0%)

Compiler

Compiled 776 to 887 computations (-14.3% saved)

bsearch0.0ms (0%)

regimes311.0ms (0%)

Compiler

Compiled 469 to 587 computations (-25.2% saved)

bsearch1.0ms (0%)

Compiler

Compiled 3 to 5 computations (-66.7% saved)

regimes237.0ms (0%)

Compiler

Compiled 330 to 445 computations (-34.8% saved)

bsearch1.0ms (0%)

Compiler

Compiled 3 to 5 computations (-66.7% saved)

regimes152.0ms (0%)

Compiler

Compiled 112 to 190 computations (-69.6% saved)

bsearch58.0ms (0%)

Steps
ItersRangePoint
8
4.798143354694433e+72
3.342669898488583e+76
1.812584983448252e+73
7
0.022681178474261755
2.843170300263803
0.02310659288635765
10
-1220.68653629543
-1.0990526403159329e-07
-1.0150221480528085
10
-3.5665830632708436e+109
-5.548631948863085e+99
-2.210644934882345e+103
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes144.0ms (0%)

Compiler

Compiled 92 to 166 computations (-80.4% saved)

bsearch60.0ms (0%)

Steps
ItersRangePoint
8
4.798143354694433e+72
3.342669898488583e+76
4.994941820764336e+75
7
0.022681178474261755
2.843170300263803
0.02310659288635765
10
-1220.68653629543
-1.0990526403159329e-07
-1.0150221480528085
10
-3.5665830632708436e+109
-5.548631948863085e+99
-3.214834137883958e+107
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes108.0ms (0%)

Compiler

Compiled 72 to 146 computations (-102.8% saved)

bsearch41.0ms (0%)

Steps
ItersRangePoint
5
1473837734.2742894
3027076561.281567
1491235271.3112657
10
-1220.68653629543
-1.0990526403159329e-07
-1.0150221480528085
10
-3.5665830632708436e+109
-5.548631948863085e+99
-1.0591395802288678e+103
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes86.0ms (0%)

Compiler

Compiled 60 to 130 computations (-116.7% saved)

bsearch23.0ms (0%)

Steps
ItersRangePoint
5
1473837734.2742894
3027076561.281567
1491235271.3112657
10
-1220.68653629543
-1.0990526403159329e-07
-1.0150221480528085
Compiler

Compiled 1 to 3 computations (-200% saved)

regimes37.0ms (0%)

Compiler

Compiled 36 to 90 computations (-150% saved)

bsearch0.0ms (0%)

regimes25.0ms (0%)

Accuracy

Total 0.0b remaining (99.1%)

Threshold costs 0.0b (99.1%)

Compiler

Compiled 15 to 54 computations (-260% saved)

bsearch8.0ms (0%)

Compiler

Compiled 181 to 119 computations (34.3% saved)

simplify5.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
069244
169244

end0.0ms (0%)

sample41.8s (2%)

Algorithm
1×intervals
Results
203.0ms8000×body128valid
14.0ms582×body128invalid
Compiler

Compiled 49868 to 34266 computations (31.3% saved)

Pareto

0.6725961804726394

Profiling

Loading profile data...