Details

sample174.0ms

Algorithm

intervals

Results

125.0ms

480×

body

valid

simplify1.7s

Counts: 1 → 1

prune34.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.7b

localize72.0ms

Local error

Found 4 expressions with local error:

4.8b	(* (* (* x 18.0) y) z)
2.2b	(fma (- (* (* (* x 18.0) y) z) (* a 4.0)) t (- (* c b) (fma k (* 27.0 j) (* (* x 4.0) i))))
0.2b	(* (* x 18.0) y)
0.1b	(fma k (* 27.0 j) (* (* x 4.0) i))

rewrite96.0ms

Algorithm

rewrite-expression-head

Rules

18×	`pow1` `add-cbrt-cube` `add-exp-log`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
6×	`add-sqr-sqrt` `-un-lft-identity` `associate-r*` `add-cube-cbrt`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`associate-l` `*-commutative` `fma-udef`

Counts

4 → 67

Calls

4 calls:

Slowest

75.0ms	(* (* (* x 18.0) y) z)
18.0ms	(* (* x 18.0) y)
1.0ms	(fma (- (* (* (* x 18.0) y) z) (* a 4.0)) t (- (* c b) (fma k (* 27.0 j) (* (* x 4.0) i))))
0.0ms	(fma k (* 27.0 j) (* (* x 4.0) i))

series4.4s

Counts

4 → 12

Calls

4 calls:

Slowest

4.2s	(fma (- (* (* (* x 18.0) y) z) (* a 4.0)) t (- (* c b) (fma k (* 27.0 j) (* (* x 4.0) i))))
82.0ms	(fma k (* 27.0 j) (* (* x 4.0) i))
54.0ms	(* (* (* x 18.0) y) z)
41.0ms	(* (* x 18.0) y)

simplify1.9s

Counts: 79 → 79

prune2.1s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 1.6b

localize63.0ms

Local error

Found 4 expressions with local error:

3.5b	(* (* x 18.0) (* y z))
2.2b	(fma (- (* (* x 18.0) (* y z)) (* a 4.0)) t (- (* c b) (fma k (* 27.0 j) (* (* x 4.0) i))))
0.1b	(fma k (* 27.0 j) (* (* x 4.0) i))
0.0b	(- (* c b) (fma k (* 27.0 j) (* (* x 4.0) i)))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

16×	`pow1` `add-cbrt-cube` `add-exp-log`
8×	`pow-prod-down` `prod-exp` `cbrt-unprod`
6×	`add-log-exp`
5×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u`
3×	`prod-diff` `fma-udef`
1×	`sub-neg` `flip3--` `fma-neg` `diff-log` `associate-r` `associate-l` `*-commutative` `flip--` `associate--r+`

Counts

4 → 67

Calls

4 calls:

Slowest

22.0ms	(* (* x 18.0) (* y z))
8.0ms	(- (* c b) (fma k (* 27.0 j) (* (* x 4.0) i)))
0.0ms	(fma (- (* (* x 18.0) (* y z)) (* a 4.0)) t (- (* c b) (fma k (* 27.0 j) (* (* x 4.0) i))))
0.0ms	(fma k (* 27.0 j) (* (* x 4.0) i))

series4.4s

Counts

4 → 12

Calls

4 calls:

Slowest

4.0s	(fma (- (* (* x 18.0) (* y z)) (* a 4.0)) t (- (* c b) (fma k (* 27.0 j) (* (* x 4.0) i))))
133.0ms	(fma k (* 27.0 j) (* (* x 4.0) i))
130.0ms	(- (* c b) (fma k (* 27.0 j) (* (* x 4.0) i)))
73.0ms	(* (* x 18.0) (* y z))

simplify1.9s

Counts: 79 → 79

prune2.4s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 1.6b

localize56.0ms

Local error

Found 4 expressions with local error:

3.5b	(* (* x 18.0) (* y z))
2.2b	(fma (- (* (* x 18.0) (* y z)) (* a 4.0)) t (- (* c b) (fma 27.0 (* k j) (* (* x i) 4.0))))
0.1b	(fma 27.0 (* k j) (* (* x i) 4.0))
0.0b	(- (* c b) (fma 27.0 (* k j) (* (* x i) 4.0)))

rewrite67.0ms

Algorithm

rewrite-expression-head

Rules

16×	`pow1` `add-cbrt-cube` `add-exp-log`
8×	`pow-prod-down` `prod-exp` `cbrt-unprod`
6×	`add-log-exp`
5×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u`
3×	`prod-diff` `fma-udef`
1×	`sub-neg` `flip3--` `fma-neg` `diff-log` `associate-r` `associate-l` `*-commutative` `flip--` `associate--r+`

