Details

Time bar (total: 14.9s)

sample39.0ms

Algorithm
intervals
Results
24.0ms451×body80valid

simplify13.0ms

Counts
1 → 1
Iterations
IterNodes
done25
325
224
115
08

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 1 expressions with local error:

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

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
6×add-log-exp
3×sum-log
1×add-sqr-sqrt pow1 +-commutative associate-+l+ *-un-lft-identity flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+ insert-posit16
Counts
1 → 14
Calls
1 calls:
43.0ms
(+ (+ (* x 2.0) (* x x)) (* y y))

series34.0ms

Counts
1 → 3
Calls
1 calls:
34.0ms
(+ (+ (* x 2.0) (* x x)) (* y y))

simplify2.3s

Counts
17 → 17
Iterations
IterNodes
done5000
34186
2747
1130
043

prune65.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (+ (+ (* x 2.0) (* x x)) (* y y)))
0.0b
(+ (+ (* x 2.0) (* x x)) (* y y))
0.0b
(+ (+ (* x 2.0) (* x x)) (* y y))
0.1b
(* (sqrt (+ (+ (* x 2.0) (* x x)) (* y y))) (sqrt (+ (+ (* x 2.0) (* x x)) (* y y))))

rewrite285.0ms

Algorithm
rewrite-expression-head
Rules
26×add-sqr-sqrt
21×sqrt-prod
20×pow1
14×sqrt-div add-log-exp
13×*-un-lft-identity add-cube-cbrt
9×sqrt-pow1 flip3-+ pow1/2 flip-+
8×swap-sqr
6×sum-log add-cbrt-cube associate-*r* associate-*l* add-exp-log
5×pow-prod-up
4×frac-times insert-posit16 unswap-sqr
3×pow-prod-down pow-sqr
2×+-commutative associate-+l+ associate-*l/ associate-*r/
1×pow2 rem-sqrt-square rem-square-sqrt pow-plus sqrt-unprod prod-exp *-commutative cbrt-unprod
Counts
4 → 102
Calls
4 calls:
39.0ms
(sqrt (+ (+ (* x 2.0) (* x x)) (* y y)))
29.0ms
(+ (+ (* x 2.0) (* x x)) (* y y))
36.0ms
(+ (+ (* x 2.0) (* x x)) (* y y))
177.0ms
(* (sqrt (+ (+ (* x 2.0) (* x x)) (* y y))) (sqrt (+ (+ (* x 2.0) (* x x)) (* y y))))

series270.0ms

Counts
4 → 12
Calls
4 calls:
126.0ms
(sqrt (+ (+ (* x 2.0) (* x x)) (* y y)))
47.0ms
(+ (+ (* x 2.0) (* x x)) (* y y))
48.0ms
(+ (+ (* x 2.0) (* x x)) (* y y))
48.0ms
(* (sqrt (+ (+ (* x 2.0) (* x x)) (* y y))) (sqrt (+ (+ (* x 2.0) (* x x)) (* y y))))

simplify3.1s

Counts
114 → 114
Iterations
IterNodes
done5000
34519
2887
1270
0112

prune391.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize37.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* y y) (* y y))
0.2b
(* (* y y) (* y y))
1.4b
(+ (* (* y y) (* y y)) (* (* (+ 2.0 x) x) (- (* (+ 2.0 x) x) (* y y))))
37.6b
(/ (+ (* (* y y) (* (* y y) (* y y))) (* (* (* (+ 2.0 x) x) (* (+ 2.0 x) x)) (* (+ 2.0 x) x))) (+ (* (* y y) (* y y)) (* (* (+ 2.0 x) x) (- (* (+ 2.0 x) x) (* y y)))))

rewrite1.2s

Algorithm
rewrite-expression-head
Rules
226×pow1
72×pow-prod-up
46×pow-prod-down
44×pow-sqr
36×pow-plus
30×add-cbrt-cube add-exp-log
26×pow2
16×prod-exp cbrt-unprod
13×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
12×times-frac
6×add-log-exp
4×associate-+r+ cube-unmult pow3 sum-cubes insert-posit16 associate-/l*
3×associate-/r* flip3-+ flip-+
2×distribute-rgt-in sub-neg distribute-lft-in swap-sqr associate-*r* associate-*l* associate-/r/ *-commutative unswap-sqr associate-/l/
1×cbrt-undiv +-commutative clear-num sum-log frac-2neg div-exp div-inv
Counts
4 → 180
Calls
4 calls:
30.0ms
(* (* y y) (* y y))
43.0ms
(* (* y y) (* y y))
66.0ms
(+ (* (* y y) (* y y)) (* (* (+ 2.0 x) x) (- (* (+ 2.0 x) x) (* y y))))
1.1s
(/ (+ (* (* y y) (* (* y y) (* y y))) (* (* (* (+ 2.0 x) x) (* (+ 2.0 x) x)) (* (+ 2.0 x) x))) (+ (* (* y y) (* y y)) (* (* (+ 2.0 x) x) (- (* (+ 2.0 x) x) (* y y)))))

