Details

Time bar (total: 35.6s)

sample66.0ms

Algorithm
intervals
Results
20.0ms333×body80valid

simplify6.5s

Counts
1 → 1
Iterations
IterNodes
done5000
274892
264724
254538
244371
234185
224017
213831
203664
193478
183310
173124
162935
152735
142563
132357
121964
111245
10808
9546
8311
7187
6124
587
470
355
239
120
09

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize28.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (+ x y) z)
0.3b
(/ (- (+ x y) z) (* t 2.0))

rewrite223.0ms

Algorithm
rewrite-expression-head
Rules
19×*-un-lft-identity
10×add-sqr-sqrt
7×add-cbrt-cube add-exp-log add-log-exp
6×times-frac associate-/l* distribute-lft-out--
4×add-cube-cbrt
3×distribute-lft-out difference-of-squares
2×pow1 cbrt-undiv flip3-- diff-log div-exp insert-posit16 flip-- associate-/l/
1×clear-num associate-/r* sum-log sub-neg frac-2neg div-sub prod-exp associate--l+ cbrt-unprod div-inv
Counts
2 → 49
Calls
2 calls:
69.0ms
(- (+ x y) z)
148.0ms
(/ (- (+ x y) z) (* t 2.0))

series112.0ms

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

simplify5.7s

Counts
55 → 55
Iterations
IterNodes
done5001
33561
2781
1236
095

prune714.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize45.0ms

Local error

Found 3 expressions with local error:

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

rewrite666.0ms

Algorithm
rewrite-expression-head
Rules
49×*-un-lft-identity
28×times-frac
27×add-sqr-sqrt
13×add-cube-cbrt
12×distribute-lft-out--
10×distribute-lft-out add-log-exp
8×associate-*r* frac-add
6×associate-*r/
5×pow1 add-cbrt-cube add-exp-log
4×difference-of-squares
3×flip3-- associate-*l* frac-sub insert-posit16 flip-- sub-div
2×associate-+r+ sum-log sub-neg flip3-+ diff-log flip-+ div-inv
1×distribute-rgt-in +-commutative associate-+r- distribute-lft-in distribute-rgt-out-- pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
3 → 81
Calls
3 calls:
474.0ms
(* 0.5 (+ (/ y t) (- (/ x t) (/ z t))))
135.0ms
(+ (/ y t) (- (/ x t) (/ z t)))
43.0ms
(- (/ x t) (/ z t))

series182.0ms

Counts
3 → 9
Calls
3 calls:
88.0ms
(* 0.5 (+ (/ y t) (- (/ x t) (/ z t))))
35.0ms
(+ (/ y t) (- (/ x t) (/ z t)))
58.0ms
(- (/ x t) (/ z t))

simplify2.8s

Counts
90 → 90
Iterations
IterNodes
done5002
21429
1412
0145

prune1.1s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize46.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (+ x y) (- z))
0.3b
(/ (+ (+ x y) (- z)) (* t 2.0))

rewrite278.0ms

Algorithm
rewrite-expression-head
Rules
34×*-un-lft-identity
18×distribute-lft-out
12×add-log-exp
7×times-frac add-cbrt-cube add-exp-log associate-/l*
6×sum-log distribute-rgt-neg-in
4×add-sqr-sqrt add-cube-cbrt
3×div-sub
2×neg-sub0 pow1 cbrt-undiv associate-+r- flip3-+ div-exp unsub-neg neg-log flip-+ insert-posit16 associate-/l/
1×+-commutative associate-+l+ clear-num associate-/r* frac-2neg prod-exp cbrt-unprod div-inv
Counts
2 → 58
Calls
2 calls:
71.0ms
(+ (+ x y) (- z))
199.0ms
(/ (+ (+ x y) (- z)) (* t 2.0))

series103.0ms

Counts
2 → 6
Calls
2 calls:
26.0ms
(+ (+ x y) (- z))
78.0ms
(/ (+ (+ x y) (- z)) (* t 2.0))

simplify5.7s

Counts
64 → 64
Iterations
IterNodes
done5006
34938
21002
1257
095

prune459.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize101.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (/ (- (* (* (+ y x) (+ y x)) (+ y x)) (* z (* z z))) (+ (* (+ y x) (+ z (+ y x))) (* z z))) (* t 2.0))
1.0b
(+ (* (+ y x) (+ z (+ y x))) (* z z))
4.3b
(- (* (* (+ y x) (+ y x)) (+ y x)) (* z (* z z)))
39.8b
(/ (- (* (* (+ y x) (+ y x)) (+ y x)) (* z (* z z))) (+ (* (+ y x) (+ z (+ y x))) (* z z)))

rewrite1.0s

Algorithm
rewrite-expression-head
Rules
54×times-frac
29×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
22×associate-/l*
18×add-cbrt-cube add-exp-log
11×difference-cubes cube-unmult pow3
8×add-log-exp
7×cbrt-undiv div-exp
6×associate-/r/
4×pow1 associate-/r* flip3-+ flip-+ insert-posit16 div-inv
3×div-sub associate-/l/
2×distribute-rgt-in associate-+l+ clear-num frac-2neg distribute-lft-in flip3-- prod-exp associate--l+ cbrt-unprod flip--
1×+-commutative sum-log sub-neg diff-log
Counts
4 → 125
Calls
4 calls:
412.0ms
(/ (/ (- (* (* (+ y x) (+ y x)) (+ y x)) (* z (* z z))) (+ (* (+ y x) (+ z (+ y x))) (* z z))) (* t 2.0))
50.0ms
(+ (* (+ y x) (+ z (+ y x))) (* z z))
136.0ms
(- (* (* (+ y x) (+ y x)) (+ y x)) (* z (* z z)))
403.0ms
(/ (- (* (* (+ y x) (+ y x)) (+ y x)) (* z (* z z))) (+ (* (+ y x) (+ z (+ y x))) (* z z)))

series1.2s

Counts
4 → 12
Calls
4 calls:
450.0ms
(/ (/ (- (* (* (+ y x) (+ y x)) (+ y x)) (* z (* z z))) (+ (* (+ y x) (+ z (+ y x))) (* z z))) (* t 2.0))
169.0ms
(+ (* (+ y x) (+ z (+ y x))) (* z z))
313.0ms
(- (* (* (+ y x) (+ y x)) (+ y x)) (* z (* z z)))
256.0ms
(/ (- (* (* (+ y x) (+ y x)) (+ y x)) (* z (* z z))) (+ (* (+ y x) (+ z (+ y x))) (* z z)))

simplify4.4s

Counts
137 → 137
Iterations
IterNodes
done5004
22749
1698
0238

prune1.8s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes1.1s

Accuracy

0% (0.0b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
done13
113
011

end0.0ms

sample1.4s

Algorithm
intervals
Results
491.0ms10859×body80valid