Details

Time bar (total: 11.8s)

sample19.0ms

Algorithm
intervals
Results
10.0ms256×body80valid

simplify28.0ms

Counts
1 → 1
Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
099
1148
2198
3218
4238
5258
6268
done268

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize12.0ms

Local error

Found 1 expressions with local error:

0.1b
(fma (/ 841.0 108.0) x (/ 4.0 29.0))

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:
1.0ms
(fma (/ 841.0 108.0) x (/ 4.0 29.0))

series61.0ms

Counts
1 → 3
Calls
1 calls:
61.0ms
(fma (/ 841.0 108.0) x (/ 4.0 29.0))

simplify2.8s

Counts
13 → 13
Iterations

Useful iterations: 2 (17.0ms)

IterNodesCost
022128
130125
254109
3162109
4689109
53396109
done5000109

prune62.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (fma (/ 841.0 108.0) x (/ 4.0 29.0)))
0.1b
(fma (/ 841.0 108.0) x (/ 4.0 29.0))
0.1b
(fma (/ 841.0 108.0) x (/ 4.0 29.0))
0.2b
(* (sqrt (fma (/ 841.0 108.0) x (/ 4.0 29.0))) (sqrt (fma (/ 841.0 108.0) x (/ 4.0 29.0))))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
26×add-sqr-sqrt
21×sqrt-prod
20×pow1
13×add-cube-cbrt *-un-lft-identity
9×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×fma-udef
1×pow2 rem-sqrt-square pow-plus sqrt-unprod prod-exp rem-square-sqrt *-commutative cbrt-unprod
Counts
4 → 86
Calls
4 calls:
3.0ms
(sqrt (fma (/ 841.0 108.0) x (/ 4.0 29.0)))
0.0ms
(fma (/ 841.0 108.0) x (/ 4.0 29.0))
0.0ms
(fma (/ 841.0 108.0) x (/ 4.0 29.0))
23.0ms
(* (sqrt (fma (/ 841.0 108.0) x (/ 4.0 29.0))) (sqrt (fma (/ 841.0 108.0) x (/ 4.0 29.0))))

series178.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(sqrt (fma (/ 841.0 108.0) x (/ 4.0 29.0)))
36.0ms
(fma (/ 841.0 108.0) x (/ 4.0 29.0))
45.0ms
(fma (/ 841.0 108.0) x (/ 4.0 29.0))
54.0ms
(* (sqrt (fma (/ 841.0 108.0) x (/ 4.0 29.0))) (sqrt (fma (/ 841.0 108.0) x (/ 4.0 29.0))))

simplify2.8s

Counts
98 → 98
Iterations

Useful iterations: done (2.8s)

IterNodesCost
0931688
11881143
25931012
33527965
done5000936

prune403.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize44.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma (/ 841.0 108.0) x (/ 4.0 29.0))
0.1b
(fma (/ 841.0 108.0) x (/ 4.0 29.0))
0.2b
(* (sqrt (fma (/ 841.0 108.0) x (/ 4.0 29.0))) (expm1 (log1p (sqrt (fma (/ 841.0 108.0) x (/ 4.0 29.0))))))
1.4b
(expm1 (log1p (sqrt (fma (/ 841.0 108.0) x (/ 4.0 29.0)))))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
7×add-cube-cbrt *-un-lft-identity
6×pow1 add-exp-log associate-*l* add-cbrt-cube
4×expm1-log1p-u sqrt-prod log1p-expm1-u add-log-exp
3×associate-*r*
2×fma-udef unswap-sqr
1×expm1-log1p pow-prod-down prod-exp *-commutative cbrt-unprod expm1-udef
Counts
4 → 55
Calls
4 calls:
0.0ms
(fma (/ 841.0 108.0) x (/ 4.0 29.0))
0.0ms
(fma (/ 841.0 108.0) x (/ 4.0 29.0))
19.0ms
(* (sqrt (fma (/ 841.0 108.0) x (/ 4.0 29.0))) (expm1 (log1p (sqrt (fma (/ 841.0 108.0) x (/ 4.0 29.0))))))
1.0ms
(expm1 (log1p (sqrt (fma (/ 841.0 108.0) x (/ 4.0 29.0)))))

