Details

sample164.0ms

Algorithm

intervals

Results

131.0ms

502×

body

valid

simplify225.0ms

Calls

1 calls:

Slowest

225.0ms

(- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k))

prune50.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 4.1b

localize57.0ms

Local error

Found 4 expressions with local error:

3.8b	(* (- (* y (* (* x 18.0) z)) (* a 4.0)) t)
3.7b	(* y (* (* x 18.0) z))
0.5b	(* (* 27.0 j) k)
0.2b	(* (* x 18.0) z)

rewrite263.0ms

Algorithm

rewrite-expression-head

Rules

25×	`pow1` `add-cbrt-cube` `add-exp-log`
13×	`pow-prod-down` `prod-exp` `cbrt-unprod`
11×	`add-sqr-sqrt`
10×	`associate-r`
9×	`*-un-lft-identity` `add-cube-cbrt`
8×	`associate-l`
4×	`*-commutative` `insert-posit16` `add-log-exp`
2×	`associate-*l/`
1×	`flip3--` `flip--` `unswap-sqr`

Calls

4 calls:

Slowest

165.0ms	(* (- (* y (* (* x 18.0) z)) (* a 4.0)) t)
43.0ms	(* y (* (* x 18.0) z))
28.0ms	(* (* x 18.0) z)
27.0ms	(* (* 27.0 j) k)

series245.0ms

Calls

4 calls:

Slowest

154.0ms	(* (- (* y (* (* x 18.0) z)) (* a 4.0)) t)
48.0ms	(* y (* (* x 18.0) z))
22.0ms	(* (* x 18.0) z)
22.0ms	(* (* 27.0 j) k)

simplify6.4s

Calls

50 calls:

Slowest

944.0ms	(* (* (* (- (* y (* (* x 18.0) z)) (* a 4.0)) (- (* y (* (* x 18.0) z)) (* a 4.0))) (- (* y (* (* x 18.0) z)) (* a 4.0))) (* (* t t) t))
568.0ms	(* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* z z) z))
509.0ms	(* (* (* (* 27.0 j) (* 27.0 j)) (* 27.0 j)) (* (* k k) k))
462.0ms	(* (* (* (* 27.0 27.0) 27.0) (* (* j j) j)) (* (* k k) k))
430.0ms	(* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* z z) z))

prune2.1s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 1.9b

localize58.0ms

Local error

Found 4 expressions with local error:

3.8b	(* (- (* 18.0 (* x (* z y))) (* a 4.0)) t)
3.2b	(* x (* z y))
0.5b	(* (* 27.0 j) k)
0.2b	(* 18.0 (* x (* z y)))

rewrite318.0ms

Algorithm

rewrite-expression-head

Rules

25×	`pow1` `add-cbrt-cube` `add-exp-log`
13×	`pow-prod-down` `prod-exp` `cbrt-unprod`
11×	`add-sqr-sqrt`
10×	`associate-l`
9×	`*-un-lft-identity` `add-cube-cbrt`
8×	`associate-r`
4×	`*-commutative` `insert-posit16` `add-log-exp`
2×	`associate-*l/`
1×	`flip3--` `flip--` `unswap-sqr`

Calls

4 calls:

Slowest

209.0ms	(* (- (* 18.0 (* x (* z y))) (* a 4.0)) t)
67.0ms	(* 18.0 (* x (* z y)))
21.0ms	(* (* 27.0 j) k)
20.0ms	(* x (* z y))

series240.0ms

Calls

4 calls:

Slowest

134.0ms	(* (- (* 18.0 (* x (* z y))) (* a 4.0)) t)
46.0ms	(* 18.0 (* x (* z y)))
33.0ms	(* (* 27.0 j) k)
27.0ms	(* x (* z y))

simplify6.2s

Calls

51 calls:

Slowest

794.0ms	(* (* (* (- (* 18.0 (* x (* z y))) (* a 4.0)) (- (* 18.0 (* x (* z y))) (* a 4.0))) (- (* 18.0 (* x (* z y))) (* a 4.0))) (* (* t t) t))
567.0ms	(* (* (* (* 27.0 j) (* 27.0 j)) (* 27.0 j)) (* (* k k) k))
530.0ms	(* (* (* x x) x) (* (* (* z y) (* z y)) (* z y)))
473.0ms	(* (* (* (* 27.0 27.0) 27.0) (* (* j j) j)) (* (* k k) k))
471.0ms	(* (* (* x x) x) (* (* (* z z) z) (* (* y y) y)))

