Details

sample48.0ms

Algorithm

intervals

Results

20.0ms

350×

body

valid

simplify1.1s

Counts: 1 → 1

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.2b

localize39.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* x 2.0) (* (* (* y 9.0) z) t))
0.2b	(* (* y 9.0) z)
0.2b	(* (* a 27.0) b)
8.0b	(* (* (* y 9.0) z) t)

rewrite150.0ms

Algorithm

rewrite-expression-head

Rules

23×	`pow1` `add-exp-log` `add-cbrt-cube`
12×	`pow-prod-down` `prod-exp` `cbrt-unprod`
9×	`associate-r`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`add-log-exp`
3×	`associate-l` `*-commutative`
1×	`sub-neg` `flip3--` `diff-log` `flip--`

Counts

4 → 69

Calls

4 calls:

12.0ms	(- (* x 2.0) (* (* (* y 9.0) z) t))
24.0ms	(* (* y 9.0) z)
30.0ms	(* (* a 27.0) b)
81.0ms	(* (* (* y 9.0) z) t)

series181.0ms

Counts

4 → 12

Calls

4 calls:

101.0ms	(- (* x 2.0) (* (* (* y 9.0) z) t))
26.0ms	(* (* y 9.0) z)
26.0ms	(* (* a 27.0) b)
28.0ms	(* (* (* y 9.0) z) t)

simplify1.0s

Counts: 81 → 81

prune304.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* x 2.0) (* (* y 9.0) (* z t)))
0.2b	(* (* a 27.0) b)
5.6b	(* (* y 9.0) (* z t))

rewrite88.0ms

Algorithm

rewrite-expression-head

Rules

20×	`pow1` `add-exp-log` `add-cbrt-cube`
11×	`pow-prod-down` `prod-exp` `cbrt-unprod`
5×	`add-log-exp`
4×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-r*`
2×	`associate-l` `*-commutative`
1×	`sub-neg` `flip3--` `diff-log` `flip--`

Counts

3 → 52

Calls

3 calls:

15.0ms	(- (* x 2.0) (* (* y 9.0) (* z t)))
29.0ms	(* (* a 27.0) b)
42.0ms	(* (* y 9.0) (* z t))

series143.0ms

Counts

3 → 9

Calls

3 calls:

83.0ms	(- (* x 2.0) (* (* y 9.0) (* z t)))
26.0ms	(* (* a 27.0) b)
34.0ms	(* (* y 9.0) (* z t))

simplify717.0ms

Counts: 61 → 61

prune193.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* x 2.0) (* y (* 9.0 (* z t))))
0.2b	(* (* a 27.0) b)
0.2b	(* 9.0 (* z t))
5.6b	(* y (* 9.0 (* z t)))

rewrite133.0ms

Algorithm

rewrite-expression-head

Rules

23×	`pow1` `add-exp-log` `add-cbrt-cube`
12×	`pow-prod-down` `prod-exp` `cbrt-unprod`
7×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-l*`
6×	`add-log-exp`
5×	`associate-r`
3×	`*-commutative`
1×	`sub-neg` `flip3--` `diff-log` `flip--`

Counts

4 → 69

Calls

4 calls:

15.0ms	(- (* x 2.0) (* y (* 9.0 (* z t))))
20.0ms	(* (* a 27.0) b)
26.0ms	(* 9.0 (* z t))
69.0ms	(* y (* 9.0 (* z t)))

series158.0ms

Counts

4 → 12

Calls

4 calls:

75.0ms	(- (* x 2.0) (* y (* 9.0 (* z t))))
21.0ms	(* (* a 27.0) b)
20.0ms	(* 9.0 (* z t))
42.0ms	(* y (* 9.0 (* z t)))

simplify756.0ms

Counts: 81 → 81

prune258.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* x 2.0) (* y (* (* 9.0 z) t)))
0.2b	(* (* 9.0 z) t)
0.2b	(* (* a 27.0) b)
5.6b	(* y (* (* 9.0 z) t))

rewrite152.0ms

Algorithm

rewrite-expression-head

Rules

23×	`pow1` `add-exp-log` `add-cbrt-cube`
12×	`pow-prod-down` `prod-exp` `cbrt-unprod`
7×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-r*`
6×	`add-log-exp`
5×	`associate-l`
3×	`*-commutative`
1×	`sub-neg` `flip3--` `diff-log` `flip--`

Counts

4 → 69

Calls

4 calls:

17.0ms	(- (* x 2.0) (* y (* (* 9.0 z) t)))
34.0ms	(* (* 9.0 z) t)
34.0ms	(* (* a 27.0) b)
63.0ms	(* y (* (* 9.0 z) t))

series186.0ms

Counts

4 → 12

Calls

4 calls:

85.0ms	(- (* x 2.0) (* y (* (* 9.0 z) t)))
22.0ms	(* (* 9.0 z) t)
30.0ms	(* (* a 27.0) b)
49.0ms	(* y (* (* 9.0 z) t))

simplify950.0ms

Counts: 81 → 81

prune178.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

regimes750.0ms

Accuracy

0.6% (3.6b remaining)

Error of 3.7b against oracle of 0.1b and baseline of 3.7b

bsearch1.0ms

simplify548.0ms

end0.0ms

sample2.1s

Algorithm

intervals

Results

1.2s

10967×

body

valid