Details

sample61.0ms

Algorithm

intervals

Results

45.0ms

327×

body

valid

simplify70.0ms

Calls

1 calls:

Slowest

70.0ms

(fabs (- (/ (+ x 4) y) (* (/ x y) z)))

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.6b

localize15.0ms

Local error

Found 3 expressions with local error:

2.6b	(* (/ x y) z)
0.0b	(- (/ (+ x 4) y) (* (/ x y) z))
0.0b	(/ (+ x 4) y)

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

5×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt` `add-log-exp`
4×	`associate-l`
3×	`pow1` `add-cbrt-cube` `associate-l/` `add-exp-log` `insert-posit16` `associate-/l`
2×	`div-inv` `associate-/l/`
1×	`clear-num` `sub-neg` `frac-2neg` `flip3-+` `flip3--` `diff-log` `*-commutative` `frac-sub` `flip-+` `flip--` `sub-div`

Calls

3 calls:

Slowest

10.0ms	(- (/ (+ x 4) y) (* (/ x y) z))
5.0ms	(/ (+ x 4) y)
2.0ms	(* (/ x y) z)

series147.0ms

Calls

3 calls:

Slowest

62.0ms	(- (/ (+ x 4) y) (* (/ x y) z))
45.0ms	(/ (+ x 4) y)
39.0ms	(* (/ x y) z)

simplify803.0ms

Calls

20 calls:

Slowest

181.0ms	(- (* (+ x 4) y) (* y (* x z)))
113.0ms	(- (+ (/ x y) (* 4 (/ 1 y))) (/ (* x z) y))
111.0ms	(- (+ (/ x y) (* 4 (/ 1 y))) (/ (* x z) y))
106.0ms	(/ (exp (/ (+ x 4) y)) (exp (* (/ x y) z)))
83.0ms	(- (+ (/ x y) (* 4 (/ 1 y))) (/ (* x z) y))

prune570.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 3 expressions with local error:

2.6b	(* (/ x y) z)
0.0b	(- (+ (/ x y) (/ 4 y)) (* (/ x y) z))
0.0b	(+ (/ x y) (/ 4 y))

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-log-exp`
6×	`*-un-lft-identity`
4×	`add-sqr-sqrt` `associate-l` `associate-*l/` `add-cube-cbrt`
3×	`pow1` `add-cbrt-cube` `add-exp-log` `frac-sub` `insert-posit16` `div-inv`
2×	`sum-log` `flip3-+` `diff-log` `frac-add` `flip-+`
1×	`+-commutative` `sub-neg` `distribute-rgt-out` `flip3--` `associate--l+` `*-commutative` `flip--` `distribute-lft-out`

Calls

3 calls:

Slowest

45.0ms	(- (+ (/ x y) (/ 4 y)) (* (/ x y) z))
7.0ms	(+ (/ x y) (/ 4 y))
4.0ms	(* (/ x y) z)

series141.0ms

Calls

3 calls:

Slowest

57.0ms	(- (+ (/ x y) (/ 4 y)) (* (/ x y) z))
49.0ms	(+ (/ x y) (/ 4 y))
35.0ms	(* (/ x y) z)

simplify2.0s

Calls

27 calls:

Slowest

358.0ms	(- (* (+ (* x y) (* y 4)) y) (* (* y y) (* x z)))
351.0ms	(* (+ (* (/ x y) (/ x y)) (- (* (/ 4 y) (/ 4 y)) (* (/ x y) (/ 4 y)))) y)
270.0ms	(- (* (- (* (/ x y) (/ x y)) (* (/ 4 y) (/ 4 y))) y) (* (- (/ x y) (/ 4 y)) (* x z)))
224.0ms	(- (* (+ (pow (/ x y) 3) (pow (/ 4 y) 3)) y) (* (+ (* (/ x y) (/ x y)) (- (* (/ 4 y) (/ 4 y)) (* (/ x y) (/ 4 y)))) (* x z)))
142.0ms	(/ (exp (+ (/ x y) (/ 4 y))) (exp (* (/ x y) z)))

prune531.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize9.0ms

Local error

Found 3 expressions with local error:

2.6b	(* (/ x y) z)
0.1b	(* (/ 1 y) (+ x 4))
0.0b	(- (* (/ 1 y) (+ x 4)) (* (/ x y) z))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

