Details

Time bar (total: 8.9s)

sample36.0ms

Algorithm
intervals
Results
16.0ms256×body80valid

simplify17.0ms

Counts
1 → 1
Iterations
IterNodes
done26
426
325
222
115
09

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b
(- x (/ y (+ 1.0 (/ (* x y) 2.0))))
6.2b
(/ y (+ 1.0 (/ (* x y) 2.0)))

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
21×*-un-lft-identity
16×add-sqr-sqrt
13×times-frac
11×add-cube-cbrt
4×associate-/r* add-cbrt-cube add-exp-log distribute-lft-out add-log-exp
3×associate-/l*
2×pow1 associate-/r/ difference-of-squares
1×cbrt-undiv clear-num sub-neg frac-2neg flip3-+ flip3-- diff-log div-exp flip-+ div-inv flip-- distribute-lft-out--
Counts
2 → 48
Calls
2 calls:
50.0ms
(- x (/ y (+ 1.0 (/ (* x y) 2.0))))
32.0ms
(/ y (+ 1.0 (/ (* x y) 2.0)))

series197.0ms

Counts
2 → 6
Calls
2 calls:
75.0ms
(- x (/ y (+ 1.0 (/ (* x y) 2.0))))
122.0ms
(/ y (+ 1.0 (/ (* x y) 2.0)))

simplify692.0ms

Counts
54 → 54
Iterations
IterNodes
done5000
21092
1277
0116

prune593.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.0b
(- x (/ 1 (/ (+ 1.0 (/ x (/ 2.0 y))) y)))
0.1b
(/ 1 (/ (+ 1.0 (/ x (/ 2.0 y))) y))
0.2b
(/ x (/ 2.0 y))
6.2b
(/ (+ 1.0 (/ x (/ 2.0 y))) y)

rewrite311.0ms

Algorithm
rewrite-expression-head
Rules
189×times-frac
141×*-un-lft-identity
118×add-sqr-sqrt
104×add-cube-cbrt
32×associate-/r*
22×add-exp-log
16×add-cbrt-cube distribute-lft-out
12×div-inv
11×div-exp
10×associate-/l*
7×cbrt-undiv
6×add-log-exp
5×pow1 difference-of-squares
3×clear-num frac-2neg
2×rec-exp 1-exp associate-/r/ distribute-lft-out-- associate-/l/
1×sub-neg flip3-+ flip3-- diff-log flip-+ pow-flip flip-- inv-pow
Counts
4 → 210
Calls
4 calls:
111.0ms
(- x (/ 1 (/ (+ 1.0 (/ x (/ 2.0 y))) y)))
88.0ms
(/ 1 (/ (+ 1.0 (/ x (/ 2.0 y))) y))
15.0ms
(/ x (/ 2.0 y))
80.0ms
(/ (+ 1.0 (/ x (/ 2.0 y))) y)

series251.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(- x (/ 1 (/ (+ 1.0 (/ x (/ 2.0 y))) y)))
86.0ms
(/ 1 (/ (+ 1.0 (/ x (/ 2.0 y))) y))
33.0ms
(/ x (/ 2.0 y))
88.0ms
(/ (+ 1.0 (/ x (/ 2.0 y))) y)

simplify2.1s

Counts
222 → 222
Iterations
IterNodes
done5001
24762
1915
0350

prune900.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize43.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ x (/ 2.0 y))
3.5b
(/ y (- (* 1.0 1.0) (/ (* (/ x (/ 2.0 y)) x) (/ 2.0 y))))
4.7b
(/ (* (/ x (/ 2.0 y)) x) (/ 2.0 y))
14.0b
(* (/ y (- (* 1.0 1.0) (/ (* (/ x (/ 2.0 y)) x) (/ 2.0 y)))) (- 1.0 (/ (* x y) 2.0)))

rewrite247.0ms

Algorithm
rewrite-expression-head
Rules
131×times-frac
92×add-sqr-sqrt
80×*-un-lft-identity
78×add-cube-cbrt
48×add-cbrt-cube add-exp-log
30×associate-/r*
23×cbrt-undiv div-exp
18×associate-*l*
10×div-inv
8×prod-exp cbrt-unprod difference-of-squares
7×associate-/l*
6×pow1 associate-/r/
5×associate-*r*
4×flip3-- flip-- add-log-exp
3×clear-num frac-2neg
2×distribute-rgt-in frac-times sub-neg distribute-lft-in associate-*l/ associate-*r/ unswap-sqr
1×pow-prod-down *-commutative distribute-lft-out-- associate-/l/
Counts
4 → 205
Calls
4 calls:
8.0ms
(/ x (/ 2.0 y))
50.0ms
(/ y (- (* 1.0 1.0) (/ (* (/ x (/ 2.0 y)) x) (/ 2.0 y))))
37.0ms
(/ (* (/ x (/ 2.0 y)) x) (/ 2.0 y))
145.0ms
(* (/ y (- (* 1.0 1.0) (/ (* (/ x (/ 2.0 y)) x) (/ 2.0 y)))) (- 1.0 (/ (* x y) 2.0)))

series525.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(/ x (/ 2.0 y))
128.0ms
(/ y (- (* 1.0 1.0) (/ (* (/ x (/ 2.0 y)) x) (/ 2.0 y))))
78.0ms
(/ (* (/ x (/ 2.0 y)) x) (/ 2.0 y))
275.0ms
(* (/ y (- (* 1.0 1.0) (/ (* (/ x (/ 2.0 y)) x) (/ 2.0 y)))) (- 1.0 (/ (* x y) 2.0)))

simplify679.0ms

Counts
217 → 217
Iterations
IterNodes
done5001
11116
0371

prune1.4s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes122.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done11
111
09

end0.0ms

sample757.0ms

Algorithm
intervals
Results
491.0ms7999×body80valid
0.0ms1×body640valid