Details

Time bar (total: 28.3s)

sample138.0ms

Algorithm
intervals
Results
48.0ms301×body80nan
32.0ms256×body80valid

simplify2.3s

Counts
1 → 1
Iterations

Useful iterations: 2 (96.0ms)

IterNodesCost
02833
16733
236732
done500032

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.5b

localize56.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))
0.3b
(/ 2.0 (* t 3.0))
2.5b
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
7.1b
(/ (* z (sqrt (+ t a))) t)

rewrite493.0ms

Algorithm
rewrite-expression-head
Rules
137×*-un-lft-identity
119×prod-diff
80×add-sqr-sqrt
74×add-cube-cbrt
62×distribute-rgt-in distribute-lft-in associate--r+
60×times-frac
29×distribute-lft-out
26×frac-sub
20×div-inv
17×flip3-- flip--
16×add-exp-log frac-times add-cbrt-cube
10×associate-*r/
7×flip3-+ fma-neg flip-+
6×pow1 associate-*r* add-log-exp
5×sub-neg associate-*l*
4×cbrt-undiv expm1-log1p-u div-exp associate-*l/ associate--l+ associate-/r* log1p-expm1-u associate-/l*
3×prod-exp cbrt-unprod distribute-lft-out--
2×frac-2neg sqrt-div clear-num associate-/l/ difference-of-squares
1×diff-log pow-prod-down *-commutative unswap-sqr
Counts
4 → 253
Calls
4 calls:
352.0ms
(* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))
12.0ms
(/ 2.0 (* t 3.0))
98.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
15.0ms
(/ (* z (sqrt (+ t a))) t)

series522.0ms

Counts
4 → 12
Calls
4 calls:
83.0ms
(* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))
18.0ms
(/ 2.0 (* t 3.0))
298.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
123.0ms
(/ (* z (sqrt (+ t a))) t)

simplify3.0s

Counts
265 → 265
Iterations

Useful iterations: 1 (989.0ms)

IterNodesCost
05089236
148237900
done50007900

prune1.9s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.5b

localize40.0ms

Local error

Found 4 expressions with local error:

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

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
32×*-un-lft-identity
27×times-frac
24×add-sqr-sqrt add-cube-cbrt
16×add-exp-log sqrt-prod add-cbrt-cube
13×associate-/l*
5×cbrt-undiv div-exp associate-/r*
4×pow1 expm1-log1p-u log1p-expm1-u distribute-lft-out add-log-exp
3×frac-2neg clear-num div-inv
2×sqrt-div prod-exp cbrt-unprod associate-/l/
1×flip3-+ flip-+ fma-udef
Counts
4 → 103
Calls
4 calls:
31.0ms
(/ (sqrt (+ t a)) t)
15.0ms
(/ 2.0 (* t 3.0))
12.0ms
(/ 2.0 (* t 3.0))
0.0ms
(fma z (/ (sqrt (+ t a)) t) (- (* (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))) (- b c))))

series442.0ms

Counts
4 → 12
Calls
4 calls:
85.0ms
(/ (sqrt (+ t a)) t)
19.0ms
(/ 2.0 (* t 3.0))
25.0ms
(/ 2.0 (* t 3.0))
312.0ms
(fma z (/ (sqrt (+ t a)) t) (- (* (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))) (- b c))))

simplify2.1s

Counts
115 → 115
Iterations

Useful iterations: done (2.1s)

IterNodesCost
01811344
19401272
done50001139

prune1.0s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.5b

localize58.0ms

Local error

Found 4 expressions with local error:

0.2b
(* 0.6666666666666666 (/ b t))
1.2b
(- (fma 0.6666666666666666 (/ c t) (* 0.8333333333333334 b)) (* 0.6666666666666666 (/ b t)))
1.6b
(- (/ (* z (sqrt (+ t a))) t) (- (fma 0.6666666666666666 (/ c t) (* 0.8333333333333334 b)) (* 0.6666666666666666 (/ b t))))
7.1b
(/ (* z (sqrt (+ t a))) t)

rewrite112.0ms

