Details

Time bar (total: 32.0s)

sample52.0ms

Algorithm
intervals
Results
18.0ms195×body80valid
7.0ms256×pre80true
7.0ms21×body1280valid
5.0ms19×body640valid
2.0ms12×body320valid
1.0ms9×body160valid

simplify94.0ms

Calls
1 calls:
Slowest
94.0ms
(/ (+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0) 2.0)

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.8b

localize15.0ms

Local error

Found 2 expressions with local error:

2.3b
(+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)
0.0b
(/ (- beta alpha) (+ (+ alpha beta) 2.0))

rewrite223.0ms

Algorithm
rewrite-expression-head
Rules
58×*-un-lft-identity
26×add-sqr-sqrt
25×times-frac
19×distribute-lft-out
14×add-cube-cbrt
6×distribute-lft-out-- difference-of-squares
5×associate-/r* associate-/l*
4×add-cbrt-cube add-exp-log add-log-exp
2×pow1 flip3-+ div-sub associate-/r/ flip-+ insert-posit16 associate-/l/
1×cbrt-undiv +-commutative clear-num sum-log frac-2neg flip3-- div-exp associate-+l- div-inv flip--
Calls
2 calls:
Slowest
165.0ms
(+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)
57.0ms
(/ (- beta alpha) (+ (+ alpha beta) 2.0))

series140.0ms

Calls
2 calls:
Slowest
89.0ms
(+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)
50.0ms
(/ (- beta alpha) (+ (+ alpha beta) 2.0))

simplify3.5s

Calls
74 calls:
Slowest
289.0ms
(+ (* (+ alpha beta) (+ alpha beta)) (- (* 2.0 2.0) (* (+ alpha beta) 2.0)))
232.0ms
(/ (* (* (- beta alpha) (- beta alpha)) (- beta alpha)) (* (* (+ (+ alpha beta) 2.0) (+ (+ alpha beta) 2.0)) (+ (+ alpha beta) 2.0)))
198.0ms
(- (+ (* 4.0 (/ 1 (pow beta 2))) 2.0) (* 2.0 (/ 1 beta)))
190.0ms
(- (+ (* 4.0 (/ 1 (pow beta 2))) 1) (* 2.0 (/ 1 beta)))
158.0ms
(- (+ (* 4.0 (/ 1 (pow beta 2))) 2.0) (* 2.0 (/ 1 beta)))

prune704.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 12.9b

localize25.0ms

Local error

Found 4 expressions with local error:

2.3b
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
0.0b
(/ beta (+ (+ alpha beta) 2.0))
0.0b
(/ alpha (+ (+ alpha beta) 2.0))
0.0b
(- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))

rewrite507.0ms

Algorithm
rewrite-expression-head
Rules
71×*-un-lft-identity
34×add-sqr-sqrt
32×times-frac
24×add-cube-cbrt distribute-lft-out
11×add-log-exp
10×associate-/r*
8×add-cbrt-cube add-exp-log
6×associate-/l*
4×pow1 diff-log associate-/r/ insert-posit16 distribute-lft-out-- difference-of-squares
3×sub-neg flip3-- flip--
2×cbrt-undiv clear-num frac-2neg flip3-+ div-exp frac-sub flip-+ div-inv associate--r+
1×associate--r-
Calls
4 calls:
Slowest
288.0ms
(- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))
133.0ms
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
44.0ms
(/ alpha (+ (+ alpha beta) 2.0))
40.0ms
(/ beta (+ (+ alpha beta) 2.0))

series358.0ms

Calls
4 calls:
Slowest
115.0ms
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
99.0ms
(- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))
80.0ms
(/ alpha (+ (+ alpha beta) 2.0))
64.0ms
(/ beta (+ (+ alpha beta) 2.0))

simplify6.0s

Calls
114 calls:
Slowest
354.0ms
(- (* 0.5 alpha) (+ (* 0.25 (pow alpha 2)) (* 0.25 (* beta alpha))))
330.0ms
(- (* 0.5 beta) (+ (* 0.25 (pow beta 2)) (* 0.25 (* beta alpha))))
269.0ms
(+ (* (+ alpha beta) (+ alpha beta)) (- (* 2.0 2.0) (* (+ alpha beta) 2.0)))
256.0ms
(+ (* (+ alpha beta) (+ alpha beta)) (- (* 2.0 2.0) (* (+ alpha beta) 2.0)))
253.0ms
(- (* beta (+ (* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0))) (+ (* 1.0 1.0) (* (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))) (* (+ (+ alpha beta) 2.0) (- (pow (/ alpha (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3))))

prune1.2s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 3.9b

localize44.0ms

Local error

Found 4 expressions with local error:

10.6b
(log (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))
2.3b
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
0.7b
(exp (log (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))))
0.0b
(/ beta (+ (+ alpha beta) 2.0))

rewrite676.0ms

Algorithm
rewrite-expression-head
Rules
49×*-un-lft-identity
32×add-sqr-sqrt
18×times-frac
17×add-cube-cbrt
14×log-prod
12×distribute-lft-out
8×log-div
7×exp-sum add-exp-log distribute-lft-out--
6×pow1 add-cbrt-cube add-log-exp difference-of-squares
5×associate-/r* flip3-- flip--
4×exp-prod exp-diff frac-sub insert-posit16
3×associate-/l*
2×associate-/r/ log-pow
1×cbrt-undiv clear-num sub-neg frac-2neg flip3-+ diff-log div-exp rem-log-exp flip-+ div-inv rem-exp-log
Calls
4 calls:
Slowest
249.0ms
(log (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))
247.0ms
(exp (log (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))))
132.0ms
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
43.0ms
(/ beta (+ (+ alpha beta) 2.0))

