Details

Time bar (total: 2.6m)

sample64.0ms

Algorithm
intervals
Results
34.0ms256×body80valid
14.0ms256×pre80true

simplify315.0ms

Calls
1 calls:
Slowest
315.0ms
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 19.3b

localize31.0ms

Local error

Found 1 expressions with local error:

19.3b
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))

rewrite163.0ms

Algorithm
rewrite-expression-head
Rules
272×*-un-lft-identity
120×times-frac
109×associate-*l*
89×distribute-lft-out
80×add-sqr-sqrt
44×add-cube-cbrt
36×associate-*r*
32×swap-sqr
15×associate-/l*
9×*-commutative distribute-lft-out-- difference-of-squares unswap-sqr
8×associate-/r* associate-/l/
6×add-cbrt-cube add-exp-log
4×frac-times flip3-+ flip-+
3×flip3-- flip--
2×cbrt-undiv div-exp associate-*l/ associate-*r/ associate-/r/
1×pow1 clear-num frac-2neg prod-exp cbrt-unprod insert-posit16 div-inv add-log-exp
Calls
1 calls:
Slowest
155.0ms
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))

series94.0ms

Calls
1 calls:
Slowest
94.0ms
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))

simplify27.2s

Calls
277 calls:
Slowest
626.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))))
450.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))))
396.0ms
(/ (* (- (sqrt x) (sqrt y)) (+ x y)) (sqrt (+ (* x x) (* y y))))
390.0ms
(/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))
377.0ms
(/ (* (- (sqrt x) (sqrt y)) (+ x y)) (cbrt (+ (* x x) (* y y))))

prune1.5s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.4b

localize46.0ms

Local error

Found 4 expressions with local error:

18.7b
(sqrt (+ (* x x) (* y y)))
18.7b
(sqrt (+ (* x x) (* y y)))
0.0b
(/ (+ x y) (sqrt (+ (* x x) (* y y))))
0.0b
(* (/ (+ x y) (sqrt (+ (* x x) (* y y)))) (/ (- x y) (sqrt (+ (* x x) (* y y)))))

rewrite906.0ms

Algorithm
rewrite-expression-head
Rules
1064×*-un-lft-identity
484×associate-/r*
478×sqrt-prod
420×frac-times
340×distribute-lft-out
295×add-sqr-sqrt
286×associate-*l*
199×add-cube-cbrt associate-/l*
155×times-frac
118×swap-sqr
88×associate-/l/
61×associate-*r*
45×clear-num
44×frac-2neg
33×distribute-lft-out--
32×difference-of-squares
28×flip3-+ flip-+
21×flip3-- associate-*r/ flip--
20×associate-*l/
18×add-cbrt-cube add-exp-log
10×sqrt-div
9×unswap-sqr
8×pow1
6×associate-/r/
5×cbrt-undiv div-exp
4×prod-exp cbrt-unprod insert-posit16 add-log-exp
3×un-div-inv div-inv
2×rem-sqrt-square sqrt-pow1 pow1/2
1×pow-prod-down *-commutative
Calls
4 calls:
Slowest
422.0ms
(/ (+ x y) (sqrt (+ (* x x) (* y y))))
385.0ms
(* (/ (+ x y) (sqrt (+ (* x x) (* y y)))) (/ (- x y) (sqrt (+ (* x x) (* y y)))))
43.0ms
(sqrt (+ (* x x) (* y y)))
28.0ms
(sqrt (+ (* x x) (* y y)))

series352.0ms

Calls
4 calls:
Slowest
141.0ms
(/ (+ x y) (sqrt (+ (* x x) (* y y))))
96.0ms
(* (/ (+ x y) (sqrt (+ (* x x) (* y y)))) (/ (- x y) (sqrt (+ (* x x) (* y y)))))
66.0ms
(sqrt (+ (* x x) (* y y)))
50.0ms
(sqrt (+ (* x x) (* y y)))

simplify2.0m

Calls
1164 calls:
Slowest
713.0ms
(* (/ (+ x y) (sqrt (sqrt (+ (* x x) (* y y))))) (/ (- x y) (sqrt (sqrt (+ (* x x) (* y y))))))
706.0ms
(* (/ (+ x y) 1) (/ (- x y) (sqrt (sqrt (+ (* x x) (* y y))))))
589.0ms
(* (- (* x x) (* y y)) 1)
554.0ms
(* (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (sqrt (+ (* x x) (* y y))))) (/ (* (* (- x y) (- x y)) (- x y)) (* (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (sqrt (+ (* x x) (* y y))))))
545.0ms
(* (/ (sqrt (+ (* x x) (* y y))) (+ x y)) (* (sqrt (+ (* x x) (* y y))) (+ x y)))

prune7.1s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.4b

localize1.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

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

series0.0ms

Calls
0 calls:
Slowest

simplify0.0ms

Calls
0 calls:
Slowest

prune4.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.4b

localize1.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

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

series0.0ms

Calls
0 calls:
Slowest

simplify0.0ms

Calls
0 calls:
Slowest

prune1.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0.4b

regimes177.0ms

Accuracy

76.5% (4.6b remaining)

Error of 5.1b against oracle of 0.5b and baseline of 20.2b

bsearch229.0ms

end0.0ms

sample1.5s

Algorithm
intervals
Results
916.0ms8000×body80valid
410.0ms8000×pre80true