Algorithm
rewrite-expression-head
Rules
39×add-sqr-sqrt
34×*-un-lft-identity
32×add-cube-cbrt
27×prod-diff
25×times-frac
14×add-exp-log add-cbrt-cube
13×associate-*r*
11×add-log-exp
10×fma-neg
6×pow1 div-inv associate--r+
4×expm1-log1p-u diff-log log1p-expm1-u
3×cbrt-undiv sub-neg flip3-- associate-*r/ div-exp associate-*l* prod-exp associate-/r* flip-- cbrt-unprod
2×sqrt-div associate--l+ frac-sub fma-udef associate-/l/ unswap-sqr
1×frac-2neg flip3-+ pow-prod-down clear-num *-commutative flip-+ associate-/l* distribute-lft-out-- associate--r- difference-of-squares
Counts
4 → 134
Calls
4 calls:
25.0ms
(* 0.6666666666666666 (/ b t))
6.0ms
(- (fma 0.6666666666666666 (/ c t) (* 0.8333333333333334 b)) (* 0.6666666666666666 (/ b t)))
41.0ms
(- (/ (* z (sqrt (+ t a))) t) (- (fma 0.6666666666666666 (/ c t) (* 0.8333333333333334 b)) (* 0.6666666666666666 (/ b t))))
30.0ms
(/ (* z (sqrt (+ t a))) t)

series482.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(* 0.6666666666666666 (/ b t))
63.0ms
(- (fma 0.6666666666666666 (/ c t) (* 0.8333333333333334 b)) (* 0.6666666666666666 (/ b t)))
257.0ms
(- (/ (* z (sqrt (+ t a))) t) (- (fma 0.6666666666666666 (/ c t) (* 0.8333333333333334 b)) (* 0.6666666666666666 (/ b t))))
125.0ms
(/ (* z (sqrt (+ t a))) t)

simplify3.0s

Counts
146 → 146
Iterations

Useful iterations: done (3.0s)

IterNodesCost
02704592
141333115
done50003104

prune1.0s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.5b

localize42.0ms

Local error

Found 4 expressions with local error:

0.1b
(* z (sqrt (+ t a)))
0.2b
(* 0.6666666666666666 (/ b t))
1.2b
(- (fma 0.6666666666666666 (/ c t) (* 0.8333333333333334 b)) (* 0.6666666666666666 (/ b t)))
6.4b
(fma (* z (sqrt (+ t a))) (/ 1 t) (- (- (fma 0.6666666666666666 (/ c t) (* 0.8333333333333334 b)) (* 0.6666666666666666 (/ b t)))))

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
26×add-sqr-sqrt
20×associate-*r*
19×*-un-lft-identity
17×add-cube-cbrt
11×add-exp-log add-cbrt-cube
10×times-frac
8×pow1
6×associate-*l* add-log-exp
5×sqrt-prod
4×expm1-log1p-u log1p-expm1-u unswap-sqr
3×fma-neg associate-*r/ prod-diff prod-exp cbrt-unprod
2×sqrt-div pow-prod-down *-commutative fma-udef
1×cbrt-undiv sub-neg flip3-- flip3-+ diff-log div-exp associate--l+ flip-- flip-+ div-inv distribute-lft-out
Counts
4 → 92
Calls
4 calls:
28.0ms
(* z (sqrt (+ t a)))
28.0ms
(* 0.6666666666666666 (/ b t))
16.0ms
(- (fma 0.6666666666666666 (/ c t) (* 0.8333333333333334 b)) (* 0.6666666666666666 (/ b t)))
0.0ms
(fma (* z (sqrt (+ t a))) (/ 1 t) (- (- (fma 0.6666666666666666 (/ c t) (* 0.8333333333333334 b)) (* 0.6666666666666666 (/ b t)))))

series452.0ms

Counts
4 → 12
Calls
4 calls:
101.0ms
(* z (sqrt (+ t a)))
37.0ms
(* 0.6666666666666666 (/ b t))
62.0ms
(- (fma 0.6666666666666666 (/ c t) (* 0.8333333333333334 b)) (* 0.6666666666666666 (/ b t)))
252.0ms
(fma (* z (sqrt (+ t a))) (/ 1 t) (- (- (fma 0.6666666666666666 (/ c t) (* 0.8333333333333334 b)) (* 0.6666666666666666 (/ b t)))))

simplify4.4s

Counts
104 → 104
Iterations

Useful iterations: done (4.4s)

IterNodesCost
02101457
125621344
done50001223

prune724.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.5b

regimes321.0ms

Accuracy

0% (1.8b remaining)

Error of 2.3b against oracle of 0.6b and baseline of 2.3b

bsearch0.0ms

simplify6.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03153
14453
done4453

end0.0ms

sample5.3s

Algorithm
intervals
Results
2.2s8000×body80valid
1.7s7982×body80nan