Details

Time bar (total: 19.2s)

sample36.0ms

Algorithm
intervals
Results
18.0ms432×body80valid

simplify2.8s

Counts
1 → 1
Iterations
IterNodes
done5023
84325
71273
6494
5259
4162
398
253
122
011

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ y (/ (- x z) (/ y (+ z x))))
0.0b
(/ y (+ z x))
0.2b
(/ (+ y (/ (- x z) (/ y (+ z x)))) 2.0)
0.2b
(/ (- x z) (/ y (+ z x)))

rewrite324.0ms

Algorithm
rewrite-expression-head
Rules
186×times-frac
181×*-un-lft-identity
127×add-sqr-sqrt
89×add-cube-cbrt
27×distribute-lft-out
25×associate-/r*
19×distribute-lft-out-- difference-of-squares
15×associate-/r/
13×add-cbrt-cube add-exp-log
12×associate-/l*
9×flip3-+ flip-+ div-inv
6×add-log-exp
5×cbrt-undiv div-exp
4×pow1 div-sub associate-/l/
3×clear-num frac-2neg
2×associate-+r-
1×+-commutative sum-log flip3-- flip--
Counts
4 → 211
Calls
4 calls:
64.0ms
(+ y (/ (- x z) (/ y (+ z x))))
17.0ms
(/ y (+ z x))
200.0ms
(/ (+ y (/ (- x z) (/ y (+ z x)))) 2.0)
31.0ms
(/ (- x z) (/ y (+ z x)))

series279.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(+ y (/ (- x z) (/ y (+ z x))))
45.0ms
(/ y (+ z x))
85.0ms
(/ (+ y (/ (- x z) (/ y (+ z x)))) 2.0)
84.0ms
(/ (- x z) (/ y (+ z x)))

simplify1.9s

Counts
223 → 223
Iterations
IterNodes
done5000
23012
1890
0305

prune1.0s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize50.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (+ y (/ (- x z) (* (/ (/ y (+ z x)) (- z x)) (- z x)))) 2.0)
0.2b
(/ (- x z) (* (/ (/ y (+ z x)) (- z x)) (- z x)))
0.2b
(/ (/ y (+ z x)) (- z x))
6.0b
(* (/ (/ y (+ z x)) (- z x)) (- z x))

rewrite308.0ms

Algorithm
rewrite-expression-head
Rules
332×times-frac
296×*-un-lft-identity
231×add-sqr-sqrt
142×add-cube-cbrt
96×associate-*l*
40×distribute-lft-out-- difference-of-squares
37×distribute-lft-out
34×add-cbrt-cube add-exp-log
31×associate-/r/
27×associate-/l*
15×div-inv
14×cbrt-undiv div-exp
12×flip3-+ flip-+
9×associate-/r*
7×flip3-- flip--
6×pow1 prod-exp cbrt-unprod
5×associate-*r* associate-/l/
4×frac-times associate-*r/ add-log-exp
3×clear-num frac-2neg div-sub unswap-sqr
2×distribute-rgt-in sub-neg distribute-lft-in associate-*l/
1×associate-+r- pow-prod-down *-commutative
Counts
4 → 329
Calls
4 calls:
99.0ms
(/ (+ y (/ (- x z) (* (/ (/ y (+ z x)) (- z x)) (- z x)))) 2.0)
44.0ms
(/ (- x z) (* (/ (/ y (+ z x)) (- z x)) (- z x)))
27.0ms
(/ (/ y (+ z x)) (- z x))
118.0ms
(* (/ (/ y (+ z x)) (- z x)) (- z x))

series244.0ms

Counts
4 → 12
Calls
4 calls:
74.0ms
(/ (+ y (/ (- x z) (* (/ (/ y (+ z x)) (- z x)) (- z x)))) 2.0)
86.0ms
(/ (- x z) (* (/ (/ y (+ z x)) (- z x)) (- z x)))
53.0ms
(/ (/ y (+ z x)) (- z x))
30.0ms
(* (/ (/ y (+ z x)) (- z x)) (- z x))

simplify2.7s

Counts
341 → 341
Iterations
IterNodes
done5007
24261
11205
0430

prune1.9s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite141.0ms

Algorithm
rewrite-expression-head
Rules
60×*-un-lft-identity
44×add-sqr-sqrt
43×times-frac
34×add-exp-log
33×add-cube-cbrt
22×add-cbrt-cube
18×associate-*r*
12×div-exp associate-/l*
11×distribute-lft-out
8×associate-/r* prod-exp
7×pow1 cbrt-undiv
6×associate-/r/
4×cbrt-unprod div-inv add-log-exp associate-/l/
3×rec-exp clear-num frac-2neg flip3-+ 1-exp div-sub associate-*l* flip-+ unswap-sqr
2×associate-*r/ un-div-inv distribute-lft-out-- difference-of-squares
1×associate-+r- flip3-- pow-prod-down *-commutative pow-flip flip-- inv-pow
Counts
4 → 146
Calls
4 calls:
9.0ms
(/ 1 (+ z x))
75.0ms
(/ (+ y (/ (- x z) (* y (/ 1 (+ z x))))) 2.0)
23.0ms
(/ (- x z) (* y (/ 1 (+ z x))))
25.0ms
(* y (/ 1 (+ z x)))

series198.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(/ 1 (+ z x))
72.0ms
(/ (+ y (/ (- x z) (* y (/ 1 (+ z x))))) 2.0)
55.0ms
(/ (- x z) (* y (/ 1 (+ z x))))
33.0ms
(* y (/ 1 (+ z x)))

simplify1.9s

Counts
158 → 158
Iterations
IterNodes
done5000
21960
1543
0217

prune674.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite139.0ms

Algorithm
rewrite-expression-head
Rules
51×add-sqr-sqrt
48×*-un-lft-identity
40×times-frac
32×add-cube-cbrt
19×associate-*l*
13×add-cbrt-cube add-exp-log
8×associate-/l*
7×distribute-lft-out-- difference-of-squares
6×pow1 associate-/r* add-log-exp
4×flip3-+ associate-*r* flip-+ associate-/l/
3×cbrt-undiv div-exp div-inv
2×distribute-rgt-in frac-times associate-+l+ clear-num frac-2neg distribute-lft-in prod-exp associate-*r/ cbrt-unprod unswap-sqr
1×+-commutative sum-log flip3-- div-sub pow-prod-down associate-*l/ *-commutative flip-- distribute-lft-out
Counts
4 → 125
Calls
4 calls:
20.0ms
(+ (* (/ (- x z) y) (+ z x)) y)
13.0ms
(/ (- x z) y)
46.0ms
(/ (+ (* (/ (- x z) y) (+ z x)) y) 2.0)
54.0ms
(* (/ (- x z) y) (+ z x))

series266.0ms

Counts
4 → 12
Calls
4 calls:
76.0ms
(+ (* (/ (- x z) y) (+ z x)) y)
36.0ms
(/ (- x z) y)
88.0ms
(/ (+ (* (/ (- x z) y) (+ z x)) y) 2.0)
65.0ms
(* (/ (- x z) y) (+ z x))

simplify1.9s

Counts
137 → 137
Iterations
IterNodes
done5004
22015
1635
0207

prune623.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes327.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done16
116
013

end0.0ms

sample1.4s

Algorithm
intervals
Results
1.0s13711×body80valid