Details

Time bar (total: 2.2m)

sample43.0ms

Algorithm
intervals
Results
12.0ms193×body80valid
7.0ms25×body1280valid
7.0ms256×pre80true
6.0ms26×body640valid
1.0ms6×body320valid
1.0ms6×body160valid

simplify96.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
95.0ms
(/ (+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0) 2.0)

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 14.8b

localize38.0ms

Local error

Found 2 expressions with local error:

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

rewrite146.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--
Counts
2 → 67
Calls
2 calls:
Slowest
111.0ms
(+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)
34.0ms
(/ (- beta alpha) (+ (+ alpha beta) 2.0))

series148.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
85.0ms
(/ (- beta alpha) (+ (+ alpha beta) 2.0))
63.0ms
(+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)

simplify3.2s

Counts
74 → 73
Calls
74 calls:
Slowest
312.0ms
(+ (* (+ alpha beta) (+ alpha beta)) (- (* 2.0 2.0) (* (+ alpha beta) 2.0)))
214.0ms
(/ (* (* (- beta alpha) (- beta alpha)) (- beta alpha)) (* (* (+ (+ alpha beta) 2.0) (+ (+ alpha beta) 2.0)) (+ (+ alpha beta) 2.0)))
178.0ms
(- (+ (* 4.0 (/ 1 (pow beta 2))) 2.0) (* 2.0 (/ 1 beta)))
163.0ms
(- (+ (* 4.0 (/ 1 (pow beta 2))) 1) (* 2.0 (/ 1 beta)))
140.0ms
(- (+ (* 4.0 (/ 1 (pow beta 2))) 1) (* 2.0 (/ 1 beta)))

prune614.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 14.2b

localize40.0ms

Local error

Found 4 expressions with local error:

1.5b
(- (/ 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))

rewrite546.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-
Counts
4 → 115
Calls
4 calls:
Slowest
365.0ms
(- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))
98.0ms
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
43.0ms
(/ alpha (+ (+ alpha beta) 2.0))
39.0ms
(/ beta (+ (+ alpha beta) 2.0))

series346.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
103.0ms
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
83.0ms
(/ beta (+ (+ alpha beta) 2.0))
81.0ms
(/ alpha (+ (+ alpha beta) 2.0))
79.0ms
(- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))

simplify5.9s

Counts
114 → 127
Calls
114 calls:
Slowest
310.0ms
(- (* 0.5 beta) (+ (* 0.25 (pow beta 2)) (* 0.25 (* beta alpha))))
304.0ms
(* (+ (+ alpha beta) 2.0) (+ (/ alpha (+ (+ alpha beta) 2.0)) 1.0))
292.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))))
282.0ms
(- (* 0.5 alpha) (+ (* 0.25 (pow alpha 2)) (* 0.25 (* beta alpha))))
255.0ms
(/ (* (* alpha alpha) alpha) (* (* (+ (+ alpha beta) 2.0) (+ (+ alpha beta) 2.0)) (+ (+ alpha beta) 2.0)))

prune1.2s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 2.6b

localize82.0ms

Local error

Found 4 expressions with local error:

1.5b
(- (pow (/ alpha (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3))
0.1b
(pow (/ alpha (+ (+ alpha beta) 2.0)) 3)
0.1b
(* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0)))
0.0b
(/ beta (+ (+ alpha beta) 2.0))

rewrite487.0ms

Algorithm
rewrite-expression-head
Rules
273×*-un-lft-identity
153×times-frac
139×add-sqr-sqrt
102×distribute-lft-out
81×add-cube-cbrt
39×unpow-prod-down cube-prod swap-sqr
24×difference-of-squares
21×add-cbrt-cube associate-*r* associate-*l* add-exp-log
14×associate-/r/
12×pow1
11×sqr-pow
7×flip3-+ flip-+ div-inv
6×cbrt-undiv div-exp add-log-exp
5×associate-/r* distribute-lft-out--
4×prod-exp cbrt-unprod insert-posit16 unswap-sqr
3×pow-unpow associate-/l*
2×pow-exp rem-cube-cbrt
1×cube-div pow2 cube-mult frac-times pow-to-exp difference-cubes clear-num sub-neg pow-pow frac-2neg pow-plus flip3-- diff-log unpow3 pow-prod-down associate-*l/ associate-*r/ pow-sqr *-commutative pow-prod-up flip--
Counts
4 → 254
Calls
4 calls:
Slowest
296.0ms
(- (pow (/ alpha (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3))
128.0ms
(* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0)))
34.0ms
(/ beta (+ (+ alpha beta) 2.0))
22.0ms
(pow (/ alpha (+ (+ alpha beta) 2.0)) 3)

