Details

Time bar (total: 40.0s)

sample99.0ms

Algorithm
intervals
Results
80.0ms659×body80valid

simplify2.5s

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

prune13.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize51.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* (* a a) (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))) -1)
0.0b
(+ (+ (* a a) (* b b)) (- 4 (* 4 a)))
1.1b
(* (* a a) (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))
1.2b
(* (* b b) (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))

rewrite340.0ms

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

series267.0ms

Counts
4 → 12
Calls
4 calls:
84.0ms
(+ (* (* a a) (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))) -1)
36.0ms
(+ (+ (* a a) (* b b)) (- 4 (* 4 a)))
76.0ms
(* (* a a) (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))
71.0ms
(* (* b b) (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))

simplify2.1s

Counts
108 → 108
Iterations
IterNodes
24260
1877
0229

prune1.4s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.1b

localize62.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (+ (* a a) (* b b)) (- 4 (* 4 a)))
0.4b
(* (* (* a a) (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))) (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))
0.7b
(* (* a a) (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))
1.2b
(* (* b b) (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))

rewrite539.0ms

Algorithm
rewrite-expression-head
Rules
90×sqrt-div
68×frac-add
60×associate-*r/
53×flip3-+ flip-+
36×frac-times
32×flip3-- flip--
23×pow1 add-cbrt-cube add-exp-log
18×associate-*r*
17×*-un-lft-identity
16×add-log-exp
12×add-sqr-sqrt pow-prod-down prod-exp cbrt-unprod
9×add-cube-cbrt sqrt-prod
6×sum-log associate-*l/
4×insert-posit16 distribute-lft-out
3×associate-*l* *-commutative unswap-sqr
2×associate-+r+ diff-log
1×distribute-rgt-in +-commutative associate-+l+ associate-+r- sub-neg distribute-lft-in
Counts
4 → 158
Calls
4 calls:
28.0ms
(+ (+ (* a a) (* b b)) (- 4 (* 4 a)))
256.0ms
(* (* (* a a) (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))) (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))
119.0ms
(* (* a a) (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))
131.0ms
(* (* b b) (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))

series361.0ms

Counts
4 → 12
Calls
4 calls:
41.0ms
(+ (+ (* 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)))))
178.0ms
(* (* a a) (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))
64.0ms
(* (* b b) (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))

simplify1.9s

Counts
170 → 170
Iterations
IterNodes
24717
11088
0333

prune2.8s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize50.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (+ (* a a) (* b b)) (- 4 (* 4 a)))
0.5b
(* (* b b) (sqrt (+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))))
0.9b
(* (* (* b b) (sqrt (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))) (sqrt (+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))))
1.1b
(* (* a a) (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))

rewrite509.0ms

Algorithm
rewrite-expression-head
Rules
90×sqrt-div
81×flip3-+ flip-+
68×frac-add
60×associate-*r/
36×frac-times
23×pow1 add-cbrt-cube add-exp-log
18×associate-*r*
17×*-un-lft-identity
16×add-log-exp
12×add-sqr-sqrt pow-prod-down prod-exp cbrt-unprod
9×add-cube-cbrt sqrt-prod
6×sum-log associate-*l/
4×flip3-- insert-posit16 flip-- distribute-lft-out
3×associate-*l* *-commutative unswap-sqr
2×associate-+r+ diff-log
1×distribute-rgt-in +-commutative associate-+l+ associate-+r- sub-neg distribute-lft-in
Counts
4 → 158
Calls
4 calls:
31.0ms
(+ (+ (* a a) (* b b)) (- 4 (* 4 a)))
153.0ms
(* (* b b) (sqrt (+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))))
225.0ms
(* (* (* b b) (sqrt (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))) (sqrt (+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))))
96.0ms
(* (* a a) (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))

series272.0ms

Counts
4 → 12
Calls
4 calls:
47.0ms
(+ (+ (* a a) (* b b)) (- 4 (* 4 a)))
100.0ms
(* (* b b) (sqrt (+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))))
70.0ms
(* (* (* b b) (sqrt (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))) (sqrt (+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))))
56.0ms
(* (* a a) (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))

simplify2.1s

Counts
170 → 170
Iterations
IterNodes
24775
11135
0350

prune2.6s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize60.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* (* (* b b) (sqrt (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))) (sqrt (sqrt (+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))))) (sqrt (sqrt (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))))
0.5b
(* (* b b) (sqrt (+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))))
0.8b
(* (* (* b b) (sqrt (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))) (sqrt (sqrt (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))))
1.1b
(* (* a a) (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
1602×sqrt-div
813×flip3-+ flip-+
652×frac-add
576×frac-times
402×associate-*r/
96×associate-*l/
37×pow1 add-cbrt-cube add-exp-log
31×associate-*r*
27×sqrt-prod
22×pow-prod-down prod-exp cbrt-unprod
21×*-un-lft-identity
16×add-sqr-sqrt
13×add-cube-cbrt
4×associate-*l* *-commutative insert-posit16 distribute-lft-out add-log-exp
3×unswap-sqr
2×flip3-- flip--
1×distribute-rgt-in distribute-lft-in
Counts
4 → 511
Calls
4 calls:
656.0ms
(* (* (* (* b b) (sqrt (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))) (sqrt (sqrt (+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))))) (sqrt (sqrt (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))))
101.0ms
(* (* b b) (sqrt (+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))))
204.0ms
(* (* (* b b) (sqrt (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))) (sqrt (sqrt (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))))
89.0ms
(* (* a a) (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))

series456.0ms

Counts
4 → 12
Calls
4 calls:
58.0ms
(* (* (* (* b b) (sqrt (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))) (sqrt (sqrt (+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))))) (sqrt (sqrt (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))))
103.0ms
(* (* b b) (sqrt (+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))))
223.0ms
(* (* (* b b) (sqrt (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))) (sqrt (sqrt (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))))
71.0ms
(* (* a a) (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))

simplify2.4s

Counts
523 → 523
Iterations
IterNodes
13021
0990

prune14.4s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

regimes193.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
232
132
021

end0.0ms

sample3.4s

Algorithm
intervals
Results
3.0s20389×body80valid