Details

Time bar (total: 34.0s)

sample58.0ms

Algorithm
intervals
Results
26.0ms328×body80valid

simplify7.9s

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

prune21.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize57.0ms

Local error

Found 1 expressions with local error:

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

rewrite243.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:
239.0ms
(/ (- (+ x y) z) (* t 2.0))

series91.0ms

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

simplify5.3s

Counts
36 → 36
Iterations
IterNodes
done5008
33244
2696
1209
081

prune480.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize72.0ms

Local error

Found 2 expressions with local error:

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

rewrite257.0ms

Algorithm
rewrite-expression-head
Rules
64×times-frac
63×*-un-lft-identity
56×prod-diff
38×add-sqr-sqrt
36×add-cube-cbrt
19×div-inv
11×distribute-lft-out
8×fma-neg
7×add-cbrt-cube add-exp-log
4×associate-/l* add-log-exp
3×distribute-lft-out--
2×expm1-log1p-u pow1 cbrt-undiv div-exp insert-posit16 log1p-expm1-u associate-/l/
1×clear-num associate-/r* sub-neg frac-2neg flip3-+ flip3-- distribute-rgt-out-- diff-log prod-exp frac-sub cbrt-unprod flip-+ flip-- sub-div difference-of-squares
Counts
2 → 114
Calls
2 calls:
54.0ms
(/ (+ x y) (* t 2.0))
188.0ms
(- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0)))

series137.0ms

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

simplify3.3s

Counts
120 → 120
Iterations
IterNodes
done5001
21338
1479
0189

prune1.6s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize91.0ms

Local error

Found 2 expressions with local error:

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

rewrite244.0ms

Algorithm
rewrite-expression-head
Rules
66×times-frac
55×*-un-lft-identity
37×add-sqr-sqrt
28×add-exp-log
25×add-cube-cbrt
18×associate-/r*
16×add-cbrt-cube
14×div-exp
12×distribute-lft-out--
11×associate-/r/
7×cbrt-undiv
6×div-inv distribute-lft-out difference-of-squares
5×flip3-- flip--
4×prod-exp associate-/l*
3×pow1 rec-exp 1-exp
2×expm1-log1p-u clear-num frac-2neg cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
1×pow-flip inv-pow
Counts
2 → 111
Calls
2 calls:
84.0ms
(/ (* t 2.0) (- (+ x y) z))
150.0ms
(/ 1 (/ (* t 2.0) (- (+ x y) z)))

series207.0ms

Counts
2 → 6
Calls
2 calls:
120.0ms
(/ (* t 2.0) (- (+ x y) z))
87.0ms
(/ 1 (/ (* t 2.0) (- (+ x y) z)))

simplify3.2s

Counts
117 → 117
Iterations
IterNodes
done5000
21613
1453
0176

prune1.7s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize67.0ms

Local error

Found 3 expressions with local error:

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

rewrite585.0ms

Algorithm
rewrite-expression-head
Rules
62×*-un-lft-identity
46×add-sqr-sqrt
40×times-frac
31×add-exp-log
27×add-cube-cbrt
24×associate-*r*
19×add-cbrt-cube
14×distribute-lft-out--
11×div-exp
8×pow1 prod-exp
7×associate-/r* distribute-lft-out difference-of-squares
6×cbrt-undiv associate-/l*
5×associate-/r/
4×cbrt-unprod
3×expm1-log1p-u rec-exp 1-exp associate-*l* insert-posit16 log1p-expm1-u div-inv add-log-exp
2×clear-num frac-2neg flip3-- pow-prod-down associate-*r/ pow-flip flip-- unswap-sqr
1×*-commutative inv-pow
Counts
3 → 126
Calls
3 calls:
134.0ms
(/ 2.0 (- (+ x y) z))
303.0ms
(* t (/ 2.0 (- (+ x y) z)))
138.0ms
(/ 1 (* t (/ 2.0 (- (+ x y) z))))

series340.0ms

Counts
3 → 9
Calls
3 calls:
153.0ms
(/ 2.0 (- (+ x y) z))
112.0ms
(* t (/ 2.0 (- (+ x y) z)))
74.0ms
(/ 1 (* t (/ 2.0 (- (+ x y) z))))

simplify3.9s

Counts
135 → 135
Iterations
IterNodes
done5000
21284
1400
0170

prune1.5s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes1.3s

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations
IterNodes
done12
112
010

end0.0ms

sample1.5s

Algorithm
intervals
Results
843.0ms10794×body80valid