Details

Time bar (total: 43.0s)

sample43.0ms

Algorithm
intervals
Results
19.0ms197×body80valid
3.0ms27×body640valid
2.0ms11×body1280valid
1.0ms14×body320valid
0.0ms7×body160valid

simplify6.6s

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

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 23.1b

localize22.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (- 1.0 x) y)
3.5b
(- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))
8.2b
(/ (* (- 1.0 x) y) (+ y 1.0))

rewrite114.0ms

Algorithm
rewrite-expression-head
Rules
15×*-un-lft-identity
13×add-sqr-sqrt
10×add-cbrt-cube add-exp-log
7×add-cube-cbrt
5×pow1 associate-*l* add-log-exp
4×associate-/r* times-frac associate-*l/
3×flip3-- associate-*r* insert-posit16 flip--
2×cbrt-undiv div-exp prod-exp associate-/r/ cbrt-unprod distribute-lft-out distribute-lft-out-- difference-of-squares associate-/l/
1×clear-num sub-neg frac-2neg flip3-+ diff-log pow-prod-down *-commutative flip-+ div-inv associate-/l* unswap-sqr
Counts
3 → 66
Calls
3 calls:
43.0ms
(* (- 1.0 x) y)
36.0ms
(- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))
30.0ms
(/ (* (- 1.0 x) y) (+ y 1.0))

series251.0ms

Counts
3 → 9
Calls
3 calls:
70.0ms
(* (- 1.0 x) y)
112.0ms
(- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))
68.0ms
(/ (* (- 1.0 x) y) (+ y 1.0))

simplify2.5s

Counts
75 → 75
Iterations
IterNodes
done5001
21295
1348
0131

prune823.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.3b

localize51.0ms

Local error

Found 4 expressions with local error:

2.2b
(/ (- 1.0 x) (+ (* 1.0 (* 1.0 1.0)) (* y (* y y))))
7.1b
(* (/ (- 1.0 x) (+ (* 1.0 (* 1.0 1.0)) (* y (* y y)))) y)
7.9b
(- 1.0 (* (* (/ (- 1.0 x) (+ (* 1.0 (* 1.0 1.0)) (* y (* y y)))) y) (+ (* y y) (- (* 1.0 1.0) (* y 1.0)))))
14.3b
(* (* (/ (- 1.0 x) (+ (* 1.0 (* 1.0 1.0)) (* y (* y y)))) y) (+ (* y y) (- (* 1.0 1.0) (* y 1.0))))

rewrite668.0ms

Algorithm
rewrite-expression-head
Rules
50×add-sqr-sqrt
45×*-un-lft-identity
41×times-frac
27×associate-*l* add-cube-cbrt
22×cube-unmult
20×add-cbrt-cube add-exp-log
11×pow1 sum-cubes
9×distribute-lft-out-- difference-of-squares
7×prod-exp cbrt-unprod
6×associate-*r* add-log-exp
5×associate-*l/ associate-/l*
4×associate-/r* flip3-+ pow-prod-down associate-/r/ flip-+ insert-posit16
3×cbrt-undiv div-exp
2×distribute-rgt-in frac-times distribute-lft-in flip3-- associate-*r/ *-commutative div-inv flip-- associate--r+ unswap-sqr associate-/l/
1×clear-num sub-neg frac-2neg diff-log div-sub
Counts
4 → 136
Calls
4 calls:
97.0ms
(/ (- 1.0 x) (+ (* 1.0 (* 1.0 1.0)) (* y (* y y))))
215.0ms
(* (/ (- 1.0 x) (+ (* 1.0 (* 1.0 1.0)) (* y (* y y)))) y)
15.0ms
(- 1.0 (* (* (/ (- 1.0 x) (+ (* 1.0 (* 1.0 1.0)) (* y (* y y)))) y) (+ (* y y) (- (* 1.0 1.0) (* y 1.0)))))
323.0ms
(* (* (/ (- 1.0 x) (+ (* 1.0 (* 1.0 1.0)) (* y (* y y)))) y) (+ (* y y) (- (* 1.0 1.0) (* y 1.0))))

series1.1s

