Details

Time bar (total: 21.8s)

sample48.0ms

Algorithm
intervals
Results
24.0ms256×body80valid

simplify816.0ms

Counts
1 → 1
Iterations

Useful iterations: 5 (301.0ms)

IterNodesCost
01317
12517
26017
314217
435117
5162115
done500115

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 2.2b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b
(- x (/ y (- (/ z 1) (/ (/ (* y t) z) 2.0))))
0.0b
(/ (/ (* y t) z) 2.0)
3.6b
(/ (* y t) z)
4.0b
(/ y (- (/ z 1) (/ (/ (* y t) z) 2.0)))

rewrite259.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:
136.0ms
(- x (/ y (- (/ z 1) (/ (/ (* y t) z) 2.0))))
19.0ms
(/ (/ (* y t) z) 2.0)
13.0ms
(/ (* y t) z)
84.0ms
(/ y (- (/ z 1) (/ (/ (* y t) z) 2.0)))

series375.0ms

Counts
4 → 12
Calls
4 calls:
84.0ms
(- x (/ y (- (/ z 1) (/ (/ (* y t) z) 2.0))))
43.0ms
(/ (/ (* y t) z) 2.0)
24.0ms
(/ (* y t) z)
224.0ms
(/ y (- (/ z 1) (/ (/ (* y t) z) 2.0)))

simplify1.8s

Counts
158 → 158
Iterations

Useful iterations: done (1.8s)

IterNodesCost
02692706
16112331
229702233
done50002227

prune696.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 1.0b

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(- x (/ y (- (/ z 1) (/ (/ y (/ z t)) 2.0))))
0.0b
(/ (/ y (/ z t)) 2.0)
4.0b
(/ y (- (/ z 1) (/ (/ y (/ z t)) 2.0)))
6.2b
(/ y (/ z t))

rewrite707.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:
374.0ms
(- x (/ y (- (/ z 1) (/ (/ y (/ z t)) 2.0))))
23.0ms
(/ (/ y (/ z t)) 2.0)
269.0ms
(/ y (- (/ z 1) (/ (/ y (/ z t)) 2.0)))
9.0ms
(/ y (/ z t))

series377.0ms

Counts
4 → 12
Calls
4 calls:
87.0ms
(- x (/ y (- (/ z 1) (/ (/ y (/ z t)) 2.0))))
45.0ms
(/ (/ y (/ z t)) 2.0)
222.0ms
(/ y (- (/ z 1) (/ (/ y (/ z t)) 2.0)))
22.0ms
(/ y (/ z t))

simplify855.0ms

Counts
379 → 379
Iterations

Useful iterations: done (842.0ms)

IterNodesCost
06527028
115406333
done50006149

prune2.0s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 1.0b

localize30.0ms

Local error

Found 4 expressions with local error:

0.0b
(- x (/ y (- (/ z 1) (/ (/ y 1) (/ 2.0 (/ t z))))))
0.8b
(/ 2.0 (/ t z))
4.0b
(/ y (- (/ z 1) (/ (/ y 1) (/ 2.0 (/ t z)))))
6.2b
(/ (/ y 1) (/ 2.0 (/ t z)))

rewrite2.5s

Algorithm
rewrite-expression-head
Rules
2458×times-frac
1428×add-sqr-sqrt
993×*-un-lft-identity
891×add-cube-cbrt
122×difference-of-squares
108×div-inv
92×associate-/r*
41×add-exp-log
32×add-cbrt-cube
28×div-exp
19×cbrt-undiv associate-/r/ associate-/l*
9×distribute-lft-out--
6×add-log-exp
4×pow1
3×frac-2neg 1-exp clear-num
2×flip3-- flip--
1×sub-neg diff-log frac-sub associate-/l/
Counts
4 → 899
Calls
4 calls:
1.4s
(- x (/ y (- (/ z 1) (/ (/ y 1) (/ 2.0 (/ t z))))))
11.0ms
(/ 2.0 (/ t z))
942.0ms
(/ y (- (/ z 1) (/ (/ y 1) (/ 2.0 (/ t z)))))
52.0ms
(/ (/ y 1) (/ 2.0 (/ t z)))

series332.0ms

Counts
4 → 12
Calls
4 calls:
78.0ms
(- x (/ y (- (/ z 1) (/ (/ y 1) (/ 2.0 (/ t z))))))
18.0ms
(/ 2.0 (/ t z))
193.0ms
(/ y (- (/ z 1) (/ (/ y 1) (/ 2.0 (/ t z)))))
42.0ms
(/ (/ y 1) (/ 2.0 (/ t z)))

simplify820.0ms

Counts
911 → 911
Iterations

Useful iterations: done (777.0ms)

IterNodesCost
0165922982
done500019930

prune5.0s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b
(- x (/ y (- (/ z 1) (/ (/ y 1) (* 2.0 (/ z t))))))
0.0b
(* 2.0 (/ z t))
4.0b
(/ y (- (/ z 1) (/ (/ y 1) (* 2.0 (/ z t)))))
6.2b
(/ (/ y 1) (* 2.0 (/ z t)))

rewrite287.0ms

Algorithm
rewrite-expression-head
Rules
76×add-sqr-sqrt
71×times-frac
52×*-un-lft-identity
41×add-exp-log
38×add-cube-cbrt
32×add-cbrt-cube
20×div-exp
16×associate-/l*
14×difference-of-squares
13×cbrt-undiv associate-*r*
8×prod-exp associate-/r*
6×pow1 cbrt-unprod add-log-exp
5×div-inv distribute-lft-out--
4×associate-/r/
3×1-exp associate-*l*
2×flip3-- frac-2neg associate-*r/ clear-num flip-- unswap-sqr
1×sub-neg diff-log pow-prod-down *-commutative frac-sub associate-/l/
Counts
4 → 147
Calls
4 calls:
167.0ms
(- x (/ y (- (/ z 1) (/ (/ y 1) (* 2.0 (/ z t))))))
14.0ms
(* 2.0 (/ z t))
66.0ms
(/ y (- (/ z 1) (/ (/ y 1) (* 2.0 (/ z t)))))
33.0ms
(/ (/ y 1) (* 2.0 (/ z t)))

series426.0ms

Counts
4 → 12
Calls
4 calls:
109.0ms
(- x (/ y (- (/ z 1) (/ (/ y 1) (* 2.0 (/ z t))))))
34.0ms
(* 2.0 (/ z t))
246.0ms
(/ y (- (/ z 1) (/ (/ y 1) (* 2.0 (/ z t)))))
37.0ms
(/ (/ y 1) (* 2.0 (/ z t)))

simplify2.1s

Counts
159 → 159
Iterations

Useful iterations: done (2.1s)

IterNodesCost
02812711
17402041
240371893
done50011873

prune689.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

regimes252.0ms

Accuracy

0% (1.0b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
01519
11915
22015
done2015

end0.0ms

sample1.4s

Algorithm
intervals
Results
990.0ms8000×body80valid