series422.0ms

Calls
4 calls:
Slowest
159.0ms
(log (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))
116.0ms
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
97.0ms
(exp (log (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))))
49.0ms
(/ beta (+ (+ alpha beta) 2.0))

simplify6.5s

Calls
87 calls:
Slowest
523.0ms
(exp (log (- (pow (/ beta (+ (+ alpha beta) 2.0)) 3) (pow (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) 3))))
456.0ms
(log (- (pow (/ beta (+ (+ alpha beta) 2.0)) 3) (pow (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) 3)))
363.0ms
(- (* 0.5 beta) (+ (* 0.25 (pow beta 2)) (* 0.25 (* beta alpha))))
267.0ms
(+ (* (+ alpha beta) (+ alpha beta)) (- (* 2.0 2.0) (* (+ alpha beta) 2.0)))
263.0ms
(log (- (* beta (+ (* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0))) (+ (* 1.0 1.0) (* (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))) (* (+ (+ alpha beta) 2.0) (- (pow (/ alpha (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3)))))

prune1.5s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 3.9b

localize54.0ms

Local error

Found 4 expressions with local error:

5.0b
(cbrt (/ beta (+ (+ alpha beta) 2.0)))
5.0b
(cbrt (/ beta (+ (+ alpha beta) 2.0)))
5.0b
(cbrt (/ beta (+ (+ alpha beta) 2.0)))
2.3b
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)

rewrite262.0ms

Algorithm
rewrite-expression-head
Rules
78×*-un-lft-identity
63×cbrt-prod
46×times-frac
36×add-sqr-sqrt
31×add-cube-cbrt
27×distribute-lft-out
6×associate-/r/ add-log-exp
4×pow1 add-cbrt-cube add-exp-log insert-posit16
3×cbrt-div flip3-+ pow1/3 flip-+ div-inv
2×difference-of-squares
1×sub-neg flip3-- diff-log flip-- distribute-lft-out--
Calls
4 calls:
Slowest
189.0ms
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
30.0ms
(cbrt (/ beta (+ (+ alpha beta) 2.0)))
20.0ms
(cbrt (/ beta (+ (+ alpha beta) 2.0)))
20.0ms
(cbrt (/ beta (+ (+ alpha beta) 2.0)))

series718.0ms

Calls
4 calls:
Slowest
217.0ms
(cbrt (/ beta (+ (+ alpha beta) 2.0)))
191.0ms
(cbrt (/ beta (+ (+ alpha beta) 2.0)))
186.0ms
(cbrt (/ beta (+ (+ alpha beta) 2.0)))
124.0ms
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)

simplify4.7s

Calls
84 calls:
Slowest
258.0ms
(- (exp (* 1/3 (+ (log beta) (log 0.5)))) (+ (* 0.16666666666666666 (* beta (exp (* 1/3 (+ (log beta) (log 0.5)))))) (* 0.16666666666666666 (* (exp (* 1/3 (+ (log beta) (log 0.5)))) alpha))))
250.0ms
(- (exp (* 1/3 (+ (log beta) (log 0.5)))) (+ (* 0.16666666666666666 (* beta (exp (* 1/3 (+ (log beta) (log 0.5)))))) (* 0.16666666666666666 (* (exp (* 1/3 (+ (log beta) (log 0.5)))) alpha))))
235.0ms
(- (exp (* 1/3 (+ (log beta) (log 0.5)))) (+ (* 0.16666666666666666 (* beta (exp (* 1/3 (+ (log beta) (log 0.5)))))) (* 0.16666666666666666 (* (exp (* 1/3 (+ (log beta) (log 0.5)))) alpha))))
195.0ms
(- (+ (* 0.8888888888888888 (/ 1 (pow beta 2))) 1) (* 0.6666666666666666 (/ 1 beta)))
192.0ms
(- (* 4.0 (/ 1 (pow alpha 2))) (+ (* 2.0 (/ 1 alpha)) (* 8.0 (/ 1 (pow alpha 3)))))

prune1.5s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 3.9b

regimes265.0ms

Accuracy

77.4% (2.9b remaining)

Error of 5.9b against oracle of 3.0b and baseline of 15.9b

bsearch112.0ms

end0.0ms

sample2.4s

Algorithm
intervals
Results
855.0ms813×body1280valid
607.0ms5850×body80valid
369.0ms8000×pre80true
257.0ms703×body640valid
102.0ms410×body320valid
41.0ms224×body160valid