Details

Time bar (total: 11.7s)

sample38.0ms

Algorithm
intervals
Results
17.0ms256×body80valid

simplify771.0ms

Counts
1 → 1
Iterations

Useful iterations: 5 (268.0ms)

IterNodesCost
01317
12517
26017
314217
435117
5162115
done500115

prune7.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.4b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (/ (* y t) z) 2.0)
0.0b
(- x (/ y (- (/ z 1) (/ (/ (* y t) z) 2.0))))
4.3b
(/ (* y t) z)
5.0b
(/ y (- (/ z 1) (/ (/ (* y t) z) 2.0)))

rewrite184.0ms

Algorithm
rewrite-expression-head
Rules
111×add-sqr-sqrt
106×times-frac
72×*-un-lft-identity
38×add-cube-cbrt
26×difference-of-squares
20×add-exp-log add-cbrt-cube
17×associate-/r*
11×associate-/l*
9×distribute-lft-out--
8×cbrt-undiv div-exp
7×div-inv
6×add-log-exp
4×pow1
3×frac-2neg clear-num associate-/r/
2×flip3-- prod-exp flip-- cbrt-unprod
1×sub-neg diff-log frac-sub associate-/l/
Counts
4 → 146
Calls
4 calls:
15.0ms
(/ (/ (* y t) z) 2.0)
90.0ms
(- x (/ y (- (/ z 1) (/ (/ (* y t) z) 2.0))))
12.0ms
(/ (* y t) z)
59.0ms
(/ y (- (/ z 1) (/ (/ (* y t) z) 2.0)))

series408.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(/ (/ (* y t) z) 2.0)
92.0ms
(- x (/ y (- (/ z 1) (/ (/ (* y t) z) 2.0))))
28.0ms
(/ (* y t) z)
248.0ms
(/ y (- (/ z 1) (/ (/ (* y t) z) 2.0)))

simplify1.4s

Counts
158 → 158
Iterations

Useful iterations: done (1.4s)

IterNodesCost
02692706
16122331
229642233
done50012227

prune527.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.4b

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (/ y (/ z t)) 2.0)
0.0b
(- x (/ y (- (/ z 1) (/ (/ y (/ z t)) 2.0))))
4.2b
(/ y (/ z t))
5.0b
(/ y (- (/ z 1) (/ (/ y (/ z t)) 2.0)))

rewrite689.0ms

Algorithm
rewrite-expression-head
Rules
635×times-frac
442×add-sqr-sqrt
295×*-un-lft-identity
253×add-cube-cbrt
50×associate-/l* difference-of-squares
33×associate-/r*
23×div-inv
20×add-exp-log add-cbrt-cube
10×cbrt-undiv div-exp
9×distribute-lft-out--
8×associate-/r/
6×add-log-exp
4×pow1
3×frac-2neg clear-num
2×flip3-- flip--
1×sub-neg diff-log frac-sub associate-/l/
Counts
4 → 367
Calls
4 calls:
33.0ms
(/ (/ y (/ z t)) 2.0)
383.0ms
(- x (/ y (- (/ z 1) (/ (/ y (/ z t)) 2.0))))
13.0ms
(/ y (/ z t))
222.0ms
(/ y (- (/ z 1) (/ (/ y (/ z t)) 2.0)))

series431.0ms

Counts
4 → 12
Calls
4 calls:
42.0ms
(/ (/ y (/ z t)) 2.0)
109.0ms
(- x (/ y (- (/ z 1) (/ (/ y (/ z t)) 2.0))))
32.0ms
(/ y (/ z t))
248.0ms
(/ y (- (/ z 1) (/ (/ y (/ z t)) 2.0)))

simplify794.0ms

Counts
379 → 379
Iterations

Useful iterations: done (777.0ms)

IterNodesCost
06527028
115806323
done50016165

prune1.4s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.4b

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(- x (/ 1 (/ (- z (/ (/ y (/ z t)) 2.0)) y)))
0.5b
(/ 1 (/ (- z (/ (/ y (/ z t)) 2.0)) y))
4.2b
(/ y (/ z t))
4.8b
(/ (- z (/ (/ y (/ z t)) 2.0)) y)

rewrite525.0ms

Algorithm
rewrite-expression-head
Rules
381×times-frac
374×add-sqr-sqrt
173×*-un-lft-identity
136×add-cube-cbrt
69×difference-of-squares
44×associate-/r*
22×add-exp-log
18×distribute-lft-out--
16×add-cbrt-cube
14×associate-/l*
12×div-inv
11×div-exp
7×cbrt-undiv
6×add-log-exp
5×pow1
3×frac-2neg clear-num
2×rec-exp flip3-- 1-exp associate-/r/ flip-- associate-/l/
1×sub-neg pow-flip diff-log div-sub inv-pow
Counts
4 → 275
Calls
4 calls:
216.0ms
(- x (/ 1 (/ (- z (/ (/ y (/ z t)) 2.0)) y)))
110.0ms
(/ 1 (/ (- z (/ (/ y (/ z t)) 2.0)) y))
10.0ms
(/ y (/ z t))
171.0ms
(/ (- z (/ (/ y (/ z t)) 2.0)) y)

series173.0ms

Counts
4 → 12
Calls
4 calls:
57.0ms
(- x (/ 1 (/ (- z (/ (/ y (/ z t)) 2.0)) y)))
43.0ms
(/ 1 (/ (- z (/ (/ y (/ z t)) 2.0)) y))
21.0ms
(/ y (/ z t))
52.0ms
(/ (- z (/ (/ y (/ z t)) 2.0)) y)

simplify776.0ms

Counts
287 → 287
Iterations

Useful iterations: done (763.0ms)

IterNodesCost
04466118
111685603
done50005435

prune802.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 3 expressions with local error:

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

rewrite136.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
15×*-un-lft-identity
11×add-cube-cbrt times-frac
7×add-exp-log add-log-exp
5×add-cbrt-cube
4×pow1
3×flip3-- associate-/r* associate-/r/ flip-- associate-/l* difference-of-squares
2×sub-neg diff-log associate-*r/ div-exp frac-sub div-inv distribute-lft-out--
1×cbrt-undiv rec-exp pow-flip frac-2neg 1-exp clear-num inv-pow
Counts
3 → 64
Calls
3 calls:
29.0ms
(- (/ z y) (* 0.5 (/ t z)))
64.0ms
(- x (/ 1 (- (/ z y) (* 0.5 (/ t z)))))
40.0ms
(/ 1 (- (/ z y) (* 0.5 (/ t z))))

series116.0ms

Counts
3 → 9
Calls
3 calls:
38.0ms
(- (/ z y) (* 0.5 (/ t z)))
39.0ms
(- x (/ 1 (- (/ z y) (* 0.5 (/ t z)))))
39.0ms
(/ 1 (- (/ z y) (* 0.5 (/ t z))))

simplify666.0ms

Counts
73 → 73
Iterations

Useful iterations: done (663.0ms)

IterNodesCost
01061220
12441125
29071061
done50001059

prune169.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01213
11513
done1513

end0.0ms

sample1.6s

Algorithm
intervals
Results
1.1s8000×body80valid