Details

sample63.0ms

Algorithm

intervals

Results

35.0ms	256×	body	80	valid
14.0ms	256×	pre	80	true

simplify348.0ms

Calls

1 calls:

Slowest

348.0ms

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

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 23.3b

localize37.0ms

Local error

Found 1 expressions with local error:

23.3b

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

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

8×	`associate-/l/`
6×	`add-cbrt-cube` `add-exp-log`
4×	`frac-times` `flip3-+` `flip-+`
3×	`add-sqr-sqrt` `associate-/r` `-un-lft-identity` `times-frac` `flip3--` `add-cube-cbrt` `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` `associate-/l*` `add-log-exp`

Calls

1 calls:

Slowest

14.0ms

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

series101.0ms

Calls

1 calls:

Slowest

101.0ms

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

simplify3.4s

Calls

27 calls:

Slowest

510.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))))
416.0ms	(* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3)))
366.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))))
270.0ms	(* (- (pow x 3) (pow y 3)) (+ x y))
258.0ms	(- (log (* (- x y) (+ x y))) (log (+ (* x x) (* y y))))

prune279.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.7b

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

prune7.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.7b

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

90×	`times-frac`
54×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
18×	`associate-/r*`
11×	`associate-/r/`
9×	`add-cbrt-cube` `add-exp-log`
6×	`flip3-+` `flip-+` `div-inv` `associate-/l*`
4×	`cbrt-undiv` `div-exp` `associate-/l/`
2×	`pow1` `clear-num` `frac-2neg` `insert-posit16` `add-log-exp`
1×	`flip3--` `div-sub` `flip--`

Calls

2 calls:

Slowest

14.0ms	(/ (+ (* x x) (* y y)) (+ x y))
7.0ms	(/ (- x y) (/ (+ (* x x) (* y y)) (+ x y)))

series197.0ms

Calls

2 calls:

Slowest

105.0ms	(/ (- x y) (/ (+ (* x x) (* y y)) (+ x y)))
92.0ms	(/ (+ (* x x) (* y y)) (+ x y))

simplify10.0s

Calls

150 calls:

Slowest

545.0ms	(/ (* (cbrt (- x y)) (cbrt (- x y))) (/ (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))) (* (cbrt (+ x y)) (cbrt (+ x y)))))
402.0ms	(/ 1 (/ (+ (* x x) (* y y)) (- (* x x) (* y y))))
375.0ms	(/ (* (* (- x y) (- x y)) (- x y)) (/ (* (* (+ (* x x) (* y y)) (+ (* x x) (* y y))) (+ (* x x) (* y y))) (* (* (+ x y) (+ x y)) (+ x y))))
331.0ms	(/ (- x y) (/ (+ (* x x) (* y y)) (+ x y)))
302.0ms	(/ (- x y) (/ (cbrt (+ (* x x) (* y y))) (+ x y)))

prune1.0s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.7b

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

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.7b

regimes111.0ms

Accuracy

74.1% (5.3b remaining)

Error of 5.8b against oracle of 0.5b and baseline of 20.8b

bsearch196.0ms

end0.0ms

sample1.9s

Algorithm

intervals

Results

984.0ms	8000×	body	80	valid
787.0ms	8000×	pre	80	true