Details

Time bar (total: 9.9s)

sample274.0ms

Algorithm
intervals
Results
132.0ms857×body80valid

simplify80.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0912
11712
22612
33212
done3212

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.1b

localize74.0ms

Local error

Found 2 expressions with local error:

0.2b
(* x (sqrt (+ 1.0f0 (/ (* y y) (* x x)))))
5.1b
(/ (* y y) (* x x))

rewrite141.0ms

Algorithm
rewrite-expression-head
Rules
16×add-cbrt-cube add-exp-log
add-sqr-sqrt
*-un-lft-identity associate-*r*
prod-exp add-cube-cbrt sqrt-prod cbrt-unprod
pow1 cbrt-undiv div-exp
associate-*l*
sqrt-div associate-*r/ add-log-exp unswap-sqr
clear-num associate-/r* frac-2neg flip3-+ times-frac pow-prod-down *-commutative flip-+ div-inv distribute-lft-out associate-/l*
Counts
2 → 46
Calls
2 calls:
106.0ms
(* x (sqrt (+ 1.0f0 (/ (* y y) (* x x)))))
31.0ms
(/ (* y y) (* x x))

series297.0ms

Counts
2 → 6
Calls
2 calls:
185.0ms
(* x (sqrt (+ 1.0f0 (/ (* y y) (* x x)))))
111.0ms
(/ (* y y) (* x x))

simplify2.6s

Counts
52 → 52
Iterations

Useful iterations: 2 (624.0ms)

IterNodesCost
091690
1277638
22440525
done5002525

prune254.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 1.5b

localize19.0ms

Local error

Found 1 expressions with local error:

0.2b
(* x (sqrt (+ 1.0f0 (* (fabs (/ y x)) (fabs (/ y x))))))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt
associate-*r*
*-un-lft-identity add-cube-cbrt sqrt-prod
pow1 add-cbrt-cube associate-*l* add-exp-log
sqrt-div associate-*r/ unswap-sqr
flip3-+ pow-prod-down prod-exp *-commutative cbrt-unprod flip-+ add-log-exp
Counts
1 → 24
Calls
1 calls:
40.0ms
(* x (sqrt (+ 1.0f0 (* (fabs (/ y x)) (fabs (/ y x))))))

series79.0ms

Counts
1 → 3
Calls
1 calls:
79.0ms
(* x (sqrt (+ 1.0f0 (* (fabs (/ y x)) (fabs (/ y x))))))

simplify2.2s

Counts
27 → 27
Iterations

Useful iterations: 3 (1.0s)

IterNodesCost
058503
1127372
2432343
32410341
done5000341

prune149.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 1.5b

regimes90.0ms

Accuracy

0% (3.2b remaining)

Error of 4.6b against oracle of 1.4b and baseline of 4.6b

bsearch1.0ms

Steps
ItersRangePoint
0
1.4672812138382097e-231
1.4909991364309658e-229
0.0f0
0
-1.8868676754799538e-200
-2.9572358030980898e-201
0.0f0

simplify4.0ms

Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
01337
11824
done1824

end0.0ms

sample3.6s

Algorithm
intervals
Results
2.5s25220×body80valid