Details

Time bar (total: 1.6min)

analyze384.0ms (0.4%)

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
26.5%73.3%0.1%8
33.5%66.3%0.1%9
49.1%50.7%0.1%10
56.9%42.9%0.1%11
60.8%39%0.1%12
69%30.9%0.1%13
72.5%27.3%0.1%14
Compiler

Compiled 13 to 10 computations (23.1% saved)

sample32.0ms (0%)

Algorithm
1×intervals
Results
11.0ms73×body1024valid
5.0ms36×body2048valid
4.0ms49×body512valid
3.0ms77×body128valid
1.0ms21×body256valid
Compiler

Compiled 25 to 22 computations (12% saved)

simplify120.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (25.0ms)

IterNodesCost
050417
150417

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Compiled 12 to 9 computations (25% saved)

localize8.0ms (0%)

Local error

Found 2 expressions with local error:

10.6b
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))
10.6b
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))

rewrite12.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
10×add-log-exp_binary64_458
9×*-un-lft-identity_binary64_419
4×add-sqr-sqrt_binary64_441 cancel-sign-sub-inv_binary64_385
3×sum-log_binary64_510 diff-log_binary64_511
2×add-cube-cbrt_binary64_454 distribute-lft-out_binary64_370 distribute-lft-out--_binary64_371
1×sub-neg_binary64_412 difference-of-squares_binary64_388 flip3--_binary64_423 add-cbrt-cube_binary64_455 add-exp-log_binary64_457 associate--r+_binary64_355 flip--_binary64_394 pow1_binary64_480
Counts
1 → 21
Calls

2 calls:

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

series119.0ms (0.1%)

Counts
1 → 18
Calls

1 calls:

119.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))
Compiler

Compiled 268 to 218 computations (18.7% saved)

simplify63.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
39 → 39
Iterations

Useful iterations: 0 (52.0ms)

IterNodesCost
04940675
14940675

prune68.0ms (0.1%)

Pruning

15 alts after pruning (14 fresh and 1 done)

PrunedKeptTotal
New251439
Fresh000
Picked000
Done011
Total251540
Error
42.9b
Counts
40 → 15
Compiler

Compiled 588 to 287 computations (51.2% saved)

localize11.0ms (0%)

Local error

Found 6 expressions with local error:

10.6b
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
10.6b
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
10.6b
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
10.6b
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
10.6b
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
10.6b
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))

rewrite32.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
30×add-log-exp_binary64_458
27×*-un-lft-identity_binary64_419
12×add-sqr-sqrt_binary64_441 cancel-sign-sub-inv_binary64_385
9×sum-log_binary64_510 diff-log_binary64_511
6×add-cube-cbrt_binary64_454 distribute-lft-out_binary64_370 distribute-lft-out--_binary64_371
3×sub-neg_binary64_412 difference-of-squares_binary64_388 flip3--_binary64_423 add-cbrt-cube_binary64_455 add-exp-log_binary64_457 associate--r+_binary64_355 flip--_binary64_394 pow1_binary64_480
Counts
3 → 63
Calls

6 calls:

8.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
8.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
8.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
0.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
0.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))

series390.0ms (0.4%)

Counts
3 → 54
Calls

3 calls:

131.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
131.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
128.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
Compiler

Compiled 3153 to 1656 computations (47.5% saved)

simplify53.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
117 → 117
Iterations

Useful iterations: 0 (30.0ms)

IterNodesCost
049302025
149302025

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

localize8.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite10.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
9×add-log-exp_binary64_458
5×*-un-lft-identity_binary64_419 add-sqr-sqrt_binary64_441
3×add-cube-cbrt_binary64_454 cancel-sign-sub-inv_binary64_385
2×sum-log_binary64_510 add-cbrt-cube_binary64_455 add-exp-log_binary64_457 diff-log_binary64_511 pow1_binary64_480
1×flip3-+_binary64_422 sub-neg_binary64_412 difference-of-squares_binary64_388 flip3--_binary64_423 distribute-lft-out--_binary64_371 flip-+_binary64_393 associate--r+_binary64_355 flip--_binary64_394 +-commutative_binary64_349
Counts
2 → 29
Calls

