Details

Time bar (total: 31.4s)

sample204.0ms

Algorithm
intervals
Results
171.0ms664×body80valid

simplify2.8s

Counts
1 → 1
Iterations
IterNodes
done5001
43576
3748
2187
156
019

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize72.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (pow (+ (* a a) (* b b)) 2) (* 4 (+ (* (* a a) (+ 1 a)) (* (* b b) (- 1 (* 3 a))))))
0.1b
(* (* a a) (+ 1 a))
0.3b
(pow (+ (* a a) (* b b)) 2)
0.5b
(* (* b b) (- 1 (* 3 a)))

rewrite5.1s

Algorithm
rewrite-expression-head
Rules
50×add-sqr-sqrt
42×*-un-lft-identity associate-*l*
28×associate-+r+
22×distribute-rgt-in distribute-lft-in
19×associate-*r*
18×add-cube-cbrt
16×unswap-sqr
15×pow1 add-exp-log
14×add-cbrt-cube
10×swap-sqr
9×+-commutative
8×associate-+l+ unpow-prod-down distribute-lft-out
6×sub-neg pow-prod-down prod-exp *-commutative cbrt-unprod add-log-exp
4×associate-*r/ insert-posit16 difference-of-squares
3×pow-unpow
2×flip3-+ flip-+ distribute-lft-out--
1×pow-to-exp sum-log pow-pow flip3-- pow-exp flip-- unpow2 sqr-pow
Counts
4 → 153
Calls
4 calls:
4.8s
(+ (pow (+ (* a a) (* b b)) 2) (* 4 (+ (* (* a a) (+ 1 a)) (* (* b b) (- 1 (* 3 a))))))
80.0ms
(* (* a a) (+ 1 a))
89.0ms
(pow (+ (* a a) (* b b)) 2)
144.0ms
(* (* b b) (- 1 (* 3 a)))

series434.0ms

Counts
4 → 12
Calls
4 calls:
192.0ms
(+ (pow (+ (* a a) (* b b)) 2) (* 4 (+ (* (* a a) (+ 1 a)) (* (* b b) (- 1 (* 3 a))))))
83.0ms
(* (* a a) (+ 1 a))
78.0ms
(pow (+ (* a a) (* b b)) 2)
82.0ms
(* (* b b) (- 1 (* 3 a)))

simplify2.7s

Counts
165 → 165
Iterations
IterNodes
done5000
22984
1807
0244

prune945.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.1b

localize59.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (* (- (* 3 a)) (* b b)) 4)
0.1b
(* (* a a) a)
0.3b
(* (+ (* a a) (* b b)) (+ (* a a) (* b b)))
0.6b
(* (- (* 3 a)) (* b b))

rewrite782.0ms

Algorithm
rewrite-expression-head
Rules
201×associate-*l*
160×*-un-lft-identity
103×add-sqr-sqrt
65×associate-*r*
52×distribute-lft-out
49×swap-sqr
44×pow1
40×add-cube-cbrt
38×unswap-sqr
25×add-cbrt-cube add-exp-log
24×distribute-lft-neg-in distribute-rgt-neg-in
17×*-commutative
13×pow-prod-down prod-exp cbrt-unprod
7×pow-plus pow-prod-up
6×flip3-+ flip-+
4×frac-times insert-posit16 add-log-exp
3×distribute-lft-neg-out pow2 pow-sqr
2×distribute-rgt-in +-commutative neg-mul-1 distribute-lft-in pow3 associate-*l/ associate-*r/
Counts
4 → 266
Calls
4 calls:
305.0ms
(* (* (- (* 3 a)) (* b b)) 4)
40.0ms
(* (* a a) a)
334.0ms
(* (+ (* a a) (* b b)) (+ (* a a) (* b b)))
93.0ms
(* (- (* 3 a)) (* b b))

series251.0ms

Counts
4 → 12
Calls
4 calls:
56.0ms
(* (* (- (* 3 a)) (* b b)) 4)
77.0ms
(* (* a a) a)
56.0ms
(* (+ (* a a) (* b b)) (+ (* a a) (* b b)))
61.0ms
(* (- (* 3 a)) (* b b))

simplify3.6s

Counts
278 → 278
Iterations
IterNodes
done5005
24576
1957
0274

