Details

Time bar (total: 23.8s)

sample30.0ms

Algorithm
intervals
Results
9.0ms182×body80valid
6.0ms32×body640valid
4.0ms27×body320valid
2.0ms7×body1280valid
1.0ms8×body160valid

simplify2.8s

Counts
1 → 1
Iterations
IterNodes
done5000
144122
133069
122474
112032
101843
91602
81334
7972
6535
5248
4118
371
233
116
08

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 23.5b

localize31.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (- 1.0 x) y)
2.9b
(- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))
5.5b
(/ (* (- 1.0 x) y) (+ y 1.0))

rewrite200.0ms

Algorithm
rewrite-expression-head
Rules
79×*-un-lft-identity
68×add-sqr-sqrt
58×times-frac
35×add-cube-cbrt
30×associate-*l*
18×associate-*r*
15×distribute-lft-out
14×associate-/l*
10×add-cbrt-cube add-exp-log
9×difference-of-squares
7×distribute-lft-out-- unswap-sqr
6×*-commutative
5×pow1 add-log-exp
4×associate-/r* associate-*l/
3×flip3-- insert-posit16 flip--
2×cbrt-undiv div-exp prod-exp associate-/r/ cbrt-unprod associate-/l/
1×clear-num sub-neg frac-2neg flip3-+ diff-log pow-prod-down flip-+ div-inv
Counts
3 → 133
Calls
3 calls:
22.0ms
(* (- 1.0 x) y)
72.0ms
(- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))
101.0ms
(/ (* (- 1.0 x) y) (+ y 1.0))

series185.0ms

Counts
3 → 9
Calls
3 calls:
46.0ms
(* (- 1.0 x) y)
86.0ms
(- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))
53.0ms
(/ (* (- 1.0 x) y) (+ y 1.0))

simplify1.7s

Counts
142 → 142
Iterations
IterNodes
done5001
21861
1531
0203

prune449.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

localize17.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- 1.0 x) (+ y 1.0))
0.1b
(* y (/ (- 1.0 x) (+ y 1.0)))
4.6b
(- 1.0 (* y (/ (- 1.0 x) (+ y 1.0))))

rewrite227.0ms

Algorithm
rewrite-expression-head
Rules
78×*-un-lft-identity
61×add-sqr-sqrt
42×times-frac
27×add-cube-cbrt
26×associate-*r*
14×associate-*r/
13×distribute-lft-out-- difference-of-squares
12×distribute-lft-out associate-/l*
10×add-cbrt-cube add-exp-log
8×associate-/r*
5×pow1 add-log-exp
4×associate-*l* associate-/r/ unswap-sqr associate-/l/
3×clear-num flip3-- un-div-inv insert-posit16 flip--
2×cbrt-undiv frac-2neg flip3-+ div-exp prod-exp cbrt-unprod flip-+ div-inv
1×sub-neg diff-log div-sub pow-prod-down *-commutative
Counts
3 → 127
Calls
3 calls:
22.0ms
(/ (- 1.0 x) (+ y 1.0))
88.0ms
(* y (/ (- 1.0 x) (+ y 1.0)))
113.0ms
(- 1.0 (* y (/ (- 1.0 x) (+ y 1.0))))

series242.0ms

Counts
3 → 9
Calls
3 calls:
49.0ms
(/ (- 1.0 x) (+ y 1.0))
67.0ms
(* y (/ (- 1.0 x) (+ y 1.0)))
126.0ms
(- 1.0 (* y (/ (- 1.0 x) (+ y 1.0))))

simplify1.5s

Counts
136 → 136
Iterations
IterNodes
done5001
21659
1505
0182

prune459.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (+ y 1.0) (- 1.0 x))
0.1b
(/ y (/ (+ y 1.0) (- 1.0 x)))
2.9b
(- 1.0 (/ y (/ (+ y 1.0) (- 1.0 x))))

rewrite165.0ms

Algorithm
rewrite-expression-head
Rules
183×*-un-lft-identity
181×times-frac
136×add-sqr-sqrt
83×add-cube-cbrt
36×associate-/r*
27×distribute-lft-out
25×difference-of-squares
24×associate-/r/
23×distribute-lft-out--
11×associate-/l*
10×add-cbrt-cube add-exp-log
6×flip3-- div-inv flip--
5×add-log-exp
4×cbrt-undiv div-exp associate-/l/
3×pow1 clear-num frac-2neg insert-posit16
2×flip3-+ flip-+
1×sub-neg diff-log
Counts
3 → 199
Calls
3 calls:
32.0ms
(/ (+ y 1.0) (- 1.0 x))
39.0ms
(/ y (/ (+ y 1.0) (- 1.0 x)))
87.0ms
(- 1.0 (/ y (/ (+ y 1.0) (- 1.0 x))))

