Details

Time bar (total: 35.3s)

sample362.0ms

Algorithm
intervals
Results
163.0ms759×body80valid
66.0ms36×body640valid
45.0ms47×body1280valid
14.0ms13×body2560valid
11.0ms20×body320valid
5.0ms15×body160valid

simplify2.4s

Counts
1 → 1
Iterations
IterNodes
54017
41121
3281
282
133
017

prune28.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 4.6b

localize60.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ (* (- c (* b a)) (- c (* b a))) (* (* a a) (- (- d (* R R)) (* b b)))) (- (- d (* R R)) (* b b)))
0.1b
(* (- c (* b a)) (- c (* b a)))
2.8b
(+ (* (- c (* b a)) (- c (* b a))) (* (* a a) (- (- d (* R R)) (* b b))))
9.3b
(* (* a a) (- (- d (* R R)) (* b b)))

rewrite584.0ms

Algorithm
rewrite-expression-head
Rules
86×flip3-- flip--
64×associate-*r/
48×frac-add
36×frac-sub
28×frac-times
27×add-log-exp
16×pow1
15×add-sqr-sqrt sub-neg
14×associate-*l/
12×distribute-rgt-in distribute-lft-in diff-log
11×*-un-lft-identity add-cbrt-cube associate--l+ add-exp-log
add-cube-cbrt
associate-+r+
associate-*r*
associate-+l+ sum-log associate-*l* pow-prod-down prod-exp cbrt-unprod insert-posit16 associate--r+
flip3-+ swap-sqr flip-+
*-commutative difference-of-squares unswap-sqr
pow2 +-commutative pow-plus pow-sqr pow-prod-up distribute-lft-out-- associate--r-
Counts
4 → 171
Calls
4 calls:
286.0ms
(- (+ (* (- c (* b a)) (- c (* b a))) (* (* a a) (- (- d (* R R)) (* b b)))) (- (- d (* R R)) (* b b)))
55.0ms
(* (- c (* b a)) (- c (* b a)))
81.0ms
(+ (* (- c (* b a)) (- c (* b a))) (* (* a a) (- (- d (* R R)) (* b b))))
155.0ms
(* (* a a) (- (- d (* R R)) (* b b)))

series964.0ms

Counts
4 → 12
Calls
4 calls:
414.0ms
(- (+ (* (- c (* b a)) (- c (* b a))) (* (* a a) (- (- d (* R R)) (* b b)))) (- (- d (* R R)) (* b b)))
104.0ms
(* (- c (* b a)) (- c (* b a)))
270.0ms
(+ (* (- c (* b a)) (- c (* b a))) (* (* a a) (- (- d (* R R)) (* b b))))
175.0ms
(* (* a a) (- (- d (* R R)) (* b b)))

simplify5.4s

Counts
183 → 183
Iterations
IterNodes
28411
11659
0388

prune4.2s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize81.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* a b) (* a b))
2.8b
(+ (- (+ (* (* a b) (* a b)) (* c c)) (* (* 2 c) (* a b))) (* (* a a) (- (- d (* R R)) (* b b))))
3.2b
(* (* 2 c) (* a b))
9.3b
(* (* a a) (- (- d (* R R)) (* b b)))

rewrite1.3s

Algorithm
rewrite-expression-head
Rules
60×pow1
33×add-cbrt-cube add-exp-log
28×pow-prod-down
19×prod-exp cbrt-unprod
13×add-log-exp
sub-neg associate--l+
distribute-rgt-in associate-+r+ distribute-lft-in
add-sqr-sqrt
associate-*r* associate-*r/
*-un-lft-identity flip3-- add-cube-cbrt flip--
sum-log frac-add pow-sqr pow-prod-up insert-posit16
associate-+l+ associate-*l* *-commutative
pow-plus diff-log
pow2 +-commutative flip3-+ swap-sqr associate-+l- flip-+ difference-of-squares unswap-sqr
Counts
4 → 119
Calls
4 calls:
57.0ms
(* (* a b) (* a b))
1.0s
(+ (- (+ (* (* a b) (* a b)) (* c c)) (* (* 2 c) (* a b))) (* (* a a) (- (- d (* R R)) (* b b))))
60.0ms
(* (* 2 c) (* a b))
151.0ms
(* (* a a) (- (- d (* R R)) (* b b)))

series594.0ms

Counts
4 → 12
Calls
4 calls:
61.0ms
(* (* a b) (* a b))
300.0ms
(+ (- (+ (* (* a b) (* a b)) (* c c)) (* (* 2 c) (* a b))) (* (* a a) (- (- d (* R R)) (* b b))))
49.0ms
(* (* 2 c) (* a b))
183.0ms
(* (* a a) (- (- d (* R R)) (* b b)))

simplify1.7s

Counts
131 → 131
Iterations
IterNodes
22915
1659
0206

prune2.9s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

regimes692.0ms

Accuracy

57% (2.4b remaining)

Error of 2.6b against oracle of 0.2b and baseline of 5.8b

bsearch974.0ms

Steps
ItersRangePoint
11
7.925474538181131e+28
8.55799149280384e+63
2.8497698901809797e+55
9
-3.311719182177801e+79
-2.978092717136469e+74
-2.3641533612719124e+76

simplify16.0ms

Iterations
IterNodes
246
146
034

end0.0ms

sample13.0s

Algorithm
intervals
Results
7.6s23166×body80valid
1.5s1437×body1280valid
1.1s1225×body640valid
631.0ms773×body320valid
440.0ms349×body2560valid
251.0ms452×body160valid