series348.0ms

Counts
4 → 12
Calls
4 calls:
35.0ms
(* (* y y) (* y y))
38.0ms
(* (* y y) (* y y))
93.0ms
(+ (* (* y y) (* y y)) (* (* (+ 2.0 x) x) (- (* (+ 2.0 x) x) (* y y))))
180.0ms
(/ (+ (* (* y y) (* (* y y) (* y y))) (* (* (* (+ 2.0 x) x) (* (+ 2.0 x) x)) (* (+ 2.0 x) x))) (+ (* (* y y) (* y y)) (* (* (+ 2.0 x) x) (- (* (+ 2.0 x) x) (* y y)))))

simplify1.7s

Counts
192 → 192
Iterations
IterNodes
done5001
21840
1482
0160

prune514.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize42.0ms

Local error

Found 4 expressions with local error:

0.1b
(* y (* y y))
0.2b
(* (* y y) (* y y))
1.4b
(+ (* (* y y) (* y y)) (* (* (+ 2.0 x) x) (- (* (+ 2.0 x) x) (* y y))))
37.6b
(/ (+ (* (* y y) (* y (* y (* y y)))) (* (* (* (+ 2.0 x) x) (* (+ 2.0 x) x)) (* (+ 2.0 x) x))) (+ (* (* y y) (* y y)) (* (* (+ 2.0 x) x) (- (* (+ 2.0 x) x) (* y y)))))

rewrite646.0ms

Algorithm
rewrite-expression-head
Rules
129×pow1
41×pow-prod-up
26×pow-prod-down
23×add-cbrt-cube add-exp-log pow-sqr
19×pow-plus
14×pow2 add-sqr-sqrt
13×*-un-lft-identity add-cube-cbrt
11×prod-exp cbrt-unprod
9×times-frac
6×add-log-exp
4×associate-+r+ associate-*l* insert-posit16
3×associate-/r* flip3-+ flip-+ associate-/l*
2×distribute-rgt-in sub-neg distribute-lft-in associate-*r* associate-/r/ *-commutative unswap-sqr associate-/l/
1×cbrt-undiv +-commutative clear-num sum-log frac-2neg cube-unmult swap-sqr div-exp div-inv
Counts
4 → 137
Calls
4 calls:
19.0ms
(* y (* y y))
46.0ms
(* (* y y) (* y y))
47.0ms
(+ (* (* y y) (* y y)) (* (* (+ 2.0 x) x) (- (* (+ 2.0 x) x) (* y y))))
530.0ms
(/ (+ (* (* y y) (* y (* y (* y y)))) (* (* (* (+ 2.0 x) x) (* (+ 2.0 x) x)) (* (+ 2.0 x) x))) (+ (* (* y y) (* y y)) (* (* (+ 2.0 x) x) (- (* (+ 2.0 x) x) (* y y)))))

series410.0ms

Counts
4 → 12
Calls
4 calls:
54.0ms
(* y (* y y))
53.0ms
(* (* y y) (* y y))
134.0ms
(+ (* (* y y) (* y y)) (* (* (+ 2.0 x) x) (- (* (+ 2.0 x) x) (* y y))))
168.0ms
(/ (+ (* (* y y) (* y (* y (* y y)))) (* (* (* (+ 2.0 x) x) (* (+ 2.0 x) x)) (* (+ 2.0 x) x))) (+ (* (* y y) (* y y)) (* (* (+ 2.0 x) x) (- (* (+ 2.0 x) x) (* y y)))))

simplify1.6s

Counts
149 → 149
Iterations
IterNodes
done5000
21987
1504
0171

prune481.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes170.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
08

end0.0ms

sample1.1s

Algorithm
intervals
Results
837.0ms14275×body80valid