prune1.3s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize82.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (+ (* a a) (* b b)) (sqrt (+ (* a a) (* b b))))
0.6b
(* (- (* 3 a)) (* b b))
7.1b
(sqrt (+ (* a a) (* b b)))
7.1b
(sqrt (+ (* a a) (* b b)))

rewrite635.0ms

Algorithm
rewrite-expression-head
Rules
69×*-un-lft-identity
61×associate-*l*
44×add-sqr-sqrt
35×associate-*r*
25×sqrt-prod
21×add-cube-cbrt
20×distribute-lft-out
16×pow1
12×distribute-lft-neg-in distribute-rgt-neg-in swap-sqr
11×add-cbrt-cube add-exp-log unswap-sqr
10×sqrt-div
8×flip3-+ flip-+
6×*-commutative
4×frac-times pow-prod-down prod-exp cbrt-unprod insert-posit16 add-log-exp
3×sqrt-pow1 pow1/2
2×rem-sqrt-square associate-*l/ associate-*r/ pow-prod-up
1×distribute-lft-neg-out neg-mul-1 pow3
Counts
4 → 150
Calls
4 calls:
354.0ms
(* (+ (* a a) (* b b)) (sqrt (+ (* a a) (* b b))))
92.0ms
(* (- (* 3 a)) (* b b))
105.0ms
(sqrt (+ (* a a) (* b b)))
79.0ms
(sqrt (+ (* a a) (* b b)))

series388.0ms

Counts
4 → 12
Calls
4 calls:
172.0ms
(* (+ (* a a) (* b b)) (sqrt (+ (* a a) (* b b))))
68.0ms
(* (- (* 3 a)) (* b b))
69.0ms
(sqrt (+ (* a a) (* b b)))
79.0ms
(sqrt (+ (* a a) (* b b)))

simplify1.8s

Counts
162 → 162
Iterations
IterNodes
done5001
21996
1553
0183

prune968.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize97.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (pow (sqrt (+ (* a a) (* b b))) 3) (sqrt (+ (* a a) (* b b))))
0.6b
(* (- (* 3 a)) (* b b))
7.1b
(sqrt (+ (* a a) (* b b)))
7.1b
(sqrt (+ (* a a) (* b b)))

rewrite765.0ms

Algorithm
rewrite-expression-head
Rules
85×*-un-lft-identity associate-*l*
65×add-sqr-sqrt
50×sqrt-prod
35×associate-*r*
25×add-cube-cbrt distribute-lft-out
22×pow1
21×unswap-sqr
16×sqrt-div
15×unpow-prod-down cube-prod
14×swap-sqr add-exp-log
12×distribute-lft-neg-in distribute-rgt-neg-in
11×add-cbrt-cube
8×flip3-+ pow-prod-up flip-+
7×sqrt-pow1 pow1/2
6×cube-div pow-pow prod-exp *-commutative
4×frac-times pow-prod-down cbrt-unprod insert-posit16 add-log-exp
3×sqr-pow
2×rem-sqrt-square pow-plus associate-*l/ associate-*r/ sqrt-pow2
1×distribute-lft-neg-out cube-mult pow-to-exp neg-mul-1 unpow3 pow-exp
Counts
4 → 189
Calls
4 calls:
549.0ms
(* (pow (sqrt (+ (* a a) (* b b))) 3) (sqrt (+ (* a a) (* b b))))
84.0ms
(* (- (* 3 a)) (* b b))
62.0ms
(sqrt (+ (* a a) (* b b)))
58.0ms
(sqrt (+ (* a a) (* b b)))

series248.0ms

Counts
4 → 12
Calls
4 calls:
57.0ms
(* (pow (sqrt (+ (* a a) (* b b))) 3) (sqrt (+ (* a a) (* b b))))
51.0ms
(* (- (* 3 a)) (* b b))
58.0ms
(sqrt (+ (* a a) (* b b)))
81.0ms
(sqrt (+ (* a a) (* b b)))

simplify2.0s

Counts
201 → 201
Iterations
IterNodes
done5000
22259
1668
0213

prune971.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

regimes126.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify11.0ms

Iterations
IterNodes
done58
358
249
140
021

end0.0ms

sample5.1s

Algorithm
intervals
Results
4.6s20122×body80valid