Details

Time bar (total: 6.4s)

sample42.0ms

Algorithm
intervals
Results
10.0ms256×pre80true
10.0ms256×body80valid

simplify465.0ms

Counts
1 → 1
Iterations
IterNodes
done565
7565
6558
5483
4348
3169
258
119
09

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize16.0ms

Local error

Found 2 expressions with local error:

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

rewrite142.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
1×associate-+l+
Counts
2 → 43
Calls
2 calls:
12.0ms
(+ c (+ d e))
129.0ms
(+ (+ c (+ d e)) (+ b a))

series90.0ms

Counts
2 → 6
Calls
2 calls:
21.0ms
(+ c (+ d e))
68.0ms
(+ (+ c (+ d e)) (+ b a))

simplify644.0ms

Counts
49 → 49
Iterations
IterNodes
done5000
21569
1310
092

prune267.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 2 expressions with local error:

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

rewrite122.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
1×associate-+l+
Counts
2 → 43
Calls
2 calls:
19.0ms
(+ a (+ b e))
100.0ms
(+ (+ a (+ b e)) (+ c d))

series94.0ms

Counts
2 → 6
Calls
2 calls:
19.0ms
(+ a (+ b e))
74.0ms
(+ (+ a (+ b e)) (+ c d))

simplify625.0ms

Counts
49 → 49
Iterations
IterNodes
done5000
21733
1313
093

prune306.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize15.0ms

Local error

Found 2 expressions with local error:

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

rewrite69.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
1×associate-+l+
Counts
2 → 43
Calls
2 calls:
55.0ms
(+ (+ a e) (+ b (+ d c)))
12.0ms
(+ b (+ d c))

series92.0ms

Counts
2 → 6
Calls
2 calls:
74.0ms
(+ (+ a e) (+ b (+ d c)))
18.0ms
(+ b (+ d c))

simplify635.0ms

Counts
49 → 49
Iterations
IterNodes
done5002
21623
1307
093

prune276.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize25.0ms

Local error

Found 2 expressions with local error:

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

rewrite170.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
1×associate-+r+
Counts
2 → 43
Calls
2 calls:
21.0ms
(+ (+ c d) e)
147.0ms
(+ (+ (+ c d) e) (+ b a))

series78.0ms

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

simplify530.0ms

Counts
49 → 49
Iterations
IterNodes
done5000
21559
1299
092

prune213.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

regimes435.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done19
119
012

end0.0ms

sample1.1s

Algorithm
intervals
Results
369.0ms8000×body80valid
330.0ms8000×pre80true