Details

sample220.0ms

Algorithm

intervals

Results

163.0ms

525×

body

valid

simplify201.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

201.0ms

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

prune39.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 2.9b

localize46.0ms

Local error

Found 4 expressions with local error:

5.3b	(* y (* (* x 18.0) z))
2.9b	(* (- (* y (* (* x 18.0) z)) (* a 4.0)) t)
0.2b	(* (* 27.0 j) k)
0.2b	(* (* x 18.0) z)

rewrite316.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`

Counts

4 → 81

Calls

4 calls:

Slowest

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

series222.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

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

simplify6.2s

Counts

50 → 93

Calls

50 calls:

Slowest

880.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))
630.0ms	(* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* z z) z))
519.0ms	(* (* (* (* 27.0 j) (* 27.0 j)) (* 27.0 j)) (* (* k k) k))
500.0ms	(* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* z z) z))
394.0ms	(* (* (* (* 27.0 27.0) 27.0) (* (* j j) j)) (* (* k k) k))

prune2.1s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 2.6b

localize54.0ms

Local error

Found 4 expressions with local error:

5.4b	(* (* x z) (* y 18.0))
2.9b	(* t (- (* (* x z) (* y 18.0)) (* 4.0 a)))
0.2b	(* (* 27.0 j) k)
0.0b	(- (* (* x z) (* y 18.0)) (* 4.0 a))

rewrite173.0ms

Algorithm

rewrite-expression-head

Rules

23×	`pow1` `add-cbrt-cube` `add-exp-log`
12×	`pow-prod-down` `prod-exp` `cbrt-unprod`
9×	`add-sqr-sqrt`
7×	`-un-lft-identity` `associate-r*` `add-cube-cbrt`
6×	`add-log-exp`
5×	`associate-l`
4×	`insert-posit16`
3×	`sub-neg` `*-commutative`
2×	`distribute-rgt-in` `distribute-lft-in` `flip3--` `associate-*r/` `flip--`
1×	`diff-log` `unswap-sqr`

Counts

4 → 80

Calls

4 calls:

Slowest

98.0ms	(* t (- (* (* x z) (* y 18.0)) (* 4.0 a)))
31.0ms	(- (* (* x z) (* y 18.0)) (* 4.0 a))
29.0ms	(* (* x z) (* y 18.0))
14.0ms	(* (* 27.0 j) k)

series364.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

184.0ms	(* t (- (* (* x z) (* y 18.0)) (* 4.0 a)))
108.0ms	(- (* (* x z) (* y 18.0)) (* 4.0 a))
47.0ms	(* (* x z) (* y 18.0))
25.0ms	(* (* 27.0 j) k)

simplify5.6s

Counts

49 → 92

Calls

49 calls:

Slowest

837.0ms	(* (* (* (* 27.0 27.0) 27.0) (* (* j j) j)) (* (* k k) k))
549.0ms	(* (* (* (* 27.0 j) (* 27.0 j)) (* 27.0 j)) (* (* k k) k))
350.0ms	(/ (exp (* (* x z) (* y 18.0))) (exp (* 4.0 a)))
319.0ms	(- (* 18.0 (* t (* x (* z y)))) (* 4.0 (* a t)))
316.0ms	(- (* 18.0 (* t (* x (* z y)))) (* 4.0 (* a t)))

prune2.0s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 2.6b

localize58.0ms

Local error

Found 4 expressions with local error:

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

rewrite208.0ms

Algorithm

rewrite-expression-head

Rules

23×	`pow1` `add-cbrt-cube` `add-exp-log`
12×	`pow-prod-down` `prod-exp` `cbrt-unprod`
9×	`add-sqr-sqrt` `add-log-exp`
7×	`-un-lft-identity` `associate-l*` `add-cube-cbrt`
5×	`associate-r`
4×	`insert-posit16`
3×	`sub-neg` `*-commutative`
2×	`distribute-rgt-in` `distribute-lft-in` `flip3--` `diff-log` `associate-*r/` `flip--`
1×	`sum-log` `associate--r+` `unswap-sqr`

Counts

4 → 82

Calls

4 calls:

Slowest

110.0ms	(* t (- (* (* x z) (* y 18.0)) (* 4.0 a)))
42.0ms	(* (* x z) (* y 18.0))
40.0ms	(- (* c b) (+ (* 27.0 (* j k)) (* (* x 4.0) i)))
14.0ms	(* 27.0 (* j k))

series357.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

171.0ms	(* t (- (* (* x z) (* y 18.0)) (* 4.0 a)))
125.0ms	(- (* c b) (+ (* 27.0 (* j k)) (* (* x 4.0) i)))
37.0ms	(* (* x z) (* y 18.0))
23.0ms	(* 27.0 (* j k))

simplify5.5s

Counts

51 → 94

Calls

51 calls:

Slowest

516.0ms	(* (* (* 27.0 27.0) 27.0) (* (* (* j k) (* j k)) (* j k)))
415.0ms	(* (* (* 27.0 27.0) 27.0) (* (* (* j j) j) (* (* k k) k)))
316.0ms	(- (* 18.0 (* t (* x (* z y)))) (* 4.0 (* a t)))
300.0ms	(- (* 18.0 (* t (* x (* z y)))) (* 4.0 (* a t)))
275.0ms	(* t (- (* (* x z) (* y 18.0)) (* 4.0 a)))

prune2.1s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 2.6b

localize94.0ms

Local error

Found 4 expressions with local error:

5.4b	(* (* x z) (* y 18.0))
2.9b	(* t (- (* (* x z) (* y 18.0)) (* 4.0 a)))
0.2b	(* (sqrt 27.0) (* (sqrt 27.0) (* j k)))
0.2b	(* (sqrt 27.0) (* j k))

rewrite312.0ms

Algorithm

rewrite-expression-head

Rules

32×	`pow1` `add-cbrt-cube` `add-exp-log`
18×	`pow-prod-down` `prod-exp` `cbrt-unprod`
16×	`associate-l`
12×	`add-sqr-sqrt`
10×	`*-un-lft-identity` `add-cube-cbrt`
6×	`associate-r` `sqrt-prod`
4×	`*-commutative` `insert-posit16` `add-log-exp`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/`
1×	`flip3--` `flip--` `unswap-sqr`