prune2.5s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 1.9b

localize75.0ms

Local error

Found 4 expressions with local error:

3.8b	(* (- (* 18.0 (* x (* z y))) (* a 4.0)) t)
3.2b	(* x (* z y))
0.6b	(cbrt k)
0.6b	(cbrt k)

rewrite269.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-sqr-sqrt` `pow1` `add-cbrt-cube` `add-exp-log`
9×	`*-un-lft-identity` `add-cube-cbrt`
6×	`cbrt-prod` `associate-l`
4×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod` `insert-posit16` `add-log-exp`
2×	`pow1/3` `associate-l/` `-commutative`
1×	`flip3--` `flip--` `unswap-sqr`

Calls

4 calls:

Slowest

255.0ms	(* (- (* 18.0 (* x (* z y))) (* a 4.0)) t)
13.0ms	(* x (* z y))
1.0ms	(cbrt k)
1.0ms	(cbrt k)

series707.0ms

Calls

4 calls:

Slowest

273.0ms	(cbrt k)
256.0ms	(cbrt k)
133.0ms	(* (- (* 18.0 (* x (* z y))) (* a 4.0)) t)
45.0ms	(* x (* z y))

simplify4.1s

Calls

37 calls:

Slowest

946.0ms	(* (* (* (- (* 18.0 (* x (* z y))) (* a 4.0)) (- (* 18.0 (* x (* z y))) (* a 4.0))) (- (* 18.0 (* x (* z y))) (* a 4.0))) (* (* t t) t))
509.0ms	(* (* (* x x) x) (* (* (* z y) (* z y)) (* z y)))
419.0ms	(- (* 18.0 (* t (* x (* z y)))) (* 4.0 (* t a)))
366.0ms	(* (* (* x x) x) (* (* (* z z) z) (* (* y y) y)))
355.0ms	(- (* 18.0 (* t (* x (* z y)))) (* 4.0 (* t a)))

prune1.7s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 1.9b

localize45.0ms

Local error

Found 4 expressions with local error:

3.8b	(* (- (* y (* (* x 18.0) z)) (* a 4.0)) t)
3.7b	(* y (* (* x 18.0) z))
0.3b	(* 27.0 (* j k))
0.2b	(* (* x 18.0) z)

rewrite291.0ms

Algorithm

rewrite-expression-head

Rules

25×	`pow1` `add-cbrt-cube` `add-exp-log`
13×	`pow-prod-down` `prod-exp` `cbrt-unprod`
11×	`add-sqr-sqrt`
10×	`associate-l`
9×	`*-un-lft-identity` `add-cube-cbrt`
8×	`associate-r`
4×	`*-commutative` `insert-posit16` `add-log-exp`
2×	`associate-*l/`
1×	`flip3--` `flip--` `unswap-sqr`

Calls

4 calls:

Slowest

194.0ms	(* (- (* y (* (* x 18.0) z)) (* a 4.0)) t)
68.0ms	(* y (* (* x 18.0) z))
14.0ms	(* 27.0 (* j k))
13.0ms	(* (* x 18.0) z)

series249.0ms

Calls

4 calls:

Slowest

130.0ms	(* (- (* y (* (* x 18.0) z)) (* a 4.0)) t)
45.0ms	(* y (* (* x 18.0) z))
38.0ms	(* 27.0 (* j k))
35.0ms	(* (* x 18.0) z)

simplify5.9s

Calls

50 calls:

Slowest

922.0ms	(* (* (* (- (* y (* (* x 18.0) z)) (* a 4.0)) (- (* y (* (* x 18.0) z)) (* a 4.0))) (- (* y (* (* x 18.0) z)) (* a 4.0))) (* (* t t) t))
486.0ms	(* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* z z) z))
447.0ms	(* (* (* 27.0 27.0) 27.0) (* (* (* j k) (* j k)) (* j k)))
403.0ms	(* (* (* 27.0 27.0) 27.0) (* (* (* j j) j) (* (* k k) k)))
387.0ms	(- (* 18.0 (* t (* x (* z y)))) (* 4.0 (* t a)))

prune2.0s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 1.8b

regimes1.5s

Accuracy

44.9% (2.4b remaining)

Error of 4.4b against oracle of 2.0b and baseline of 6.4b

bsearch402.0ms

end0.0ms

sample6.0s

Algorithm

intervals

Results

5.0s

16009×

body

valid