Details

Time bar (total: 1.8m)

sample57.0ms

Algorithm
intervals
Results
32.0ms256×body80valid
9.0ms256×pre80true

simplify1.4s

Counts
1 → 1

prune22.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.4b

localize82.0ms

Local error

Found 4 expressions with local error:

2.2b
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
0.1b
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
0.0b
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1)))
0.0b
(+ (+ alpha beta) (* beta alpha))

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
804×times-frac
587×*-un-lft-identity
341×add-sqr-sqrt add-cube-cbrt
123×distribute-lft-out
82×associate-/l*
54×associate-/r/
29×flip3-+ flip-+
27×div-inv
20×add-cbrt-cube add-exp-log
10×cbrt-undiv associate-/r* div-exp
9×add-log-exp
4×expm1-log1p-u pow1 fma-def insert-posit16 log1p-expm1-u associate-/l/
3×clear-num sum-log frac-2neg
1×+-commutative associate-+l+
Counts
4 → 479
Calls
4 calls:
Slowest
453.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
324.0ms
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1)))
314.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
47.0ms
(+ (+ alpha beta) (* beta alpha))

series563.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
218.0ms
(/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
178.0ms
(/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1)))
139.0ms
(/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2 1)))
28.0ms
(+ (+ alpha beta) (* beta alpha))

simplify959.0ms

Counts
491 → 491

prune7.3s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize73.0ms

Local error

Found 4 expressions with local error:

