Details

Time bar (total: 10.7s)

sample13.0ms

Algorithm
intervals
Results
6.0ms256×body80valid

simplify21.0ms

Counts
1 → 1
Iterations

Useful iterations: 3 (6.0ms)

IterNodesCost
0911
11511
22211
32610
42910
53010
done3010

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b
(- x (/ y (fma (/ x 2.0) y 1.0)))
6.2b
(/ y (fma (/ x 2.0) y 1.0))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
50×add-sqr-sqrt
47×*-un-lft-identity
45×add-cube-cbrt
39×prod-diff
37×times-frac
4×add-exp-log add-cbrt-cube div-inv add-log-exp
3×fma-neg associate-/r* associate-/l*
2×pow1 expm1-log1p-u log1p-expm1-u difference-of-squares
1×cbrt-undiv sub-neg flip3-- frac-2neg diff-log div-exp clear-num flip-- distribute-lft-out--
Counts
2 → 88
Calls
2 calls:
14.0ms
(- x (/ y (fma (/ x 2.0) y 1.0)))
3.0ms
(/ y (fma (/ x 2.0) y 1.0))

series104.0ms

Counts
2 → 6
Calls
2 calls:
35.0ms
(- x (/ y (fma (/ x 2.0) y 1.0)))
69.0ms
(/ y (fma (/ x 2.0) y 1.0))

simplify842.0ms

Counts
94 → 94
Iterations

Useful iterations: done (838.0ms)

IterNodesCost
02023491
14673104
213742276
done50002257

prune164.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize13.0ms

Local error

Found 4 expressions with local error:

0.7b
(pow (/ (cbrt y) (cbrt (fma (/ x 2.0) y 1.0))) 3)
6.4b
(cbrt (fma (/ x 2.0) y 1.0))
6.4b
(cbrt (fma (/ x 2.0) y 1.0))
6.4b
(cbrt (fma (/ x 2.0) y 1.0))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
81×cbrt-prod
72×times-frac
58×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
40×unpow-prod-down cube-prod
7×add-exp-log
5×pow1 add-cbrt-cube
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×pow-unpow pow1/3
2×pow-exp div-inv rem-cube-cbrt
1×cbrt-undiv cube-div cube-mult pow-to-exp pow-pow unpow3 div-exp sqr-pow
Counts
4 → 141
Calls
4 calls:
9.0ms
(pow (/ (cbrt y) (cbrt (fma (/ x 2.0) y 1.0))) 3)
0.0ms
(cbrt (fma (/ x 2.0) y 1.0))
0.0ms
(cbrt (fma (/ x 2.0) y 1.0))
1.0ms
(cbrt (fma (/ x 2.0) y 1.0))

series1.4s

Counts
4 → 12
Calls
4 calls:
698.0ms
(pow (/ (cbrt y) (cbrt (fma (/ x 2.0) y 1.0))) 3)
244.0ms
(cbrt (fma (/ x 2.0) y 1.0))
235.0ms
(cbrt (fma (/ x 2.0) y 1.0))
237.0ms
(cbrt (fma (/ x 2.0) y 1.0))

simplify731.0ms

Counts
153 → 153
Iterations

Useful iterations: 2 (315.0ms)

IterNodesCost
02363571
17483195
223282689
done50002689

prune379.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize17.0ms

Local error

Found 4 expressions with local error:

6.2b
(/ y (fma (/ x 2.0) y 1.0))
6.4b
(cbrt (fma (/ x 2.0) y 1.0))
6.4b
(cbrt (fma (/ x 2.0) y 1.0))
36.2b
(- (pow (/ (cbrt y) (cbrt (fma (/ x 2.0) y 1.0))) 3) (expm1 (log1p (/ y (fma (/ x 2.0) y 1.0)))))

rewrite180.0ms

