Details

Time bar (total: 2.4s)

analyze3.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)

sample30.0ms (1.3%)

Algorithm
1×intervals
Results
11.0ms256×body128valid
11.0ms256×pre128true
Compiler

Compiled 30 to 30 computations (0% saved)

simplify163.0ms (6.8%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
018613
118613

prune3.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.4b

Counts
2 → 1
Compiler

Compiled 18 to 18 computations (0% saved)

localize7.0ms (0.3%)

Local error

Found 3 expressions with local error:

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

rewrite40.0ms (1.7%)

Algorithm
1×rewrite-expression-head
Rules
31×add-log-exp_binary64_2809 *-un-lft-identity_binary64_2773
19×distribute-lft-out_binary64_2726 sum-log_binary64_2861
3×add-exp-log_binary64_2808 pow1_binary64_2831 flip3-+_binary64_2776 add-cube-cbrt_binary64_2805 add-cbrt-cube_binary64_2806 add-sqr-sqrt_binary64_2794 associate-+l+_binary64_2708 +-commutative_binary64_2705 flip-+_binary64_2747
Counts
3 → 51
Calls

3 calls:

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

series173.0ms (7.3%)

Counts
3 → 9
Calls

3 calls:

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

simplify40.0ms (1.7%)

Algorithm
1×egg-herbie
Counts
60 → 60
Iterations

Useful iterations: 0 (25.0ms)

IterNodesCost
05101801

prune53.0ms (2.2%)

Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New51960
Fresh000
Picked101
Done000
Total52961

Merged error: 0b

Counts
61 → 9
Compiler

Compiled 924 to 272 computations (70.6% saved)

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

rewrite27.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Rules
32×add-log-exp_binary64_2809 *-un-lft-identity_binary64_2773
21×distribute-lft-out_binary64_2726 sum-log_binary64_2861
6×flip3-+_binary64_2776 flip-+_binary64_2747
4×frac-add_binary64_2781
2×add-exp-log_binary64_2808 pow1_binary64_2831 add-cube-cbrt_binary64_2805 add-cbrt-cube_binary64_2806 add-sqr-sqrt_binary64_2794 associate-+l+_binary64_2708 +-commutative_binary64_2705
1×associate-+r+_binary64_2707
Counts
2 → 45
Calls

2 calls:

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

series159.0ms (6.7%)

Counts
2 → 6
Calls

2 calls:

105.0ms
(+.f64 (+.f64 (+.f64 e d) (+.f64 c b)) a)
54.0ms
(+.f64 (+.f64 e d) (+.f64 c b))

simplify49.0ms (2.1%)

Algorithm
1×egg-herbie
Counts
51 → 51
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
04858904
14858904

prune42.0ms (1.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New48351
Fresh448
Picked101
Done000
Total53760

Merged error: 0b

Counts
60 → 7
Compiler

Compiled 874 to 238 computations (72.8% saved)

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

rewrite24.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
28×add-log-exp_binary64_2809 *-un-lft-identity_binary64_2773
18×distribute-lft-out_binary64_2726 sum-log_binary64_2861
6×flip3-+_binary64_2776 flip-+_binary64_2747
4×frac-add_binary64_2781
2×add-exp-log_binary64_2808 pow1_binary64_2831 add-cube-cbrt_binary64_2805 add-cbrt-cube_binary64_2806 add-sqr-sqrt_binary64_2794 associate-+l+_binary64_2708 +-commutative_binary64_2705
1×associate-+r+_binary64_2707
Counts
2 → 43
Calls

2 calls:

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

series136.0ms (5.7%)

Counts
2 → 6
Calls

2 calls:

106.0ms
(+.f64 (+.f64 e d) (+.f64 (+.f64 c b) a))
30.0ms
(+.f64 (+.f64 c b) a)

simplify58.0ms (2.4%)

Algorithm
1×egg-herbie
Counts
49 → 49
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
04787885
14787885

prune35.0ms (1.5%)

Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New48149
Fresh156
Picked101
Done000
Total50656

Merged error: 0b

Counts
56 → 6
Compiler

Compiled 859 to 215 computations (75% saved)

localize7.0ms (0.3%)

Local error

Found 3 expressions with local error:

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

rewrite33.0ms (1.4%)

Algorithm
1×rewrite-expression-head
Rules
31×add-log-exp_binary64_2809 *-un-lft-identity_binary64_2773
19×distribute-lft-out_binary64_2726 sum-log_binary64_2861
3×add-exp-log_binary64_2808 pow1_binary64_2831 flip3-+_binary64_2776 add-cube-cbrt_binary64_2805 add-cbrt-cube_binary64_2806 add-sqr-sqrt_binary64_2794 +-commutative_binary64_2705 associate-+r+_binary64_2707 flip-+_binary64_2747
Counts
3 → 51
Calls

3 calls:

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

series179.0ms (7.5%)

Counts
3 → 9
Calls

3 calls:

101.0ms
(+.f64 e (+.f64 d (+.f64 a (+.f64 c b))))
49.0ms
(+.f64 d (+.f64 a (+.f64 c b)))
29.0ms
(+.f64 a (+.f64 c b))

simplify56.0ms (2.4%)

Algorithm
1×egg-herbie
Counts
60 → 60
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
04853801
14853801

prune36.0ms (1.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New60060
Fresh055
Picked011
Done000
Total60666

Merged error: 0b

Counts
66 → 6
Compiler

Compiled 792 to 171 computations (78.4% saved)

regimes113.0ms (4.7%)

Compiler

Compiled 718 to 582 computations (18.9% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01413
11413

end0.0ms (0%)

sample900.0ms (37.8%)

Algorithm
1×intervals
Results
347.0ms8000×pre128true
205.0ms8000×body128valid
Compiler

Compiled 127 to 103 computations (18.9% saved)

Profiling

Loading profile data...