Details

Time bar (total: 1.7s)

analyze3.0ms

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

sample25.0ms

Algorithm
intervals
Results
10.0ms256×pre80true
6.0ms256×body80valid

simplify501.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (9.0ms)

IterNodesCost
018613
118613

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.4b

Counts
2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

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

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
31×*-un-lft-identity_binary64_12547 add-log-exp_binary64_12512
19×sum-log_binary64_12457 distribute-lft-out_binary64_12591
add-cbrt-cube_binary64_12519 +-commutative_binary64_12614 add-cube-cbrt_binary64_12518 add-exp-log_binary64_12511 flip-+_binary64_12572 flip3-+_binary64_12545 associate-+l+_binary64_12599 pow1_binary64_12489 add-sqr-sqrt_binary64_12532
Counts
3 → 51
Calls
3 calls:
15.0ms
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
10.0ms
(+.f64 (+.f64 e d) c)
12.0ms
(+.f64 (+.f64 (+.f64 e d) c) b)

series1.0s

Counts
3 → 9
Calls
3 calls:
359.0ms
(+.f64 (+.f64 (+.f64 (+.f64 e d) c) b) a)
346.0ms
(+.f64 (+.f64 e d) c)
334.0ms
(+.f64 (+.f64 (+.f64 e d) c) b)
Iterations

Useful iterations: 0 (9.0ms)

IterNodesCost
0724524
1724524
02334482
12334482
0724524
1724524
02334482
12334482
047474555
147474555
0623546
1623546
01053510
11053510
0623546
1623546
01053510
11053510
048783577
148783577
0825502
1825502
06375454
16375454
0825502
1825502
06375454
16375454
048985533
148985533

simplify122.0ms

Counts
60 → 60
Iterations

Useful iterations: 0 (93.0ms)

IterNodesCost
0575314319

prune9.0ms

Filtered
45 candidates to 60 candidates (-33.3%)

Profiling

Loading profile data...