series196.0ms

Counts
3 → 9
Calls
3 calls:
40.0ms
(/ (+ y 1.0) (- 1.0 x))
44.0ms
(/ y (/ (+ y 1.0) (- 1.0 x)))
112.0ms
(- 1.0 (/ y (/ (+ y 1.0) (- 1.0 x))))

simplify1.9s

Counts
208 → 208
Iterations
IterNodes
done5003
22718
1750
0290

prune744.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.1b

localize45.0ms

Local error

Found 4 expressions with local error:

0.1b
(* y (/ (- 1.0 x) (+ y 1.0)))
0.1b
(* (* y (/ (- 1.0 x) (+ y 1.0))) (* y (/ (- 1.0 x) (+ y 1.0))))
4.6b
(- (* 1.0 1.0) (* (* y (/ (- 1.0 x) (+ y 1.0))) (* y (/ (- 1.0 x) (+ y 1.0)))))
7.1b
(/ (- (* 1.0 1.0) (* (* y (/ (- 1.0 x) (+ y 1.0))) (* y (/ (- 1.0 x) (+ y 1.0))))) (+ 1.0 (* y (/ (- 1.0 x) (+ y 1.0)))))

rewrite4.5s

Algorithm
rewrite-expression-head
Rules
2663×add-sqr-sqrt
1239×*-un-lft-identity
1011×unswap-sqr
875×times-frac
586×difference-of-squares
535×associate-*r/
347×associate-/l*
326×swap-sqr
289×frac-times
258×distribute-lft-out
240×add-cube-cbrt
233×associate-*l*
210×associate-*r*
180×distribute-lft-out--
153×associate-/r*
146×*-commutative
111×un-div-inv
76×associate-/l/
75×clear-num
47×add-cbrt-cube add-exp-log
45×pow1
39×flip3-- flip--
38×frac-2neg
23×prod-exp cbrt-unprod
18×pow-prod-down
17×associate-*l/
12×associate-/r/
8×cbrt-undiv div-exp
6×flip3-+ flip-+ div-inv add-log-exp
4×pow-sqr pow-prod-up insert-posit16
2×pow-plus
1×pow2 sub-neg diff-log div-sub
Counts
4 → 1217
Calls
4 calls:
111.0ms
(* y (/ (- 1.0 x) (+ y 1.0)))
588.0ms
(* (* y (/ (- 1.0 x) (+ y 1.0))) (* y (/ (- 1.0 x) (+ y 1.0))))
866.0ms
(- (* 1.0 1.0) (* (* y (/ (- 1.0 x) (+ y 1.0))) (* y (/ (- 1.0 x) (+ y 1.0)))))
2.7s
(/ (- (* 1.0 1.0) (* (* y (/ (- 1.0 x) (+ y 1.0))) (* y (/ (- 1.0 x) (+ y 1.0))))) (+ 1.0 (* y (/ (- 1.0 x) (+ y 1.0)))))

series724.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(* y (/ (- 1.0 x) (+ y 1.0)))
63.0ms
(* (* y (/ (- 1.0 x) (+ y 1.0))) (* y (/ (- 1.0 x) (+ y 1.0))))
133.0ms
(- (* 1.0 1.0) (* (* y (/ (- 1.0 x) (+ y 1.0))) (* y (/ (- 1.0 x) (+ y 1.0)))))
461.0ms
(/ (- (* 1.0 1.0) (* (* y (/ (- 1.0 x) (+ y 1.0))) (* y (/ (- 1.0 x) (+ y 1.0))))) (+ 1.0 (* y (/ (- 1.0 x) (+ y 1.0)))))

simplify2.9s

Counts
1229 → 1229
Iterations
IterNodes
done5000
13368
0924

prune3.0s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.1b

regimes231.0ms

Accuracy

99.2% (0.1b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 14.6b

bsearch152.0ms

Steps
ItersRangePoint
7
3450257.8595304484
695318447.7085649
157501004.5008886
9
-2.7565420991412024e+22
-6.599107358080548e+16
-6.66464768403957e+16

simplify5.0ms

Iterations
IterNodes
done26
126
019

end0.0ms

sample1.4s

Algorithm
intervals
Results
558.0ms6072×body80valid
273.0ms722×body640valid
178.0ms510×body320valid
152.0ms391×body1280valid
88.0ms305×body160valid