Details

Time bar (total: 21.7s)

sample154.0ms

Algorithm
intervals
Results
130.0ms654×body80valid

simplify2.1s

Counts
1 → 1
Iterations
IterNodes
54205
41518
3553
2164
152
018

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize34.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (+ (* a a) (* b b)) (- 4 (* 4 a)))
0.0b
(+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))
0.3b
(* (* b b) (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))
1.1b
(* (* a a) (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))

rewrite322.0ms

Algorithm
rewrite-expression-head
Rules
28×add-log-exp
16×flip3-+ frac-add flip-+
14×pow1 sum-log *-un-lft-identity add-cbrt-cube add-exp-log
12×associate-*r/
8×add-sqr-sqrt associate-*r*
6×pow-prod-down prod-exp add-cube-cbrt cbrt-unprod
4×flip3-- insert-posit16 flip-- distribute-lft-out
3×associate-+r+
2×distribute-rgt-in +-commutative associate-+l+ distribute-lft-in diff-log associate-*l* *-commutative unswap-sqr
1×associate-+r- sub-neg
Counts
4 → 104
Calls
4 calls:
30.0ms
(+ (+ (* a a) (* b b)) (- 4 (* 4 a)))
37.0ms
(+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))
138.0ms
(* (* b b) (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))
116.0ms
(* (* a a) (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))

series228.0ms

Counts
4 → 12
Calls
4 calls:
54.0ms
(+ (+ (* a a) (* b b)) (- 4 (* 4 a)))
45.0ms
(+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))
65.0ms
(* (* b b) (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))
63.0ms
(* (* a a) (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))

simplify2.5s

Counts
116 → 116
Iterations
IterNodes
24503
1885
0226

prune1.4s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize48.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))
0.1b
(* b (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))
0.2b
(* b (* b (+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))))
1.1b
(* (* a a) (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))

rewrite422.0ms

Algorithm
rewrite-expression-head
Rules
24×associate-*r/
18×flip3-+ flip-+
16×pow1 add-cbrt-cube frac-add add-exp-log add-log-exp
14×*-un-lft-identity
11×add-sqr-sqrt
9×associate-*r*
8×sum-log add-cube-cbrt
7×associate-*l* pow-prod-down prod-exp cbrt-unprod
6×distribute-rgt-in distribute-lft-in
4×insert-posit16
3×*-commutative distribute-lft-out
2×flip3-- flip-- unswap-sqr
1×+-commutative associate-+l+ associate-+r+
Counts
4 → 108
Calls
4 calls:
42.0ms
(+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))
118.0ms
(* b (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))
127.0ms
(* b (* b (+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))))
133.0ms
(* (* a a) (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))

series227.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))
58.0ms
(* b (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))
57.0ms
(* b (* b (+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))))
69.0ms
(* (* a a) (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))

simplify1.4s

Counts
120 → 120
Iterations
IterNodes
24126
1839
0239

prune1.6s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize44.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))
0.1b
(* a (* a (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))
0.1b
(* a (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))
0.3b
(* (* b b) (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))

rewrite462.0ms

Algorithm
rewrite-expression-head
Rules
24×associate-*r/
16×pow1 flip3-+ add-cbrt-cube frac-add add-exp-log flip-+ add-log-exp
14×*-un-lft-identity
11×add-sqr-sqrt
9×associate-*r*
8×sum-log add-cube-cbrt
7×associate-*l* pow-prod-down prod-exp cbrt-unprod
6×distribute-rgt-in distribute-lft-in
4×flip3-- insert-posit16 flip--
3×*-commutative distribute-lft-out
2×unswap-sqr
1×+-commutative associate-+l+ associate-+r+
Counts
4 → 108
Calls
4 calls:
47.0ms
(+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))
142.0ms
(* a (* a (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))
108.0ms
(* a (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))
163.0ms
(* (* b b) (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))

series273.0ms

Counts
4 → 12
Calls
4 calls:
51.0ms
(+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))
81.0ms
(* a (* a (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))
69.0ms
(* a (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))
72.0ms
(* (* b b) (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))

simplify1.8s

Counts
120 → 120
Iterations
IterNodes
24218
1831
0234

prune1.4s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize50.0ms

Local error

Found 4 expressions with local error:

1.1b
(* (* a a) (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))
1.1b
(* (* a a) (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))
21.8b
(sqrt (* (* a a) (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))
21.8b
(sqrt (* (* a a) (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))

rewrite292.0ms

Algorithm
rewrite-expression-head
Rules
26×pow1
24×associate-*r/
16×frac-add
14×add-cbrt-cube add-exp-log
12×flip3-+ sqrt-div pow-prod-down flip-+
10×*-un-lft-identity
8×add-sqr-sqrt flip3-- associate-*r* flip--
6×sqrt-pow1 prod-exp add-cube-cbrt cbrt-unprod
4×insert-posit16 add-log-exp
2×distribute-rgt-in distribute-lft-in pow1/2 associate-*l* *-commutative sqrt-prod distribute-lft-out unswap-sqr
Counts
4 → 96
Calls
4 calls:
130.0ms
(* (* a a) (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))
98.0ms
(* (* a a) (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))
31.0ms
(sqrt (* (* a a) (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))
30.0ms
(sqrt (* (* a a) (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))

series429.0ms

Counts
4 → 12
Calls
4 calls:
61.0ms
(* (* a a) (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))
74.0ms
(* (* a a) (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))
147.0ms
(sqrt (* (* a a) (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))
146.0ms
(sqrt (* (* a a) (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))

simplify742.0ms

Counts
108 → 108
Iterations
IterNodes
22306
1497
0138

prune1.5s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

regimes186.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
228
128
018

end0.0ms

sample3.9s

Algorithm
intervals
Results
3.6s20707×body80valid