Details

Time bar (total: 4.1s)

analyze6.0ms (0.1%)

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

Compiled 21 to 16 computations (23.8% saved)

sample37.0ms (0.9%)

Algorithm
1×intervals
Results
16.0ms256×pre128true
9.0ms256×body128valid
Compiler

Compiled 30 to 30 computations (0% saved)

simplify113.0ms (2.8%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (7.0ms)

IterNodesCost
018613
118613

prune11.0ms (0.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.5b
Counts
2 → 1
Compiler

Compiled 18 to 18 computations (0% saved)

localize15.0ms (0.4%)

Local error

Found 3 expressions with local error:

0.2b
(+.f64 (+.f64 e d) c)
0.2b
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
0.3b
(+.f64 (+.f64 (+.f64 e d) c) b)

rewrite35.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
31×add-log-exp_binary64_1481 *-un-lft-identity_binary64_1442
19×sum-log_binary64_1533 distribute-lft-out_binary64_1393
3×add-cbrt-cube_binary64_1478 associate-+l+_binary64_1375 +-commutative_binary64_1372 add-exp-log_binary64_1480 add-sqr-sqrt_binary64_1464 flip3-+_binary64_1445 flip-+_binary64_1416 pow1_binary64_1503 add-cube-cbrt_binary64_1477
Counts
3 → 51
Calls

3 calls:

13.0ms
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
10.0ms
(+.f64 (+.f64 (+.f64 e d) c) b)
7.0ms
(+.f64 (+.f64 e d) c)

series118.0ms (2.9%)

Counts
3 → 9
Calls

3 calls:

64.0ms
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
33.0ms
(+.f64 (+.f64 (+.f64 e d) c) b)
21.0ms
(+.f64 (+.f64 e d) c)

simplify71.0ms (1.7%)

Algorithm
1×egg-herbie
Counts
60 → 60
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
04766801
14766801

prune87.0ms (2.1%)

Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New481260
Fresh000
Picked101
Done000
Total491261
Error
0.0b
Counts
61 → 12
Compiler

Compiled 967 to 300 computations (69% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.2b
(+.f64 (+.f64 e d) c)
0.3b
(+.f64 (+.f64 (+.f64 e d) c) (+.f64 b a))

rewrite35.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
28×add-log-exp_binary64_1481 *-un-lft-identity_binary64_1442
18×sum-log_binary64_1533 distribute-lft-out_binary64_1393
6×flip3-+_binary64_1445 flip-+_binary64_1416
4×frac-add_binary64_1450
2×add-cbrt-cube_binary64_1478 associate-+l+_binary64_1375 +-commutative_binary64_1372 add-exp-log_binary64_1480 add-sqr-sqrt_binary64_1464 pow1_binary64_1503 add-cube-cbrt_binary64_1477
1×associate-+r+_binary64_1374
Counts
2 → 43
Calls

2 calls:

18.0ms
(+.f64 (+.f64 (+.f64 e d) c) (+.f64 b a))
11.0ms
(+.f64 (+.f64 e d) c)

series74.0ms (1.8%)

Counts
2 → 6
Calls

2 calls:

60.0ms
(+.f64 (+.f64 (+.f64 e d) c) (+.f64 b a))
14.0ms
(+.f64 (+.f64 e d) c)

simplify88.0ms (2.2%)

Algorithm
1×egg-herbie
Counts
49 → 49
Iterations

Useful iterations: 0 (69.0ms)

IterNodesCost
05022882

prune51.0ms (1.2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New43649
Fresh7411
Picked101
Done000
Total511061
Error
0.0b
Counts
61 → 10
Compiler

Compiled 986 to 284 computations (71.2% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.2b
(+.f64 c (+.f64 b a))
0.3b
(+.f64 (+.f64 e d) (+.f64 c (+.f64 b a)))

rewrite21.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Rules
28×add-log-exp_binary64_1481 *-un-lft-identity_binary64_1442
18×sum-log_binary64_1533 distribute-lft-out_binary64_1393
6×flip3-+_binary64_1445 flip-+_binary64_1416
4×frac-add_binary64_1450
2×add-cbrt-cube_binary64_1478 +-commutative_binary64_1372 add-exp-log_binary64_1480 add-sqr-sqrt_binary64_1464 pow1_binary64_1503 associate-+r+_binary64_1374 add-cube-cbrt_binary64_1477
1×associate-+l+_binary64_1375
Counts
2 → 43
Calls

2 calls:

12.0ms
(+.f64 (+.f64 e d) (+.f64 c (+.f64 b a)))
6.0ms
(+.f64 c (+.f64 b a))

series67.0ms (1.6%)

Counts
2 → 6
Calls

2 calls:

53.0ms
(+.f64 (+.f64 e d) (+.f64 c (+.f64 b a)))
14.0ms
(+.f64 c (+.f64 b a))

simplify75.0ms (1.8%)

Algorithm
1×egg-herbie
Counts
49 → 49
Iterations

Useful iterations: 0 (58.0ms)

IterNodesCost
04804882
14804882

prune63.0ms (1.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New46349
Fresh459
Picked101
Done000
Total51859
Error
0b
Counts
59 → 8
Compiler

Compiled 926 to 254 computations (72.6% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.2b
(+.f64 c (+.f64 b a))
0.2b
(+.f64 d (+.f64 c (+.f64 b a)))
0.3b
(+.f64 e (+.f64 d (+.f64 c (+.f64 b a))))

rewrite44.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Rules
31×add-log-exp_binary64_1481 *-un-lft-identity_binary64_1442
19×sum-log_binary64_1533 distribute-lft-out_binary64_1393
3×add-cbrt-cube_binary64_1478 +-commutative_binary64_1372 add-exp-log_binary64_1480 add-sqr-sqrt_binary64_1464 flip3-+_binary64_1445 flip-+_binary64_1416 pow1_binary64_1503 associate-+r+_binary64_1374 add-cube-cbrt_binary64_1477
Counts
3 → 51
Calls

3 calls:

16.0ms
(+.f64 d (+.f64 c (+.f64 b a)))
15.0ms
(+.f64 e (+.f64 d (+.f64 c (+.f64 b a))))
10.0ms
(+.f64 c (+.f64 b a))

series109.0ms (2.7%)

Counts
3 → 9
Calls

3 calls:

58.0ms
(+.f64 e (+.f64 d (+.f64 c (+.f64 b a))))
37.0ms
(+.f64 d (+.f64 c (+.f64 b a)))
14.0ms
(+.f64 c (+.f64 b a))

simplify90.0ms (2.2%)

Algorithm
1×egg-herbie
Counts
60 → 60
Iterations

Useful iterations: 0 (74.0ms)

IterNodesCost
05100801

prune54.0ms (1.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New58260
Fresh257
Picked011
Done000
Total60868
Error
0b
Counts
68 → 8
Compiler

Compiled 792 to 170 computations (78.5% saved)

regimes846.0ms (20.6%)

Accuracy

Total 0.2b remaining (100%)

Threshold costs 0.2b (100%)

Compiler

Compiled 7446 to 4783 computations (35.8% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01413
11413

end0.0ms (0%)

sample2.0s (48%)

Algorithm
1×intervals
Results
491.0ms8000×pre128true
298.0ms8000×body128valid
Compiler

Compiled 787 to 511 computations (35.1% saved)

Profiling

Loading profile data...