Counts

4 → 95

Calls

4 calls:

Slowest

162.0ms	(* t (- (* (* x z) (* y 18.0)) (* 4.0 a)))
75.0ms	(* (sqrt 27.0) (* (sqrt 27.0) (* j k)))
42.0ms	(* (* x z) (* y 18.0))
30.0ms	(* (sqrt 27.0) (* j k))

series381.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

162.0ms	(* t (- (* (* x z) (* y 18.0)) (* 4.0 a)))
104.0ms	(* (sqrt 27.0) (* (sqrt 27.0) (* j k)))
60.0ms	(* (sqrt 27.0) (* j k))
55.0ms	(* (* x z) (* y 18.0))

simplify5.9s

Counts

66 → 107

Calls

66 calls:

Slowest

406.0ms	(* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* j k) (* j k)) (* j k)))
329.0ms	(- (* 18.0 (* t (* x (* z y)))) (* 4.0 (* a t)))
325.0ms	(- (* 18.0 (* t (* x (* z y)))) (* 4.0 (* a t)))
231.0ms	(* t (- (* (* x z) (* y 18.0)) (* 4.0 a)))
229.0ms	(* (* (* (sqrt 27.0) (sqrt 27.0)) (sqrt 27.0)) (* (* (* j j) j) (* (* k k) k)))

prune2.5s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 2.6b

regimes2.0s

Accuracy

0% (2.9b remaining)

Error of 4.7b against oracle of 1.9b and baseline of 4.7b

bsearch5.0ms

end0.0ms

sample6.3s

Algorithm

intervals

Results

5.0s

16198×

body

valid