Details

Time bar (total: 9.8s)

sample69.0ms

Algorithm
intervals
Results
36.0ms256×body80valid
15.0ms256×pre80true

simplify4.9s

Counts
1 → 1

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 17.6b

localize19.0ms

Local error

Found 1 expressions with local error:

17.6b
(/ (* (- x y) (+ y x)) (fma y y (* x x)))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
8×associate-/l/
6×add-cbrt-cube add-exp-log
4×frac-times
3×add-sqr-sqrt associate-/r* *-un-lft-identity flip3-+ times-frac flip3-- add-cube-cbrt flip-+ flip--
2×cbrt-undiv div-exp associate-*l/ associate-*r/
1×expm1-log1p-u pow1 clear-num frac-2neg prod-exp cbrt-unprod insert-posit16 log1p-expm1-u div-inv associate-/l* add-log-exp
Counts
1 → 32
Calls
1 calls:
Slowest
27.0ms
(/ (* (- x y) (+ y x)) (fma y y (* x x)))

series83.0ms

Counts
1 → 3
Calls
1 calls:
Slowest
83.0ms
(/ (* (- x y) (+ y x)) (fma y y (* x x)))

simplify2.2s

Counts
35 → 35

prune248.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.6b

localize1.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0
Calls
0 calls:
Slowest

series0.0ms

Counts
0 → 0
Calls
0 calls:
Slowest

simplify0.0ms

Counts
0 → 0

prune4.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.6b

localize1.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0
Calls
0 calls:
Slowest

series0.0ms

Counts
0 → 0
Calls
0 calls:
Slowest

simplify0.0ms

Counts
0 → 0

prune1.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.6b

regimes113.0ms

Accuracy

76.7% (4.5b remaining)

Error of 4.8b against oracle of 0.4b and baseline of 19.5b

bsearch190.0ms

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.4s8000×body80valid
388.0ms8000×pre80true