10×	`associate-*l/`
8×	`associate-l`
6×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
5×	`pow1` `add-cbrt-cube` `add-exp-log` `frac-sub` `add-log-exp`
4×	`frac-times` `flip3-+` `associate-*r/` `flip-+`
3×	`associate-r` `insert-posit16`
2×	`distribute-rgt-in` `distribute-lft-in` `associate--l+` `*-commutative` `div-inv`
1×	`sub-neg` `flip3--` `diff-log` `pow-prod-down` `prod-exp` `cbrt-unprod` `flip--` `sub-div`

Calls

3 calls:

Slowest

15.0ms	(- (* (/ 1 y) (+ x 4)) (* (/ x y) z))
4.0ms	(* (/ 1 y) (+ x 4))
2.0ms	(* (/ x y) z)

series131.0ms

Calls

3 calls:

Slowest

49.0ms	(- (* (/ 1 y) (+ x 4)) (* (/ x y) z))
42.0ms	(* (/ x y) z)
39.0ms	(* (/ 1 y) (+ x 4))

simplify3.1s

Calls

43 calls:

Slowest

397.0ms	(- (* (* 1 (- (* x x) (* 4 4))) y) (* (* y (- x 4)) (* x z)))
301.0ms	(- (* (* (/ 1 y) (- (* x x) (* 4 4))) y) (* (- x 4) (* x z)))
285.0ms	(* (* y (+ (* x x) (- (* 4 4) (* x 4)))) y)
187.0ms	(/ (exp (* (/ 1 y) (+ x 4))) (exp (* (/ x y) z)))
180.0ms	(- (* (* 1 (+ x 4)) y) (* y (* x z)))

prune613.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize18.0ms

Local error

Found 4 expressions with local error:

5.6b	(* x (* (/ 1 y) z))
0.2b	(* (/ 1 y) z)
0.0b	(- (+ (/ x y) (/ 4 y)) (* x (* (/ 1 y) z)))
0.0b	(+ (/ x y) (/ 4 y))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-log-exp`
7×	`*-un-lft-identity`
5×	`add-sqr-sqrt` `associate-*l/` `add-cube-cbrt`
4×	`pow1` `add-cbrt-cube` `associate-l` `associate-*r/` `add-exp-log` `insert-posit16`
3×	`frac-sub` `div-inv`
2×	`sum-log` `flip3-+` `diff-log` `frac-add` `*-commutative` `flip-+`
1×	`+-commutative` `sub-neg` `distribute-rgt-out` `flip3--` `associate-r` `associate--l+` `flip--` `distribute-lft-out`

Calls

4 calls:

Slowest

33.0ms	(- (+ (/ x y) (/ 4 y)) (* x (* (/ 1 y) z)))
5.0ms	(* x (* (/ 1 y) z))
5.0ms	(* (/ 1 y) z)
4.0ms	(+ (/ x y) (/ 4 y))

series134.0ms

Calls

4 calls:

Slowest

59.0ms	(- (+ (/ x y) (/ 4 y)) (* x (* (/ 1 y) z)))
32.0ms	(* x (* (/ 1 y) z))
29.0ms	(+ (/ x y) (/ 4 y))
14.0ms	(* (/ 1 y) z)

simplify2.1s

Calls

30 calls:

Slowest

322.0ms	(* (+ (* (/ x y) (/ x y)) (- (* (/ 4 y) (/ 4 y)) (* (/ x y) (/ 4 y)))) y)
306.0ms	(- (* (- (* (/ x y) (/ x y)) (* (/ 4 y) (/ 4 y))) y) (* (- (/ x y) (/ 4 y)) (* x (* 1 z))))
249.0ms	(- (* (+ (* x y) (* y 4)) y) (* (* y y) (* x (* 1 z))))
217.0ms	(/ (* (exp (/ x y)) (exp (/ 4 y))) (exp (* x (* (/ 1 y) z))))
216.0ms	(/ (exp (+ (/ x y) (/ 4 y))) (exp (* x (* (/ 1 y) z))))

prune653.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes133.0ms

Accuracy

84.3% (0.3b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 1.6b

bsearch141.0ms

end0.0ms

sample1.5s

Algorithm

intervals

Results

1.3s

10069×

body

valid