Details

Time bar (total: 54.5s)

sample186.0ms

Algorithm
intervals
Results
73.0ms236×body80nan
65.0ms256×body80valid

simplify2.6s

Counts
1 → 1

prune27.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.7b

localize80.0ms

Local error

Found 4 expressions with local error:

5.5b
(/ (* z (sqrt (+ t a))) t)
2.0b
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
0.4b
(/ 2.0 (* t 3.0))
0.2b
(* z (sqrt (+ t a)))

rewrite73.0ms

Algorithm
rewrite-expression-head
Rules
20×frac-sub
16×add-cbrt-cube add-exp-log
15×add-sqr-sqrt
13×*-un-lft-identity
11×add-cube-cbrt
9×flip3-- flip--
8×frac-times associate-*r/
7×associate-*r*
6×pow1 times-frac associate--r+ add-log-exp
5×flip3-+ sqrt-prod flip-+
4×cbrt-undiv associate-/r* sqrt-div div-exp insert-posit16 associate-/l*
3×distribute-rgt-in sub-neg distribute-lft-in associate-*l* prod-exp cbrt-unprod
2×clear-num frac-2neg associate-*l/ associate--l+ div-inv unswap-sqr associate-/l/
1×diff-log pow-prod-down *-commutative distribute-lft-out
Counts
4 → 105
Calls
4 calls:
Slowest
29.0ms
(* z (sqrt (+ t a)))
22.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
13.0ms
(/ (* z (sqrt (+ t a))) t)
6.0ms
(/ 2.0 (* t 3.0))

series550.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
304.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
122.0ms
(/ (* z (sqrt (+ t a))) t)
95.0ms
(* z (sqrt (+ t a)))
27.0ms
(/ 2.0 (* t 3.0))

simplify2.2s

Counts
117 → 117

prune2.5s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.3b

localize111.0ms

Local error

Found 4 expressions with local error:

