Details

Time bar (total: 17.8s)

sample33.0ms

Algorithm
intervals
Results
19.0ms256×body80valid

simplify3.0s

Counts
1 → 1
Iterations
IterNodes
done5001
83263
71792
61228
5907
4476
3182
271
132
016

prune17.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 24.7b

localize47.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ y t) a)
1.9b
(- (* z (+ x y)) (* b y))
2.1b
(+ (* (+ y t) a) (- (* z (+ x y)) (* b y)))
24.5b
(/ (+ (* (+ y t) a) (- (* z (+ x y)) (* b y))) (+ x (+ y t)))

rewrite225.0ms

Algorithm
rewrite-expression-head
Rules
38×*-un-lft-identity
18×add-sqr-sqrt
16×add-cube-cbrt
15×times-frac
13×distribute-lft-out
11×add-log-exp
10×associate-*l/
8×flip3-+ add-cbrt-cube frac-add add-exp-log flip-+
6×pow1 associate-/l/
5×associate-/r* flip3-- flip--
4×associate-+r+ associate-*l* associate--l+ insert-posit16
3×associate-*r* associate-/l*
2×distribute-rgt-in associate-+r- sum-log sub-neg distribute-lft-in diff-log associate-/r/
1×cbrt-undiv +-commutative clear-num frac-2neg div-sub div-exp pow-prod-down prod-exp *-commutative cbrt-unprod div-inv unswap-sqr
Counts
4 → 104
Calls
4 calls:
20.0ms
(* (+ y t) a)
14.0ms
(- (* z (+ x y)) (* b y))
35.0ms
(+ (* (+ y t) a) (- (* z (+ x y)) (* b y)))
153.0ms
(/ (+ (* (+ y t) a) (- (* z (+ x y)) (* b y))) (+ x (+ y t)))

series397.0ms

Counts
4 → 12
Calls
4 calls:
29.0ms
(* (+ y t) a)
38.0ms
(- (* z (+ x y)) (* b y))
128.0ms
(+ (* (+ y t) a) (- (* z (+ x y)) (* b y)))
202.0ms
(/ (+ (* (+ y t) a) (- (* z (+ x y)) (* b y))) (+ x (+ y t)))

simplify1.7s

Counts
116 → 116
Iterations
IterNodes
done5002
22468
1533
0185

prune676.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 6.6b

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (- z b) y)
0.9b
(+ (* x z) (* (- z b) y))
2.1b
(+ (* (+ y t) a) (+ (* x z) (* (- z b) y)))
24.5b
(/ (+ (* (+ y t) a) (+ (* x z) (* (- z b) y))) (+ x (+ y t)))

rewrite211.0ms

Algorithm
rewrite-expression-head
Rules
38×*-un-lft-identity
20×add-sqr-sqrt
16×add-cube-cbrt
15×times-frac
12×flip3-+ flip-+ distribute-lft-out
11×add-log-exp
10×associate-*l/
8×add-cbrt-cube frac-add add-exp-log
6×pow1 associate-/l/
5×associate-/r* associate-*l*
4×sum-log insert-posit16
3×associate-*r* associate-/l*
2×+-commutative associate-/r/
1×cbrt-undiv associate-+r+ clear-num frac-2neg flip3-- div-exp pow-prod-down prod-exp *-commutative cbrt-unprod div-inv flip-- distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 97
Calls
4 calls:
22.0ms
(* (- z b) y)
9.0ms
(+ (* x z) (* (- z b) y))
32.0ms
(+ (* (+ y t) a) (+ (* x z) (* (- z b) y)))
143.0ms
(/ (+ (* (+ y t) a) (+ (* x z) (* (- z b) y))) (+ x (+ y t)))

series474.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(* (- z b) y)
48.0ms
(+ (* x z) (* (- z b) y))
171.0ms
(+ (* (+ y t) a) (+ (* x z) (* (- z b) y)))
212.0ms
(/ (+ (* (+ y t) a) (+ (* x z) (* (- z b) y))) (+ x (+ y t)))

simplify1.6s

Counts
109 → 109
Iterations
IterNodes
done5003
22272
1534
0185

prune561.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 6.6b

localize31.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 1 (/ (+ x (+ y t)) (+ (* (+ y t) a) (+ (* x z) (* (- z b) y)))))
0.9b
(+ (* x z) (* (- z b) y))
2.1b
(+ (* (+ y t) a) (+ (* x z) (* (- z b) y)))
24.5b
(/ (+ x (+ y t)) (+ (* (+ y t) a) (+ (* x z) (* (- z b) y))))

rewrite253.0ms