4 calls:

5.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (*.f64 x y)))
3.0ms
(+.f64 1 (*.f64 x y))
0.0ms
(+.f64 1 (*.f64 x y))
0.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (*.f64 x y)))

series137.0ms (0.1%)

Counts
2 → 27
Calls

2 calls:

91.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (*.f64 x y)))
46.0ms
(+.f64 1 (*.f64 x y))
Compiler

Compiled 376 to 312 computations (17% saved)

simplify61.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
56 → 56
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
05052700

localize9.0ms (0%)

Local error

Found 2 expressions with local error:

10.6b
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))
10.6b
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))

rewrite11.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
10×add-log-exp_binary64_458
9×*-un-lft-identity_binary64_419
4×add-sqr-sqrt_binary64_441 cancel-sign-sub-inv_binary64_385
3×sum-log_binary64_510 diff-log_binary64_511
2×add-cube-cbrt_binary64_454 distribute-lft-out_binary64_370 distribute-lft-out--_binary64_371
1×sub-neg_binary64_412 difference-of-squares_binary64_388 flip3--_binary64_423 add-cbrt-cube_binary64_455 add-exp-log_binary64_457 associate--r+_binary64_355 flip--_binary64_394 pow1_binary64_480
Counts
1 → 21
Calls

2 calls:

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

series118.0ms (0.1%)

Counts
1 → 18
Calls

1 calls:

118.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))
Compiler

Compiled 322 to 272 computations (15.5% saved)

simplify61.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
39 → 39
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
04940675
14940675

localize10.0ms (0%)

Local error

Found 4 expressions with local error:

10.6b
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
10.6b
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
10.6b
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
10.6b
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))

rewrite20.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
20×add-log-exp_binary64_458
18×*-un-lft-identity_binary64_419
8×add-sqr-sqrt_binary64_441 cancel-sign-sub-inv_binary64_385
6×sum-log_binary64_510 diff-log_binary64_511
4×add-cube-cbrt_binary64_454 distribute-lft-out_binary64_370 distribute-lft-out--_binary64_371
2×sub-neg_binary64_412 difference-of-squares_binary64_388 flip3--_binary64_423 add-cbrt-cube_binary64_455 add-exp-log_binary64_457 associate--r+_binary64_355 flip--_binary64_394 pow1_binary64_480
Counts
2 → 42
Calls

4 calls:

8.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
8.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
0.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
0.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))

series243.0ms (0.3%)

Counts
2 → 36
Calls

2 calls:

123.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
118.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
Compiler

Compiled 1346 to 834 computations (38% saved)

simplify48.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
78 → 78
Iterations

Useful iterations: 0 (29.0ms)

IterNodesCost
049301350
149301350

prune1.4s (1.5%)

Pruning

69 alts after pruning (64 fresh and 5 done)

PrunedKeptTotal
New23555290
Fresh099
Picked000
Done156
Total23669305
Error
42.8b
Counts
305 → 69
Compiler

Compiled 5940 to 2575 computations (56.6% saved)

localize11.0ms (0%)

Local error

Found 2 expressions with local error:

10.6b
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
10.6b
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))

rewrite12.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
10×add-log-exp_binary64_458
9×*-un-lft-identity_binary64_419
4×add-sqr-sqrt_binary64_441 cancel-sign-sub-inv_binary64_385
3×sum-log_binary64_510 diff-log_binary64_511
2×add-cube-cbrt_binary64_454 distribute-lft-out_binary64_370 distribute-lft-out--_binary64_371
1×sub-neg_binary64_412 difference-of-squares_binary64_388 flip3--_binary64_423 add-cbrt-cube_binary64_455 add-exp-log_binary64_457 associate--r+_binary64_355 flip--_binary64_394 pow1_binary64_480
Counts
1 → 21
Calls

2 calls:

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

