Details

Time bar (total: 14.4s)

sample42.0ms

Algorithm
intervals
Results
15.0ms256×pre80true
11.0ms256×body80valid

simplify287.0ms

Counts
1 → 1

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize20.0ms

Local error

Found 3 expressions with local error:

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

rewrite565.0ms

Algorithm
rewrite-expression-head
Rules
31×*-un-lft-identity add-log-exp
19×sum-log distribute-lft-out
3×add-sqr-sqrt pow1 +-commutative associate-+l+ flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+ insert-posit16
Counts
3 → 54
Calls
3 calls:
Slowest
431.0ms
(+ (+ (+ (+ e d) c) b) a)
111.0ms
(+ (+ (+ e d) c) b)
22.0ms
(+ (+ e d) c)

series157.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
82.0ms
(+ (+ (+ (+ e d) c) b) a)
48.0ms
(+ (+ (+ e d) c) b)
27.0ms
(+ (+ e d) c)

simplify1.9s

Counts
63 → 63

prune488.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 2 expressions with local error:

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

rewrite108.0ms

Algorithm
rewrite-expression-head
Rules
28×*-un-lft-identity add-log-exp
18×sum-log distribute-lft-out
6×flip3-+ flip-+
4×frac-add
2×add-sqr-sqrt pow1 +-commutative associate-+l+ add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16
1×associate-+r+
Counts
2 → 45
Calls
2 calls:
Slowest
81.0ms
(+ (+ (+ e d) c) (+ b a))
26.0ms
(+ (+ e d) c)

series114.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
88.0ms
(+ (+ (+ e d) c) (+ b a))
26.0ms
(+ (+ e d) c)

simplify2.9s

Counts
51 → 51

prune454.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize13.0ms

Local error

Found 2 expressions with local error:

0.2b
(+ (+ e d) (+ c (+ b a)))
0.1b
(+ c (+ b a))

rewrite67.0ms

Algorithm
rewrite-expression-head
Rules
28×*-un-lft-identity add-log-exp
18×sum-log distribute-lft-out
6×flip3-+ flip-+
4×frac-add
2×add-sqr-sqrt pow1 +-commutative associate-+r+ add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16
1×associate-+l+
Counts
2 → 45
Calls
2 calls:
Slowest
45.0ms
(+ (+ e d) (+ c (+ b a)))
20.0ms
(+ c (+ b a))

series88.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
71.0ms
(+ (+ e d) (+ c (+ b a)))
17.0ms
(+ c (+ b a))

simplify2.5s

Counts
51 → 51

prune516.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize30.0ms

Local error

Found 3 expressions with local error:

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

rewrite424.0ms

Algorithm
rewrite-expression-head
Rules
31×*-un-lft-identity add-log-exp
19×sum-log distribute-lft-out
3×add-sqr-sqrt pow1 +-commutative flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+ insert-posit16
2×associate-+l+
1×associate-+r+
Counts
3 → 54
Calls
3 calls:
Slowest
318.0ms
(+ (+ (+ e (+ c d)) b) a)
84.0ms
(+ (+ e (+ c d)) b)
21.0ms
(+ e (+ c d))

series179.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
100.0ms
(+ (+ (+ e (+ c d)) b) a)
53.0ms
(+ (+ e (+ c d)) b)
26.0ms
(+ e (+ c d))

simplify1.4s

Counts
63 → 63

prune484.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

regimes302.0ms

Accuracy

0% (0.2b remaining)

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

bsearch2.0ms

end0.0ms

sample1.3s

Algorithm
intervals
Results
579.0ms8000×pre80true
429.0ms8000×body80valid