Details

Time bar (total: 16.5s)

sample26.0ms

Algorithm
intervals
Results
11.0ms355×body80valid

simplify2.3s

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

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize10.0ms

Local error

Found 1 expressions with local error:

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

rewrite93.0ms

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

series48.0ms

Counts
1 → 3
Calls
1 calls:
48.0ms
(/ (- (+ x y) z) (* t 2.0))

simplify1.8s

Counts
35 → 35
Iterations
IterNodes
done5014
33256
2698
1206
080

prune180.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize22.0ms

Local error

Found 2 expressions with local error:

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

rewrite183.0ms

Algorithm
rewrite-expression-head
Rules
156×*-un-lft-identity times-frac
108×add-sqr-sqrt
76×add-cube-cbrt
32×distribute-lft-out--
28×associate-/l*
16×distribute-lft-out difference-of-squares
9×add-cbrt-cube add-exp-log
6×associate-/r* div-inv
4×cbrt-undiv div-exp
3×div-sub associate-/l/
2×expm1-log1p-u pow1 clear-num frac-2neg log1p-expm1-u add-log-exp
1×flip3-- flip--
Counts
2 → 153
Calls
2 calls:
101.0ms
(/ (/ (- (+ x y) z) t) 2.0)
71.0ms
(/ (- (+ x y) z) t)

series79.0ms

Counts
2 → 6
Calls
2 calls:
42.0ms
(/ (/ (- (+ x y) z) t) 2.0)
36.0ms
(/ (- (+ x y) z) t)

simplify1.1s

Counts
159 → 159
Iterations
IterNodes
done5000
21495
1519
0219

prune740.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize25.0ms

Local error

Found 3 expressions with local error:

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

rewrite697.0ms

Algorithm
rewrite-expression-head
Rules
515×times-frac
431×*-un-lft-identity
413×add-sqr-sqrt
387×add-cube-cbrt
338×prod-diff
171×associate-+l+
57×div-inv
16×distribute-lft-out--
13×fma-neg
12×fma-def
10×distribute-lft-out add-log-exp
8×associate-*r* frac-add difference-of-squares
6×associate-*r/
5×pow1 add-cbrt-cube add-exp-log
3×expm1-log1p-u flip3-- associate-*l* frac-sub log1p-expm1-u flip-- sub-div
2×sum-log sub-neg flip3-+ distribute-rgt-out-- diff-log flip-+
1×distribute-rgt-in +-commutative distribute-lft-in pow-prod-down prod-exp *-commutative associate-+l- cbrt-unprod unswap-sqr
Counts
3 → 447
Calls
3 calls:
406.0ms
(* 0.5 (+ (- (/ x t) (/ z t)) (/ y t)))
212.0ms
(+ (- (/ x t) (/ z t)) (/ y t))
46.0ms
(- (/ x t) (/ z t))

series96.0ms

Counts
3 → 9
Calls
3 calls:
44.0ms
(* 0.5 (+ (- (/ x t) (/ z t)) (/ y t)))
23.0ms
(+ (- (/ x t) (/ z t)) (/ y t))
29.0ms
(- (/ x t) (/ z t))

simplify2.0s

Counts
456 → 456
Iterations
IterNodes
done5006
22768
11007
0411

prune3.4s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize21.0ms

Local error

Found 1 expressions with local error:

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

rewrite99.0ms

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

series67.0ms

Counts
1 → 3
Calls
1 calls:
67.0ms
(/ (- (+ x y) z) (* 2.0 t))

simplify2.1s

Counts
35 → 35
Iterations
IterNodes
done5014
33256
2698
1206
080

prune135.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes331.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done13
113
011

end0.0ms

sample957.0ms

Algorithm
intervals
Results
551.0ms10746×body80valid