series125.0ms (0.1%)

Counts
1 → 18
Calls

1 calls:

125.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
Compiler

Compiled 403 to 353 computations (12.4% saved)

simplify48.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
39 → 39
Iterations

Useful iterations: 0 (34.0ms)

IterNodesCost
04930675
14930675

localize4.0ms (0%)

rewrite0.0ms (0%)

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

series0.0ms (0%)

Counts
0 → 0

simplify8.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:

10.4b
(-.f64 (fma.f64 x y z) (exp.f64 (log.f64 (+.f64 1 (*.f64 x y)))))
7.3b
(log.f64 (+.f64 1 (*.f64 x y)))
0.7b
(exp.f64 (log.f64 (+.f64 1 (*.f64 x y))))
0.0b
(+.f64 1 (*.f64 x y))
0.0b
(+.f64 1 (*.f64 x y))
0.7b
(exp.f64 (log.f64 (+.f64 1 (*.f64 x y))))
7.3b
(log.f64 (+.f64 1 (*.f64 x y)))
10.4b
(-.f64 (fma.f64 x y z) (exp.f64 (log.f64 (+.f64 1 (*.f64 x y)))))

rewrite21.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
13×add-sqr-sqrt_binary64_441
11×*-un-lft-identity_binary64_419
10×log-prod_binary64_505
9×add-cube-cbrt_binary64_454
8×add-log-exp_binary64_458
7×exp-sum_binary64_465
6×cancel-sign-sub-inv_binary64_385 pow1_binary64_480
5×add-exp-log_binary64_457
4×exp-prod_binary64_471 add-cbrt-cube_binary64_455 log-div_binary64_506
3×flip3-+_binary64_422 flip-+_binary64_393
2×difference-of-squares_binary64_388 exp-diff_binary64_467 log-pow_binary64_508
1×sub-neg_binary64_412 rem-log-exp_binary64_460 sum-log_binary64_510 flip3--_binary64_423 distribute-lft-out--_binary64_371 diff-log_binary64_511 flip--_binary64_394 rem-exp-log_binary64_459 +-commutative_binary64_349
Counts
4 → 62
Calls

8 calls:

7.0ms
(-.f64 (fma.f64 x y z) (exp.f64 (log.f64 (+.f64 1 (*.f64 x y)))))
4.0ms
(exp.f64 (log.f64 (+.f64 1 (*.f64 x y))))
3.0ms
(+.f64 1 (*.f64 x y))
3.0ms
(log.f64 (+.f64 1 (*.f64 x y)))
0.0ms
(+.f64 1 (*.f64 x y))

series859.0ms (0.9%)

Counts
4 → 49
Calls

4 calls:

429.0ms
(-.f64 (fma.f64 x y z) (exp.f64 (log.f64 (+.f64 1 (*.f64 x y)))))
321.0ms
(exp.f64 (log.f64 (+.f64 1 (*.f64 x y))))
58.0ms
(log.f64 (+.f64 1 (*.f64 x y)))
50.0ms
(+.f64 1 (*.f64 x y))
Compiler

Compiled 1240 to 980 computations (21% saved)

simplify62.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
111 → 111
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
050971362

localize12.0ms (0%)

Local error

Found 4 expressions with local error:

10.6b
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
10.6b
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
10.6b
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
10.6b
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))

rewrite21.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
20×add-log-exp_binary64_458
18×*-un-lft-identity_binary64_419
8×add-sqr-sqrt_binary64_441 cancel-sign-sub-inv_binary64_385
6×sum-log_binary64_510 diff-log_binary64_511
4×add-cube-cbrt_binary64_454 distribute-lft-out_binary64_370 distribute-lft-out--_binary64_371
2×sub-neg_binary64_412 difference-of-squares_binary64_388 flip3--_binary64_423 add-cbrt-cube_binary64_455 add-exp-log_binary64_457 associate--r+_binary64_355 flip--_binary64_394 pow1_binary64_480
Counts
2 → 42
Calls

4 calls:

