Details

Time bar (total: 48.8s)

sample49.0ms

Algorithm
intervals
Results
20.0ms319×body80valid

simplify9.5s

Counts
1 → 1
Iterations
IterNodes
done5001
264879
254622
244375
234120
223867
213618
203365
193110
182863
172606
162353
152098
141764
131380
12989
11622
10421
9274
8192
7158
6137
5110
473
341
224
115
09

prune11.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.9b

localize33.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ x (/ (* y (- z t)) a))
0.0b
(* y (- z t))
5.8b
(/ (* y (- z t)) a)

rewrite112.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt *-un-lft-identity
10×add-exp-log add-cbrt-cube
7×add-cube-cbrt
5×pow1 associate-*r* add-log-exp
4×associate-*r/
3×times-frac associate-*l* associate-/r*
2×cbrt-undiv distribute-rgt-in sub-neg flip3-- distribute-lft-in div-exp prod-exp flip-- cbrt-unprod associate-/l/
1×+-commutative frac-2neg flip3-+ pow-prod-down clear-num sum-log *-commutative flip-+ div-inv distribute-lft-out associate-/l* distribute-lft-out-- difference-of-squares unswap-sqr
Counts
3 → 61
Calls
3 calls:
19.0ms
(+ x (/ (* y (- z t)) a))
54.0ms
(* y (- z t))
35.0ms
(/ (* y (- z t)) a)

series418.0ms

Counts
3 → 9
Calls
3 calls:
187.0ms
(+ x (/ (* y (- z t)) a))
76.0ms
(* y (- z t))
155.0ms
(/ (* y (- z t)) a)

simplify5.4s

Counts
70 → 70
Iterations
IterNodes
done5103
33456
2887
1310
0116

prune703.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (/ (- z t) (/ a y)) x)
7.8b
(/ (- z t) (/ a y))

rewrite240.0ms

Algorithm
rewrite-expression-head
Rules
119×times-frac
88×*-un-lft-identity
86×add-sqr-sqrt
58×add-cube-cbrt
14×distribute-lft-out-- difference-of-squares
13×associate-/r*
7×add-exp-log add-cbrt-cube div-inv
5×associate-/l*
4×add-log-exp
3×cbrt-undiv div-exp
2×pow1 div-sub associate-/l/
1×+-commutative associate-+l- flip3-- frac-2neg flip3-+ clear-num sum-log associate-/r/ flip-- flip-+ distribute-lft-out
Counts
2 → 114
Calls
2 calls:
159.0ms
(+ (/ (- z t) (/ a y)) x)
39.0ms
(/ (- z t) (/ a y))

series428.0ms

Counts
2 → 6
Calls
2 calls:
182.0ms
(+ (/ (- z t) (/ a y)) x)
246.0ms
(/ (- z t) (/ a y))

simplify6.4s

Counts
120 → 120
Iterations
IterNodes
done5000
21932
1660
0220

prune1.3s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize58.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* (- z t) (/ y a)) x)
7.1b
(* (- z t) (/ y a))

rewrite195.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
13×associate-*r*
12×*-un-lft-identity
10×add-cube-cbrt times-frac
7×add-exp-log add-cbrt-cube
5×associate-*l*
4×pow1 add-log-exp
2×frac-times flip3-- associate-*l/ prod-exp flip-- cbrt-unprod unswap-sqr
1×cbrt-undiv +-commutative flip3-+ associate-*r/ div-exp pow-prod-down sum-log *-commutative flip-+ div-inv distribute-lft-out-- difference-of-squares
Counts
2 → 49
Calls
2 calls:
136.0ms
(+ (* (- z t) (/ y a)) x)
56.0ms
(* (- z t) (/ y a))

series186.0ms

Counts
2 → 6
Calls
2 calls:
98.0ms
(+ (* (- z t) (/ y a)) x)
88.0ms
(* (- z t) (/ y a))

simplify10.1s

Counts
55 → 55
Iterations
IterNodes
done5001
34520
21032
1314
0118

prune583.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ t (/ a y)) x)
0.0b
(- (/ z (/ a y)) (- (/ t (/ a y)) x))
5.2b
(/ t (/ a y))
5.5b
(/ z (/ a y))

rewrite400.0ms

Algorithm
rewrite-expression-head
Rules
156×times-frac
106×add-sqr-sqrt
95×*-un-lft-identity
88×add-cube-cbrt
26×associate-/r*
14×add-exp-log add-cbrt-cube
11×add-log-exp
10×div-inv
6×cbrt-undiv div-exp associate-/l* difference-of-squares
4×pow1 diff-log distribute-lft-out--
3×sub-neg flip3-- flip--
2×frac-2neg clear-num associate-/r/ frac-sub associate--r+
1×associate--r-
Counts
4 → 179
Calls
4 calls:
95.0ms
(- (/ t (/ a y)) x)
242.0ms
(- (/ z (/ a y)) (- (/ t (/ a y)) x))
19.0ms
(/ t (/ a y))
26.0ms
(/ z (/ a y))

series262.0ms

Counts
4 → 12
Calls
4 calls:
77.0ms
(- (/ t (/ a y)) x)
94.0ms
(- (/ z (/ a y)) (- (/ t (/ a y)) x))
46.0ms
(/ t (/ a y))
44.0ms
(/ z (/ a y))

simplify4.5s

Counts
191 → 191
Iterations
IterNodes
done5005
22558
1796
0312

prune3.0s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes1.0s

Accuracy

55.9% (1.0b remaining)

Error of 1.0b against oracle of 0.0b and baseline of 2.3b

bsearch1.0ms

simplify8.0ms

Iterations
IterNodes
done32
132
023

end0.0ms

sample3.9s

Algorithm
intervals
Results
3.0s10754×body80valid