Details

Time bar (total: 25.4s)

sample92.0ms

Algorithm
intervals
Results
32.0ms183×body80valid
13.0ms24×body1280valid
12.0ms256×pre80true
11.0ms26×body640valid
6.0ms17×body320valid
1.0ms6×body160valid

simplify556.0ms

Counts
1 → 1

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 17.1b

localize25.0ms

Local error

Found 2 expressions with local error:

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

rewrite172.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
141.0ms
(+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)
30.0ms
(/ (- beta alpha) (+ (+ alpha beta) 2.0))

series169.0ms

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

simplify1.4s

Counts
73 → 73

prune593.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 16.2b

localize36.0ms

Local error

Found 4 expressions with local error:

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

rewrite566.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
351.0ms
(- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))
153.0ms
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
38.0ms
(/ beta (+ (+ alpha beta) 2.0))
23.0ms
(/ alpha (+ (+ alpha beta) 2.0))

series318.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
99.0ms
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
90.0ms
(- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))
65.0ms
(/ beta (+ (+ alpha beta) 2.0))
65.0ms
(/ alpha (+ (+ alpha beta) 2.0))

simplify1.9s

Counts
127 → 127

prune1.2s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 3.6b

localize63.0ms

Local error

Found 4 expressions with local error:

1.6b
(- (* (* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha)))) (/ alpha (+ 2.0 (+ beta alpha)))) (* (* 1.0 1.0) 1.0))
0.1b
(/ (- (* (+ (* 1.0 1.0) (* (/ alpha (+ 2.0 (+ beta alpha))) (+ (/ alpha (+ 2.0 (+ beta alpha))) 1.0))) beta) (* (- (* (* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha)))) (/ alpha (+ 2.0 (+ beta alpha)))) (* (* 1.0 1.0) 1.0)) (+ 2.0 (+ beta alpha)))) (* (+ 2.0 (+ beta alpha)) (+ (* 1.0 1.0) (* (/ alpha (+ 2.0 (+ beta alpha))) (+ (/ alpha (+ 2.0 (+ beta alpha))) 1.0)))))
0.1b
(* (* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha)))) (/ alpha (+ 2.0 (+ beta alpha))))
0.0b
(* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha))))

rewrite595.0ms

Algorithm
rewrite-expression-head
Rules
210×*-un-lft-identity
119×times-frac
81×distribute-lft-out
78×add-sqr-sqrt
63×add-cube-cbrt
62×add-cbrt-cube add-exp-log
42×associate-*r*
39×swap-sqr
30×pow1
28×associate-*l/
25×flip3-+ flip-+
23×prod-exp cbrt-unprod
22×associate-*l*
19×cbrt-undiv div-exp
18×frac-times associate-/r/ associate-/l/
16×frac-sub
10×associate-*r/
8×flip3-- flip--
7×pow-plus pow-prod-up
6×div-inv add-log-exp unswap-sqr
4×pow-prod-down insert-posit16
3×pow2 pow3 pow-sqr associate-/l*
2×*-commutative
1×difference-cubes clear-num associate-/r* sub-neg frac-2neg diff-log div-sub
Counts
4 → 244
Calls
4 calls:
Slowest
232.0ms
(* (* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha)))) (/ alpha (+ 2.0 (+ beta alpha))))
167.0ms
(- (* (* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha)))) (/ alpha (+ 2.0 (+ beta alpha)))) (* (* 1.0 1.0) 1.0))
103.0ms
(/ (- (* (+ (* 1.0 1.0) (* (/ alpha (+ 2.0 (+ beta alpha))) (+ (/ alpha (+ 2.0 (+ beta alpha))) 1.0))) beta) (* (- (* (* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha)))) (/ alpha (+ 2.0 (+ beta alpha)))) (* (* 1.0 1.0) 1.0)) (+ 2.0 (+ beta alpha)))) (* (+ 2.0 (+ beta alpha)) (+ (* 1.0 1.0) (* (/ alpha (+ 2.0 (+ beta alpha))) (+ (/ alpha (+ 2.0 (+ beta alpha))) 1.0)))))
86.0ms
(* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha))))

series905.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
574.0ms
(/ (- (* (+ (* 1.0 1.0) (* (/ alpha (+ 2.0 (+ beta alpha))) (+ (/ alpha (+ 2.0 (+ beta alpha))) 1.0))) beta) (* (- (* (* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha)))) (/ alpha (+ 2.0 (+ beta alpha)))) (* (* 1.0 1.0) 1.0)) (+ 2.0 (+ beta alpha)))) (* (+ 2.0 (+ beta alpha)) (+ (* 1.0 1.0) (* (/ alpha (+ 2.0 (+ beta alpha))) (+ (/ alpha (+ 2.0 (+ beta alpha))) 1.0)))))
139.0ms
(- (* (* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha)))) (/ alpha (+ 2.0 (+ beta alpha)))) (* (* 1.0 1.0) 1.0))
103.0ms
(* (* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha)))) (/ alpha (+ 2.0 (+ beta alpha))))
89.0ms
(* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha))))

simplify759.0ms

Counts
256 → 256

prune3.7s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 3.6b

localize66.0ms

Local error

Found 4 expressions with local error:

