Details

Time bar (total: 10.6s)

sample44.0ms

Algorithm
intervals
Results
22.0ms256×body80valid
9.0ms256×pre80true

simplify325.0ms

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

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 20.6b

localize39.0ms

Local error

Found 2 expressions with local error:

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

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
8×associate-/l/
7×add-cbrt-cube add-exp-log
5×flip3-+ flip-+
4×add-sqr-sqrt frac-times *-un-lft-identity add-cube-cbrt add-log-exp
3×associate-/r* times-frac flip3-- flip--
2×pow1 cbrt-undiv div-exp associate-*l/ associate-*r/ associate-/r/ insert-posit16
1×+-commutative clear-num sum-log frac-2neg prod-exp cbrt-unprod div-inv associate-/l*
Counts
2 → 44
Calls
2 calls:
Slowest
28.0ms
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))
8.0ms
(+ (* x x) (* y y))

series165.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
119.0ms
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))
46.0ms
(+ (* x x) (* y y))

simplify4.0s

Counts
31 → 50
Calls
31 calls:
Slowest
660.0ms
(/ (* (* (* (- x y) (+ x y)) (* (- x y) (+ x y))) (* (- x y) (+ x y))) (* (* (+ (* x x) (* y y)) (+ (* x x) (* y y))) (+ (* x x) (* y y))))
497.0ms
(/ (* (* (* (- x y) (- x y)) (- x y)) (* (* (+ x y) (+ x y)) (+ x y))) (* (* (+ (* x x) (* y y)) (+ (* x x) (* y y))) (+ (* x x) (* y y))))
443.0ms
(* (- (pow x 3) (pow y 3)) (- (* x x) (* y y)))
299.0ms
(+ (* (* x x) (* x x)) (- (* (* y y) (* y y)) (* (* x x) (* y y))))
265.0ms
(- (log (* (- x y) (+ x y))) (log (+ (* x x) (* y y))))

prune408.0ms

Pruning

3 alts after pruning (3 fresh and 0 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

prune8.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.2b

localize42.0ms

Local error

Found 2 expressions with local error:

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

rewrite56.0ms

Algorithm
rewrite-expression-head
Rules
8×associate-/r/
7×add-cbrt-cube add-exp-log
5×flip3-+ flip-+
4×add-sqr-sqrt frac-times *-un-lft-identity add-cube-cbrt add-log-exp
3×times-frac flip3-- flip-- associate-/l*
2×pow1 cbrt-undiv div-exp associate-*l/ associate-*r/ insert-posit16 associate-/l/
1×+-commutative clear-num associate-/r* sum-log frac-2neg prod-exp cbrt-unprod div-inv
Counts
2 → 44
Calls
2 calls:
Slowest
34.0ms
(/ (+ (* x x) (* y y)) (* (- x y) (+ x y)))
21.0ms
(+ (* x x) (* y y))

series116.0ms

Counts
2 → 6
Calls
2 calls:
Slowest
75.0ms
(/ (+ (* x x) (* y y)) (* (- x y) (+ x y)))
41.0ms
(+ (* x x) (* y y))

simplify2.9s

Counts
30 → 50
Calls
30 calls:
Slowest
564.0ms
(/ (* (* (+ (* x x) (* y y)) (+ (* x x) (* y y))) (+ (* x x) (* y y))) (* (* (* (- x y) (+ x y)) (* (- x y) (+ x y))) (* (- x y) (+ x y))))
465.0ms
(/ (* (* (+ (* x x) (* y y)) (+ (* x x) (* y y))) (+ (* x x) (* y y))) (* (* (* (- x y) (- x y)) (- x y)) (* (* (+ x y) (+ x y)) (+ x y))))
276.0ms
(+ (pow (* x x) 3) (pow (* y y) 3))
270.0ms
(- (log (+ (* x x) (* y y))) (log (* (- x y) (+ x y))))
245.0ms
(- (* (* x x) (* x x)) (* (* y y) (* y y)))

prune500.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

regimes113.0ms

Accuracy

78.4% (4.5b remaining)

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

bsearch196.0ms

end0.0ms

sample1.6s

Algorithm
intervals
Results
1.1s8000×body80valid
346.0ms8000×pre80true