Details

Time bar (total: 38.5s)

sample151.0ms

Algorithm
intervals
Results
124.0ms729×body80valid

simplify2.2s

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

prune25.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize69.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.9b
(* (* b b) (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))
1.7b
(* (* a a) (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))

rewrite326.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:
38.0ms
(+ (+ (* a a) (* b b)) (- 4 (* 4 a)))
44.0ms
(+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))
129.0ms
(* (* b b) (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))
112.0ms
(* (* a a) (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))

series228.0ms

Counts
4 → 12
Calls
4 calls:
38.0ms
(+ (+ (* a a) (* b b)) (- 4 (* 4 a)))
43.0ms
(+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))
70.0ms
(* (* b b) (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))
77.0ms
(* (* a a) (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))

simplify2.2s

Counts
116 → 116
Iterations
IterNodes
24503
1885
0226

prune1.9s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize78.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.7b
(* (* a a) (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))

rewrite477.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:
59.0ms
(+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))
116.0ms
(* b (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))
121.0ms
(* b (* b (+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))))
178.0ms
(* (* a a) (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))

series270.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))
57.0ms
(* b (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))
74.0ms
(* b (* b (+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))))
99.0ms
(* (* a a) (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))

simplify1.6s

Counts
120 → 120
Iterations
IterNodes
24126
1839
0239

prune1.5s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize72.0ms

Local error

Found 4 expressions with local error:

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

rewrite543.0ms

Algorithm
rewrite-expression-head
Rules
90×sqrt-div
72×associate-*r/
68×frac-add
55×flip3-+ flip-+
36×frac-times
30×flip3-- flip--
25×pow1 add-cbrt-cube add-exp-log
19×associate-*r*
17×*-un-lft-identity
15×add-sqr-sqrt
13×pow-prod-down prod-exp cbrt-unprod
11×add-cube-cbrt
9×sqrt-prod
8×associate-*l*
6×associate-*l/
5×distribute-rgt-in distribute-lft-in
4×*-commutative insert-posit16 add-log-exp
3×distribute-lft-out unswap-sqr
Counts
4 → 162
Calls
4 calls:
103.0ms
(* b (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))
102.0ms
(* b (* b (+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))))
105.0ms
(* (* a a) (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))
228.0ms
(* (* (* a a) (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))) (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))

series480.0ms

Counts
4 → 12
Calls
4 calls:
79.0ms
(* b (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))
113.0ms
(* b (* b (+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))))
210.0ms
(* (* a a) (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))
77.0ms
(* (* (* a a) (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))) (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))

simplify2.6s

Counts
174 → 174
Iterations
IterNodes
24635
11069
0345

prune2.5s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize96.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* a (sqrt (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))) (* a (sqrt (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))))
0.4b
(* a (sqrt (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))))
0.4b
(* a (sqrt (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))))
1.1b
(* (* (* a (sqrt (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))) (* a (sqrt (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))))) (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))

rewrite1.5s

Algorithm
rewrite-expression-head
Rules
1662×sqrt-div
738×associate-*r/
652×frac-add
576×frac-times
489×flip3-+ flip-+
326×flip3-- flip--
96×associate-*l/
65×pow1
38×add-cbrt-cube add-exp-log
33×sqrt-prod
32×pow-prod-down
28×add-sqr-sqrt associate-*r*
23×prod-exp cbrt-unprod
20×*-un-lft-identity
14×add-cube-cbrt
8×associate-*l* unswap-sqr
4×pow-sqr *-commutative pow-prod-up insert-posit16 add-log-exp
3×distribute-lft-out
2×pow-plus
1×pow2 swap-sqr
Counts
4 → 527
Calls
4 calls:
203.0ms
(* (* a (sqrt (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))) (* a (sqrt (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))))
116.0ms
(* a (sqrt (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))))
88.0ms
(* a (sqrt (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))))
1.0s
(* (* (* a (sqrt (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))) (* a (sqrt (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))))) (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))

series566.0ms

Counts
4 → 12
Calls
4 calls:
163.0ms
(* (* a (sqrt (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))) (* a (sqrt (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))))
151.0ms
(* a (sqrt (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))))
162.0ms
(* a (sqrt (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))))
90.0ms
(* (* (* a (sqrt (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))) (* a (sqrt (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))))) (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))

simplify3.1s

Counts
539 → 539
Iterations
IterNodes
12848
0905

prune11.3s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

regimes235.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations
IterNodes
233
133
022

end0.0ms

sample4.4s

Algorithm
intervals
Results
4.1s20501×body80valid