Details

Time bar (total: 20.7s)

sample80.0ms

Algorithm
intervals
Results
37.0ms256×body80valid

simplify3.0s

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

prune20.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 27.0b

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (+ y t) a)
1.4b
(- (* z (+ x y)) (* b y))
2.3b
(+ (* (+ y t) a) (- (* z (+ x y)) (* b y)))
25.4b
(/ (+ (* (+ y t) a) (- (* z (+ x y)) (* b y))) (+ x (+ y t)))

rewrite185.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+
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 → 100
Calls
4 calls:
17.0ms
(* (+ y t) a)
13.0ms
(- (* z (+ x y)) (* b y))
31.0ms
(+ (* (+ y t) a) (- (* z (+ x y)) (* b y)))
119.0ms
(/ (+ (* (+ y t) a) (- (* z (+ x y)) (* b y))) (+ x (+ y t)))

series389.0ms

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

simplify1.6s

Counts
112 → 112
Iterations
IterNodes
done5001
22325
1527
0181

prune792.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 6.4b

localize33.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ (+ (* (+ y t) a) (* z (+ x y))) (+ x (+ y t))) (/ (* b y) (+ x (+ y t))))
1.3b
(+ (* (+ y t) a) (* z (+ x y)))
8.0b
(/ (* b y) (+ x (+ y t)))
23.4b
(/ (+ (* (+ y t) a) (* z (+ x y))) (+ x (+ y t)))

rewrite395.0ms

Algorithm
rewrite-expression-head
Rules
48×*-un-lft-identity
21×add-sqr-sqrt times-frac
18×distribute-lft-out
16×add-cube-cbrt
14×flip3-+ flip-+
11×add-cbrt-cube add-exp-log
10×associate-/r*
8×associate-*l/ frac-add associate-*r/ associate-/r/ add-log-exp
6×associate-/l/
4×pow1 div-inv associate-/l*
3×cbrt-undiv distribute-rgt-out-- div-exp
2×associate-+r+ clear-num frac-2neg difference-of-squares
1×distribute-rgt-in +-commutative sum-log sub-neg distribute-lft-in flip3-- diff-log prod-exp frac-sub cbrt-unprod flip-- distribute-lft-out-- sub-div
Counts
4 → 107
Calls
4 calls:
273.0ms
(- (/ (+ (* (+ y t) a) (* z (+ x y))) (+ x (+ y t))) (/ (* b y) (+ x (+ y t))))
12.0ms
(+ (* (+ y t) a) (* z (+ x y)))
32.0ms
(/ (* b y) (+ x (+ y t)))
71.0ms
(/ (+ (* (+ y t) a) (* z (+ x y))) (+ x (+ y t)))

series761.0ms

Counts
4 → 12
Calls
4 calls:
358.0ms
(- (/ (+ (* (+ y t) a) (* z (+ x y))) (+ x (+ y t))) (/ (* b y) (+ x (+ y t))))
64.0ms
(+ (* (+ y t) a) (* z (+ x y)))
73.0ms
(/ (* b y) (+ x (+ y t)))
266.0ms
(/ (+ (* (+ y t) a) (* z (+ x y))) (+ x (+ y t)))

simplify1.6s

Counts
119 → 119
Iterations
IterNodes
done5003
22451
1596
0200

prune960.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 5.8b

localize45.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (+ x (+ y t)) y)
1.3b
(+ (* (+ y t) a) (* z (+ x y)))
3.1b
(/ b (/ (+ x (+ y t)) y))
23.4b
(/ (+ (* (+ y t) a) (* z (+ x y))) (+ x (+ y t)))

rewrite172.0ms