Counts
4 → 12
Calls
4 calls:
103.0ms
(/ (- 1.0 x) (+ (* 1.0 (* 1.0 1.0)) (* y (* y y))))
158.0ms
(* (/ (- 1.0 x) (+ (* 1.0 (* 1.0 1.0)) (* y (* y y)))) y)
638.0ms
(- 1.0 (* (* (/ (- 1.0 x) (+ (* 1.0 (* 1.0 1.0)) (* y (* y y)))) y) (+ (* y y) (- (* 1.0 1.0) (* y 1.0)))))
221.0ms
(* (* (/ (- 1.0 x) (+ (* 1.0 (* 1.0 1.0)) (* y (* y y)))) y) (+ (* y y) (- (* 1.0 1.0) (* y 1.0))))

simplify5.7s

Counts
148 → 148
Iterations
IterNodes
done5002
23029
1737
0246

prune1.7s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.3b

localize58.0ms

Local error

Found 4 expressions with local error:

4.4b
(/ (- 1.0 x) (+ (* 1.0 1.0) (- (* y y) (* 1.0 y))))
6.2b
(- 1.0 (* (* (/ (/ (- 1.0 x) (+ (* 1.0 1.0) (- (* y y) (* 1.0 y)))) (+ 1.0 y)) y) (+ (* y y) (- (* 1.0 1.0) (* y 1.0)))))
7.1b
(* (/ (/ (- 1.0 x) (+ (* 1.0 1.0) (- (* y y) (* 1.0 y)))) (+ 1.0 y)) y)
14.3b
(* (* (/ (/ (- 1.0 x) (+ (* 1.0 1.0) (- (* y y) (* 1.0 y)))) (+ 1.0 y)) y) (+ (* y y) (- (* 1.0 1.0) (* y 1.0))))

rewrite737.0ms

Algorithm
rewrite-expression-head
Rules
162×times-frac
148×*-un-lft-identity
115×add-sqr-sqrt
91×associate-*l*
74×add-cube-cbrt
29×add-cbrt-cube add-exp-log
21×distribute-lft-out
16×distribute-lft-out-- difference-of-squares
12×associate-/r/
11×pow1
10×prod-exp cbrt-unprod
8×flip3-+ flip-+
7×cbrt-undiv div-exp
6×associate-*r* div-inv add-log-exp
5×associate-*l/ associate-/l*
4×pow-prod-down insert-posit16
3×associate-/r* unswap-sqr
2×distribute-rgt-in frac-times distribute-lft-in flip3-- associate-*r/ *-commutative flip-- associate--r+ associate-/l/
1×clear-num sub-neg frac-2neg diff-log div-sub
Counts
4 → 199
Calls
4 calls:
109.0ms
(/ (- 1.0 x) (+ (* 1.0 1.0) (- (* y y) (* 1.0 y))))
15.0ms
(- 1.0 (* (* (/ (/ (- 1.0 x) (+ (* 1.0 1.0) (- (* y y) (* 1.0 y)))) (+ 1.0 y)) y) (+ (* y y) (- (* 1.0 1.0) (* y 1.0)))))
222.0ms
(* (/ (/ (- 1.0 x) (+ (* 1.0 1.0) (- (* y y) (* 1.0 y)))) (+ 1.0 y)) y)
345.0ms
(* (* (/ (/ (- 1.0 x) (+ (* 1.0 1.0) (- (* y y) (* 1.0 y)))) (+ 1.0 y)) y) (+ (* y y) (- (* 1.0 1.0) (* y 1.0))))

series656.0ms

Counts
4 → 12
Calls
4 calls:
97.0ms
(/ (- 1.0 x) (+ (* 1.0 1.0) (- (* y y) (* 1.0 y))))
143.0ms
(- 1.0 (* (* (/ (/ (- 1.0 x) (+ (* 1.0 1.0) (- (* y y) (* 1.0 y)))) (+ 1.0 y)) y) (+ (* y y) (- (* 1.0 1.0) (* y 1.0)))))
348.0ms
(* (/ (/ (- 1.0 x) (+ (* 1.0 1.0) (- (* y y) (* 1.0 y)))) (+ 1.0 y)) y)
67.0ms
(* (* (/ (/ (- 1.0 x) (+ (* 1.0 1.0) (- (* y y) (* 1.0 y)))) (+ 1.0 y)) y) (+ (* y y) (- (* 1.0 1.0) (* y 1.0))))

