Details

Time bar (total: 9.6s)

sample64.0ms

Algorithm
intervals
Results
35.0ms256×body80valid
14.0ms256×pre80true

simplify203.0ms

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

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 20.6b

localize29.0ms

Local error

Found 2 expressions with local error:

20.6b
(/ (* (- x y) (+ y x)) (fma x x (* y y)))
0.0b
(fma x x (* y y))

rewrite29.0ms

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

series145.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
83.0ms
(/ (* (- x y) (+ y x)) (fma x x (* y y)))
62.0ms
(fma x x (* y y))

simplify3.9s

Counts
28 → 49
Calls
28 calls:
Slowest
542.0ms
(/ (* (* (* (- x y) (+ y x)) (* (- x y) (+ y x))) (* (- x y) (+ y x))) (* (* (fma x x (* y y)) (fma x x (* y y))) (fma x x (* y y))))
417.0ms
(* (- (pow x 3) (pow y 3)) (- (* y y) (* x x)))
413.0ms
(* (- (* x x) (* y y)) (- (* y y) (* x x)))
380.0ms
(/ (* (* (* (- x y) (- x y)) (- x y)) (* (* (+ y x) (+ y x)) (+ y x))) (* (* (fma x x (* y y)) (fma x x (* y y))) (fma x x (* y y))))
375.0ms
(* (- x y) (+ (pow y 3) (pow x 3)))

prune403.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.2b

localize0.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
Calls
0 calls:
Slowest

prune4.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.2b

localize26.0ms

Local error

Found 2 expressions with local error:

20.6b
(/ (fma x x (* y y)) (* (- x y) (+ y x)))
0.0b
(fma x x (* y y))

rewrite24.0ms

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

series127.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
88.0ms
(/ (fma x x (* y y)) (* (- x y) (+ y x)))
39.0ms
(fma x x (* y y))

simplify2.5s

Counts
27 → 49
Calls
27 calls:
Slowest
465.0ms
(/ (* (* (fma x x (* y y)) (fma x x (* y y))) (fma x x (* y y))) (* (* (* (- x y) (+ y x)) (* (- x y) (+ y x))) (* (- x y) (+ y x))))
463.0ms
(/ (* (* (fma x x (* y y)) (fma x x (* y y))) (fma x x (* y y))) (* (* (* (- x y) (- x y)) (- x y)) (* (* (+ y x) (+ y x)) (+ y x))))
388.0ms
(- (log (fma x x (* y y))) (log (* (- x y) (+ y x))))
300.0ms
(* (+ x y) (+ (* y y) (- (* x x) (* y x))))
231.0ms
(* (+ (* x x) (+ (* y y) (* x y))) (- y x))

prune414.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.2b

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
Calls
0 calls:
Slowest

prune1.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.2b

regimes87.0ms

Accuracy

78.4% (4.5b remaining)

Error of 4.9b against oracle of 0.4b and baseline of 21.1b

bsearch139.0ms

end0.0ms

sample1.4s

Algorithm
intervals
Results
831.0ms8000×body80valid
458.0ms8000×pre80true