Details

Time bar (total: 1.0m)

sample53.0ms

Algorithm
intervals
Results
12.0ms181×body80valid
8.0ms32×body640valid
8.0ms22×body1280valid
7.0ms256×pre80true
4.0ms8×body160valid
3.0ms13×body320valid

simplify112.0ms

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

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 17.7b

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

rewrite220.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
149.0ms
(+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)
37.0ms
(+ (+ alpha beta) 2.0)
31.0ms
(/ (- beta alpha) (+ (+ alpha beta) 2.0))

series148.0ms

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

simplify7.5s

Counts
121 → 92
Calls
121 calls:
Slowest
598.0ms
(* (* (+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0) (+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)) (+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0))
384.0ms
(+ (pow (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 3) (pow 1.0 3))
246.0ms
(+ (* (+ alpha beta) (+ alpha beta)) (- (* 2.0 2.0) (* (+ alpha beta) 2.0)))
241.0ms
(/ (* (* (- beta alpha) (- beta alpha)) (- beta alpha)) (* (* (+ (+ alpha beta) 2.0) (+ (+ alpha beta) 2.0)) (+ (+ alpha beta) 2.0)))
239.0ms
(+ (* (/ (- beta alpha) (+ (+ alpha beta) 2.0)) (/ (- beta alpha) (+ (+ alpha beta) 2.0))) (- (* 1.0 1.0) (* (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)))

prune954.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 16.8b

localize38.0ms

Local error

Found 4 expressions with local error:

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

rewrite543.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
331.0ms
(- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))
145.0ms
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
41.0ms
(/ alpha (+ (+ alpha beta) 2.0))
23.0ms
(/ beta (+ (+ alpha beta) 2.0))

series302.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
96.0ms
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
91.0ms
(- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))
64.0ms
(/ beta (+ (+ alpha beta) 2.0))
51.0ms
(/ alpha (+ (+ alpha beta) 2.0))

simplify11.4s

