Details

Time bar (total: 25.3s)

sample459.0ms

Algorithm
intervals
Results
263.0ms2014×body80nan
23.0ms283×body80valid

simplify2.7s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01013
11313
21613
32013
42213
52813
64013
75913
87813
918013
1053413
11165613
12314013
done500013

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize22.0ms

Local error

Found 3 expressions with local error:

0.0b
(- (fma x y z) (/ (+ (sqrt x) (sqrt y)) (sqrt z)))
0.0b
(+ (sqrt x) (sqrt y))
0.3b
(/ (+ (sqrt x) (sqrt y)) (sqrt z))

rewrite161.0ms

Algorithm
rewrite-expression-head
Rules
56×*-un-lft-identity
35×sqrt-prod
32×times-frac
30×add-sqr-sqrt
22×add-cube-cbrt
16×distribute-lft-out
add-log-exp
associate-/r*
add-cbrt-cube add-exp-log associate-/l*
pow1 difference-of-squares
flip3-+ flip-+ associate-/l/
cbrt-undiv +-commutative clear-num sum-log sub-neg frac-2neg flip3-- diff-log div-exp div-inv flip-- distribute-lft-out--
Counts
3 → 84
Calls
3 calls:
68.0ms
(- (fma x y z) (/ (+ (sqrt x) (sqrt y)) (sqrt z)))
28.0ms
(+ (sqrt x) (sqrt y))
58.0ms
(/ (+ (sqrt x) (sqrt y)) (sqrt z))

series371.0ms

Counts
3 → 9
Calls
3 calls:
115.0ms
(- (fma x y z) (/ (+ (sqrt x) (sqrt y)) (sqrt z)))
104.0ms
(+ (sqrt x) (sqrt y))
151.0ms
(/ (+ (sqrt x) (sqrt y)) (sqrt z))

simplify1.1s

Counts
93 → 93
Iterations

Useful iterations: done (1.0s)

IterNodesCost
01541452
13431329
211641257
done50011253

prune564.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (fma x y z) (/ (/ (- x y) (- (sqrt x) (sqrt y))) (sqrt z)))
0.0b
(- (sqrt x) (sqrt y))
0.3b
(/ (/ (- x y) (- (sqrt x) (sqrt y))) (sqrt z))
0.4b
(/ (- x y) (- (sqrt x) (sqrt y)))

rewrite513.0ms

Algorithm
rewrite-expression-head
Rules
727×add-sqr-sqrt
672×times-frac
545×*-un-lft-identity
410×sqrt-prod
246×difference-of-squares
229×add-cube-cbrt
158×distribute-lft-out--
56×associate-/l*
16×associate-/r/
15×associate-/r*
11×flip3-- add-cbrt-cube add-exp-log flip--
div-inv
add-log-exp
div-sub
pow1 cbrt-undiv div-exp
associate-/l/
clear-num sub-neg frac-2neg diff-log
associate--r-
Counts
4 → 492
Calls
4 calls:
233.0ms
(- (fma x y z) (/ (/ (- x y) (- (sqrt x) (sqrt y))) (sqrt z)))
21.0ms
(- (sqrt x) (sqrt y))
112.0ms
(/ (/ (- x y) (- (sqrt x) (sqrt y))) (sqrt z))
54.0ms
(/ (- x y) (- (sqrt x) (sqrt y)))

series1.8s

Counts
4 → 12
Calls
4 calls:
504.0ms
(- (fma x y z) (/ (/ (- x y) (- (sqrt x) (sqrt y))) (sqrt z)))
104.0ms
(- (sqrt x) (sqrt y))
705.0ms
(/ (/ (- x y) (- (sqrt x) (sqrt y))) (sqrt z))
485.0ms
(/ (- x y) (- (sqrt x) (sqrt y)))

simplify1.0s

Counts
504 → 504
Iterations

Useful iterations: done (978.0ms)

IterNodesCost
044312491
1110211370
done500011016

prune1.8s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

regimes332.0ms

Accuracy

-19.4% (0.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01217
11317
done1317

end0.0ms

sample14.4s

Algorithm
intervals
Results
7.2s64313×body80nan
3.1s9128×body80valid