1.6b
(- (* (* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha)))) (/ alpha (+ 2.0 (+ beta alpha)))) (* (* 1.0 1.0) 1.0))
0.1b
(* (* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha)))) (/ alpha (+ 2.0 (+ beta alpha))))
0.1b
(/ (- (* (+ (* 1.0 1.0) (* (/ alpha (+ 2.0 (+ beta alpha))) (+ (/ alpha (+ 2.0 (+ beta alpha))) 1.0))) beta) (* (- (* (* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha)))) (/ alpha (+ 2.0 (+ beta alpha)))) (* (* 1.0 1.0) 1.0)) (+ 2.0 (+ beta alpha)))) (+ 2.0 (+ beta alpha)))
0.1b
(/ (/ (- (* (+ (* 1.0 1.0) (* (/ alpha (+ 2.0 (+ beta alpha))) (+ (/ alpha (+ 2.0 (+ beta alpha))) 1.0))) beta) (* (- (* (* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha)))) (/ alpha (+ 2.0 (+ beta alpha)))) (* (* 1.0 1.0) 1.0)) (+ 2.0 (+ beta alpha)))) (+ 2.0 (+ beta alpha))) (+ (* 1.0 1.0) (* (/ alpha (+ 2.0 (+ beta alpha))) (+ (/ alpha (+ 2.0 (+ beta alpha))) 1.0))))

rewrite521.0ms

Algorithm
rewrite-expression-head
Rules
176×*-un-lft-identity
154×times-frac
84×add-sqr-sqrt
81×add-cube-cbrt
57×distribute-lft-out
52×add-cbrt-cube add-exp-log
25×associate-*l/
24×associate-/l*
23×pow1
21×flip3-+ associate-*r* flip-+
19×associate-/l/
18×prod-exp cbrt-unprod
17×cbrt-undiv div-exp
16×frac-sub
14×associate-/r/
13×frac-times
8×associate-/r* flip3-- flip--
7×associate-*r/ div-inv
6×pow-plus pow-prod-up add-log-exp
4×insert-posit16
3×div-sub pow3 pow-prod-down
2×pow2 clear-num frac-2neg pow-sqr unswap-sqr
1×difference-cubes sub-neg diff-log associate-*l* *-commutative
Counts
4 → 248
Calls
4 calls:
Slowest
196.0ms
(* (* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha)))) (/ alpha (+ 2.0 (+ beta alpha))))
154.0ms
(- (* (* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha)))) (/ alpha (+ 2.0 (+ beta alpha)))) (* (* 1.0 1.0) 1.0))
94.0ms
(/ (- (* (+ (* 1.0 1.0) (* (/ alpha (+ 2.0 (+ beta alpha))) (+ (/ alpha (+ 2.0 (+ beta alpha))) 1.0))) beta) (* (- (* (* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha)))) (/ alpha (+ 2.0 (+ beta alpha)))) (* (* 1.0 1.0) 1.0)) (+ 2.0 (+ beta alpha)))) (+ 2.0 (+ beta alpha)))
68.0ms
(/ (/ (- (* (+ (* 1.0 1.0) (* (/ alpha (+ 2.0 (+ beta alpha))) (+ (/ alpha (+ 2.0 (+ beta alpha))) 1.0))) beta) (* (- (* (* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha)))) (/ alpha (+ 2.0 (+ beta alpha)))) (* (* 1.0 1.0) 1.0)) (+ 2.0 (+ beta alpha)))) (+ 2.0 (+ beta alpha))) (+ (* 1.0 1.0) (* (/ alpha (+ 2.0 (+ beta alpha))) (+ (/ alpha (+ 2.0 (+ beta alpha))) 1.0))))

series1.2s

Counts
4 → 12
Calls
4 calls:
Slowest
507.0ms
(/ (/ (- (* (+ (* 1.0 1.0) (* (/ alpha (+ 2.0 (+ beta alpha))) (+ (/ alpha (+ 2.0 (+ beta alpha))) 1.0))) beta) (* (- (* (* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha)))) (/ alpha (+ 2.0 (+ beta alpha)))) (* (* 1.0 1.0) 1.0)) (+ 2.0 (+ beta alpha)))) (+ 2.0 (+ beta alpha))) (+ (* 1.0 1.0) (* (/ alpha (+ 2.0 (+ beta alpha))) (+ (/ alpha (+ 2.0 (+ beta alpha))) 1.0))))
443.0ms
(/ (- (* (+ (* 1.0 1.0) (* (/ alpha (+ 2.0 (+ beta alpha))) (+ (/ alpha (+ 2.0 (+ beta alpha))) 1.0))) beta) (* (- (* (* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha)))) (/ alpha (+ 2.0 (+ beta alpha)))) (* (* 1.0 1.0) 1.0)) (+ 2.0 (+ beta alpha)))) (+ 2.0 (+ beta alpha)))
153.0ms
(- (* (* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha)))) (/ alpha (+ 2.0 (+ beta alpha)))) (* (* 1.0 1.0) 1.0))
108.0ms
(* (* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha)))) (/ alpha (+ 2.0 (+ beta alpha))))

simplify4.0s

Counts
260 → 260

prune3.7s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 3.6b

regimes609.0ms

Accuracy

72.3% (3.5b remaining)

Error of 6.4b against oracle of 2.9b and baseline of 15.6b

bsearch105.0ms

end0.0ms

sample2.2s

Algorithm
intervals
Results
687.0ms5872×body80valid
429.0ms811×body1280valid
330.0ms8000×pre80true
302.0ms718×body640valid
143.0ms404×body320valid
68.0ms195×body160valid