Details

Time bar (total: 29.1s)

sample56.0ms

Algorithm
intervals
Results
23.0ms256×pre80true
17.0ms256×body80valid

simplify264.0ms

Calls
1 calls:
Slowest
264.0ms
(+ (+ (+ (+ e d) c) b) a)

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize25.0ms

Local error

Found 3 expressions with local error:

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

rewrite600.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
Calls
3 calls:
Slowest
440.0ms
(+ (+ (+ (+ e d) c) b) a)
131.0ms
(+ (+ (+ e d) c) b)
28.0ms
(+ (+ e d) c)

series165.0ms

Calls
3 calls:
Slowest
89.0ms
(+ (+ (+ (+ e d) c) b) a)
48.0ms
(+ (+ (+ e d) c) b)
27.0ms
(+ (+ e d) c)

simplify2.8s

Calls
29 calls:
Slowest
277.0ms
(+ (+ (+ (+ e d) c) b) a)
261.0ms
(+ (+ (+ (+ e d) c) b) a)
249.0ms
(+ (+ (+ (+ e d) c) b) a)
218.0ms
(* (* (* (* (exp e) (exp d)) (exp c)) (exp b)) (exp a))
216.0ms
(* (* (exp (+ e d)) (exp c)) (exp b))

prune656.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite728.0ms

Algorithm
rewrite-expression-head
Rules
75×*-un-lft-identity
52×add-log-exp
48×distribute-lft-out
33×sum-log
18×exp-prod
10×log-pow
7×add-sqr-sqrt add-cube-cbrt rem-exp-log
6×flip3-+ flip-+
5×pow1
4×log-prod add-cbrt-cube frac-add add-exp-log insert-posit16
2×+-commutative associate-+l+ exp-sum
1×associate-+r+ rem-log-exp
Calls
4 calls:
Slowest
370.0ms
(log (exp (+ (+ d e) (+ (+ c a) b))))
204.0ms
(exp (+ (+ d e) (+ (+ c a) b)))
115.0ms
(+ (+ d e) (+ (+ c a) b))
36.0ms
(+ (+ c a) b)

series247.0ms

Calls
4 calls:
Slowest
82.0ms
(log (exp (+ (+ d e) (+ (+ c a) b))))
74.0ms
(+ (+ d e) (+ (+ c a) b))
62.0ms
(exp (+ (+ d e) (+ (+ c a) b)))
29.0ms
(+ (+ c a) b)

simplify8.5s

Calls
67 calls:
Slowest
457.0ms
(+ (* (+ (pow d 3) (pow e 3)) (+ (* (+ c a) (+ c a)) (- (* b b) (* (+ c a) b)))) (* (+ (* d d) (- (* e e) (* d e))) (+ (pow (+ c a) 3) (pow b 3))))
388.0ms
(+ (* (- (* d d) (* e e)) (+ (* (+ c a) (+ c a)) (- (* b b) (* (+ c a) b)))) (* (- d e) (+ (pow (+ c a) 3) (pow b 3))))
348.0ms
(* (+ (* d d) (- (* e e) (* d e))) (- (+ c a) b))
341.0ms
(exp (* (cbrt (+ (+ d e) (+ (+ c a) b))) (cbrt (+ (+ d e) (+ (+ c a) b)))))
314.0ms
(+ (+ d e) (+ (+ c a) b))

prune1.2s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize43.0ms

Local error

Found 4 expressions with local error:

2.8b
(exp (+ d e))
1.7b
(exp (+ (+ c a) b))
0.3b
(* (exp (+ d e)) (exp (+ (+ c a) b)))
0.2b
(+ (+ c a) b)

rewrite433.0ms

Algorithm
rewrite-expression-head
Rules
41×*-un-lft-identity
21×exp-prod
18×add-log-exp
16×distribute-lft-out
10×add-sqr-sqrt
8×add-cube-cbrt
7×sum-log
6×pow1 add-cbrt-cube pow-prod-up
5×rem-exp-log
4×associate-*r* associate-*l* exp-sum add-exp-log insert-posit16
1×+-commutative associate-+l+ flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ unswap-sqr
Calls
4 calls:
Slowest
309.0ms
(* (exp (+ d e)) (exp (+ (+ c a) b)))
83.0ms
(exp (+ (+ c a) b))
29.0ms
(+ (+ c a) b)
11.0ms
(exp (+ d e))

series199.0ms

Calls
4 calls:
Slowest
122.0ms
(* (exp (+ d e)) (exp (+ (+ c a) b)))
34.0ms
(exp (+ (+ c a) b))
32.0ms
(+ (+ c a) b)
12.0ms
(exp (+ d e))

simplify3.4s

Calls
56 calls:
Slowest
315.0ms
(+ (+ d e) (+ (+ c a) b))
269.0ms
(+ (+ d e) (+ (+ c a) b))
263.0ms
(+ (+ d e) (+ (+ c a) b))
236.0ms
(+ (+ d e) (+ (+ c a) b))
232.0ms
(+ (+ d e) (+ (+ c a) b))

prune1.2s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize51.0ms

Local error

Found 4 expressions with local error:

1.7b
(exp (+ (+ c a) b))
0.4b
(* (exp e) (exp (+ (+ c a) b)))
0.3b
(* (exp d) (* (exp e) (exp (+ (+ c a) b))))
0.2b
(+ (+ c a) b)

rewrite1.0s

Algorithm
rewrite-expression-head
Rules
39×*-un-lft-identity
20×exp-prod
15×add-log-exp
12×distribute-lft-out
11×pow1 add-cbrt-cube
10×add-sqr-sqrt
9×pow-prod-up
8×add-cube-cbrt
6×sum-log associate-*l*
5×associate-*r* add-exp-log
4×pow-prod-down prod-exp cbrt-unprod insert-posit16
3×rem-exp-log
2×exp-sum *-commutative
1×+-commutative associate-+l+ flip3-+ flip-+ unswap-sqr
Calls
4 calls:
Slowest
657.0ms
(* (exp d) (* (exp e) (exp (+ (+ c a) b))))
244.0ms
(* (exp e) (exp (+ (+ c a) b)))
68.0ms
(exp (+ (+ c a) b))
37.0ms
(+ (+ c a) b)

series226.0ms

Calls
4 calls:
Slowest
104.0ms
(* (exp d) (* (exp e) (exp (+ (+ c a) b))))
72.0ms
(* (exp e) (exp (+ (+ c a) b)))
28.0ms
(+ (+ c a) b)
22.0ms
(exp (+ (+ c a) b))

simplify3.9s

Calls
57 calls:
Slowest
302.0ms
(+ d (+ e (+ (+ c a) b)))
298.0ms
(+ d (+ e (+ (+ c a) b)))
249.0ms
(+ d (+ e (+ (+ c a) b)))
246.0ms
(* (* (* (exp d) (exp d)) (exp d)) (* (* (* (exp e) (exp (+ (+ c a) b))) (* (exp e) (exp (+ (+ c a) b)))) (* (exp e) (exp (+ (+ c a) b)))))
232.0ms
(+ d (+ e (+ (+ c a) b)))

prune1.3s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

regimes326.0ms

Accuracy

0% (0.0b remaining)

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

bsearch6.0ms

end0.0ms

sample1.8s

Algorithm
intervals
Results
978.0ms8000×pre80true
518.0ms8000×body80valid