Details

Time bar (total: 28.7s)

sample83.0ms

Algorithm
intervals
Results
22.0ms186×body80valid
16.0ms28×body1280valid
12.0ms256×pre80true
9.0ms18×body640valid
5.0ms15×body320valid
2.0ms9×body160valid

simplify633.0ms

Counts
1 → 1

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 15.8b

localize21.0ms

Local error

Found 3 expressions with local error:

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

rewrite154.0ms

Algorithm
rewrite-expression-head
Rules
64×*-un-lft-identity
27×add-sqr-sqrt
25×times-frac
22×distribute-lft-out
15×add-cube-cbrt
10×add-log-exp
6×distribute-lft-out-- difference-of-squares
5×associate-/r* add-cbrt-cube add-exp-log associate-/l*
4×sum-log
3×pow1 flip3-+ flip-+ insert-posit16
2×+-commutative div-sub associate-/r/ associate-/l/
1×cbrt-undiv associate-+l+ clear-num frac-2neg flip3-- div-exp associate-+l- div-inv flip--
Counts
3 → 83
Calls
3 calls:
Slowest
105.0ms
(+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)
30.0ms
(/ (- beta alpha) (+ (+ alpha beta) 2.0))
18.0ms
(+ (+ alpha beta) 2.0)

series167.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
102.0ms
(+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)
51.0ms
(/ (- beta alpha) (+ (+ alpha beta) 2.0))
14.0ms
(+ (+ alpha beta) 2.0)

simplify1.4s

Counts
92 → 92

prune1.0s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 15.2b

localize34.0ms

Local error

Found 4 expressions with local error:

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

rewrite641.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
387.0ms
(- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))
165.0ms
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
43.0ms
(/ beta (+ (+ alpha beta) 2.0))
43.0ms
(/ alpha (+ (+ alpha beta) 2.0))

series345.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
100.0ms
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
89.0ms
(- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))
83.0ms
(/ alpha (+ (+ alpha beta) 2.0))
74.0ms
(/ beta (+ (+ alpha beta) 2.0))

simplify2.0s

Counts
127 → 127

prune1.5s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 2.2b

localize128.0ms

Local error

Found 4 expressions with local error:

2.1b
(- (* (* (/ 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
(/ (- (* (+ (* (/ alpha (+ 2.0 (+ beta alpha))) (+ (/ alpha (+ 2.0 (+ beta alpha))) 1.0)) (* 1.0 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)) (+ (* (/ 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))))

rewrite918.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
459.0ms
(/ (- (* (+ (* (/ alpha (+ 2.0 (+ beta alpha))) (+ (/ alpha (+ 2.0 (+ beta alpha))) 1.0)) (* 1.0 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)) (+ (* (/ alpha (+ 2.0 (+ beta alpha))) (+ (/ alpha (+ 2.0 (+ beta alpha))) 1.0)) (* 1.0 1.0))))
179.0ms
(* (* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha)))) (/ alpha (+ 2.0 (+ beta alpha))))
149.0ms
(- (* (* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha)))) (/ alpha (+ 2.0 (+ beta alpha)))) (* (* 1.0 1.0) 1.0))
121.0ms
(* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha))))

series840.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
469.0ms
(/ (- (* (+ (* (/ alpha (+ 2.0 (+ beta alpha))) (+ (/ alpha (+ 2.0 (+ beta alpha))) 1.0)) (* 1.0 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)) (+ (* (/ alpha (+ 2.0 (+ beta alpha))) (+ (/ alpha (+ 2.0 (+ beta alpha))) 1.0)) (* 1.0 1.0))))
159.0ms
(- (* (* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha)))) (/ alpha (+ 2.0 (+ beta alpha)))) (* (* 1.0 1.0) 1.0))
130.0ms
(* (* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha)))) (/ alpha (+ 2.0 (+ beta alpha))))
83.0ms
(* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha))))

simplify989.0ms

Counts
256 → 256

prune4.8s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 2.2b

localize71.0ms

Local error

Found 4 expressions with local error:

2.1b
(- (/ (* (* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha)))) alpha) (+ 2.0 (+ beta alpha))) (* (* 1.0 1.0) 1.0))
0.3b
(* (* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha)))) alpha)
0.1b
(/ (- (* (+ (* (/ alpha (+ 2.0 (+ beta alpha))) (+ (/ alpha (+ 2.0 (+ beta alpha))) 1.0)) (* 1.0 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)) (+ (* (/ 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))))

rewrite972.0ms

Algorithm
rewrite-expression-head
Rules
187×*-un-lft-identity
103×times-frac
72×distribute-lft-out
68×add-sqr-sqrt
55×add-cube-cbrt
39×add-cbrt-cube swap-sqr add-exp-log
27×associate-*l/
24×flip3-+ associate-*r* flip-+
22×associate-*l*
18×associate-/l/
16×pow1 associate-/r/ frac-sub
14×frac-times prod-exp cbrt-unprod
10×cbrt-undiv div-exp
8×flip3-- associate-*r/ flip--
6×add-log-exp
5×div-inv unswap-sqr
4×pow-prod-down insert-posit16
3×associate-/l*
2×*-commutative
1×pow2 clear-num associate-/r* sub-neg frac-2neg pow-plus diff-log div-sub pow-sqr pow-prod-up
Counts
4 → 201
Calls
4 calls:
Slowest
503.0ms
(/ (- (* (+ (* (/ alpha (+ 2.0 (+ beta alpha))) (+ (/ alpha (+ 2.0 (+ beta alpha))) 1.0)) (* 1.0 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)) (+ (* (/ alpha (+ 2.0 (+ beta alpha))) (+ (/ alpha (+ 2.0 (+ beta alpha))) 1.0)) (* 1.0 1.0))))
231.0ms
(- (/ (* (* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha)))) alpha) (+ 2.0 (+ beta alpha))) (* (* 1.0 1.0) 1.0))
143.0ms
(* (* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha)))) alpha)
86.0ms
(* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha))))

series842.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
532.0ms
(/ (- (* (+ (* (/ alpha (+ 2.0 (+ beta alpha))) (+ (/ alpha (+ 2.0 (+ beta alpha))) 1.0)) (* 1.0 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)) (+ (* (/ alpha (+ 2.0 (+ beta alpha))) (+ (/ alpha (+ 2.0 (+ beta alpha))) 1.0)) (* 1.0 1.0))))
137.0ms
(- (/ (* (* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha)))) alpha) (+ 2.0 (+ beta alpha))) (* (* 1.0 1.0) 1.0))
93.0ms
(* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha))))
79.0ms
(* (* (/ alpha (+ 2.0 (+ beta alpha))) (/ alpha (+ 2.0 (+ beta alpha)))) alpha)

simplify5.0s

Counts
213 → 213

prune3.8s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 2.2b

regimes179.0ms

Accuracy

77.8% (2.9b remaining)

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

bsearch102.0ms

end0.0ms

sample2.1s

Algorithm
intervals
Results
543.0ms5815×body80valid
533.0ms860×body1280valid
402.0ms8000×pre80true
256.0ms722×body640valid
139.0ms397×body320valid
36.0ms206×body160valid