Details

Time bar (total: 14.7s)

sample33.0ms

Algorithm
intervals
Results
13.0ms341×body80valid

simplify5.8s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
09165
120165
239165
355165
470165
587165
6124165
7187165
8311165
9546165
10808165
111245165
121964165
132357165
142563165
152735165
162935165
173124165
183310165
193478165
203664165
213831165
224017165
234185165
244371165
254538165
264724165
274892165
done5000165

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 1 expressions with local error:

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

rewrite97.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×pow1 clear-num associate-/r* frac-2neg flip3-- div-sub prod-exp cbrt-unprod div-inv flip-- add-log-exp
Counts
1 → 30
Calls
1 calls:
96.0ms
(/ (- (+ x y) z) (* t 2.0))

series70.0ms

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

simplify3.0s

Counts
33 → 33
Iterations

Useful iterations: 2 (206.0ms)

IterNodesCost
0787538
12017248
26676968
331296968
done50026968

prune502.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize19.0ms

Local error

Found 2 expressions with local error:

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

rewrite281.0ms

Algorithm
rewrite-expression-head
Rules
29×*-un-lft-identity
16×times-frac
12×add-sqr-sqrt
9×add-log-exp
8×distribute-lft-out
7×add-cube-cbrt
5×distribute-lft-out--
3×frac-sub
2×pow1 sum-log flip3-+ add-cbrt-cube diff-log frac-add add-exp-log flip-+ div-inv difference-of-squares
1×+-commutative sub-neg distribute-rgt-out flip3-- associate--l+ flip--
Counts
2 → 41
Calls
2 calls:
23.0ms
(+ (/ y t) (/ x t))
257.0ms
(- (+ (/ y t) (/ x t)) (/ z t))

series67.0ms

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

simplify1.6s

Counts
47 → 47
Iterations

Useful iterations: 3 (601.0ms)

IterNodesCost
08713462
121712199
263712079
3213011959
done500011959

prune219.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize18.0ms

Local error

Found 2 expressions with local error:

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

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt
13×*-un-lft-identity associate-*l*
11×times-frac add-exp-log
10×add-cube-cbrt
7×add-cbrt-cube
5×frac-sub
4×frac-times pow1 flip3-+ associate-*r* prod-exp associate-*r/ flip-+ add-log-exp
3×associate-*l/ unswap-sqr
2×distribute-rgt-in distribute-lft-in div-exp associate--l+ cbrt-unprod
1×cbrt-undiv rec-exp sub-neg flip3-- diff-log 1-exp pow-prod-down *-commutative div-inv flip-- distribute-lft-out sub-div
Counts
2 → 62
Calls
2 calls:
16.0ms
(- (* (/ 1 t) (+ y x)) (/ z t))
25.0ms
(* (/ 1 t) (+ y x))

series58.0ms

Counts
2 → 6
Calls
2 calls:
31.0ms
(- (* (/ 1 t) (+ y x)) (/ z t))
27.0ms
(* (/ 1 t) (+ y x))

simplify1.4s

Counts
68 → 68
Iterations

Useful iterations: done (1.4s)

IterNodesCost
014018548
145715617
2157112924
done500012844

prune283.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes229.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
011245
113245
done13245

end0.0ms

sample956.0ms

Algorithm
intervals
Results
473.0ms10939×body80valid