Details

Time bar (total: 6.5s)

sample45.0ms

Algorithm
intervals
Results
22.0ms467×body80valid

simplify74.0ms

Counts
1 → 1
Iterations
IterNodes
done93
593
485
377
245
118
09

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 1 expressions with local error:

0.0b
(fma y (fma 2.0 x y) (* x x))

rewrite1.0ms

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

series45.0ms

Counts
1 → 3
Calls
1 calls:
45.0ms
(fma y (fma 2.0 x y) (* x x))

simplify366.0ms

Counts
13 → 13
Iterations
IterNodes
done5000
3547
2127
142
023

prune72.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 3 expressions with local error:

0.0b
(fma y (fma 2.0 x y) (* x x))
0.2b
(pow (fma y (fma 2.0 x y) (* x x)) 3)
34.8b
(cbrt (pow (fma y (fma 2.0 x y) (* x x)) 3))

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
12×cbrt-prod
9×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×unpow-prod-down cube-prod
4×pow1 add-cbrt-cube add-exp-log
3×expm1-log1p-u pow-unpow log1p-expm1-u add-log-exp
2×cube-mult unpow3 sqr-pow
1×pow-to-exp pow-pow pow1/3 pow-exp rem-cbrt-cube fma-udef rem-cube-cbrt
Counts
3 → 58
Calls
3 calls:
0.0ms
(fma y (fma 2.0 x y) (* x x))
2.0ms
(pow (fma y (fma 2.0 x y) (* x x)) 3)
2.0ms
(cbrt (pow (fma y (fma 2.0 x y) (* x x)) 3))

series259.0ms

Counts
3 → 9
Calls
3 calls:
44.0ms
(fma y (fma 2.0 x y) (* x x))
176.0ms
(pow (fma y (fma 2.0 x y) (* x x)) 3)
38.0ms
(cbrt (pow (fma y (fma 2.0 x y) (* x x)) 3))

simplify1.2s

Counts
67 → 67
Iterations
IterNodes
done5000
21249
1225
089

prune320.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 2 expressions with local error:

0.0b
(fma x x (* (* 2.0 y) x))
0.0b
(fma y y (fma x x (* (* 2.0 y) x)))

rewrite2.0ms

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

series145.0ms

Counts
2 → 6
Calls
2 calls:
90.0ms
(fma x x (* (* 2.0 y) x))
54.0ms
(fma y y (fma x x (* (* 2.0 y) x)))

simplify2.4s

Counts
26 → 26
Iterations
IterNodes
done5000
32653
2262
158
034

prune139.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.0b

regimes63.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
IterNodes
done6
06

end0.0ms

sample1.3s

Algorithm
intervals
Results
883.0ms14088×body80valid