simplify6.6s

Counts
211 → 211
Iterations
IterNodes
done5000
24022
11011
0342

prune2.3s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.3b

localize133.0ms

Local error

Found 4 expressions with local error:

7.1b
(* (/ (/ (- 1.0 x) (+ (* 1.0 1.0) (- (* y y) (* 1.0 y)))) (+ 1.0 y)) y)
7.1b
(* (/ (/ (- 1.0 x) (+ (* 1.0 1.0) (- (* y y) (* 1.0 y)))) (+ 1.0 y)) y)
9.5b
(* (- (* 1.0 1.0) (* y 1.0)) (* (/ (/ (- 1.0 x) (+ (* 1.0 1.0) (- (* y y) (* 1.0 y)))) (+ 1.0 y)) y))
15.2b
(* (* y y) (* (/ (/ (- 1.0 x) (+ (* 1.0 1.0) (- (* y y) (* 1.0 y)))) (+ 1.0 y)) y))

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
294×times-frac
255×*-un-lft-identity
189×add-sqr-sqrt
185×associate-*l*
123×add-cube-cbrt
68×add-cbrt-cube add-exp-log
42×distribute-lft-out
31×prod-exp cbrt-unprod
25×pow1
24×distribute-lft-out-- difference-of-squares
20×associate-/r/
15×cbrt-undiv div-exp
13×pow-prod-down
10×flip3-+ flip-+ div-inv
8×associate-*r* associate-*l/
6×unswap-sqr
4×*-commutative insert-posit16 add-log-exp
2×frac-times flip3-- associate-*r/ flip--
1×distribute-rgt-out--
Counts
4 → 287
Calls
4 calls:
235.0ms
(* (/ (/ (- 1.0 x) (+ (* 1.0 1.0) (- (* y y) (* 1.0 y)))) (+ 1.0 y)) y)
257.0ms
(* (/ (/ (- 1.0 x) (+ (* 1.0 1.0) (- (* y y) (* 1.0 y)))) (+ 1.0 y)) y)
312.0ms
(* (- (* 1.0 1.0) (* y 1.0)) (* (/ (/ (- 1.0 x) (+ (* 1.0 1.0) (- (* y y) (* 1.0 y)))) (+ 1.0 y)) y))
258.0ms
(* (* y y) (* (/ (/ (- 1.0 x) (+ (* 1.0 1.0) (- (* y y) (* 1.0 y)))) (+ 1.0 y)) y))

series1.1s

Counts
4 → 12
Calls
4 calls:
386.0ms
(* (/ (/ (- 1.0 x) (+ (* 1.0 1.0) (- (* y y) (* 1.0 y)))) (+ 1.0 y)) y)
324.0ms
(* (/ (/ (- 1.0 x) (+ (* 1.0 1.0) (- (* y y) (* 1.0 y)))) (+ 1.0 y)) y)
209.0ms
(* (- (* 1.0 1.0) (* y 1.0)) (* (/ (/ (- 1.0 x) (+ (* 1.0 1.0) (- (* y y) (* 1.0 y)))) (+ 1.0 y)) y))
201.0ms
(* (* y y) (* (/ (/ (- 1.0 x) (+ (* 1.0 1.0) (- (* y y) (* 1.0 y)))) (+ 1.0 y)) y))

simplify5.9s

Counts
299 → 299
Iterations
IterNodes
done5010
23447
1923
0309

prune2.9s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.2b

regimes692.0ms

Accuracy

99.5% (0.1b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 20.5b

bsearch157.0ms

Steps
ItersRangePoint
7
451460537736783.06
6.038363079945714e+16
1637963662191947.0
10
-9.360541598459243e+24
-871508905171.6743
-12832313739411.762

simplify30.0ms

Iterations
IterNodes
done43
143
032

end0.0ms

sample850.0ms

Algorithm
intervals
Results
279.0ms6052×body80valid
161.0ms762×body640valid
107.0ms362×body1280valid
56.0ms528×body320valid
20.0ms296×body160valid