2.2b
(/ (+ (+ (* beta alpha) (+ alpha beta)) 1.0) (+ (+ alpha beta) (* 2 1)))
0.1b
(/ (/ (/ (+ (+ (* beta alpha) (+ alpha beta)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
0.0b
(/ (/ (+ (+ (* beta alpha) (+ alpha beta)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1)))
0.0b
(+ (* beta alpha) (+ alpha beta))

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
804×times-frac
584×*-un-lft-identity
340×add-sqr-sqrt add-cube-cbrt
122×distribute-lft-out
82×associate-/l*
54×associate-/r/
29×flip3-+ flip-+
27×div-inv
20×add-cbrt-cube add-exp-log
10×cbrt-undiv associate-/r* div-exp
9×add-log-exp
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u associate-/l/
3×clear-num sum-log frac-2neg
1×+-commutative associate-+r+ fma-def
Counts
4 → 476
Calls
4 calls:
Slowest
456.0ms
(/ (/ (/ (+ (+ (* beta alpha) (+ alpha beta)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
315.0ms
(/ (/ (+ (+ (* beta alpha) (+ alpha beta)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1)))
242.0ms
(/ (+ (+ (* beta alpha) (+ alpha beta)) 1.0) (+ (+ alpha beta) (* 2 1)))
21.0ms
(+ (* beta alpha) (+ alpha beta))

series642.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
267.0ms
(/ (/ (/ (+ (+ (* beta alpha) (+ alpha beta)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
236.0ms
(/ (/ (+ (+ (* beta alpha) (+ alpha beta)) 1.0) (+ (+ alpha beta) (* 2 1))) (+ (+ alpha beta) (* 2 1)))
118.0ms
(/ (+ (+ (* beta alpha) (+ alpha beta)) 1.0) (+ (+ alpha beta) (* 2 1)))
21.0ms
(+ (* beta alpha) (+ alpha beta))

simplify842.0ms

Counts
488 → 488

prune7.0s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.1b

localize72.0ms

Local error

Found 4 expressions with local error:

2.2b
(sqrt (+ (+ (* beta alpha) (+ alpha beta)) 1.0))
2.2b
(sqrt (+ (+ (* beta alpha) (+ alpha beta)) 1.0))
0.3b
(/ (+ (+ alpha beta) (* 2 1)) (sqrt (+ (+ (* beta alpha) (+ alpha beta)) 1.0)))
0.1b
(/ (/ (/ (sqrt (+ (+ (* beta alpha) (+ alpha beta)) 1.0)) (/ (+ (+ alpha beta) (* 2 1)) (sqrt (+ (+ (* beta alpha) (+ alpha beta)) 1.0)))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
10323×times-frac
6511×*-un-lft-identity
3887×add-sqr-sqrt
3881×add-cube-cbrt
2904×sqrt-prod
1315×distribute-lft-out
591×associate-/l*
239×associate-/r/
216×sqrt-div
127×div-inv
115×flip3-+ flip-+
20×add-cbrt-cube add-exp-log
11×cbrt-undiv associate-/r* div-exp
6×pow1
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×associate-/l/
2×rem-sqrt-square clear-num frac-2neg sqrt-pow1 pow1/2 hypot-def
Counts
4 → 3058
Calls
4 calls:
Slowest
507.0ms
(/ (/ (/ (sqrt (+ (+ (* beta alpha) (+ alpha beta)) 1.0)) (/ (+ (+ alpha beta) (* 2 1)) (sqrt (+ (+ (* beta alpha) (+ alpha beta)) 1.0)))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
219.0ms
(/ (+ (+ alpha beta) (* 2 1)) (sqrt (+ (+ (* beta alpha) (+ alpha beta)) 1.0)))
111.0ms
(sqrt (+ (+ (* beta alpha) (+ alpha beta)) 1.0))
88.0ms
(sqrt (+ (+ (* beta alpha) (+ alpha beta)) 1.0))

series811.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
389.0ms
(/ (+ (+ alpha beta) (* 2 1)) (sqrt (+ (+ (* beta alpha) (+ alpha beta)) 1.0)))
236.0ms
(/ (/ (/ (sqrt (+ (+ (* beta alpha) (+ alpha beta)) 1.0)) (/ (+ (+ alpha beta) (* 2 1)) (sqrt (+ (+ (* beta alpha) (+ alpha beta)) 1.0)))) (+ (+ alpha beta) (* 2 1))) (+ (+ (+ alpha beta) (* 2 1)) 1.0))
110.0ms
(sqrt (+ (+ (* beta alpha) (+ alpha beta)) 1.0))
75.0ms
(sqrt (+ (+ (* beta alpha) (+ alpha beta)) 1.0))

simplify8.3s

Counts
3070 → 3070

prune1.0m

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.1b

localize69.0ms

Local error

Found 4 expressions with local error:

2.2b
(/ (+ (+ (* beta alpha) (+ alpha beta)) 1.0) (+ (+ alpha beta) (* 2 1)))
2.2b
(/ (+ (+ (* beta alpha) (+ alpha beta)) 1.0) (+ (+ alpha beta) (* 2 1)))
0.2b
(/ (sqrt (/ (+ (+ (* beta alpha) (+ alpha beta)) 1.0) (+ (+ alpha beta) (* 2 1)))) (sqrt (+ (+ alpha beta) (* 2 1))))
0.2b
(/ (sqrt (/ (+ (+ (* beta alpha) (+ alpha beta)) 1.0) (+ (+ alpha beta) (* 2 1)))) (sqrt (+ (+ alpha beta) (* 2 1))))

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
444×times-frac
384×sqrt-prod
336×*-un-lft-identity
236×add-sqr-sqrt add-cube-cbrt
50×distribute-lft-out associate-/l*
36×associate-/r/
20×flip3-+ flip-+
18×associate-/r* div-inv
12×add-cbrt-cube add-exp-log
6×sqrt-div associate-/l/
4×expm1-log1p-u pow1 cbrt-undiv clear-num frac-2neg div-exp insert-posit16 log1p-expm1-u add-log-exp
2×sqrt-undiv
Counts
4 → 420
Calls
4 calls:
Slowest
274.0ms
(/ (+ (+ (* beta alpha) (+ alpha beta)) 1.0) (+ (+ alpha beta) (* 2 1)))
266.0ms
(/ (+ (+ (* beta alpha) (+ alpha beta)) 1.0) (+ (+ alpha beta) (* 2 1)))
263.0ms
(/ (sqrt (/ (+ (+ (* beta alpha) (+ alpha beta)) 1.0) (+ (+ alpha beta) (* 2 1)))) (sqrt (+ (+ alpha beta) (* 2 1))))
250.0ms
(/ (sqrt (/ (+ (+ (* beta alpha) (+ alpha beta)) 1.0) (+ (+ alpha beta) (* 2 1)))) (sqrt (+ (+ alpha beta) (* 2 1))))

series808.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
293.0ms
(/ (sqrt (/ (+ (+ (* beta alpha) (+ alpha beta)) 1.0) (+ (+ alpha beta) (* 2 1)))) (sqrt (+ (+ alpha beta) (* 2 1))))
283.0ms
(/ (sqrt (/ (+ (+ (* beta alpha) (+ alpha beta)) 1.0) (+ (+ alpha beta) (* 2 1)))) (sqrt (+ (+ alpha beta) (* 2 1))))
128.0ms
(/ (+ (+ (* beta alpha) (+ alpha beta)) 1.0) (+ (+ alpha beta) (* 2 1)))
103.0ms
(/ (+ (+ (* beta alpha) (+ alpha beta)) 1.0) (+ (+ alpha beta) (* 2 1)))

simplify1.1s

Counts
432 → 432

prune8.2s

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0.1b

regimes202.0ms

Accuracy

57.7% (1.1b remaining)

Error of 2.1b against oracle of 1.0b and baseline of 3.6b

bsearch107.0ms

end0.0ms

sample2.2s

Algorithm
intervals
Results
1.7s8000×body80valid
309.0ms8000×pre80true