Details

Time bar (total: 18.3s)

sample60.0ms

Algorithm
intervals
Results
36.0ms353×body80valid

simplify3.0s

Counts
1 → 1
Iterations
IterNodes
done5000
264763
254510
244265
234014
223757
213520
203263
193002
182745
172490
162233
151990
141662
131313
12944
11612
10421
9272
8188
7154
6133
5108
473
341
224
115
09

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.2b

localize34.0ms

Local error

Found 3 expressions with local error:

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

rewrite54.0ms

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

series279.0ms

Counts
3 → 9
Calls
3 calls:
89.0ms
(* y (- z t))
92.0ms
(+ x (/ (* y (- z t)) a))
98.0ms
(/ (* y (- z t)) a)

simplify2.4s

Counts
73 → 73
Iterations
IterNodes
done5001
33864
2916
1318
0119

prune420.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 2 expressions with local error:

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

rewrite62.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-cbrt-cube add-exp-log div-inv
5×associate-/l*
4×add-log-exp
3×cbrt-undiv div-exp
2×pow1 div-sub insert-posit16 associate-/l/
1×+-commutative clear-num associate-+r- sum-log frac-2neg flip3-+ flip3-- associate-/r/ flip-+ flip-- distribute-lft-out
Counts
2 → 116
Calls
2 calls:
34.0ms
(+ x (/ (- z t) (/ a y)))
24.0ms
(/ (- z t) (/ a y))

series164.0ms

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

simplify1.5s

Counts
122 → 122
Iterations
IterNodes
done5003
21890
1661
0221

prune568.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite114.0ms

Algorithm
rewrite-expression-head
Rules
212×times-frac
138×add-sqr-sqrt
135×*-un-lft-identity
102×add-cube-cbrt
26×associate-/r*
15×distribute-lft-out--
14×add-cbrt-cube add-exp-log div-inv
11×add-log-exp
9×difference-of-squares
6×cbrt-undiv div-exp associate-/l*
4×pow1 associate-/r/ insert-posit16
2×associate-+r+ clear-num sum-log sub-neg frac-2neg distribute-rgt-out-- diff-log distribute-lft-out
1×+-commutative associate-+r- flip3-+ flip3-- frac-sub flip-+ flip-- sub-div
Counts
4 → 200
Calls
4 calls:
21.0ms
(- (/ z (/ a y)) (/ t (/ a y)))
69.0ms
(+ x (- (/ z (/ a y)) (/ t (/ a y))))
11.0ms
(/ z (/ a y))
6.0ms
(/ t (/ a y))

series228.0ms

Counts
4 → 12
Calls
4 calls:
63.0ms
(- (/ z (/ a y)) (/ t (/ a y)))
85.0ms
(+ x (- (/ z (/ a y)) (/ t (/ a y))))
37.0ms
(/ z (/ a y))
44.0ms
(/ t (/ a y))

simplify2.0s

Counts
212 → 212
Iterations
IterNodes
done5002
22537
1827
0327

prune1.3s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 2 expressions with local error:

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

rewrite59.0ms

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

series152.0ms

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

simplify3.1s

Counts
57 → 57
Iterations
IterNodes
done5004
34914
21060
1316
0120

prune270.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

regimes739.0ms

Accuracy

74.7% (0.6b remaining)

Error of 0.6b against oracle of 0.0b and baseline of 2.4b

bsearch1.0ms

simplify3.0ms

Iterations
IterNodes
done28
128
023

end0.0ms

sample1.8s

Algorithm
intervals
Results
890.0ms10639×body80valid