Details

Time bar (total: 11.0s)

sample17.0ms

Algorithm
intervals
Results
5.0ms256×body80valid
2.0ms98×body80nan

simplify2.0ms

Counts
1 → 1
Iterations

Useful iterations: 1 (1.0ms)

IterNodesCost
056
175
done75

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 21.8b

localize4.0ms

Local error

Found 1 expressions with local error:

20.4b
(sqrt (fma x x y))

rewrite2.0ms

Algorithm
rewrite-expression-head
Rules
3×add-sqr-sqrt sqrt-prod
2×pow1 add-cube-cbrt *-un-lft-identity
1×add-exp-log expm1-log1p-u rem-sqrt-square sqrt-pow1 pow1/2 add-cbrt-cube log1p-expm1-u add-log-exp
Counts
1 → 15
Calls
1 calls:
2.0ms
(sqrt (fma x x y))

series53.0ms

Counts
1 → 3
Calls
1 calls:
53.0ms
(sqrt (fma x x y))

simplify3.4s

Counts
18 → 18
Iterations

Useful iterations: 5 (451.0ms)

IterNodesCost
037145
175127
2158120
3326118
4613117
5849116
61193116
72160116
done5000116

prune47.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize7.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (sqrt (fma x x y)))
0.5b
(* (sqrt (sqrt (fma x x y))) (sqrt (sqrt (fma x x y))))
20.4b
(sqrt (fma x x y))
20.4b
(sqrt (fma x x y))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
82×sqrt-prod
54×add-sqr-sqrt
38×sqrt-pow1
31×pow1
20×add-cube-cbrt *-un-lft-identity pow1/2
15×swap-sqr
9×associate-*r* associate-*l* pow-prod-up unswap-sqr
6×add-exp-log add-cbrt-cube
5×pow-prod-down pow-sqr
4×expm1-log1p-u rem-sqrt-square log1p-expm1-u add-log-exp
1×pow2 pow-plus sqrt-unprod prod-exp rem-square-sqrt *-commutative cbrt-unprod
Counts
4 → 128
Calls
4 calls:
2.0ms
(sqrt (sqrt (fma x x y)))
22.0ms
(* (sqrt (sqrt (fma x x y))) (sqrt (sqrt (fma x x y))))
2.0ms
(sqrt (fma x x y))
2.0ms
(sqrt (fma x x y))

series242.0ms

Counts
4 → 12
Calls
4 calls:
83.0ms
(sqrt (sqrt (fma x x y)))
54.0ms
(* (sqrt (sqrt (fma x x y))) (sqrt (sqrt (fma x x y))))
50.0ms
(sqrt (fma x x y))
55.0ms
(sqrt (fma x x y))

simplify2.5s

Counts
140 → 140
Iterations

Useful iterations: done (2.4s)

IterNodesCost
01141885
12101111
24861039
311611011
43101984
done5001972

prune245.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b
(fma (/ y x) 1/2 x)

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
1×pow1 add-exp-log add-sqr-sqrt expm1-log1p-u add-cube-cbrt *-un-lft-identity add-cbrt-cube fma-udef log1p-expm1-u add-log-exp
Counts
1 → 10
Calls
1 calls:
0.0ms
(fma (/ y x) 1/2 x)

series35.0ms

Counts
1 → 3
Calls
1 calls:
35.0ms
(fma (/ y x) 1/2 x)

simplify1.9s

Counts
13 → 13
Iterations

Useful iterations: 2 (8.0ms)

IterNodesCost
017110
124107
25195
316695
461695
5272095
done500095

prune28.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize4.0ms

Local error

Found 1 expressions with local error:

0.0b
(fma (/ y x) 1/2 x)

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
1×pow1 add-exp-log add-sqr-sqrt expm1-log1p-u add-cube-cbrt *-un-lft-identity add-cbrt-cube fma-udef log1p-expm1-u add-log-exp
Counts
1 → 10
Calls
1 calls:
0.0ms
(fma (/ y x) 1/2 x)

series33.0ms

Counts
1 → 3
Calls
1 calls:
33.0ms
(fma (/ y x) 1/2 x)

simplify1.9s

Counts
13 → 13
Iterations

Useful iterations: 2 (8.0ms)

IterNodesCost
017110
124107
25195
316695
461695
5272095
done500095

prune22.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes59.0ms

Accuracy

99.5% (0.1b remaining)

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

bsearch32.0ms

Steps
ItersRangePoint
4
3.0943207782900225e+107
4.8205448993048816e+107
3.903488335015738e+107
9
-2.3499377934639055e+159
-2.508529027316973e+152
-1.3474120016627302e+154

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01426
done1426

end0.0ms

sample433.0ms

Algorithm
intervals
Results
145.0ms8000×body80valid
48.0ms2733×body80nan