Details

Time bar (total: 15.0s)

sample31.0ms

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

simplify2.2s

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

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 23.5b

localize22.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))

rewrite52.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:
14.0ms
(* (- 1.0 x) y)
11.0ms
(- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))
26.0ms
(/ (* (- 1.0 x) y) (+ y 1.0))

series206.0ms

Counts
3 → 9
Calls
3 calls:
45.0ms
(* (- 1.0 x) y)
99.0ms
(- 1.0 (/ (* (- 1.0 x) y) (+ y 1.0)))
62.0ms
(/ (* (- 1.0 x) y) (+ y 1.0))

simplify1.1s

Counts
75 → 75
Iterations
IterNodes
done5000
21305
1349
0131

prune312.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

localize24.0ms

Local error

Found 3 expressions with local error:

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

rewrite61.0ms

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

series219.0ms

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

simplify1.3s

Counts
100 → 100
Iterations
IterNodes
done5001
21630
1427
0160

prune350.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.1b

localize21.0ms

Local error

Found 4 expressions with local error:

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

rewrite160.0ms

Algorithm
rewrite-expression-head
Rules
94×add-sqr-sqrt
88×*-un-lft-identity
66×times-frac
36×add-cbrt-cube associate-*r* add-exp-log add-cube-cbrt
23×distribute-lft-out-- difference-of-squares
19×associate-*l*
13×prod-exp cbrt-unprod
11×pow1
10×frac-times
9×cbrt-undiv div-exp
8×flip3-- flip--
7×associate-*l/
6×associate-*r/ associate-/r/ add-log-exp
5×associate-/r* sub-neg associate-/l*
4×distribute-rgt-in distribute-lft-in pow-prod-down insert-posit16 associate--r+ unswap-sqr
3×div-inv distribute-lft-out
2×*-commutative associate-/l/
1×clear-num frac-2neg flip3-+ diff-log div-sub flip-+
Counts
4 → 186
Calls
4 calls:
55.0ms
(* (/ y (+ 1.0 y)) (/ (- 1.0 x) (- y 1.0)))
24.0ms
(/ (- 1.0 x) (- y 1.0))
72.0ms
(* (* (/ y (+ 1.0 y)) (/ (- 1.0 x) (- y 1.0))) (- y 1.0))
5.0ms
(- 1.0 (* (* (/ y (+ 1.0 y)) (/ (- 1.0 x) (- y 1.0))) (- y 1.0)))

series275.0ms

Counts
4 → 12
Calls
4 calls:
102.0ms
(* (/ y (+ 1.0 y)) (/ (- 1.0 x) (- y 1.0)))
42.0ms
(/ (- 1.0 x) (- y 1.0))
39.0ms
(* (* (/ y (+ 1.0 y)) (/ (- 1.0 x) (- y 1.0))) (- y 1.0))
92.0ms
(- 1.0 (* (* (/ y (+ 1.0 y)) (/ (- 1.0 x) (- y 1.0))) (- y 1.0)))

simplify2.1s

Counts
198 → 198
Iterations
IterNodes
done5004
23809
1904
0284

prune575.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize50.0ms

Local error

Found 4 expressions with local error:

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

rewrite200.0ms

Algorithm
rewrite-expression-head
Rules
51×frac-times
47×add-cbrt-cube add-exp-log
45×pow1
31×associate-*l/
30×*-un-lft-identity
29×add-sqr-sqrt
28×flip3-- flip--
25×times-frac
23×prod-exp cbrt-unprod
22×add-cube-cbrt
19×associate-*r*
18×pow-prod-down associate-*r/
8×cbrt-undiv div-exp
6×associate-*l* add-log-exp difference-of-squares
4×associate-/r/ pow-sqr pow-prod-up insert-posit16 associate-/l*
3×associate-/r* distribute-lft-out
2×flip3-+ pow-plus *-commutative flip-+ div-inv unswap-sqr associate-/l/
1×pow2 clear-num sub-neg frac-2neg diff-log div-sub swap-sqr distribute-lft-out--
Counts
4 → 175
Calls
4 calls:
37.0ms
(* (- 1.0 x) (/ y (+ y 1.0)))
109.0ms
(* (* (- 1.0 x) (/ y (+ y 1.0))) (* (- 1.0 x) (/ y (+ y 1.0))))
13.0ms
(- (* 1.0 1.0) (* (* (- 1.0 x) (/ y (+ y 1.0))) (* (- 1.0 x) (/ y (+ y 1.0)))))
36.0ms
(/ (- (* 1.0 1.0) (* (* (- 1.0 x) (/ y (+ y 1.0))) (* (- 1.0 x) (/ y (+ y 1.0))))) (+ 1.0 (* (- 1.0 x) (/ y (+ y 1.0)))))

series688.0ms

Counts
4 → 12
Calls
4 calls:
58.0ms
(* (- 1.0 x) (/ y (+ y 1.0)))
82.0ms
(* (* (- 1.0 x) (/ y (+ y 1.0))) (* (- 1.0 x) (/ y (+ y 1.0))))
110.0ms
(- (* 1.0 1.0) (* (* (- 1.0 x) (/ y (+ y 1.0))) (* (- 1.0 x) (/ y (+ y 1.0)))))
438.0ms
(/ (- (* 1.0 1.0) (* (* (- 1.0 x) (/ y (+ y 1.0))) (* (- 1.0 x) (/ y (+ y 1.0))))) (+ 1.0 (* (- 1.0 x) (/ y (+ y 1.0)))))

simplify2.4s

Counts
187 → 187
Iterations
IterNodes
done5000
24458
1944
0297

prune622.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

regimes193.0ms

Accuracy

99.2% (0.1b remaining)

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

bsearch123.0ms

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

simplify8.0ms

Iterations
IterNodes
done29
129
022

end0.0ms

sample1.7s

Algorithm
intervals
Results
864.0ms6072×body80valid
266.0ms722×body640valid
216.0ms391×body1280valid
110.0ms510×body320valid
43.0ms305×body160valid