Details

sample180.0ms

Algorithm

intervals

Results

128.0ms

513×

body

valid

simplify711.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

711.0ms

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

prune28.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 3.0b

localize76.0ms

Local error

Found 4 expressions with local error:

5.9b	(* (* (* x 18.0) y) z)
4.8b	(* (* (* (* x 18.0) y) z) t)
0.2b	(* (* j 27.0) k)
0.2b	(* (* x 18.0) y)

rewrite298.0ms

Algorithm

rewrite-expression-head

Rules

37×	`pow1` `add-cbrt-cube` `add-exp-log`
22×	`pow-prod-down` `prod-exp` `cbrt-unprod`
12×	`associate-r`
8×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`expm1-log1p-u` `associate-l` `*-commutative` `insert-posit16` `log1p-expm1-u` `add-log-exp`

Counts

4 → 93

Calls

4 calls:

Slowest

178.0ms	(* (* (* (* x 18.0) y) z) t)
73.0ms	(* (* (* x 18.0) y) z)
27.0ms	(* (* x 18.0) y)
17.0ms	(* (* j 27.0) k)

series155.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

74.0ms	(* (* (* (* x 18.0) y) z) t)
37.0ms	(* (* (* x 18.0) y) z)
22.0ms	(* (* j 27.0) k)
22.0ms	(* (* x 18.0) y)

simplify8.2s

Counts

55 → 105

Calls

55 calls:

Slowest

603.0ms	(* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y))
513.0ms	(* (* (* (* j 27.0) (* j 27.0)) (* j 27.0)) (* (* k k) k))
448.0ms	(* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y))
423.0ms	(* (* (* (* j j) j) (* (* 27.0 27.0) 27.0)) (* (* k k) k))
392.0ms	(+ (+ (+ (+ (log x) (log 18.0)) (log y)) (log z)) (log t))

prune2.5s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.3b

localize46.0ms

Local error

Found 4 expressions with local error:

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

rewrite512.0ms

Algorithm

rewrite-expression-head

Rules

35×	`pow1` `add-cbrt-cube` `add-exp-log`
21×	`pow-prod-down` `prod-exp` `cbrt-unprod`
9×	`add-log-exp`
7×	`add-sqr-sqrt` `-un-lft-identity` `associate-r*` `add-cube-cbrt`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u`
3×	`associate-+l+` `fma-def` `associate-l` `*-commutative`
2×	`sum-log`
1×	`+-commutative` `sub-neg` `flip3-+` `diff-log` `prod-diff` `associate-+l-` `flip-+`

Counts

4 → 95

Calls

4 calls:

Slowest

427.0ms	(+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c))
56.0ms	(* (* (* x 18.0) y) (* z t))
14.0ms	(* (* x 18.0) y)
13.0ms	(* (* j 27.0) k)

series417.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

279.0ms	(+ (- (* (* (* x 18.0) y) (* z t)) (* (* a 4.0) t)) (* b c))
71.0ms	(* (* (* x 18.0) y) (* z t))
36.0ms	(* (* x 18.0) y)
31.0ms	(* (* j 27.0) k)

simplify11.7s

Counts

55 → 107

Calls

55 calls:

Slowest

541.0ms	(* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y))
510.0ms	(* (* (* (* j 27.0) (* j 27.0)) (* j 27.0)) (* (* k k) k))
503.0ms	(* (* (* (* j j) j) (* (* 27.0 27.0) 27.0)) (* (* k k) k))
432.0ms	(* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y))
386.0ms	(* 18.0 (* t (* x (* z y))))

prune2.5s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize54.0ms

Local error

Found 4 expressions with local error:

5.3b	(* (* x 18.0) (* y (* z t)))
4.4b	(* y (* z t))
0.2b	(* (* j 27.0) k)
0.0b	(+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c))

rewrite885.0ms

Algorithm

rewrite-expression-head

Rules

35×	`pow1` `add-cbrt-cube` `add-exp-log`
21×	`pow-prod-down` `prod-exp` `cbrt-unprod`
9×	`add-log-exp`
7×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
5×	`associate-r` `associate-l`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u`
3×	`associate-+l+` `fma-def` `*-commutative`
2×	`sum-log`
1×	`+-commutative` `sub-neg` `flip3-+` `diff-log` `prod-diff` `associate-+l-` `flip-+`

Counts

4 → 95

Calls

4 calls:

Slowest

768.0ms	(+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c))
88.0ms	(* (* x 18.0) (* y (* z t)))
14.0ms	(* (* j 27.0) k)
13.0ms	(* y (* z t))

series433.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

298.0ms	(+ (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)) (* b c))
61.0ms	(* (* x 18.0) (* y (* z t)))
38.0ms	(* y (* z t))
35.0ms	(* (* j 27.0) k)

simplify12.2s

Counts

55 → 107

Calls

55 calls:

Slowest

605.0ms	(* (* (* y y) y) (* (* (* z t) (* z t)) (* z t)))
595.0ms	(* (* (* (* j 27.0) (* j 27.0)) (* j 27.0)) (* (* k k) k))
507.0ms	(* (* (* (* j j) j) (* (* 27.0 27.0) 27.0)) (* (* k k) k))
440.0ms	(sqrt (- (* (* x 18.0) (* y (* z t))) (* (* a 4.0) t)))
425.0ms	(fma (* x 18.0) (* y (* z t)) (- (* t (* a 4.0))))

prune2.3s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize97.0ms

Local error

Found 4 expressions with local error:

5.9b	(* (* (* x 18.0) y) z)
4.8b	(* (* (* (* x 18.0) y) z) t)
0.2b	(* j (* 27.0 k))
0.2b	(* (* x 18.0) y)

rewrite320.0ms

Algorithm

rewrite-expression-head

Rules

37×	`pow1` `add-cbrt-cube` `add-exp-log`
22×	`pow-prod-down` `prod-exp` `cbrt-unprod`
10×	`associate-r`
8×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
6×	`associate-l`
4×	`expm1-log1p-u` `*-commutative` `insert-posit16` `log1p-expm1-u` `add-log-exp`

Counts

4 → 93

Calls

4 calls:

Slowest

222.0ms	(* (* (* (* x 18.0) y) z) t)
43.0ms	(* (* (* x 18.0) y) z)
28.0ms	(* (* x 18.0) y)
25.0ms	(* j (* 27.0 k))

series186.0ms

Counts

4 → 12

Calls

4 calls:

Slowest

65.0ms	(* (* (* (* x 18.0) y) z) t)
49.0ms	(* (* (* x 18.0) y) z)
36.0ms	(* j (* 27.0 k))
35.0ms	(* (* x 18.0) y)

simplify8.7s

Counts

55 → 105

Calls

55 calls:

Slowest

560.0ms	(* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* y y) y))
530.0ms	(* (* (* j j) j) (* (* (* 27.0 k) (* 27.0 k)) (* 27.0 k)))
508.0ms	(* (* (* (* x x) x) (* (* 18.0 18.0) 18.0)) (* (* y y) y))
413.0ms	(+ (+ (+ (+ (log x) (log 18.0)) (log y)) (log z)) (log t))
403.0ms	(* (* (* (* x 18.0) y) z) t)

prune2.3s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

regimes2.6s

Accuracy

81.7% (1.0b remaining)

Error of 1.1b against oracle of 0.1b and baseline of 5.4b

bsearch13.0ms

end0.0ms

sample6.3s

Algorithm

intervals

Results

5.1s

16129×

body

valid