series974.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(fma (/ 841.0 108.0) x (/ 4.0 29.0))
57.0ms
(fma (/ 841.0 108.0) x (/ 4.0 29.0))
652.0ms
(* (sqrt (fma (/ 841.0 108.0) x (/ 4.0 29.0))) (expm1 (log1p (sqrt (fma (/ 841.0 108.0) x (/ 4.0 29.0))))))
225.0ms
(expm1 (log1p (sqrt (fma (/ 841.0 108.0) x (/ 4.0 29.0)))))

simplify879.0ms

Counts
67 → 67
Iterations

Useful iterations: done (877.0ms)

IterNodesCost
01111251
1259948
21416785
done5000757

prune329.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (pow (sqrt (cbrt (fma (/ 841.0 108.0) x (/ 4.0 29.0)))) (+ 3 1)) (cbrt (fma (/ 841.0 108.0) x (/ 4.0 29.0))))
0.3b
(pow (sqrt (cbrt (fma (/ 841.0 108.0) x (/ 4.0 29.0)))) (+ 3 1))
0.8b
(cbrt (fma (/ 841.0 108.0) x (/ 4.0 29.0)))
0.8b
(cbrt (fma (/ 841.0 108.0) x (/ 4.0 29.0)))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
34×add-sqr-sqrt
24×unpow-prod-down
22×cbrt-prod
18×*-un-lft-identity
16×add-cube-cbrt sqrt-prod
14×associate-*l*
10×add-exp-log unswap-sqr
6×pow1 associate-*r*
5×add-cbrt-cube
4×expm1-log1p-u pow-unpow pow-pow log1p-expm1-u add-log-exp sqr-pow
3×pow1/3 prod-exp
2×unpow-prod-up pow-to-exp sqrt-pow1 pow-exp
1×pow1/2 *-commutative sqrt-pow2 cbrt-unprod distribute-lft-out
Counts
4 → 101
Calls
4 calls:
36.0ms
(* (pow (sqrt (cbrt (fma (/ 841.0 108.0) x (/ 4.0 29.0)))) (+ 3 1)) (cbrt (fma (/ 841.0 108.0) x (/ 4.0 29.0))))
9.0ms
(pow (sqrt (cbrt (fma (/ 841.0 108.0) x (/ 4.0 29.0)))) (+ 3 1))
1.0ms
(cbrt (fma (/ 841.0 108.0) x (/ 4.0 29.0)))
2.0ms
(cbrt (fma (/ 841.0 108.0) x (/ 4.0 29.0)))

series648.0ms

Counts
4 → 12
Calls
4 calls:
69.0ms
(* (pow (sqrt (cbrt (fma (/ 841.0 108.0) x (/ 4.0 29.0)))) (+ 3 1)) (cbrt (fma (/ 841.0 108.0) x (/ 4.0 29.0))))
286.0ms
(pow (sqrt (cbrt (fma (/ 841.0 108.0) x (/ 4.0 29.0)))) (+ 3 1))
153.0ms
(cbrt (fma (/ 841.0 108.0) x (/ 4.0 29.0)))
140.0ms
(cbrt (fma (/ 841.0 108.0) x (/ 4.0 29.0)))

simplify1.2s

Counts
113 → 113
Iterations

Useful iterations: done (1.2s)

IterNodesCost
02182974
15822639
221742252
done50022010

prune574.0ms

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0.0b

regimes57.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
088
done88

end0.0ms

sample534.0ms

Algorithm
intervals
Results
349.0ms8013×body80valid
0.0ms1×body1280valid
0.0ms1×body320valid