2.0b
(- (/ z (/ t (sqrt (+ t a)))) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
0.6b
(/ z (/ t (sqrt (+ t a))))
0.4b
(/ 2.0 (* t 3.0))
0.3b
(/ t (sqrt (+ t a)))

rewrite117.0ms

Algorithm
rewrite-expression-head
Rules
189×times-frac
138×*-un-lft-identity
106×add-sqr-sqrt add-cube-cbrt
64×sqrt-prod
35×associate-/r*
20×frac-sub
16×add-cbrt-cube add-exp-log distribute-lft-out
11×associate-/r/
10×sqrt-div
9×flip3-- flip-- associate-/l*
8×frac-times flip3-+ flip-+
7×div-inv
6×cbrt-undiv div-exp associate--r+ add-log-exp
4×pow1 associate-*r/ insert-posit16
3×distribute-rgt-in clear-num sub-neg frac-2neg distribute-lft-in
2×associate-*l/ associate--l+
1×diff-log prod-exp cbrt-unprod
Counts
4 → 228
Calls
4 calls:
Slowest
83.0ms
(- (/ z (/ t (sqrt (+ t a)))) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
12.0ms
(/ z (/ t (sqrt (+ t a))))
9.0ms
(/ 2.0 (* t 3.0))
8.0ms
(/ t (sqrt (+ t a)))

series484.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
265.0ms
(- (/ z (/ t (sqrt (+ t a)))) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
107.0ms
(/ z (/ t (sqrt (+ t a))))
93.0ms
(/ t (sqrt (+ t a)))
19.0ms
(/ 2.0 (* t 3.0))

simplify848.0ms

Counts
240 → 240

prune5.4s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.3b

localize146.0ms

Local error

Found 4 expressions with local error:

48.4b
(posit16->real (real->posit16 (- (/ z (/ t (sqrt (+ t a)))) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))))
2.0b
(- (/ z (/ t (sqrt (+ t a)))) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
0.6b
(/ z (/ t (sqrt (+ t a))))
0.4b
(/ 2.0 (* t 3.0))

rewrite112.0ms

Algorithm
rewrite-expression-head
Rules
168×times-frac
114×*-un-lft-identity
90×add-sqr-sqrt add-cube-cbrt
48×sqrt-prod
28×associate-/r*
20×frac-sub
14×add-cbrt-cube add-exp-log
12×distribute-lft-out
9×flip3-- associate-/r/ flip--
8×frac-times sqrt-div
7×flip3-+ flip-+
6×div-inv associate-/l* associate--r+ add-log-exp
5×cbrt-undiv div-exp
4×pow1 associate-*r/ insert-posit16
3×distribute-rgt-in sub-neg distribute-lft-in
2×clear-num frac-2neg associate-*l/ associate--l+
1×diff-log prod-exp cbrt-unprod remove-posit16
Counts
4 → 191
Calls
4 calls:
Slowest
71.0ms
(- (/ z (/ t (sqrt (+ t a)))) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
21.0ms
(/ z (/ t (sqrt (+ t a))))
12.0ms
(/ 2.0 (* t 3.0))
0.0ms
(posit16->real (real->posit16 (- (/ z (/ t (sqrt (+ t a)))) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))))

series728.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
302.0ms
(- (/ z (/ t (sqrt (+ t a)))) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
279.0ms
(posit16->real (real->posit16 (- (/ z (/ t (sqrt (+ t a)))) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))))
115.0ms
(/ z (/ t (sqrt (+ t a))))
31.0ms
(/ 2.0 (* t 3.0))

simplify719.0ms

Counts
203 → 203

prune7.8s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.3b

localize158.0ms

Local error

Found 4 expressions with local error:

28.1b
(/ (- (* z (* (* 3.0 t) (+ (* (/ 5.0 6.0) (- (/ 5.0 6.0) a)) (* a a)))) (* (* (/ t (sqrt (+ t a))) (- b c)) (- (* (* (+ (* a (* a a)) (* (* (/ 5.0 6.0) (/ 5.0 6.0)) (/ 5.0 6.0))) t) 3.0) (* 2.0 (+ (* (/ 5.0 6.0) (- (/ 5.0 6.0) a)) (* a a)))))) (* (* (* 3.0 t) (+ (* (/ 5.0 6.0) (- (/ 5.0 6.0) a)) (* a a))) (/ t (sqrt (+ t a)))))
9.1b
(- (* z (* (* 3.0 t) (+ (* (/ 5.0 6.0) (- (/ 5.0 6.0) a)) (* a a)))) (* (* (/ t (sqrt (+ t a))) (- b c)) (- (* (* (+ (* a (* a a)) (* (* (/ 5.0 6.0) (/ 5.0 6.0)) (/ 5.0 6.0))) t) 3.0) (* 2.0 (+ (* (/ 5.0 6.0) (- (/ 5.0 6.0) a)) (* a a))))))
4.0b
(* (* (/ t (sqrt (+ t a))) (- b c)) (- (* (* (+ (* a (* a a)) (* (* (/ 5.0 6.0) (/ 5.0 6.0)) (/ 5.0 6.0))) t) 3.0) (* 2.0 (+ (* (/ 5.0 6.0) (- (/ 5.0 6.0) a)) (* a a)))))
3.7b
(- (* (* (+ (* a (* a a)) (* (* (/ 5.0 6.0) (/ 5.0 6.0)) (/ 5.0 6.0))) t) 3.0) (* 2.0 (+ (* (/ 5.0 6.0) (- (/ 5.0 6.0) a)) (* a a))))

rewrite2.5s

Algorithm
rewrite-expression-head
Rules
557×associate-*r/
310×associate-*l/
288×frac-sub
222×frac-times
208×flip3-+ flip-+
103×flip3-- flip--
84×associate-/l/
42×add-cbrt-cube add-exp-log
17×prod-exp cbrt-unprod
11×cbrt-undiv div-exp
9×distribute-rgt-in pow1 distribute-lft-in
8×add-log-exp
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×sub-neg associate--r+
5×associate-/r/
4×associate--l+ insert-posit16
3×times-frac associate-*r* pow-prod-down associate-/l*
2×diff-log
1×clear-num associate-/r* frac-2neg div-sub associate-*l* *-commutative div-inv
Counts
4 → 310
Calls
4 calls:
Slowest
820.0ms
(/ (- (* z (* (* 3.0 t) (+ (* (/ 5.0 6.0) (- (/ 5.0 6.0) a)) (* a a)))) (* (* (/ t (sqrt (+ t a))) (- b c)) (- (* (* (+ (* a (* a a)) (* (* (/ 5.0 6.0) (/ 5.0 6.0)) (/ 5.0 6.0))) t) 3.0) (* 2.0 (+ (* (/ 5.0 6.0) (- (/ 5.0 6.0) a)) (* a a)))))) (* (* (* 3.0 t) (+ (* (/ 5.0 6.0) (- (/ 5.0 6.0) a)) (* a a))) (/ t (sqrt (+ t a)))))
811.0ms
(* (* (/ t (sqrt (+ t a))) (- b c)) (- (* (* (+ (* a (* a a)) (* (* (/ 5.0 6.0) (/ 5.0 6.0)) (/ 5.0 6.0))) t) 3.0) (* 2.0 (+ (* (/ 5.0 6.0) (- (/ 5.0 6.0) a)) (* a a)))))
633.0ms
(- (* z (* (* 3.0 t) (+ (* (/ 5.0 6.0) (- (/ 5.0 6.0) a)) (* a a)))) (* (* (/ t (sqrt (+ t a))) (- b c)) (- (* (* (+ (* a (* a a)) (* (* (/ 5.0 6.0) (/ 5.0 6.0)) (/ 5.0 6.0))) t) 3.0) (* 2.0 (+ (* (/ 5.0 6.0) (- (/ 5.0 6.0) a)) (* a a))))))
213.0ms
(- (* (* (+ (* a (* a a)) (* (* (/ 5.0 6.0) (/ 5.0 6.0)) (/ 5.0 6.0))) t) 3.0) (* 2.0 (+ (* (/ 5.0 6.0) (- (/ 5.0 6.0) a)) (* a a))))

series4.7s

Counts
4 → 12
Calls
4 calls:
Slowest
2.3s
(/ (- (* z (* (* 3.0 t) (+ (* (/ 5.0 6.0) (- (/ 5.0 6.0) a)) (* a a)))) (* (* (/ t (sqrt (+ t a))) (- b c)) (- (* (* (+ (* a (* a a)) (* (* (/ 5.0 6.0) (/ 5.0 6.0)) (/ 5.0 6.0))) t) 3.0) (* 2.0 (+ (* (/ 5.0 6.0) (- (/ 5.0 6.0) a)) (* a a)))))) (* (* (* 3.0 t) (+ (* (/ 5.0 6.0) (- (/ 5.0 6.0) a)) (* a a))) (/ t (sqrt (+ t a)))))
1.8s
(- (* z (* (* 3.0 t) (+ (* (/ 5.0 6.0) (- (/ 5.0 6.0) a)) (* a a)))) (* (* (/ t (sqrt (+ t a))) (- b c)) (- (* (* (+ (* a (* a a)) (* (* (/ 5.0 6.0) (/ 5.0 6.0)) (/ 5.0 6.0))) t) 3.0) (* 2.0 (+ (* (/ 5.0 6.0) (- (/ 5.0 6.0) a)) (* a a))))))
500.0ms
(* (* (/ t (sqrt (+ t a))) (- b c)) (- (* (* (+ (* a (* a a)) (* (* (/ 5.0 6.0) (/ 5.0 6.0)) (/ 5.0 6.0))) t) 3.0) (* 2.0 (+ (* (/ 5.0 6.0) (- (/ 5.0 6.0) a)) (* a a)))))
96.0ms
(- (* (* (+ (* a (* a a)) (* (* (/ 5.0 6.0) (/ 5.0 6.0)) (/ 5.0 6.0))) t) 3.0) (* 2.0 (+ (* (/ 5.0 6.0) (- (/ 5.0 6.0) a)) (* a a))))

simplify5.0s

Counts
322 → 322

prune11.8s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

regimes605.0ms

Accuracy

0% (2.7b remaining)

Error of 3.1b against oracle of 0.4b and baseline of 3.1b

bsearch8.0ms

end0.0ms

sample5.0s

Algorithm
intervals
Results
2.3s7854×body80nan
2.0s8000×body80valid