Details

Time bar (total: 7.4s)

sample33.0ms

Algorithm
intervals
Results
12.0ms296×body80valid

simplify15.0ms

Counts
1 → 1
Iterations
IterNodes
done22
322
219
113
08

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 2 expressions with local error:

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

rewrite103.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp
4×sum-log *-un-lft-identity
2×add-sqr-sqrt pow1 +-commutative flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+
1×associate-+l+ distribute-lft-out
Counts
2 → 25
Calls
2 calls:
23.0ms
(+ (/ x 2.0) (* y x))
79.0ms
(+ (+ (/ x 2.0) (* y x)) z)

series116.0ms

Counts
2 → 6
Calls
2 calls:
71.0ms
(+ (/ x 2.0) (* y x))
44.0ms
(+ (+ (/ x 2.0) (* y x)) z)

simplify1.5s

Counts
31 → 31
Iterations
IterNodes
done5002
32140
2556
1164
055

prune137.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize48.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (/ x 2.0) (/ 2.0 x))
2.7b
(- (/ (/ x 2.0) (/ 2.0 x)) (* (* y y) (* x x)))
19.5b
(* (* y y) (* x x))
24.1b
(/ (- (/ (/ x 2.0) (/ 2.0 x)) (* (* y y) (* x x))) (- (/ x 2.0) (* y x)))

rewrite628.0ms

Algorithm
rewrite-expression-head
Rules
430×times-frac
208×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
32×pow1
30×add-cbrt-cube add-exp-log div-inv
16×associate-/r* associate-/l*
14×pow-prod-down
9×cbrt-undiv div-exp
8×prod-exp cbrt-unprod
6×add-log-exp
4×pow-plus pow-prod-up
3×flip3-- associate-/r/ flip-- associate-/l/
2×pow2 clear-num frac-2neg pow-sqr
1×sub-neg diff-log div-sub associate-*r* associate-*l* *-commutative unswap-sqr
Counts
4 → 288
Calls
4 calls:
28.0ms
(/ (/ x 2.0) (/ 2.0 x))
148.0ms
(- (/ (/ x 2.0) (/ 2.0 x)) (* (* y y) (* x x)))
45.0ms
(* (* y y) (* x x))
359.0ms
(/ (- (/ (/ x 2.0) (/ 2.0 x)) (* (* y y) (* x x))) (- (/ x 2.0) (* y x)))

series470.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(/ (/ x 2.0) (/ 2.0 x))
124.0ms
(- (/ (/ x 2.0) (/ 2.0 x)) (* (* y y) (* x x)))
64.0ms
(* (* y y) (* x x))
244.0ms
(/ (- (/ (/ x 2.0) (/ 2.0 x)) (* (* y y) (* x x))) (- (/ x 2.0) (* y x)))

simplify1.1s

Counts
300 → 300
Iterations
IterNodes
done5000
11854
0531

prune2.1s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes210.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done11
111
08

end0.0ms

sample855.0ms

Algorithm
intervals
Results
462.0ms9132×body80valid
0.0ms2×body1280valid