Counts
169 → 127
Calls
169 calls:
Slowest
583.0ms
(- (* (/ beta (+ (+ alpha beta) 2.0)) (/ beta (+ (+ alpha beta) 2.0))) (* (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))
565.0ms
(* (* (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))
565.0ms
(* (* (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))) (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))
380.0ms
(- (* 0.5 alpha) (+ (* 0.25 (pow alpha 2)) (* 0.25 (* beta alpha))))
374.0ms
(- (pow (/ beta (+ (+ alpha beta) 2.0)) 3) (pow (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) 3))

prune1.2s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 3.4b

localize26.0ms

Local error

Found 4 expressions with local error:

9.1b
(log (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))
2.2b
(- (/ 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
(/ alpha (+ (+ alpha beta) 2.0))

rewrite739.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
Counts
4 → 99
Calls
4 calls:
Slowest
257.0ms
(exp (log (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))))
249.0ms
(log (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))
185.0ms
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
45.0ms
(/ alpha (+ (+ alpha beta) 2.0))

series498.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
170.0ms
(log (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))
133.0ms
(- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)
108.0ms
(exp (log (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))))
87.0ms
(/ alpha (+ (+ alpha beta) 2.0))

simplify12.9s

Counts
151 → 111
Calls
151 calls:
Slowest
554.0ms
(* (* (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))
540.0ms
(* (* (exp (log (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))) (exp (log (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0))))) (exp (log (- (/ beta (+ (+ alpha beta) 2.0)) (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0)))))
537.0ms
(log (- (pow (/ beta (+ (+ alpha beta) 2.0)) 3) (pow (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) 3)))
496.0ms
(exp (log (- (pow (/ beta (+ (+ alpha beta) 2.0)) 3) (pow (- (/ alpha (+ (+ alpha beta) 2.0)) 1.0) 3))))
371.0ms
(- (* 0.5 alpha) (+ (* 0.25 (pow alpha 2)) (* 0.25 (* beta alpha))))

prune1.1s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 3.4b

localize87.0ms

Local error

Found 4 expressions with local error:

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

rewrite408.0ms

Algorithm
rewrite-expression-head
Rules
66×*-un-lft-identity
32×times-frac
29×add-sqr-sqrt
24×add-cube-cbrt distribute-lft-out
20×add-cbrt-cube add-exp-log
12×associate-/r/
11×associate-/r* flip3-+ flip-+
8×frac-times associate-/l/
7×associate-/l*
6×cbrt-undiv div-exp add-log-exp
4×pow1 flip3-- associate-*l/ prod-exp associate-*r/ cbrt-unprod insert-posit16 flip--
3×clear-num frac-2neg div-inv
2×difference-of-squares
1×sub-neg diff-log distribute-lft-out--
Counts
4 → 130
Calls
4 calls:
Slowest
222.0ms
(/ (* (+ (/ alpha (+ 2.0 (+ alpha beta))) 1.0) (- beta (* (- (/ alpha (+ 2.0 (+ alpha beta))) 1.0) (+ 2.0 (+ alpha beta))))) (* (+ (/ alpha (+ 2.0 (+ beta alpha))) 1.0) (+ 2.0 (+ beta alpha))))
146.0ms
(- (/ alpha (+ 2.0 (+ alpha beta))) 1.0)
19.0ms
(/ alpha (+ 2.0 (+ alpha beta)))
19.0ms
(/ alpha (+ 2.0 (+ beta alpha)))

series519.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
274.0ms
(/ (* (+ (/ alpha (+ 2.0 (+ alpha beta))) 1.0) (- beta (* (- (/ alpha (+ 2.0 (+ alpha beta))) 1.0) (+ 2.0 (+ alpha beta))))) (* (+ (/ alpha (+ 2.0 (+ beta alpha))) 1.0) (+ 2.0 (+ beta alpha))))
120.0ms
(- (/ alpha (+ 2.0 (+ alpha beta))) 1.0)
67.0ms
(/ alpha (+ 2.0 (+ alpha beta)))
58.0ms
(/ alpha (+ 2.0 (+ beta alpha)))

simplify19.1s

Counts
180 → 142
Calls
180 calls:
Slowest
1.3s
(* (* (+ (/ alpha (+ 2.0 (+ beta alpha))) 1.0) (+ 2.0 (+ beta alpha))) (+ (* beta beta) (+ (* (* (- (/ alpha (+ 2.0 (+ alpha beta))) 1.0) (+ 2.0 (+ alpha beta))) (* (- (/ alpha (+ 2.0 (+ alpha beta))) 1.0) (+ 2.0 (+ alpha beta)))) (* beta (* (- (/ alpha (+ 2.0 (+ alpha beta))) 1.0) (+ 2.0 (+ alpha beta)))))))
659.0ms
(* (* (+ (/ alpha (+ 2.0 (+ beta alpha))) 1.0) (+ 2.0 (+ beta alpha))) (* (+ (* (/ alpha (+ 2.0 (+ alpha beta))) (/ alpha (+ 2.0 (+ alpha beta)))) (- (* 1.0 1.0) (* (/ alpha (+ 2.0 (+ alpha beta))) 1.0))) (+ beta (* (- (/ alpha (+ 2.0 (+ alpha beta))) 1.0) (+ 2.0 (+ alpha beta))))))
647.0ms
(* (* (/ (* (+ (/ alpha (+ 2.0 (+ alpha beta))) 1.0) (- beta (* (- (/ alpha (+ 2.0 (+ alpha beta))) 1.0) (+ 2.0 (+ alpha beta))))) (* (+ (/ alpha (+ 2.0 (+ beta alpha))) 1.0) (+ 2.0 (+ beta alpha)))) (/ (* (+ (/ alpha (+ 2.0 (+ alpha beta))) 1.0) (- beta (* (- (/ alpha (+ 2.0 (+ alpha beta))) 1.0) (+ 2.0 (+ alpha beta))))) (* (+ (/ alpha (+ 2.0 (+ beta alpha))) 1.0) (+ 2.0 (+ beta alpha))))) (/ (* (+ (/ alpha (+ 2.0 (+ alpha beta))) 1.0) (- beta (* (- (/ alpha (+ 2.0 (+ alpha beta))) 1.0) (+ 2.0 (+ alpha beta))))) (* (+ (/ alpha (+ 2.0 (+ beta alpha))) 1.0) (+ 2.0 (+ beta alpha)))))
536.0ms
(* (* (- (/ alpha (+ 2.0 (+ alpha beta))) 1.0) (- (/ alpha (+ 2.0 (+ alpha beta))) 1.0)) (- (/ alpha (+ 2.0 (+ alpha beta))) 1.0))
473.0ms
(/ (* (+ (/ alpha (+ 2.0 (+ alpha beta))) 1.0) (- beta (* (- (/ alpha (+ 2.0 (+ alpha beta))) 1.0) (+ 2.0 (+ alpha beta))))) (* (+ (pow (/ alpha (+ 2.0 (+ beta alpha))) 3) (pow 1.0 3)) (+ (pow 2.0 3) (pow (+ beta alpha) 3))))

prune1.7s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.7b

regimes169.0ms

Accuracy

81% (2.7b remaining)

Error of 3.3b against oracle of 0.6b and baseline of 14.7b

bsearch19.0ms

end0.0ms

sample2.0s

Algorithm
intervals
Results
683.0ms5792×body80valid
393.0ms874×body1280valid
324.0ms8000×pre80true
234.0ms730×body640valid
99.0ms402×body320valid
64.0ms202×body160valid