Counts

4 → 67

Calls

4 calls:

Slowest

50.0ms	(* (* x 18.0) (* y z))
14.0ms	(- (* c b) (fma 27.0 (* k j) (* (* x i) 4.0)))
0.0ms	(fma (- (* (* x 18.0) (* y z)) (* a 4.0)) t (- (* c b) (fma 27.0 (* k j) (* (* x i) 4.0))))
0.0ms	(fma 27.0 (* k j) (* (* x i) 4.0))

series4.9s

Counts

4 → 12

Calls

4 calls:

Slowest

4.6s	(fma (- (* (* x 18.0) (* y z)) (* a 4.0)) t (- (* c b) (fma 27.0 (* k j) (* (* x i) 4.0))))
160.0ms	(- (* c b) (fma 27.0 (* k j) (* (* x i) 4.0)))
139.0ms	(fma 27.0 (* k j) (* (* x i) 4.0))
55.0ms	(* (* x 18.0) (* y z))

simplify2.5s

Counts: 79 → 79

prune2.3s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 1.6b

localize106.0ms

Local error

Found 4 expressions with local error:

3.5b	(* (* x 18.0) (* y z))
2.2b	(fma (- (* (* x 18.0) (* y z)) (* a 4.0)) t (- (* c b) (fma (* k 27.0) j (* i (* x 4.0)))))
0.6b	(fma (* k 27.0) j (* i (* x 4.0)))
0.0b	(- (* c b) (fma (* k 27.0) j (* i (* x 4.0))))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

16×	`pow1` `add-cbrt-cube` `add-exp-log`
8×	`pow-prod-down` `prod-exp` `cbrt-unprod`
6×	`add-log-exp`
5×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u`
3×	`prod-diff` `fma-udef`
1×	`sub-neg` `flip3--` `fma-neg` `diff-log` `associate-r` `associate-l` `*-commutative` `flip--` `associate--r+`

Counts

4 → 67

Calls

4 calls:

Slowest

27.0ms	(* (* x 18.0) (* y z))
17.0ms	(- (* c b) (fma (* k 27.0) j (* i (* x 4.0))))
0.0ms	(fma (- (* (* x 18.0) (* y z)) (* a 4.0)) t (- (* c b) (fma (* k 27.0) j (* i (* x 4.0)))))
0.0ms	(fma (* k 27.0) j (* i (* x 4.0)))

series4.8s

Counts

4 → 12

Calls

4 calls:

Slowest

4.3s	(fma (- (* (* x 18.0) (* y z)) (* a 4.0)) t (- (* c b) (fma (* k 27.0) j (* i (* x 4.0)))))
211.0ms	(- (* c b) (fma (* k 27.0) j (* i (* x 4.0))))
154.0ms	(fma (* k 27.0) j (* i (* x 4.0)))
80.0ms	(* (* x 18.0) (* y z))

simplify2.1s

Counts: 79 → 79

prune2.4s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 1.6b

regimes2.1s

Accuracy

0% (3.6b remaining)

Error of 5.6b against oracle of 2.0b and baseline of 5.6b

bsearch7.0ms

end0.0ms

sample6.9s

Algorithm

intervals

Results

5.4s

16248×

body

valid