Details

Time bar (total: 12.1s)

sample40.0ms

Algorithm
intervals
Results
8.0ms256×pre80true
8.0ms256×body80valid

simplify595.0ms

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

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize13.0ms

Local error

Found 3 expressions with local error:

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

rewrite851.0ms

Algorithm
rewrite-expression-head
Rules
50×*-un-lft-identity
31×add-log-exp
29×distribute-lft-out
19×sum-log
15×fma-def
6×add-sqr-sqrt add-cube-cbrt
3×expm1-log1p-u pow1 +-commutative associate-+l+ flip3-+ add-cbrt-cube add-exp-log flip-+ log1p-expm1-u
Counts
3 → 72
Calls
3 calls:
43.0ms
(+ (+ e d) c)
629.0ms
(+ (+ (+ (+ e d) c) b) a)
175.0ms
(+ (+ (+ e d) c) b)

series181.0ms

Counts
3 → 9
Calls
3 calls:
28.0ms
(+ (+ e d) c)
97.0ms
(+ (+ (+ (+ e d) c) b) a)
55.0ms
(+ (+ (+ e d) c) b)

simplify1.0s

Counts
81 → 81
Iterations
IterNodes
done5000
21068
1244
089

prune422.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize22.0ms

Local error

Found 2 expressions with local error:

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

rewrite180.0ms

Algorithm
rewrite-expression-head
Rules
37×*-un-lft-identity
28×add-log-exp
22×distribute-lft-out
18×sum-log
9×fma-def
6×flip3-+ flip-+
4×add-sqr-sqrt frac-add add-cube-cbrt
2×expm1-log1p-u pow1 +-commutative associate-+l+ add-cbrt-cube add-exp-log log1p-expm1-u
1×associate-+r+
Counts
2 → 56
Calls
2 calls:
31.0ms
(+ (+ e d) c)
147.0ms
(+ (+ (+ e d) c) (+ b a))

series96.0ms

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

simplify1.2s

Counts
62 → 62
Iterations
IterNodes
done5001
21745
1319
097

prune386.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize23.0ms

Local error

Found 2 expressions with local error:

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

rewrite213.0ms

Algorithm
rewrite-expression-head
Rules
35×*-un-lft-identity
28×add-log-exp
21×distribute-lft-out
18×sum-log
8×fma-def
6×flip3-+ flip-+
4×add-sqr-sqrt frac-add add-cube-cbrt
2×expm1-log1p-u pow1 +-commutative associate-+r+ add-cbrt-cube add-exp-log log1p-expm1-u
1×associate-+l+
Counts
2 → 55
Calls
2 calls:
23.0ms
(+ e (+ d c))
186.0ms
(+ (+ e (+ d c)) (+ b a))

series127.0ms

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

simplify1.3s

Counts
61 → 61
Iterations
IterNodes
done5000
21448
1327
097

prune365.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize42.0ms

Local error

Found 4 expressions with local error:

0.0b
(log (exp (+ (+ e c) (+ d (+ b a)))))
0.1b
(+ d (+ b a))
0.2b
(+ (+ e c) (+ d (+ b a)))
3.2b
(exp (+ (+ e c) (+ d (+ b a))))

rewrite634.0ms

Algorithm
rewrite-expression-head
Rules
79×*-un-lft-identity
52×add-log-exp
49×distribute-lft-out
33×sum-log
18×exp-prod
10×log-pow
9×add-sqr-sqrt add-cube-cbrt
7×fma-def rem-exp-log
6×flip3-+ flip-+
5×pow1
4×expm1-log1p-u log-prod add-cbrt-cube frac-add add-exp-log log1p-expm1-u
2×+-commutative associate-+r+ exp-sum
1×associate-+l+ rem-log-exp
Counts
4 → 104
Calls
4 calls:
267.0ms
(log (exp (+ (+ e c) (+ d (+ b a)))))
26.0ms
(+ d (+ b a))
83.0ms
(+ (+ e c) (+ d (+ b a)))
255.0ms
(exp (+ (+ e c) (+ d (+ b a))))

series271.0ms

Counts
4 → 12
Calls
4 calls:
87.0ms
(log (exp (+ (+ e c) (+ d (+ b a)))))
18.0ms
(+ d (+ b a))
103.0ms
(+ (+ e c) (+ d (+ b a)))
63.0ms
(exp (+ (+ e c) (+ d (+ b a))))

simplify1.7s

Counts
116 → 116
Iterations
IterNodes
done5001
22057
1400
0134

prune723.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

regimes329.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done19
119
015

end0.0ms

sample1.4s

Algorithm
intervals
Results
387.0ms8000×pre80true
386.0ms8000×body80valid