Details

Time bar (total: 14.9s)

sample98.0ms

Algorithm
intervals
Results
52.0ms422×body80valid

simplify2.3s

Counts
1 → 1
Iterations

Useful iterations: 4 (70.0ms)

IterNodesCost
01717
13316
27316
314716
440515
5137315
done500015

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize31.0ms

Local error

Found 2 expressions with local error:

0.0b
(fma (/ z 16.0) t (fma x y (fma (/ a 4.0) (- b) c)))
0.0b
(fma x y (fma (/ a 4.0) (- b) c))

rewrite2.0ms

Algorithm
rewrite-expression-head
Rules
2×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
2 → 20
Calls
2 calls:
1.0ms
(fma (/ z 16.0) t (fma x y (fma (/ a 4.0) (- b) c)))
1.0ms
(fma x y (fma (/ a 4.0) (- b) c))

series334.0ms

Counts
2 → 6
Calls
2 calls:
210.0ms
(fma (/ z 16.0) t (fma x y (fma (/ a 4.0) (- b) c)))
123.0ms
(fma x y (fma (/ a 4.0) (- b) c))

simplify2.0s

Counts
26 → 26
Iterations

Useful iterations: 2 (46.0ms)

IterNodesCost
046390
174385
2171335
3549335
43317335
done5000335

prune119.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

0.0b
(fma x y (fma (/ a 4.0) (- b) c))
0.0b
(sqrt (fma x y (fma (/ a 4.0) (- b) c)))
0.0b
(sqrt (fma x y (fma (/ a 4.0) (- b) c)))
0.3b
(* (sqrt (fma x y (fma (/ a 4.0) (- b) c))) (sqrt (fma x y (fma (/ a 4.0) (- b) c))))

rewrite30.0ms

Algorithm
rewrite-expression-head
Rules
28×add-sqr-sqrt
24×sqrt-prod
21×pow1
14×add-cube-cbrt *-un-lft-identity
10×sqrt-pow1 pow1/2
8×swap-sqr
6×add-exp-log associate-*r* associate-*l* add-cbrt-cube
5×pow-prod-up
4×expm1-log1p-u log1p-expm1-u add-log-exp unswap-sqr
3×pow-prod-down pow-sqr
2×rem-sqrt-square
1×pow2 pow-plus sqrt-unprod prod-exp rem-square-sqrt *-commutative cbrt-unprod fma-udef
Counts
4 → 91
Calls
4 calls:
0.0ms
(fma x y (fma (/ a 4.0) (- b) c))
2.0ms
(sqrt (fma x y (fma (/ a 4.0) (- b) c)))
2.0ms
(sqrt (fma x y (fma (/ a 4.0) (- b) c)))
21.0ms
(* (sqrt (fma x y (fma (/ a 4.0) (- b) c))) (sqrt (fma x y (fma (/ a 4.0) (- b) c))))

series845.0ms

Counts
4 → 12
Calls
4 calls:
117.0ms
(fma x y (fma (/ a 4.0) (- b) c))
295.0ms
(sqrt (fma x y (fma (/ a 4.0) (- b) c)))
307.0ms
(sqrt (fma x y (fma (/ a 4.0) (- b) c)))
124.0ms
(* (sqrt (fma x y (fma (/ a 4.0) (- b) c))) (sqrt (fma x y (fma (/ a 4.0) (- b) c))))

simplify2.0s

Counts
103 → 103
Iterations

Useful iterations: done (2.0s)

IterNodesCost
0962170
12131507
26541353
335741284
done50001278

prune318.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (fma x y (fma (/ a 4.0) (- b) c)))
0.3b
(pow (sqrt (fma x y (fma (/ a 4.0) (- b) c))) 3)
0.3b
(* (sqrt (fma x y (fma (/ a 4.0) (- b) c))) (cbrt (pow (sqrt (fma x y (fma (/ a 4.0) (- b) c))) 3)))
11.5b
(cbrt (pow (sqrt (fma x y (fma (/ a 4.0) (- b) c))) 3))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
50×add-sqr-sqrt
48×cbrt-prod
35×sqrt-prod
23×add-cube-cbrt *-un-lft-identity
22×unpow-prod-down cube-prod
21×associate-*r*
14×unswap-sqr
9×pow1
7×add-exp-log
6×associate-*l* add-cbrt-cube
5×sqr-pow
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×cube-mult pow-unpow pow-pow unpow3
2×sqrt-pow1 pow1/2
1×pow-to-exp rem-sqrt-square pow1/3 pow-prod-down pow-exp prod-exp *-commutative sqrt-pow2 rem-cbrt-cube cbrt-unprod rem-cube-cbrt
Counts
4 → 132
Calls
4 calls:
2.0ms
(sqrt (fma x y (fma (/ a 4.0) (- b) c)))
4.0ms
(pow (sqrt (fma x y (fma (/ a 4.0) (- b) c))) 3)
26.0ms
(* (sqrt (fma x y (fma (/ a 4.0) (- b) c))) (cbrt (pow (sqrt (fma x y (fma (/ a 4.0) (- b) c))) 3)))
4.0ms
(cbrt (pow (sqrt (fma x y (fma (/ a 4.0) (- b) c))) 3))

series698.0ms

Counts
4 → 12
Calls
4 calls:
220.0ms
(sqrt (fma x y (fma (/ a 4.0) (- b) c)))
125.0ms
(pow (sqrt (fma x y (fma (/ a 4.0) (- b) c))) 3)
96.0ms
(* (sqrt (fma x y (fma (/ a 4.0) (- b) c))) (cbrt (pow (sqrt (fma x y (fma (/ a 4.0) (- b) c))) 3)))
257.0ms
(cbrt (pow (sqrt (fma x y (fma (/ a 4.0) (- b) c))) 3))

simplify3.3s

Counts
144 → 144
Iterations

Useful iterations: done (3.3s)

IterNodesCost
01413760
13603141
225022340
done50002290

prune561.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

regimes214.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01515
done1515

end0.0ms

sample1.9s

Algorithm
intervals
Results
985.0ms11909×body80valid