Details

Time bar (total: 1.5s)

analyze3.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%0%100%0
0%0%100%1

sample23.0ms

Algorithm
intervals
Results
9.0ms256×pre80true
6.0ms256×body80valid

simplify12.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
04310
14310

prune1.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b
(*.f64 a (+.f64 (+.f64 b c) d))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
8×*-un-lft-identity_binary64_590
5×associate-*r*_binary64_649 add-sqr-sqrt_binary64_575
3×add-cbrt-cube_binary64_562 distribute-lft-out_binary64_634 add-cube-cbrt_binary64_561 add-exp-log_binary64_554 pow1_binary64_532 associate-*l*_binary64_650
2×associate-*r/_binary64_651
1×cbrt-unprod_binary64_559 pow-prod-down_binary64_513 flip-+_binary64_615 unswap-sqr_binary64_618 prod-exp_binary64_537 distribute-rgt-in_binary64_633 *-commutative_binary64_658 add-log-exp_binary64_555 distribute-lft-in_binary64_632 flip3-+_binary64_588
Counts
1 → 24
Calls
1 calls:
9.0ms
(*.f64 a (+.f64 (+.f64 b c) d))

series29.0ms

Counts
1 → 3
Calls
1 calls:
29.0ms
(*.f64 a (+.f64 (+.f64 b c) d))

simplify72.0ms

Algorithm
egg-herbie
Counts
27 → 27
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
05027312

prune17.0ms

Filtered
17 candidates to 27 candidates (-58.8%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New23427
Fresh000
Picked011
Done000
Total23528

Merged error: 0b

Counts
28 → 5

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(+.f64 (*.f64 a (+.f64 b c)) (*.f64 a d))
0.0b
(*.f64 a (+.f64 b c))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
6×*-un-lft-identity_binary64_590 add-sqr-sqrt_binary64_575
4×add-cbrt-cube_binary64_562 add-cube-cbrt_binary64_561 add-exp-log_binary64_554 add-log-exp_binary64_555 pow1_binary64_532 associate-*r*_binary64_649
3×associate-*l*_binary64_650
2×flip-+_binary64_615 associate-+l+_binary64_642 distribute-lft-out_binary64_634 distribute-rgt-in_binary64_633 distribute-lft-in_binary64_632 flip3-+_binary64_588 associate-*r/_binary64_651
1×cbrt-unprod_binary64_559 pow-prod-down_binary64_513 +-commutative_binary64_657 unswap-sqr_binary64_618 prod-exp_binary64_537 *-commutative_binary64_658 sum-log_binary64_500
Counts
2 → 37
Calls
2 calls:
7.0ms
(+.f64 (*.f64 a (+.f64 b c)) (*.f64 a d))
6.0ms
(*.f64 a (+.f64 b c))

series56.0ms

Counts
2 → 6
Calls
2 calls:
32.0ms
(+.f64 (*.f64 a (+.f64 b c)) (*.f64 a d))
24.0ms
(*.f64 a (+.f64 b c))

simplify63.0ms

Algorithm
egg-herbie
Counts
43 → 43
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
05004471

prune23.0ms

Filtered
29 candidates to 43 candidates (-48.3%)
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New41243
Fresh213
Picked101
Done011
Total44448

Merged error: 0b

Counts
48 → 4

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(+.f64 (+.f64 (*.f64 a b) (*.f64 a c)) (*.f64 a d))
0.0b
(+.f64 (*.f64 a b) (*.f64 a c))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp_binary64_555
4×sum-log_binary64_500
3×distribute-lft-out_binary64_634
2×add-cbrt-cube_binary64_562 flip-+_binary64_615 +-commutative_binary64_657 add-cube-cbrt_binary64_561 add-exp-log_binary64_554 *-un-lft-identity_binary64_590 pow1_binary64_532 flip3-+_binary64_588 add-sqr-sqrt_binary64_575
1×associate-+l+_binary64_642
Counts
2 → 26
Calls
2 calls:
7.0ms
(+.f64 (+.f64 (*.f64 a b) (*.f64 a c)) (*.f64 a d))
4.0ms
(+.f64 (*.f64 a b) (*.f64 a c))

series59.0ms

Counts
2 → 6
Calls
2 calls:
31.0ms
(+.f64 (+.f64 (*.f64 a b) (*.f64 a c)) (*.f64 a d))
28.0ms
(+.f64 (*.f64 a b) (*.f64 a c))

simplify61.0ms

Algorithm
egg-herbie
Counts
32 → 32
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
05201407

prune16.0ms

Filtered
23 candidates to 32 candidates (-39.1%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New32032
Fresh022
Picked011
Done011
Total32436

Merged error: 0b

Counts
36 → 4

localize7.0ms

Local error

Found 2 expressions with local error:

0.3b
(*.f64 (+.f64 (+.f64 b c) d) (sqrt.f64 a))
0.4b
(*.f64 (sqrt.f64 a) (*.f64 (+.f64 (+.f64 b c) d) (sqrt.f64 a)))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
12×*-un-lft-identity_binary64_590
11×associate-*l*_binary64_650 add-sqr-sqrt_binary64_575
9×add-cbrt-cube_binary64_562 add-exp-log_binary64_554 pow1_binary64_532
7×add-cube-cbrt_binary64_561 sqrt-prod_binary64_569 associate-*r*_binary64_649
4×cbrt-unprod_binary64_559 pow-prod-down_binary64_513 prod-exp_binary64_537 associate-*l/_binary64_652
3×distribute-lft-out_binary64_634
2×flip-+_binary64_615 unswap-sqr_binary64_618 *-commutative_binary64_658 add-log-exp_binary64_555 flip3-+_binary64_588 associate-*r/_binary64_651
Counts
2 → 49
Calls
2 calls:
11.0ms
(*.f64 (+.f64 (+.f64 b c) d) (sqrt.f64 a))
12.0ms
(*.f64 (sqrt.f64 a) (*.f64 (+.f64 (+.f64 b c) d) (sqrt.f64 a)))

series118.0ms

Counts
2 → 6
Calls
2 calls:
61.0ms
(*.f64 (+.f64 (+.f64 b c) d) (sqrt.f64 a))
57.0ms
(*.f64 (sqrt.f64 a) (*.f64 (+.f64 (+.f64 b c) d) (sqrt.f64 a)))

simplify89.0ms

Algorithm
egg-herbie
Counts
55 → 55
Iterations

Useful iterations: 0 (72.0ms)

IterNodesCost
04935760
14935760

prune23.0ms

Filtered
39 candidates to 55 candidates (-41.0%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New55055
Fresh011
Picked011
Done022
Total55459

Merged error: 0b

Counts
59 → 4

regimes85.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01516
11516

end0.0ms

sample682.0ms

Algorithm
intervals
Results
298.0ms8000×pre80true
194.0ms8000×body80valid

Profiling

Loading profile data...