Details

Time bar (total: 31.2s)

sample43.0ms

Algorithm
intervals
Results
18.0ms256×pre80true
13.0ms256×body80valid

simplify286.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
286.0ms
(+ (+ (+ (+ e d) c) b) a)

prune6.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.3b
(+ (+ (+ e d) c) b)
0.2b
(+ (+ e d) c)
0.2b
(+ (+ (+ (+ e d) c) b) a)

rewrite590.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-+ insert-posit16 log1p-expm1-u
Counts
3 → 75
Calls
3 calls:
Slowest
460.0ms
(+ (+ (+ (+ e d) c) b) a)
108.0ms
(+ (+ (+ e d) c) b)
20.0ms
(+ (+ e d) c)

series160.0ms

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

simplify2.9s

Counts
35 → 84
Calls
35 calls:
Slowest
290.0ms
(+ (+ (+ (+ e d) c) b) a)
256.0ms
(+ (+ (+ (+ e d) c) b) a)
254.0ms
(+ (+ (+ (+ e d) c) b) a)
224.0ms
(+ (+ (+ (+ e d) c) b) a)
213.0ms
(* (* (* (* (exp e) (exp d)) (exp c)) (exp b)) (exp a))

prune878.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize39.0ms

Local error

Found 4 expressions with local error:

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

rewrite819.0ms

Algorithm
rewrite-expression-head
Rules
64×*-un-lft-identity
35×distribute-lft-out
30×add-log-exp
21×exp-prod
17×sum-log log-pow
15×fma-def
11×add-sqr-sqrt add-cube-cbrt
8×log-prod
7×pow1
6×flip3-+ flip-+
5×associate-+l+ rem-exp-log
4×expm1-log1p-u add-cbrt-cube frac-add add-exp-log insert-posit16 log1p-expm1-u
3×exp-sum
2×+-commutative
1×associate-+r+ rem-log-exp
Counts
4 → 108
Calls
4 calls:
Slowest
531.0ms
(+ (log (exp (+ (+ b d) (+ e c)))) a)
129.0ms
(log (exp (+ (+ b d) (+ e c))))
119.0ms
(exp (+ (+ b d) (+ e c)))
39.0ms
(+ (+ b d) (+ e c))

series181.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
66.0ms
(+ (log (exp (+ (+ b d) (+ e c)))) a)
41.0ms
(log (exp (+ (+ b d) (+ e c))))
37.0ms
(+ (+ b d) (+ e c))
37.0ms
(exp (+ (+ b d) (+ e c)))

simplify5.4s

Counts
71 → 120
Calls
71 calls:
Slowest
346.0ms
(+ (* (- (* b b) (* d d)) (+ (* e e) (- (* c c) (* e c)))) (* (- b d) (+ (pow e 3) (pow c 3))))
329.0ms
(+ (* (+ (pow b 3) (pow d 3)) (+ (* e e) (- (* c c) (* e c)))) (* (+ (* b b) (- (* d d) (* b d))) (+ (pow e 3) (pow c 3))))
290.0ms
(* (- b d) (+ (* e e) (- (* c c) (* e c))))
239.0ms
(+ (log (exp (+ (+ b d) (+ e c)))) a)
238.0ms
(+ (log (exp (+ (+ b d) (+ e c)))) a)

prune1.5s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize37.0ms

Local error

Found 3 expressions with local error:

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

rewrite182.0ms

Algorithm
rewrite-expression-head
Rules
34×*-un-lft-identity
31×add-log-exp
19×sum-log distribute-lft-out
9×fma-def
6×add-sqr-sqrt add-cube-cbrt
3×expm1-log1p-u pow1 +-commutative associate-+r+ flip3-+ add-cbrt-cube add-exp-log flip-+ insert-posit16 log1p-expm1-u
Counts
3 → 69
Calls
3 calls:
Slowest
126.0ms
(+ e (+ c (+ d (+ b a))))
44.0ms
(+ c (+ d (+ b a)))
11.0ms
(+ d (+ b a))

series182.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
93.0ms
(+ e (+ c (+ d (+ b a))))
63.0ms
(+ c (+ d (+ b a)))
25.0ms
(+ d (+ b a))

simplify2.8s

Counts
35 → 78
Calls
35 calls:
Slowest
291.0ms
(+ e (+ c (+ d (+ b a))))
286.0ms
(+ e (+ c (+ d (+ b a))))
280.0ms
(+ e (+ c (+ d (+ b a))))
269.0ms
(+ e (+ c (+ d (+ b a))))
228.0ms
(* (exp c) (* (exp d) (exp (+ b a))))

prune781.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize39.0ms

Local error

Found 4 expressions with local error:

3.3b
(exp (log (exp (+ e (+ (+ d b) c)))))
3.3b
(exp (+ e (+ (+ d b) c)))
0.2b
(+ e (+ (+ d b) c))
0.2b
(+ (log (exp (log (exp (+ e (+ (+ d b) c)))))) a)

rewrite4.9s

Algorithm
rewrite-expression-head
Rules
53×*-un-lft-identity
38×exp-prod
26×log-pow distribute-lft-out
24×add-log-exp
17×fma-def
15×log-prod
14×add-sqr-sqrt add-cube-cbrt
13×sum-log
11×exp-sum
8×pow1
7×associate-+l+
5×rem-exp-log
4×expm1-log1p-u add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
2×+-commutative flip3-+ flip-+
1×associate-+r+
Counts
4 → 106
Calls
4 calls:
Slowest
4.0s
(+ (log (exp (log (exp (+ e (+ (+ d b) c)))))) a)
676.0ms
(exp (log (exp (+ e (+ (+ d b) c)))))
147.0ms
(exp (+ e (+ (+ d b) c)))
82.0ms
(+ e (+ (+ d b) c))

series193.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
74.0ms
(+ (log (exp (log (exp (+ e (+ (+ d b) c)))))) a)
48.0ms
(exp (log (exp (+ e (+ (+ d b) c)))))
37.0ms
(+ e (+ (+ d b) c))
34.0ms
(exp (+ e (+ (+ d b) c)))

simplify6.1s

Counts
68 → 118
Calls
68 calls:
Slowest
330.0ms
(exp (* (cbrt (log (exp (+ e (+ (+ d b) c))))) (cbrt (log (exp (+ e (+ (+ d b) c)))))))
256.0ms
(log (exp (* (cbrt (+ e (+ (+ d b) c))) (cbrt (+ e (+ (+ d b) c))))))
245.0ms
(exp (sqrt (log (exp (+ e (+ (+ d b) c))))))
238.0ms
(sqrt (log (exp (log (exp (+ e (+ (+ d b) c)))))))
234.0ms
(sqrt (log (exp (+ e (+ (+ d b) c)))))

prune1.5s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

regimes373.0ms

Accuracy

0% (0.2b remaining)

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

bsearch3.0ms

end0.0ms

sample1.4s

Algorithm
intervals
Results
724.0ms8000×pre80true
437.0ms8000×body80valid