Details

Time bar (total: 11.8s)

sample45.0ms

Algorithm
intervals
Results
23.0ms350×body80valid

simplify2.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

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 1 expressions with local error:

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

rewrite75.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 insert-posit16 log1p-expm1-u div-inv flip-- add-log-exp
Counts
1 → 33
Calls
1 calls:
74.0ms
(/ (- (+ x y) z) (* t 2.0))

series72.0ms

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

simplify2.1s

Counts
36 → 36
Iterations
IterNodes
done5001
33249
2694
1207
081

prune138.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 2 expressions with local error:

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

rewrite133.0ms

Algorithm
rewrite-expression-head
Rules
246×*-un-lft-identity
181×times-frac
117×add-sqr-sqrt
112×add-cube-cbrt
104×prod-diff
64×distribute-lft-out
39×div-inv
15×distribute-rgt-out
13×fma-def
9×add-log-exp
8×fma-neg
5×distribute-lft-out--
3×frac-sub
2×expm1-log1p-u pow1 sum-log flip3-+ add-cbrt-cube diff-log frac-add add-exp-log flip-+ insert-posit16 log1p-expm1-u difference-of-squares
1×+-commutative sub-neg flip3-- associate--l+ flip--
Counts
2 → 172
Calls
2 calls:
11.0ms
(+ (/ y t) (/ x t))
117.0ms
(- (+ (/ y t) (/ x t)) (/ z t))

series44.0ms

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

simplify2.0s

Counts
178 → 178
Iterations
IterNodes
done5000
21700
1628
0254

prune679.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize82.0ms

Local error

Found 4 expressions with local error:

4.1b
(cbrt (+ (/ y t) (/ x t)))
4.1b
(cbrt (+ (/ y t) (/ x t)))
4.1b
(cbrt (+ (/ y t) (/ x t)))
50.8b
(fma (- (/ (cbrt z) t)) (/ (* (cbrt z) (cbrt z)) 1) (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1)))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
37×*-un-lft-identity
24×cbrt-prod
18×times-frac
13×add-sqr-sqrt add-cube-cbrt
12×distribute-lft-out
9×cbrt-div
6×div-inv
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
3×flip3-+ distribute-rgt-out pow1/3 frac-add flip-+
1×fma-udef
Counts
4 → 77
Calls
4 calls:
13.0ms
(cbrt (+ (/ y t) (/ x t)))
10.0ms
(cbrt (+ (/ y t) (/ x t)))
13.0ms
(cbrt (+ (/ y t) (/ x t)))
0.0ms
(fma (- (/ (cbrt z) t)) (/ (* (cbrt z) (cbrt z)) 1) (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1)))

series627.0ms

Counts
4 → 12
Calls
4 calls:
128.0ms
(cbrt (+ (/ y t) (/ x t)))
130.0ms
(cbrt (+ (/ y t) (/ x t)))
138.0ms
(cbrt (+ (/ y t) (/ x t)))
230.0ms
(fma (- (/ (cbrt z) t)) (/ (* (cbrt z) (cbrt z)) 1) (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1)))

simplify1.4s

Counts
89 → 89
Iterations
IterNodes
done5003
31500
2567
1252
0123

prune682.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes318.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done13
113
011

end0.0ms

sample886.0ms

Algorithm
intervals
Results
536.0ms10827×body80valid