Details

Time bar (total: 26.8s)

sample62.0ms

Algorithm
intervals
Results
24.0ms256×pre80true
19.0ms256×body80valid

simplify288.0ms

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

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize15.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)

rewrite682.0ms

Algorithm
rewrite-expression-head
Rules
50×*-un-lft-identity
31×add-log-exp
29×distribute-lft-out
20×associate-+l+
19×sum-log
15×fma-def
9×+-commutative
6×add-sqr-sqrt add-cube-cbrt
3×expm1-log1p-u pow1 flip3-+ add-cbrt-cube add-exp-log flip-+ insert-posit16 log1p-expm1-u
Calls
3 calls:
Slowest
519.0ms
(+ (+ (+ (+ e d) c) b) a)
123.0ms
(+ (+ (+ e d) c) b)
37.0ms
(+ (+ e d) c)

series140.0ms

Calls
3 calls:
Slowest
77.0ms
(+ (+ (+ (+ e d) c) b) a)
46.0ms
(+ (+ (+ e d) c) b)
16.0ms
(+ (+ e d) c)

simplify3.1s

Calls
36 calls:
Slowest
286.0ms
(+ (+ (+ (+ e d) c) b) a)
276.0ms
(+ (+ (+ (+ e d) c) b) a)
269.0ms
(+ (+ (+ (+ e d) c) b) a)
253.0ms
(+ (+ (+ (+ e d) c) b) a)
212.0ms
(* (* (* (* (exp e) (exp d)) (exp c)) (exp b)) (exp a))

prune995.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize25.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))

rewrite469.0ms

Algorithm
rewrite-expression-head
Rules
41×*-un-lft-identity
31×add-log-exp
23×distribute-lft-out
19×sum-log
14×associate-+l+
12×fma-def
9×+-commutative
6×add-sqr-sqrt associate-+r+ add-cube-cbrt
3×expm1-log1p-u pow1 flip3-+ add-cbrt-cube add-exp-log flip-+ insert-posit16 log1p-expm1-u
Calls
3 calls:
Slowest
285.0ms
(+ e (+ (+ (+ d c) b) a))
142.0ms
(+ (+ (+ d c) b) a)
39.0ms
(+ (+ d c) b)

series133.0ms

Calls
3 calls:
Slowest
72.0ms
(+ e (+ (+ (+ d c) b) a))
34.0ms
(+ (+ (+ d c) b) a)
27.0ms
(+ (+ d c) b)

simplify2.8s

Calls
39 calls:
Slowest
303.0ms
(+ e (+ (+ (+ d c) b) a))
264.0ms
(+ e (+ (+ (+ d c) b) a))
246.0ms
(+ e (+ (+ (+ d c) b) a))
242.0ms
(+ e (+ (+ (+ d c) b) a))
175.0ms
(* (exp e) (* (* (exp (+ d c)) (exp b)) (exp a)))

prune1.1s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize13.0ms

Local error

Found 2 expressions with local error:

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

rewrite173.0ms

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

series102.0ms

Calls
2 calls:
Slowest
78.0ms
(+ (+ (+ e d) c) (+ b a))
24.0ms
(+ (+ e d) c)

simplify5.6s

Calls
35 calls:
Slowest
637.0ms
(* (+ (* (+ e d) (+ e d)) (- (* c c) (* (+ e d) c))) (+ (* b b) (- (* a a) (* b a))))
509.0ms
(+ (* (- (* (+ e d) (+ e d)) (* c c)) (+ (* b b) (- (* a a) (* b a)))) (* (- (+ e d) c) (+ (pow b 3) (pow a 3))))
499.0ms
(+ (* (+ (pow (+ e d) 3) (pow c 3)) (+ (* b b) (- (* a a) (* b a)))) (* (+ (* (+ e d) (+ e d)) (- (* c c) (* (+ e d) c))) (+ (pow b 3) (pow a 3))))
333.0ms
(+ (+ (+ e d) c) (+ b a))
310.0ms
(+ (+ (+ e d) c) (+ b a))

prune792.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.9s

Algorithm
rewrite-expression-head
Rules
66×*-un-lft-identity
47×add-log-exp
39×distribute-lft-out
32×associate-+l+
29×sum-log
15×fma-def
13×+-commutative
8×add-sqr-sqrt exp-sum add-cube-cbrt
7×exp-prod
5×rem-exp-log
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
3×flip3-+ flip-+
Calls
4 calls:
Slowest
1.1s
(exp (+ (+ (+ (+ c e) d) a) b))
585.0ms
(+ (+ (+ (+ c e) d) a) b)
149.0ms
(+ (+ (+ c e) d) a)
23.0ms
(+ (+ c e) d)

series237.0ms

Calls
4 calls:
Slowest
92.0ms
(+ (+ (+ (+ c e) d) a) b)
66.0ms
(exp (+ (+ (+ (+ c e) d) a) b))
50.0ms
(+ (+ (+ c e) d) a)
28.0ms
(+ (+ c e) d)

simplify4.9s

Calls
59 calls:
Slowest
411.0ms
(exp (* (cbrt (+ (+ (+ (+ c e) d) a) b)) (cbrt (+ (+ (+ (+ c e) d) a) b))))
283.0ms
(+ (+ (+ (+ c e) d) a) b)
282.0ms
(+ (+ (+ (+ c e) d) a) b)
275.0ms
(+ (+ (+ (+ c e) d) a) b)
263.0ms
(exp (sqrt (+ (+ (+ (+ c e) d) a) b)))

prune1.6s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

regimes460.0ms

Accuracy

0% (0.2b remaining)

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

bsearch3.0ms

end0.0ms

sample1.3s

Algorithm
intervals
Results
672.0ms8000×pre80true
420.0ms8000×body80valid