Details

Time bar (total: 54.2s)

sample47.0ms

Algorithm
intervals
Results
24.0ms256×body80valid
7.0ms256×pre80true

simplify1.1s

Counts
1 → 1

prune21.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.4b

localize58.0ms

Local error

Found 4 expressions with local error:

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

rewrite840.0ms

Algorithm
rewrite-expression-head
Rules
4332×*-un-lft-identity
2696×times-frac
2173×distribute-lft-out
778×add-sqr-sqrt add-cube-cbrt
166×associate-/l*
102×associate-/r/
53×flip3-+ flip-+
51×div-inv
20×add-cbrt-cube add-exp-log
16×associate-/r*
13×add-log-exp
10×cbrt-undiv div-exp
6×sum-log
4×pow1 insert-posit16 associate-/l/
3×clear-num frac-2neg
1×+-commutative associate-+l+
Counts
4 → 1221
Calls
4 calls:
Slowest
283.0ms
(/ (/ (/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha))) (+ (+ 1.0 (+ beta alpha)) 2))
245.0ms
(/ (/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha)))
166.0ms
(/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha)))
58.0ms
(+ (+ 1.0 (+ beta alpha)) 2)

series504.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
222.0ms
(/ (/ (/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha))) (+ (+ 1.0 (+ beta alpha)) 2))
163.0ms
(/ (/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha)))
102.0ms
(/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha)))
16.0ms
(+ (+ 1.0 (+ beta alpha)) 2)

simplify1.5s

Counts
1233 → 1233

prune17.1s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.1b

localize60.0ms

Local error

Found 4 expressions with local error:

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

rewrite453.0ms

Algorithm
rewrite-expression-head
Rules
194×*-un-lft-identity
160×sqrt-prod
112×times-frac
76×add-sqr-sqrt
74×add-cube-cbrt
68×distribute-lft-out
16×associate-/r*
14×associate-/l*
12×sqrt-div
8×add-cbrt-cube add-exp-log
6×pow1 flip3-+ flip-+
4×associate-/r/ insert-posit16 add-log-exp associate-/l/
2×cbrt-undiv rem-sqrt-square sqrt-undiv clear-num frac-2neg sqrt-pow1 pow1/2 div-exp div-inv
Counts
4 → 212
Calls
4 calls:
Slowest
153.0ms
(/ (sqrt (+ 1.0 (+ (* alpha beta) (+ beta alpha)))) (sqrt (+ 2 (+ beta alpha))))
134.0ms
(/ (sqrt (+ 1.0 (+ (* alpha beta) (+ beta alpha)))) (sqrt (+ 2 (+ beta alpha))))
99.0ms
(sqrt (+ 1.0 (+ (* alpha beta) (+ beta alpha))))
61.0ms
(sqrt (+ 1.0 (+ (* alpha beta) (+ beta alpha))))

series432.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
148.0ms
(/ (sqrt (+ 1.0 (+ (* alpha beta) (+ beta alpha)))) (sqrt (+ 2 (+ beta alpha))))
143.0ms
(/ (sqrt (+ 1.0 (+ (* alpha beta) (+ beta alpha)))) (sqrt (+ 2 (+ beta alpha))))
72.0ms
(sqrt (+ 1.0 (+ (* alpha beta) (+ beta alpha))))
69.0ms
(sqrt (+ 1.0 (+ (* alpha beta) (+ beta alpha))))

simplify1.1s

Counts
224 → 224

prune3.7s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.1b

localize89.0ms

Local error

Found 4 expressions with local error:

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

rewrite968.0ms

Algorithm
rewrite-expression-head
Rules
898×*-un-lft-identity
551×times-frac
409×distribute-lft-out
230×add-sqr-sqrt
200×add-cube-cbrt
136×associate-*l*
54×add-exp-log
34×add-cbrt-cube
33×associate-/l*
32×associate-/r/
24×div-exp associate-*r*
17×flip3-+ flip-+
16×associate-/r* div-inv
14×cbrt-undiv
12×prod-exp
9×unswap-sqr
7×pow1
6×cbrt-unprod
4×rec-exp 1-exp insert-posit16 add-log-exp
3×clear-num frac-2neg associate-/l/
1×frac-times pow-prod-down associate-*l/ associate-*r/ un-div-inv *-commutative pow-flip inv-pow
Counts
4 → 472
Calls
4 calls:
Slowest
434.0ms
(* (/ (/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha))) (/ 1 (+ (+ 1.0 (+ beta alpha)) 2)))
256.0ms
(/ (/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha)))
157.0ms
(/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha)))
96.0ms
(/ 1 (+ (+ 1.0 (+ beta alpha)) 2))

series561.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
208.0ms
(* (/ (/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha))) (/ 1 (+ (+ 1.0 (+ beta alpha)) 2)))
178.0ms
(/ (/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha))) (+ 2 (+ beta alpha)))
122.0ms
(/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha)))
53.0ms
(/ 1 (+ (+ 1.0 (+ beta alpha)) 2))

simplify1.8s

Counts
484 → 484

prune6.8s

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0.1b

localize70.0ms

Local error

Found 4 expressions with local error:

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

rewrite794.0ms

Algorithm
rewrite-expression-head
Rules
1258×*-un-lft-identity
864×times-frac
768×sqrt-prod
528×distribute-lft-out
344×add-sqr-sqrt add-cube-cbrt
66×associate-/l*
44×associate-/r/
26×associate-/r*
24×flip3-+ flip-+
22×div-inv
12×add-cbrt-cube add-exp-log
6×sqrt-div associate-/l/
4×pow1 cbrt-undiv clear-num frac-2neg div-exp insert-posit16 add-log-exp
2×sqrt-undiv
Counts
4 → 664
Calls
4 calls:
Slowest
221.0ms
(/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha)))
197.0ms
(/ (sqrt (/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha)))) (sqrt (+ 2 (+ beta alpha))))
178.0ms
(/ (sqrt (/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha)))) (sqrt (+ 2 (+ beta alpha))))
176.0ms
(/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha)))

series810.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
280.0ms
(/ (sqrt (/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha)))) (sqrt (+ 2 (+ beta alpha))))
269.0ms
(/ (sqrt (/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha)))) (sqrt (+ 2 (+ beta alpha))))
138.0ms
(/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha)))
123.0ms
(/ (+ 1.0 (+ (* alpha beta) (+ beta alpha))) (+ 2 (+ beta alpha)))

simplify1.4s

Counts
676 → 676

prune12.0s

Pruning

8 alts after pruning (4 fresh and 4 done)

Merged error: 0.1b

regimes193.0ms

Accuracy

58% (1.1b remaining)

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

bsearch95.0ms

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.2s8000×body80valid
379.0ms8000×pre80true