Algorithm
rewrite-expression-head
Rules
180×*-un-lft-identity
147×times-frac
80×add-sqr-sqrt add-cube-cbrt
60×distribute-lft-out
27×associate-/r*
13×add-cbrt-cube add-exp-log
12×flip3-+ flip-+
11×associate-/l*
8×associate-*l/ frac-add associate-*r/ associate-/l/
7×div-inv
6×add-log-exp
5×cbrt-undiv div-exp
4×pow1
3×clear-num frac-2neg associate-/r/
2×associate-+r+
1×distribute-rgt-in +-commutative sum-log distribute-lft-in
Counts
4 → 191
Calls
4 calls:
45.0ms
(/ (+ x (+ y t)) y)
12.0ms
(+ (* (+ y t) a) (* z (+ x y)))
31.0ms
(/ b (/ (+ x (+ y t)) y))
76.0ms
(/ (+ (* (+ y t) a) (* z (+ x y))) (+ x (+ y t)))

series460.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(/ (+ x (+ y t)) y)
80.0ms
(+ (* (+ y t) a) (* z (+ x y)))
79.0ms
(/ b (/ (+ x (+ y t)) y))
271.0ms
(/ (+ (* (+ y t) a) (* z (+ x y))) (+ x (+ y t)))

simplify1.8s

Counts
203 → 203
Iterations
IterNodes
done5004
22939
1804
0288

prune1.3s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 5.1b

localize50.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* (+ (* (+ y t) a) (* z (+ x y))) (/ 1 (+ x (+ y t)))) (/ b (/ (+ x (+ y t)) y)))
1.3b
(+ (* (+ y t) a) (* z (+ x y)))
3.1b
(/ b (/ (+ x (+ y t)) y))
23.5b
(* (+ (* (+ y t) a) (* z (+ x y))) (/ 1 (+ x (+ y t))))

rewrite294.0ms

Algorithm
rewrite-expression-head
Rules
146×*-un-lft-identity
134×times-frac
77×add-sqr-sqrt
70×add-cube-cbrt
45×distribute-lft-out
32×associate-*l/
26×flip3-+ flip-+
22×associate-*r/
21×associate-*r*
20×frac-add
19×associate-/r*
18×add-exp-log
14×add-cbrt-cube frac-sub
12×frac-times
8×add-log-exp
6×pow1 div-inv
5×div-exp
4×cbrt-undiv prod-exp
3×associate-*l* associate-/r/ associate-/l* unswap-sqr
2×associate-+r+ un-div-inv cbrt-unprod
1×distribute-rgt-in +-commutative rec-exp clear-num sum-log sub-neg frac-2neg distribute-lft-in flip3-- diff-log 1-exp pow-prod-down *-commutative flip--
Counts
4 → 193
Calls
4 calls:
110.0ms
(- (* (+ (* (+ y t) a) (* z (+ x y))) (/ 1 (+ x (+ y t)))) (/ b (/ (+ x (+ y t)) y)))
16.0ms
(+ (* (+ y t) a) (* z (+ x y)))
43.0ms
(/ b (/ (+ x (+ y t)) y))
109.0ms
(* (+ (* (+ y t) a) (* z (+ x y))) (/ 1 (+ x (+ y t))))

series772.0ms

Counts
4 → 12
Calls
4 calls:
372.0ms
(- (* (+ (* (+ y t) a) (* z (+ x y))) (/ 1 (+ x (+ y t)))) (/ b (/ (+ x (+ y t)) y)))
91.0ms
(+ (* (+ y t) a) (* z (+ x y)))
86.0ms
(/ b (/ (+ x (+ y t)) y))
223.0ms
(* (+ (* (+ y t) a) (* z (+ x y))) (/ 1 (+ x (+ y t))))

simplify2.5s

Counts
205 → 205
Iterations
IterNodes
done5001
24902
11177
0379

prune1.1s

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 5.1b

regimes1.0s

Accuracy

39.3% (9.4b remaining)

Error of 13.2b against oracle of 3.8b and baseline of 19.4b

bsearch72.0ms

Steps
ItersRangePoint
5
4.3376741964530583e+55
1.4236792269708283e+56
4.4021352839803213e+55
5
-1.9394928288065252e+28
-8.641099922541409e+27
-8.734976865957546e+27

simplify6.0ms

Iterations
IterNodes
done40
140
027

end0.0ms

sample1.4s

Algorithm
intervals
Results
891.0ms7997×body80valid
0.0ms2×body160valid
0.0ms1×body320valid