Details

Time bar (total: 22.6s)

sample60.0ms

Algorithm
intervals
Results
24.0ms256×pre80true
19.0ms256×body80valid

simplify311.0ms

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

prune11.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) b) a)
0.3b
(+ (+ (+ e d) c) b)
0.3b
(+ (+ e d) c)

rewrite545.0ms

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

series142.0ms

Calls
3 calls:
Slowest
79.0ms
(+ (+ (+ (+ e d) c) b) a)
39.0ms
(+ (+ (+ e d) c) b)
23.0ms
(+ (+ e d) c)

simplify2.7s

Calls
30 calls:
Slowest
287.0ms
(+ (+ (+ (+ e d) c) b) a)
263.0ms
(+ (+ (+ (+ e d) c) b) a)
252.0ms
(+ (+ (+ (+ e d) c) b) a)
242.0ms
(+ (+ (+ (+ e d) c) b) a)
228.0ms
(* (* (* (exp e) (exp d)) (exp c)) (exp b))

prune718.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize13.0ms

Local error

Found 3 expressions with local error:

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

rewrite439.0ms

Algorithm
rewrite-expression-head
Rules
31×*-un-lft-identity add-log-exp
19×sum-log distribute-lft-out
14×associate-+l+
9×+-commutative
6×associate-+r+
3×add-sqr-sqrt pow1 flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+ insert-posit16
Calls
3 calls:
Slowest
316.0ms
(+ e (+ (+ (+ d c) b) a))
94.0ms
(+ (+ (+ d c) b) a)
28.0ms
(+ (+ d c) b)

series134.0ms

Calls
3 calls:
Slowest
69.0ms
(+ e (+ (+ (+ d c) b) a))
45.0ms
(+ (+ (+ d c) b) a)
20.0ms
(+ (+ d c) b)

simplify3.3s

Calls
33 calls:
Slowest
690.0ms
(+ e (+ (+ (+ d c) b) a))
298.0ms
(+ e (+ (+ (+ d c) b) a))
263.0ms
(+ e (+ (+ (+ d c) b) a))
257.0ms
(+ e (+ (+ (+ d c) b) a))
209.0ms
(* (exp e) (* (* (* (exp d) (exp c)) (exp b)) (exp a)))

prune804.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize25.0ms

Local error

Found 2 expressions with local error:

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

rewrite107.0ms

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

series101.0ms

Calls
2 calls:
Slowest
74.0ms
(+ (+ e b) (+ (+ d c) a))
27.0ms
(+ (+ d c) a)

simplify4.8s

Calls
33 calls:
Slowest
524.0ms
(+ (* (+ (pow e 3) (pow b 3)) (+ (* (+ d c) (+ d c)) (- (* a a) (* (+ d c) a)))) (* (+ (* e e) (- (* b b) (* e b))) (+ (pow (+ d c) 3) (pow a 3))))
408.0ms
(+ (* (- (* e e) (* b b)) (+ (* (+ d c) (+ d c)) (- (* a a) (* (+ d c) a)))) (* (- e b) (+ (pow (+ d c) 3) (pow a 3))))
313.0ms
(* (+ (* e e) (- (* b b) (* e b))) (- (+ d c) a))
276.0ms
(+ (+ e b) (+ (+ d c) a))
272.0ms
(+ (* (+ (pow e 3) (pow b 3)) (- (+ d c) a)) (* (+ (* e e) (- (* b b) (* e b))) (- (* (+ d c) (+ d c)) (* a a))))

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

rewrite127.0ms

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

series82.0ms

Calls
2 calls:
Slowest
65.0ms
(+ (+ (+ e b) c) (+ d a))
17.0ms
(+ (+ e b) c)

simplify5.3s

Calls
31 calls:
Slowest
577.0ms
(+ (* (+ (pow (+ e b) 3) (pow c 3)) (+ (* d d) (- (* a a) (* d a)))) (* (+ (* (+ e b) (+ e b)) (- (* c c) (* (+ e b) c))) (+ (pow d 3) (pow a 3))))
518.0ms
(* (+ (* (+ e b) (+ e b)) (- (* c c) (* (+ e b) c))) (- d a))
464.0ms
(+ (* (- (* (+ e b) (+ e b)) (* c c)) (+ (* d d) (- (* a a) (* d a)))) (* (- (+ e b) c) (+ (pow d 3) (pow a 3))))
303.0ms
(+ (+ (+ e b) c) (+ d a))
300.0ms
(+ (+ (+ e b) c) (+ d a))

prune625.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

regimes307.0ms

Accuracy

0% (0.2b remaining)

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

bsearch1.0ms

end0.0ms

sample1.4s

Algorithm
intervals
Results
623.0ms8000×pre80true
542.0ms8000×body80valid