Details

Time bar (total: 23.1s)

sample164.0ms

Algorithm
intervals
Results
138.0ms682×body80valid

simplify2.1s

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

prune22.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize55.0ms

Local error

Found 4 expressions with local error:

0.0b
(* 4 (+ (* (* a a) (- 1 a)) (* (* b b) (+ 3 a))))
0.1b
(* (* a a) (- 1 a))
0.4b
(pow (+ (* a a) (* b b)) 2)
1.1b
(* (* b b) (+ 3 a))

rewrite146.0ms

Algorithm
rewrite-expression-head
Rules
18×associate-*r/
17×add-sqr-sqrt pow1 add-exp-log
16×add-cbrt-cube
15×*-un-lft-identity
13×associate-*r*
10×add-cube-cbrt
7×pow-prod-down prod-exp cbrt-unprod
5×associate-*l*
4×distribute-rgt-in distribute-lft-in flip3-+ frac-add flip-+ insert-posit16 add-log-exp
3×pow-unpow unpow-prod-down flip3-- *-commutative flip-- unswap-sqr
2×sub-neg difference-of-squares
1×pow-to-exp pow-pow pow-exp distribute-lft-out distribute-lft-out-- unpow2 sqr-pow
Counts
4 → 100
Calls
4 calls:
83.0ms
(* 4 (+ (* (* a a) (- 1 a)) (* (* b b) (+ 3 a))))
25.0ms
(* (* a a) (- 1 a))
8.0ms
(pow (+ (* a a) (* b b)) 2)
28.0ms
(* (* b b) (+ 3 a))

series245.0ms

Counts
4 → 12
Calls
4 calls:
84.0ms
(* 4 (+ (* (* a a) (- 1 a)) (* (* b b) (+ 3 a))))
78.0ms
(* (* a a) (- 1 a))
44.0ms
(pow (+ (* a a) (* b b)) 2)
39.0ms
(* (* b b) (+ 3 a))

simplify1.2s

Counts
112 → 112
Iterations
IterNodes
22609
1669
0213

prune1.2s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

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

rewrite342.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:
49.0ms
(+ (+ (* a a) (* b b)) (- 4 (* 4 a)))
53.0ms
(+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))
115.0ms
(* (* a a) (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))
121.0ms
(* (* b b) (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))

series193.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(+ (+ (* a a) (* b b)) (- 4 (* 4 a)))
34.0ms
(+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))
55.0ms
(* (* a a) (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))
70.0ms
(* (* b b) (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))

simplify1.8s

Counts
116 → 116
Iterations
IterNodes
24527
1884
0226

prune1.3s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.0b

localize43.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))
0.6b
(* (* (* a a) (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))) (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))
0.8b
(* (* a a) (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))
1.7b
(* (* b b) (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))

rewrite362.0ms

Algorithm
rewrite-expression-head
Rules
96×sqrt-div
68×frac-add
60×associate-*r/
53×flip3-+ flip-+
36×frac-times
32×flip3-- flip--
24×pow1
23×add-cbrt-cube add-exp-log
18×*-un-lft-identity associate-*r*
14×add-sqr-sqrt
13×sqrt-prod
12×pow-prod-down prod-exp cbrt-unprod
10×add-cube-cbrt
6×associate-*l/
4×insert-posit16 distribute-lft-out add-log-exp
3×associate-*l* *-commutative unswap-sqr
1×distribute-rgt-in rem-sqrt-square distribute-lft-in sqrt-pow1 pow1/2
Counts
4 → 155
Calls
4 calls:
31.0ms
(sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))
168.0ms
(* (* (* a a) (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))) (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))
79.0ms
(* (* a a) (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))
80.0ms
(* (* b b) (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))

series334.0ms

Counts
4 → 12
Calls
4 calls:
105.0ms
(sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))
53.0ms
(* (* (* a a) (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))) (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))
125.0ms
(* (* a a) (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))
51.0ms
(* (* b b) (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))

simplify1.4s

Counts
167 → 167
Iterations
IterNodes
24317
11038
0319

prune2.1s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.0b

localize49.0ms

Local error

Found 4 expressions with local error:

0.6b
(* (* (* a a) (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))) (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))
0.7b
(* (* (* b b) (sqrt (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))) (sqrt (+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))))
0.8b
(* (* a a) (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))
1.2b
(* (* b b) (sqrt (+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))))

rewrite491.0ms

Algorithm
rewrite-expression-head
Rules
180×sqrt-div
120×flip3-+ frac-add flip-+
108×associate-*r/
72×frac-times
32×pow1 add-cbrt-cube add-exp-log
30×flip3-- flip--
28×associate-*r*
20×*-un-lft-identity
18×pow-prod-down prod-exp sqrt-prod cbrt-unprod
16×add-sqr-sqrt
12×associate-*l/ add-cube-cbrt
4×associate-*l* *-commutative insert-posit16 distribute-lft-out add-log-exp unswap-sqr
Counts
4 → 210
Calls
4 calls:
165.0ms
(* (* (* a a) (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))) (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))
163.0ms
(* (* (* b b) (sqrt (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))) (sqrt (+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))))
78.0ms
(* (* a a) (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))
78.0ms
(* (* b b) (sqrt (+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))))

series326.0ms

Counts
4 → 12
Calls
4 calls:
56.0ms
(* (* (* a a) (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a))))) (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))
51.0ms
(* (* (* b b) (sqrt (+ (+ (* a a) (* b b)) (+ 12 (* 4 a))))) (sqrt (+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))))
128.0ms
(* (* a a) (sqrt (+ (+ (* a a) (* b b)) (- 4 (* 4 a)))))
89.0ms
(* (* b b) (sqrt (+ (+ (* a a) (* b b)) (+ 12 (* 4 a)))))

simplify2.1s

Counts
222 → 222
Iterations
IterNodes
25134
11368
0455

prune3.3s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0b

regimes315.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
234
134
023

end0.0ms

sample3.4s

Algorithm
intervals
Results
3.1s20643×body80valid