8.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
8.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
0.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
0.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))

series247.0ms (0.3%)

Counts
2 → 36
Calls

2 calls:

125.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
122.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
Compiler

Compiled 1454 to 942 computations (35.2% saved)

simplify45.0ms (0%)

Algorithm
1×egg-herbie
Counts
78 → 78
Iterations

Useful iterations: 0 (28.0ms)

IterNodesCost
049301350
149301350

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(+.f64 (fma.f64 x y z) (+.f64 1 (*.f64 x y)))
0.0b
(+.f64 1 (*.f64 x y))
0.0b
(+.f64 1 (*.f64 x y))
0.0b
(+.f64 1 (*.f64 x y))
0.1b
(pow.f64 (sqrt.f64 (+.f64 1 (*.f64 x y))) 4)
3.8b
(sqrt.f64 (+.f64 1 (*.f64 x y)))
13.8b
(/.f64 (-.f64 (pow.f64 (fma.f64 x y z) 3) (pow.f64 (+.f64 1 (*.f64 x y)) 3)) (+.f64 (pow.f64 (sqrt.f64 (+.f64 1 (*.f64 x y))) 4) (*.f64 (fma.f64 x y z) (+.f64 (fma.f64 x y z) (+.f64 1 (*.f64 x y))))))
19.3b
(-.f64 (pow.f64 (fma.f64 x y z) 3) (pow.f64 (+.f64 1 (*.f64 x y)) 3))

rewrite90.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
162×add-sqr-sqrt_binary64_441
91×*-un-lft-identity_binary64_419
80×difference-of-squares_binary64_388
75×times-frac_binary64_425
69×unpow-prod-down_binary64_498
63×cube-prod_binary64_447
42×sqr-pow_binary64_391
41×add-cube-cbrt_binary64_454
25×distribute-lft-out--_binary64_371 associate-/l*_binary64_364
12×cancel-sign-sub-inv_binary64_385
7×add-exp-log_binary64_457 pow1_binary64_480
6×add-log-exp_binary64_458 add-cbrt-cube_binary64_455 sqrt-prod_binary64_435
5×difference-cubes_binary64_421
3×pow-pow_binary64_491 pow-unpow_binary64_496 associate-/r*_binary64_363
2×flip3-+_binary64_422 sqrt-div_binary64_436 pow1/2_binary64_499 flip3--_binary64_423 associate-/r/_binary64_365 flip-+_binary64_393 sqrt-pow1_binary64_437 flip--_binary64_394 associate-/l/_binary64_366
1×clear-num_binary64_418 sub-neg_binary64_412 unpow3_binary64_485 cube-mult_binary64_449 div-inv_binary64_416 sqrt-pow2_binary64_438 pow-exp_binary64_487 pow-to-exp_binary64_488 frac-2neg_binary64_430 diff-log_binary64_511 rem-sqrt-square_binary64_432 div-exp_binary64_470 cbrt-undiv_binary64_453 div-sub_binary64_424
Counts
4 → 203
Calls

8 calls:

30.0ms
(/.f64 (-.f64 (pow.f64 (fma.f64 x y z) 3) (pow.f64 (+.f64 1 (*.f64 x y)) 3)) (+.f64 (pow.f64 (sqrt.f64 (+.f64 1 (*.f64 x y))) 4) (*.f64 (fma.f64 x y z) (+.f64 (fma.f64 x y z) (+.f64 1 (*.f64 x y))))))
15.0ms
(-.f64 (pow.f64 (fma.f64 x y z) 3) (pow.f64 (+.f64 1 (*.f64 x y)) 3))
5.0ms
(pow.f64 (sqrt.f64 (+.f64 1 (*.f64 x y))) 4)
3.0ms
(sqrt.f64 (+.f64 1 (*.f64 x y)))
0.0ms
(+.f64 1 (*.f64 x y))

series2.7s (2.9%)

Counts
4 → 66
Calls

4 calls:

