Details

Time bar (total: 45.7s)

sample50.0ms

Algorithm
intervals
Results
21.0ms341×body80valid

simplify8.4s

Counts
1 → 1
Iterations
IterNodes
done5000
254837
244661
234469
224293
214101
203925
193733
183557
173365
163189
152997
142778
132541
122055
111277
10830
9564
8312
7187
6124
587
470
355
239
120
09

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 2 expressions with local error:

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

rewrite341.0ms

Algorithm
rewrite-expression-head
Rules
19×*-un-lft-identity
10×add-sqr-sqrt
7×add-exp-log add-cbrt-cube 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 flip-- associate-/l/
1×sub-neg frac-2neg div-sub prod-exp associate--l+ clear-num associate-/r* sum-log cbrt-unprod div-inv
Counts
2 → 47
Calls
2 calls:
77.0ms
(- (+ x y) z)
260.0ms
(/ (- (+ x y) z) (* t 2.0))

series123.0ms

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

simplify6.4s

Counts
53 → 53
Iterations
IterNodes
done5000
33600
2777
1234
093

prune433.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize33.0ms

Local error

Found 2 expressions with local error:

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

rewrite222.0ms

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

series86.0ms

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

simplify6.0s

Counts
53 → 53
Iterations
IterNodes
done5001
32652
2736
1262
0100

prune504.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize57.0ms

Local error

Found 2 expressions with local error:

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

rewrite653.0ms

Algorithm
rewrite-expression-head
Rules
38×*-un-lft-identity
23×add-sqr-sqrt
18×times-frac
13×add-cube-cbrt
10×distribute-lft-out--
7×add-log-exp
6×associate-/l*
5×distribute-lft-out difference-of-squares
4×add-exp-log add-cbrt-cube
3×associate-/r*
2×pow1 flip3-- diff-log flip-- associate-/l/
1×cbrt-undiv sub-neg frac-2neg div-sub div-exp associate--l+ clear-num sum-log div-inv
Counts
2 → 59
Calls
2 calls:
132.0ms
(- (+ x y) z)
433.0ms
(/ (- (+ x y) z) t)

series221.0ms

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

simplify8.0s

Counts
65 → 65
Iterations
IterNodes
done5000
33155
2656
1214
094

prune627.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize36.0ms

Local error

Found 3 expressions with local error:

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

rewrite293.0ms

Algorithm
rewrite-expression-head
Rules
164×*-un-lft-identity
162×times-frac
113×add-sqr-sqrt
79×add-cube-cbrt
34×distribute-lft-out--
30×associate-/r*
17×distribute-lft-out difference-of-squares
16×add-exp-log
11×associate-/r/
10×add-cbrt-cube
8×div-exp add-log-exp
6×flip3-- flip-- div-inv associate-/l*
4×pow1 cbrt-undiv
2×rec-exp frac-2neg diff-log 1-exp clear-num
1×sub-neg pow-flip associate--l+ sum-log inv-pow
Counts
3 → 178
Calls
3 calls:
81.0ms
(- (+ x y) z)
81.0ms
(/ t (- (+ x y) z))
105.0ms
(/ 1 (/ t (- (+ x y) z)))

series284.0ms

Counts
3 → 9
Calls
3 calls:
31.0ms
(- (+ x y) z)
185.0ms
(/ t (- (+ x y) z))
68.0ms
(/ 1 (/ t (- (+ x y) z)))

simplify6.4s

Counts
187 → 187
Iterations
IterNodes
done5003
21498
1536
0221

prune2.3s

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.1b and baseline of 0.1b

bsearch2.0ms

simplify7.0ms

Iterations
IterNodes
done13
113
011

end10.0ms

sample3.2s

Algorithm
intervals
Results
2.3s10954×body80valid