Details

Time bar (total: 17.8s)

sample52.0ms

Algorithm
intervals
Results
35.0ms256×body80valid

simplify2.9s

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

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 23.6b

localize36.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ y t) a)
0.7b
(- (* z (+ x y)) (* b y))
3.3b
(+ (* (+ y t) a) (- (* z (+ x y)) (* b y)))
23.5b
(/ (+ (* (+ y t) a) (- (* z (+ x y)) (* b y))) (+ x (+ y t)))

rewrite182.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:
27.0ms
(* (+ y t) a)
24.0ms
(- (* z (+ x y)) (* b y))
30.0ms
(+ (* (+ y t) a) (- (* z (+ x y)) (* b y)))
98.0ms
(/ (+ (* (+ y t) a) (- (* z (+ x y)) (* b y))) (+ x (+ y t)))

series395.0ms

Counts
4 → 12
Calls
4 calls:
24.0ms
(* (+ y t) a)
37.0ms
(- (* z (+ x y)) (* b y))
140.0ms
(+ (* (+ y t) a) (- (* z (+ x y)) (* b y)))
193.0ms
(/ (+ (* (+ y t) a) (- (* z (+ x y)) (* b y))) (+ x (+ y t)))

simplify2.0s

Counts
116 → 116
Iterations
IterNodes
done5002
22468
1533
0185

prune690.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 4.5b

localize36.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ y t) a)
2.1b
(+ (* (+ y t) a) (* z (+ x y)))
9.6b
(/ (* b y) (+ x (+ y t)))
21.1b
(/ (+ (* (+ y t) a) (* z (+ x y))) (+ x (+ y t)))

rewrite138.0ms

Algorithm
rewrite-expression-head
Rules
50×*-un-lft-identity
20×add-sqr-sqrt times-frac
19×distribute-lft-out
18×add-cube-cbrt
13×flip3-+ add-cbrt-cube add-exp-log flip-+
10×associate-/r* associate-*l/
8×frac-add associate-*r/
6×pow1 add-log-exp associate-/l/
4×associate-*l* associate-/r/ insert-posit16 associate-/l*
3×cbrt-undiv div-exp associate-*r*
2×associate-+r+ clear-num frac-2neg prod-exp cbrt-unprod div-inv
1×distribute-rgt-in +-commutative sum-log distribute-lft-in pow-prod-down *-commutative unswap-sqr
Counts
4 → 112
Calls
4 calls:
24.0ms
(* (+ y t) a)
22.0ms
(+ (* (+ y t) a) (* z (+ x y)))
27.0ms
(/ (* b y) (+ x (+ y t)))
62.0ms
(/ (+ (* (+ y t) a) (* z (+ x y))) (+ x (+ y t)))

series352.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(* (+ y t) a)
56.0ms
(+ (* (+ y t) a) (* z (+ x y)))
55.0ms
(/ (* b y) (+ x (+ y t)))
206.0ms
(/ (+ (* (+ y t) a) (* z (+ x y))) (+ x (+ y t)))

simplify1.5s

Counts
124 → 124
Iterations
IterNodes
done5003
22376
1568
0200

prune680.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 2.6b

localize28.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ y t) a)
2.1b
(+ (* (+ y t) a) (* z (+ x y)))
4.6b
(* b (/ y (+ x (+ y t))))
21.1b
(/ (+ (* (+ y t) a) (* z (+ x y))) (+ x (+ y t)))

rewrite143.0ms

Algorithm
rewrite-expression-head
Rules
63×*-un-lft-identity
33×add-sqr-sqrt
31×times-frac
26×add-cube-cbrt
24×associate-*r*
22×distribute-lft-out
13×flip3-+ add-cbrt-cube add-exp-log flip-+
10×associate-*l/
9×associate-*r/
8×pow1 frac-add
7×associate-*l*
6×add-log-exp associate-/l/
5×associate-/r*
4×associate-/r/ insert-posit16
3×prod-exp cbrt-unprod associate-/l* unswap-sqr
2×cbrt-undiv associate-+r+ div-exp pow-prod-down *-commutative div-inv
1×distribute-rgt-in +-commutative clear-num sum-log frac-2neg distribute-lft-in
Counts
4 → 125
Calls
4 calls:
14.0ms
(* (+ y t) a)
22.0ms
(+ (* (+ y t) a) (* z (+ x y)))
45.0ms
(* b (/ y (+ x (+ y t))))
60.0ms
(/ (+ (* (+ y t) a) (* z (+ x y))) (+ x (+ y t)))

series380.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(* (+ y t) a)
76.0ms
(+ (* (+ y t) a) (* z (+ x y)))
64.0ms
(* b (/ y (+ x (+ y t))))
207.0ms
(/ (+ (* (+ y t) a) (* z (+ x y))) (+ x (+ y t)))

simplify1.5s

Counts
137 → 137
Iterations
IterNodes
done5001
22450
1624
0221

prune777.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 2.2b

localize25.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ y (+ x (+ y t)))
4.6b
(* b (/ y (+ x (+ y t))))

rewrite77.0ms

Algorithm
rewrite-expression-head
Rules
57×*-un-lft-identity
31×times-frac
27×add-sqr-sqrt
22×add-cube-cbrt
21×associate-*r* distribute-lft-out
9×add-cbrt-cube add-exp-log
5×associate-/r*
4×pow1 associate-/r/
3×associate-*l* associate-/l*
2×cbrt-undiv flip3-+ div-exp prod-exp cbrt-unprod flip-+ insert-posit16 div-inv add-log-exp unswap-sqr
1×clear-num frac-2neg pow-prod-down associate-*r/ *-commutative
Counts
2 → 79
Calls
2 calls:
19.0ms
(/ y (+ x (+ y t)))
57.0ms
(* b (/ y (+ x (+ y t))))

series167.0ms

Counts
2 → 6
Calls
2 calls:
97.0ms
(/ y (+ x (+ y t)))
69.0ms
(* b (/ y (+ x (+ y t))))

simplify2.5s

Counts
85 → 85
Iterations
IterNodes
done5001
34969
2906
1254
0101

prune412.0ms

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 2.2b

regimes810.0ms

Accuracy

15% (13.0b remaining)

Error of 16.8b against oracle of 3.8b and baseline of 19.1b

bsearch199.0ms

Steps
ItersRangePoint
9
3.276237931738773e+51
2.728950513695652e+60
5.907781539963392e+58
5
-1.266753698662957e-195
-4.568831681868796e-196
-1.1722878479406442e-195
8
-5.880771378225135e-135
-4.691723925484456e-138
-8.234919045173266e-138
3
-3.484896996037614e+43
-2.8556261444781716e+43
-2.894955572700637e+43

simplify10.0ms

Iterations
IterNodes
done39
139
031

end0.0ms

sample1.8s

Algorithm
intervals
Results
1.5s7997×body80valid
1.0ms2×body640valid
0.0ms1×body1280valid