2.2s
(/.f64 (-.f64 (pow.f64 (fma.f64 x y z) 3) (pow.f64 (+.f64 1 (*.f64 x y)) 3)) (+.f64 (pow.f64 (sqrt.f64 (+.f64 1 (*.f64 x y))) 4) (*.f64 (fma.f64 x y z) (+.f64 (fma.f64 x y z) (+.f64 1 (*.f64 x y))))))
346.0ms
(-.f64 (pow.f64 (fma.f64 x y z) 3) (pow.f64 (+.f64 1 (*.f64 x y)) 3))
136.0ms
(pow.f64 (sqrt.f64 (+.f64 1 (*.f64 x y))) 4)
61.0ms
(sqrt.f64 (+.f64 1 (*.f64 x y)))
Compiler

Compiled 6476 to 3898 computations (39.8% saved)

simplify179.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
269 → 269
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
0496416155
1496416155

prune7.0s (7.4%)

Pruning

232 alts after pruning (222 fresh and 10 done)

PrunedKeptTotal
New334163497
Fresh05959
Picked000
Done01010
Total334232566
Error
42.8b
Counts
566 → 232
Compiler

Compiled 21965 to 11237 computations (48.8% saved)

localize14.0ms (0%)

Local error

Found 6 expressions with local error:

10.6b
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
10.6b
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
10.6b
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
10.6b
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
10.6b
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
10.6b
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))

rewrite34.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
30×add-log-exp_binary64_458
27×*-un-lft-identity_binary64_419
12×add-sqr-sqrt_binary64_441 cancel-sign-sub-inv_binary64_385
9×sum-log_binary64_510 diff-log_binary64_511
6×add-cube-cbrt_binary64_454 distribute-lft-out_binary64_370 distribute-lft-out--_binary64_371
3×sub-neg_binary64_412 difference-of-squares_binary64_388 flip3--_binary64_423 add-cbrt-cube_binary64_455 add-exp-log_binary64_457 associate--r+_binary64_355 flip--_binary64_394 pow1_binary64_480
Counts
3 → 63
Calls

6 calls:

8.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
8.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
8.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
0.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
0.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))

series390.0ms (0.4%)

Counts
3 → 54
Calls

3 calls:

136.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
128.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
126.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
Compiler

Compiled 3558 to 2061 computations (42.1% saved)

simplify55.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
117 → 117
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
049302025
149302025

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

localize13.0ms (0%)

Local error

Found 6 expressions with local error:

10.6b
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
9.2b
(-.f64 (fma.f64 x y z) (+.f64 1 (*.f64 x y)))
0.0b
(+.f64 1 (*.f64 x y))
0.0b
(+.f64 1 (*.f64 x y))
9.2b
(-.f64 (fma.f64 x y z) (+.f64 1 (*.f64 x y)))
10.6b
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))

rewrite21.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
19×add-log-exp_binary64_458
14×*-un-lft-identity_binary64_419
9×add-sqr-sqrt_binary64_441
7×cancel-sign-sub-inv_binary64_385
5×add-cube-cbrt_binary64_454 sum-log_binary64_510 diff-log_binary64_511
3×distribute-lft-out--_binary64_371 add-cbrt-cube_binary64_455 add-exp-log_binary64_457 pow1_binary64_480
2×sub-neg_binary64_412 difference-of-squares_binary64_388 distribute-lft-out_binary64_370 flip3--_binary64_423 associate--r+_binary64_355 flip--_binary64_394
1×flip3-+_binary64_422 flip-+_binary64_393 +-commutative_binary64_349
Counts
3 → 50
Calls

6 calls:

8.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
5.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (*.f64 x y)))
3.0ms
(+.f64 1 (*.f64 x y))
0.0ms
(+.f64 1 (*.f64 x y))
0.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))

series250.0ms (0.3%)

Counts
3 → 41
Calls

3 calls:

119.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 z (*.f64 x y))))
100.0ms
(-.f64 (fma.f64 x y z) (+.f64 1 (*.f64 x y)))
31.0ms
(+.f64 1 (*.f64 x y))
Compiler