Algorithm
rewrite-expression-head
Rules
156×*-un-lft-identity
150×times-frac
76×add-sqr-sqrt add-cube-cbrt
48×distribute-lft-out
32×flip3-+ flip-+
31×associate-/r/
28×associate-/r*
24×associate-*l/ frac-add
17×add-exp-log
11×add-cbrt-cube add-log-exp
8×div-exp associate-/l*
6×div-inv
5×pow1
4×cbrt-undiv sum-log insert-posit16
2×+-commutative rec-exp clear-num frac-2neg 1-exp associate-/l/
1×associate-+r+ pow-flip inv-pow
Counts
4 → 199
Calls
4 calls:
70.0ms
(/ 1 (/ (+ x (+ y t)) (+ (* (+ y t) a) (+ (* x z) (* (- z b) y)))))
9.0ms
(+ (* x z) (* (- z b) y))
26.0ms
(+ (* (+ y t) a) (+ (* x z) (* (- z b) y)))
141.0ms
(/ (+ x (+ y t)) (+ (* (+ y t) a) (+ (* x z) (* (- z b) y))))

series980.0ms

Counts
4 → 12
Calls
4 calls:
720.0ms
(/ 1 (/ (+ x (+ y t)) (+ (* (+ y t) a) (+ (* x z) (* (- z b) y)))))
32.0ms
(+ (* x z) (* (- z b) y))
112.0ms
(+ (* (+ y t) a) (+ (* x z) (* (- z b) y)))
116.0ms
(/ (+ x (+ y t)) (+ (* (+ y t) a) (+ (* x z) (* (- z b) y))))

simplify2.2s

Counts
211 → 211
Iterations
IterNodes
done5003
22957
1824
0279

prune902.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 4.7b

localize51.0ms

Local error

Found 4 expressions with local error:

0.9b
(+ (* x z) (* (- z b) y))
1.4b
(/ 1 (+ (* (+ y t) a) (+ (* x z) (* (- z b) y))))
2.1b
(+ (* (+ y t) a) (+ (* x z) (* (- z b) y)))
22.9b
(* (+ x (+ y t)) (/ 1 (+ (* (+ y t) a) (+ (* x z) (* (- z b) y)))))

rewrite254.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
26×*-un-lft-identity
20×times-frac add-cube-cbrt
19×associate-*r*
18×flip3-+ flip-+
17×add-exp-log
14×associate-*l/
12×frac-add associate-/r/
11×add-cbrt-cube add-log-exp
7×pow1
5×associate-*l*
4×sum-log div-exp prod-exp insert-posit16
3×associate-/r* distribute-lft-out associate-/l* unswap-sqr
2×frac-times cbrt-undiv +-commutative rec-exp 1-exp cbrt-unprod div-inv
1×associate-+r+ clear-num frac-2neg pow-prod-down associate-*r/ un-div-inv *-commutative pow-flip inv-pow
Counts
4 → 117
Calls
4 calls:
9.0ms
(+ (* x z) (* (- z b) y))
41.0ms
(/ 1 (+ (* (+ y t) a) (+ (* x z) (* (- z b) y))))
28.0ms
(+ (* (+ y t) a) (+ (* x z) (* (- z b) y)))
173.0ms
(* (+ x (+ y t)) (/ 1 (+ (* (+ y t) a) (+ (* x z) (* (- z b) y)))))

series328.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(+ (* x z) (* (- z b) y))
101.0ms
(/ 1 (+ (* (+ y t) a) (+ (* x z) (* (- z b) y))))
107.0ms
(+ (* (+ y t) a) (+ (* x z) (* (- z b) y)))
85.0ms
(* (+ x (+ y t)) (/ 1 (+ (* (+ y t) a) (+ (* x z) (* (- z b) y)))))

simplify1.6s

Counts
129 → 129
Iterations
IterNodes
done5004
22578
1614
0195

prune564.0ms

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 4.7b

regimes652.0ms

Accuracy

46.6% (10.7b remaining)

Error of 15.1b against oracle of 4.4b and baseline of 24.4b

bsearch103.0ms

Steps
ItersRangePoint
7
6.720497818670432e+40
3.588185019252796e+42
1.2744164181753573e+42
10
-6.055269914866252e+95
-3.2946322458072404e+85
-5.161631857410307e+87

simplify5.0ms

Iterations
IterNodes
done34
134
023

end0.0ms

sample875.0ms

Algorithm
intervals
Results
657.0ms7995×body80valid
2.0ms1×body1280valid
0.0ms2×body640valid
0.0ms1×body320valid
0.0ms1×body160valid