series478.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
149.0ms
(- (pow (/ alpha (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3))
132.0ms
(pow (/ alpha (+ (+ alpha beta) 2.0)) 3)
108.0ms
(* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0)))
88.0ms
(/ beta (+ (+ alpha beta) 2.0))

simplify43.8s

Counts
307 → 266
Calls
307 calls:
Slowest
817.0ms
(+ (pow (sqrt (/ alpha (+ (+ alpha beta) 2.0))) 3) (sqrt (pow 1.0 3)))
727.0ms
(* (/ alpha (+ (+ alpha beta) 2.0)) (/ alpha (+ (+ alpha beta) 2.0)))
568.0ms
(pow (/ 1 (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) 3)
540.0ms
(pow (/ (* (cbrt alpha) (cbrt alpha)) 1) 3)
534.0ms
(- (pow (sqrt (/ alpha (+ (+ alpha beta) 2.0))) 3) (sqrt (pow 1.0 3)))

prune4.0s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 2.6b

localize71.0ms

Local error

Found 4 expressions with local error:

1.5b
(- (pow (/ alpha (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3))
1.5b
(- (pow (/ alpha (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3))
1.5b
(- (pow (/ alpha (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3))
0.1b
(pow (/ alpha (+ (+ alpha beta) 2.0)) 3)

rewrite813.0ms

Algorithm
rewrite-expression-head
Rules
161×add-sqr-sqrt
83×*-un-lft-identity
75×unpow-prod-down cube-prod
72×difference-of-squares
54×times-frac
31×sqr-pow
23×add-cube-cbrt
18×distribute-lft-out
15×distribute-lft-out--
10×add-log-exp
7×add-cbrt-cube add-exp-log
5×pow1
4×associate-/r/ insert-posit16
3×difference-cubes pow-unpow sub-neg flip3-- diff-log flip--
2×flip3-+ pow-exp flip-+ div-inv rem-cube-cbrt
1×cube-div cube-mult pow-to-exp cbrt-undiv pow-pow unpow3 div-exp
Counts
4 → 192
Calls
4 calls:
Slowest
277.0ms
(- (pow (/ alpha (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3))
273.0ms
(- (pow (/ alpha (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3))
237.0ms
(- (pow (/ alpha (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3))
21.0ms
(pow (/ alpha (+ (+ alpha beta) 2.0)) 3)

series532.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
154.0ms
(- (pow (/ alpha (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3))
140.0ms
(- (pow (/ alpha (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3))
120.0ms
(- (pow (/ alpha (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3))
119.0ms
(pow (/ alpha (+ (+ alpha beta) 2.0)) 3)

simplify1.0m

Counts
242 → 204
Calls
242 calls:
Slowest
659.0ms
(- (pow (/ alpha (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3))
634.0ms
(+ (sqrt (pow (/ alpha (+ (+ alpha beta) 2.0)) 3)) (pow (sqrt 1.0) 3))
632.0ms
(- (pow (sqrt (/ alpha (+ (+ alpha beta) 2.0))) 3) (sqrt (pow 1.0 3)))
615.0ms
(pow (/ 1 (* (cbrt (+ (+ alpha beta) 2.0)) (cbrt (+ (+ alpha beta) 2.0)))) 3)
595.0ms
(+ (pow (sqrt (/ alpha (+ (+ alpha beta) 2.0))) 3) (sqrt (pow 1.0 3)))

prune3.8s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 2.6b

regimes166.0ms

Accuracy

75.5% (3.1b remaining)

Error of 6.0b against oracle of 2.9b and baseline of 15.7b

bsearch125.0ms

end0.0ms

sample2.3s

Algorithm
intervals
Results
742.0ms8000×pre80true
513.0ms5852×body80valid
400.0ms865×body1280valid
339.0ms715×body640valid
116.0ms365×body320valid
37.0ms203×body160valid