Compiled 1525 to 944 computations (38.1% saved)

simplify76.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
91 → 91
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
049161347
149161347

localize19.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(+.f64 (fma.f64 x y z) (+.f64 1 (*.f64 x y)))
0.0b
(+.f64 1 (*.f64 x y))
0.0b
(+.f64 1 (*.f64 x y))
0.0b
(+.f64 1 (*.f64 x y))
0.1b
(pow.f64 (sqrt.f64 (+.f64 1 (*.f64 x y))) 4)
3.8b
(sqrt.f64 (+.f64 1 (*.f64 x y)))
13.8b
(/.f64 (-.f64 (pow.f64 (fma.f64 x y z) 3) (pow.f64 (+.f64 1 (*.f64 x y)) 3)) (+.f64 (*.f64 1 (pow.f64 (sqrt.f64 (+.f64 1 (*.f64 x y))) 4)) (*.f64 (fma.f64 x y z) (+.f64 (fma.f64 x y z) (+.f64 1 (*.f64 x y))))))
19.3b
(-.f64 (pow.f64 (fma.f64 x y z) 3) (pow.f64 (+.f64 1 (*.f64 x y)) 3))

rewrite87.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
162×add-sqr-sqrt_binary64_441
91×*-un-lft-identity_binary64_419
80×difference-of-squares_binary64_388
75×times-frac_binary64_425
69×unpow-prod-down_binary64_498
63×cube-prod_binary64_447
42×sqr-pow_binary64_391
41×add-cube-cbrt_binary64_454
25×distribute-lft-out--_binary64_371 associate-/l*_binary64_364
12×cancel-sign-sub-inv_binary64_385
7×add-exp-log_binary64_457 pow1_binary64_480
6×add-log-exp_binary64_458 add-cbrt-cube_binary64_455 sqrt-prod_binary64_435
5×difference-cubes_binary64_421
3×pow-pow_binary64_491 pow-unpow_binary64_496 associate-/r*_binary64_363
2×flip3-+_binary64_422 sqrt-div_binary64_436 pow1/2_binary64_499 flip3--_binary64_423 associate-/r/_binary64_365 flip-+_binary64_393 sqrt-pow1_binary64_437 flip--_binary64_394 associate-/l/_binary64_366
1×clear-num_binary64_418 sub-neg_binary64_412 unpow3_binary64_485 cube-mult_binary64_449 div-inv_binary64_416 sqrt-pow2_binary64_438 pow-exp_binary64_487 pow-to-exp_binary64_488 frac-2neg_binary64_430 diff-log_binary64_511 rem-sqrt-square_binary64_432 div-exp_binary64_470 cbrt-undiv_binary64_453 div-sub_binary64_424
Counts
4 → 203
Calls

8 calls:

26.0ms
(/.f64 (-.f64 (pow.f64 (fma.f64 x y z) 3) (pow.f64 (+.f64 1 (*.f64 x y)) 3)) (+.f64 (*.f64 1 (pow.f64 (sqrt.f64 (+.f64 1 (*.f64 x y))) 4)) (*.f64 (fma.f64 x y z) (+.f64 (fma.f64 x y z) (+.f64 1 (*.f64 x y))))))
14.0ms
(-.f64 (pow.f64 (fma.f64 x y z) 3) (pow.f64 (+.f64 1 (*.f64 x y)) 3))
4.0ms
(pow.f64 (sqrt.f64 (+.f64 1 (*.f64 x y))) 4)
3.0ms
(sqrt.f64 (+.f64 1 (*.f64 x y)))
0.0ms
(+.f64 1 (*.f64 x y))

series2.7s (2.9%)

Counts
4 → 66
Calls

4 calls:

2.2s
(/.f64 (-.f64 (pow.f64 (fma.f64 x y z) 3) (pow.f64 (+.f64 1 (*.f64 x y)) 3)) (+.f64 (*.f64 1 (pow.f64 (sqrt.f64 (+.f64 1 (*.f64 x y))) 4)) (*.f64 (fma.f64 x y z) (+.f64 (fma.f64 x y z) (+.f64 1 (*.f64 x y))))))
347.0ms
(-.f64 (pow.f64 (fma.f64 x y z) 3) (pow.f64 (+.f64 1 (*.f64 x y)) 3))
126.0ms
(pow.f64 (sqrt.f64 (+.f64 1 (*.f64 x y))) 4)
61.0ms
(sqrt.f64 (+.f64 1 (*.f64 x y)))
Compiler

Compiled 6600 to 4022 computations (39.1% saved)

simplify164.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
269 → 269
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
0495816158
1495816158

localize35.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b
(+.f64 1 (*.f64 x y))
0.0b
(+.f64 1 (*.f64 x y))
0.0b
(+.f64 1 (*.f64 x y))
0.0b
(+.f64 (pow.f64 (fma.f64 x y z) (/.f64 3 2)) (pow.f64 (sqrt.f64 (+.f64 1 (*.f64 x y))) 3))
3.8b
(sqrt.f64 (+.f64 1 (*.f64 x y)))
6.9b
(/.f64 (+.f64 (pow.f64 (fma.f64 x y z) (/.f64 3 2)) (pow.f64 (sqrt.f64 (+.f64 1 (*.f64 x y))) 3)) (/.f64 (+.f64 (pow.f64 (fma.f64 x y z) 2) (*.f64 (+.f64 1 (*.f64 x y)) (+.f64 (fma.f64 x y z) (+.f64 1 (*.f64 x y))))) (-.f64 (pow.f64 (fma.f64 x y z) 3/2) (pow.f64 (sqrt.f64 (+.f64 1 (*.f64 x y))) 3))))
8.2b
(/.f64 (+.f64 (pow.f64 (fma.f64 x y z) 2) (*.f64 (+.f64 1 (*.f64 x y)) (+.f64 (fma.f64 x y z) (+.f64 1 (*.f64 x y))))) (-.f64 (pow.f64 (fma.f64 x y z) 3/2) (pow.f64 (sqrt.f64 (+.f64 1 (*.f64 x y))) 3)))
8.3b
(-.f64 (pow.f64 (fma.f64 x y z) 3/2) (pow.f64 (sqrt.f64 (+.f64 1 (*.f64 x y))) 3))

rewrite266.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
781×add-sqr-sqrt_binary64_441
684×times-frac_binary64_425
426×*-un-lft-identity_binary64_419
360×difference-of-squares_binary64_388
246×unpow-prod-down_binary64_498
240×add-cube-cbrt_binary64_454
181×sqr-pow_binary64_391
129×sqrt-prod_binary64_435
126×cube-prod_binary64_447
94×associate-/r*_binary64_363
73×distribute-lft-out_binary64_370
20×distribute-lft-out--_binary64_371
18×cancel-sign-sub-inv_binary64_385
13×associate-/r/_binary64_365
11×add-cbrt-cube_binary64_455 add-exp-log_binary64_457
7×div-inv_binary64_416 flip3--_binary64_423 flip--_binary64_394 associate-/l*_binary64_364
6×add-log-exp_binary64_458
5×pow1_binary64_480
4×div-exp_binary64_470 cbrt-undiv_binary64_453 associate-/l/_binary64_366
3×flip3-+_binary64_422 flip-+_binary64_393
2×sqrt-div_binary64_436 clear-num_binary64_418 frac-2neg_binary64_430
1×sub-neg_binary64_412 pow1/2_binary64_499 unpow3_binary64_485 cube-mult_binary64_449 diff-log_binary64_511 sqrt-pow1_binary64_437 rem-sqrt-square_binary64_432
Counts
4 → 551
Calls

8 calls:

52.0ms
(/.f64 (+.f64 (pow.f64 (fma.f64 x y z) (/.f64 3 2)) (pow.f64 (sqrt.f64 (+.f64 1 (*.f64 x y))) 3)) (/.f64 (+.f64 (pow.f64 (fma.f64 x y z) 2) (*.f64 (+.f64 1 (*.f64 x y)) (+.f64 (fma.f64 x y z) (+.f64 1 (*.f64 x y))))) (-.f64 (pow.f64 (fma.f64 x y z) 3/2) (pow.f64 (sqrt.f64 (+.f64 1 (*.f64 x y))) 3))))
22.0ms
(/.f64 (+.f64 (pow.f64 (fma.f64 x y z) 2) (*.f64 (+.f64 1 (*.f64 x y)) (+.f64 (fma.f64 x y z) (+.f64 1 (*.f64 x y))))) (-.f64 (pow.f64 (fma.f64 x y z) 3/2) (pow.f64 (sqrt.f64 (+.f64 1 (*.f64 x y))) 3)))
15.0ms
(-.f64 (pow.f64 (fma.f64 x y z) 3/2) (pow.f64 (sqrt.f64 (+.f64 1 (*.f64 x y))) 3))
3.0ms
(sqrt.f64 (+.f64 1 (*.f64 x y)))
0.0ms
(+.f64 (pow.f64 (fma.f64 x y z) (/.f64 3 2)) (pow.f64 (sqrt.f64 (+.f64 1 (*.f64 x y))) 3))

series3.8s (4.1%)

Counts
4 → 55
Calls

4 calls:

2.2s
(/.f64 (+.f64 (pow.f64 (fma.f64 x y z) (/.f64 3 2)) (pow.f64 (sqrt.f64 (+.f64 1 (*.f64 x y))) 3)) (/.f64 (+.f64 (pow.f64 (fma.f64 x y z) 2) (*.f64 (+.f64 1 (*.f64 x y)) (+.f64 (fma.f64 x y z) (+.f64 1 (*.f64 x y))))) (-.f64 (pow.f64 (fma.f64 x y z) 3/2) (pow.f64 (sqrt.f64 (+.f64 1 (*.f64 x y))) 3))))
1.3s
(/.f64 (+.f64 (pow.f64 (fma.f64 x y z) 2) (*.f64 (+.f64 1 (*.f64 x y)) (+.f64 (fma.f64 x y z) (+.f64 1 (*.f64 x y))))) (-.f64 (pow.f64 (fma.f64 x y z) 3/2) (pow.f64 (sqrt.f64 (+.f64 1 (*.f64 x y))) 3)))
284.0ms
(-.f64 (pow.f64 (fma.f64 x y z) 3/2) (pow.f64 (sqrt.f64 (+.f64 1 (*.f64 x y))) 3))
72.0ms
(sqrt.f64 (+.f64 1 (*.f64 x y)))
Compiler

Compiled 8974 to 5406 computations (39.8% saved)

simplify542.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
606 → 606
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
0508273307

prune29.8s (31.8%)

Pruning

510 alts after pruning (496 fresh and 14 done)

PrunedKeptTotal
New7992841083
Fresh5212217
Picked000
Done11415
Total8055101315
Error
42.8b
Counts
1315 → 510
Compiler

Compiled 42549 to 21164 computations (50.3% saved)

simplify987.0ms (1.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (96.0ms)

IterNodesCost
0507876794

regimes8.9s (9.5%)

Compiler

Compiled 128136 to 71526 computations (44.2% saved)

bsearch0.0ms (0%)

regimes25.0ms (0%)

Accuracy

Total 0b remaining (0%)

Threshold costs 0b (0%)

Compiler

Compiled 12 to 42 computations (-250% saved)

bsearch1.0ms (0%)

Compiler

Compiled 3 to 12 computations (-300% saved)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
043
143

end0.0ms (0%)

sample30.6s (32.6%)

Algorithm
1×intervals
Results
322.0ms2699×body1024valid
176.0ms1174×body2048valid
112.0ms1246×body512valid
80.0ms2309×body128valid
37.0ms570×body256valid
0.0ms2×body4096valid
Compiler

Compiled 42733 to 23889 computations (44.1% saved)

Pareto

0

Profiling

Loading profile data...