Algorithm
rewrite-expression-head
Rules
335×add-sqr-sqrt
306×*-un-lft-identity
305×times-frac
304×add-cube-cbrt
302×cbrt-prod
258×prod-diff
165×unpow-prod-down cube-prod
86×fma-neg
12×difference-of-squares
9×div-inv
6×add-exp-log add-cbrt-cube add-log-exp
5×sqr-pow
4×pow1 expm1-log1p-u cube-mult unpow3 log1p-expm1-u
3×associate-/r* associate-/l*
2×pow1/3
1×cbrt-undiv sub-neg flip3-- frac-2neg diff-log div-exp clear-num flip-- distribute-lft-out-- expm1-udef associate--r-
Counts
4 → 427
Calls
4 calls:
2.0ms
(/ y (fma (/ x 2.0) y 1.0))
0.0ms
(cbrt (fma (/ x 2.0) y 1.0))
1.0ms
(cbrt (fma (/ x 2.0) y 1.0))
139.0ms
(- (pow (/ (cbrt y) (cbrt (fma (/ x 2.0) y 1.0))) 3) (expm1 (log1p (/ y (fma (/ x 2.0) y 1.0)))))

series666.0ms

Counts
4 → 12
Calls
4 calls:
62.0ms
(/ y (fma (/ x 2.0) y 1.0))
244.0ms
(cbrt (fma (/ x 2.0) y 1.0))
253.0ms
(cbrt (fma (/ x 2.0) y 1.0))
107.0ms
(- (pow (/ (cbrt y) (cbrt (fma (/ x 2.0) y 1.0))) 3) (expm1 (log1p (/ y (fma (/ x 2.0) y 1.0)))))

simplify1.3s

Counts
439 → 439
Iterations

Useful iterations: 2 (589.0ms)

IterNodesCost
044529294
1112217267
2343310815
done500110815

prune725.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

localize36.0ms

Local error

Found 4 expressions with local error:

6.4b
(cbrt (fma (/ x 2.0) y 1.0))
6.4b
(cbrt (fma (/ x 2.0) y 1.0))
6.4b
(cbrt (fma (/ x 2.0) y 1.0))
57.9b
(fma (pow (/ (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt (fma (/ x 2.0) y 1.0)) (cbrt (fma (/ x 2.0) y 1.0))))) 3) (pow (/ (cbrt (cbrt y)) (cbrt (cbrt (fma (/ x 2.0) y 1.0)))) 3) (- (/ y (fma (/ x 2.0) y 1.0))))

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u add-log-exp
3×pow1/3
1×fma-udef
Counts
4 → 49
Calls
4 calls:
0.0ms
(cbrt (fma (/ x 2.0) y 1.0))
0.0ms
(cbrt (fma (/ x 2.0) y 1.0))
1.0ms
(cbrt (fma (/ x 2.0) y 1.0))
0.0ms
(fma (pow (/ (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt (fma (/ x 2.0) y 1.0)) (cbrt (fma (/ x 2.0) y 1.0))))) 3) (pow (/ (cbrt (cbrt y)) (cbrt (cbrt (fma (/ x 2.0) y 1.0)))) 3) (- (/ y (fma (/ x 2.0) y 1.0))))

series2.8s

Counts
4 → 12
Calls
4 calls:
251.0ms
(cbrt (fma (/ x 2.0) y 1.0))
244.0ms
(cbrt (fma (/ x 2.0) y 1.0))
251.0ms
(cbrt (fma (/ x 2.0) y 1.0))
2.0s
(fma (pow (/ (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt (fma (/ x 2.0) y 1.0)) (cbrt (fma (/ x 2.0) y 1.0))))) 3) (pow (/ (cbrt (cbrt y)) (cbrt (cbrt (fma (/ x 2.0) y 1.0)))) 3) (- (/ y (fma (/ x 2.0) y 1.0))))

simplify410.0ms

Counts
61 → 61
Iterations

Useful iterations: 2 (123.0ms)

IterNodesCost
01451785
13841729
213211440
done50011440

prune430.0ms

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0b

regimes55.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
0810
done810

end0.0ms

sample328.0ms

Algorithm
intervals
Results
205.0ms7998×body80valid
0.0ms1×body2560valid
0.0ms1×body1280valid