Details

sample56.0ms

Algorithm

intervals

Results

30.0ms

378×

body

valid

simplify2.0s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
5	1681
4	803
3	296
2	98
1	38
0	18

prune25.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 5.6b

localize38.0ms

Local error

Found 4 expressions with local error:

0.1b	(fma (* y 9.0) x b)
0.5b	(- (/ (fma (* y 9.0) x b) z) (* (* a t) 4.0))
1.8b	(/ (fma (* y 9.0) x b) z)
8.9b	(/ (- (/ (fma (* y 9.0) x b) z) (* (* a t) 4.0)) c)

rewrite104.0ms

Algorithm

rewrite-expression-head

Rules

36×	`times-frac`
34×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
13×	`fma-neg` `prod-diff`
8×	`add-cbrt-cube` `add-exp-log`
6×	`associate-/r` `associate-/l` `add-log-exp`
4×	`expm1-log1p-u` `pow1` `insert-posit16` `log1p-expm1-u` `div-inv`
2×	`cbrt-undiv` `clear-num` `frac-2neg` `flip3--` `div-exp` `flip--` `associate-/l/`
1×	`sub-neg` `diff-log` `div-sub` `fma-udef`

Counts

4 → 115

Calls

4 calls:

0.0ms	(fma (* y 9.0) x b)
28.0ms	(- (/ (fma (* y 9.0) x b) z) (* (* a t) 4.0))
5.0ms	(/ (fma (* y 9.0) x b) z)
67.0ms	(/ (- (/ (fma (* y 9.0) x b) z) (* (* a t) 4.0)) c)

series472.0ms

Counts

4 → 12

Calls

4 calls:

50.0ms	(fma (* y 9.0) x b)
178.0ms	(- (/ (fma (* y 9.0) x b) z) (* (* a t) 4.0))
69.0ms	(/ (fma (* y 9.0) x b) z)
174.0ms	(/ (- (/ (fma (* y 9.0) x b) z) (* (* a t) 4.0)) c)

simplify1.5s

Counts

127 → 127

Iterations

Iter	Nodes
done	5000
2	1298
1	392
0	174

prune1.0s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 5.4b

localize33.0ms

Local error

Found 4 expressions with local error:

0.1b	(fma (* x 9.0) y b)
0.5b	(- (/ (fma (* x 9.0) y b) z) (* (* 4.0 t) a))
1.8b	(/ (fma (* x 9.0) y b) z)
8.9b	(/ (- (/ (fma (* x 9.0) y b) z) (* (* 4.0 t) a)) c)

rewrite111.0ms

Algorithm

rewrite-expression-head

Rules

36×	`times-frac`
34×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
13×	`fma-neg` `prod-diff`
8×	`add-cbrt-cube` `add-exp-log`
6×	`associate-/r` `associate-/l` `add-log-exp`
4×	`expm1-log1p-u` `pow1` `insert-posit16` `log1p-expm1-u` `div-inv`
2×	`cbrt-undiv` `clear-num` `frac-2neg` `flip3--` `div-exp` `flip--` `associate-/l/`
1×	`sub-neg` `diff-log` `div-sub` `fma-udef`

Counts

4 → 115

Calls

4 calls:

0.0ms	(fma (* x 9.0) y b)
26.0ms	(- (/ (fma (* x 9.0) y b) z) (* (* 4.0 t) a))
8.0ms	(/ (fma (* x 9.0) y b) z)
74.0ms	(/ (- (/ (fma (* x 9.0) y b) z) (* (* 4.0 t) a)) c)

series587.0ms

Counts

4 → 12

Calls

4 calls:

53.0ms	(fma (* x 9.0) y b)
198.0ms	(- (/ (fma (* x 9.0) y b) z) (* (* 4.0 t) a))
98.0ms	(/ (fma (* x 9.0) y b) z)
237.0ms	(/ (- (/ (fma (* x 9.0) y b) z) (* (* 4.0 t) a)) c)

simplify1.3s

Counts

127 → 127

Iterations

Iter	Nodes
done	5000
2	1306
1	394
0	174

prune943.0ms

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 5.4b

localize50.0ms

Local error

Found 4 expressions with local error:

0.4b	(/ 1 (/ c (- (/ (fma (* x 9.0) y b) z) (* (* 4.0 t) a))))
0.5b	(- (/ (fma (* x 9.0) y b) z) (* (* 4.0 t) a))
1.8b	(/ (fma (* x 9.0) y b) z)
8.9b	(/ c (- (/ (fma (* x 9.0) y b) z) (* (* 4.0 t) a)))

rewrite187.0ms

Algorithm

rewrite-expression-head

Rules

117×	`times-frac`
78×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
21×	`associate-/r*`
19×	`add-exp-log`
13×	`add-cbrt-cube` `fma-neg` `prod-diff`
11×	`associate-/r/`
9×	`div-exp` `div-inv` `associate-/l*`
6×	`flip3--` `flip--` `add-log-exp`
5×	`pow1` `cbrt-undiv`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u`
3×	`clear-num` `frac-2neg`
2×	`rec-exp` `1-exp`
1×	`sub-neg` `diff-log` `pow-flip` `inv-pow`

Counts

4 → 190

Calls

4 calls:

68.0ms	(/ 1 (/ c (- (/ (fma (* x 9.0) y b) z) (* (* 4.0 t) a))))
53.0ms	(- (/ (fma (* x 9.0) y b) z) (* (* 4.0 t) a))
9.0ms	(/ (fma (* x 9.0) y b) z)
46.0ms	(/ c (- (/ (fma (* x 9.0) y b) z) (* (* 4.0 t) a)))

series839.0ms

Counts

4 → 12

Calls

4 calls:

319.0ms	(/ 1 (/ c (- (/ (fma (* x 9.0) y b) z) (* (* 4.0 t) a))))
271.0ms	(- (/ (fma (* x 9.0) y b) z) (* (* 4.0 t) a))
101.0ms	(/ (fma (* x 9.0) y b) z)
147.0ms	(/ c (- (/ (fma (* x 9.0) y b) z) (* (* 4.0 t) a)))

simplify2.0s

Counts

202 → 202

Iterations

Iter	Nodes
done	5001
2	2015
1	653
0	276

prune1.7s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 3.8b

localize31.0ms

Local error

Found 4 expressions with local error:

0.5b	(- (/ (fma (* x 9.0) y b) z) (* (* 4.0 t) a))
0.7b	(/ 1 (- (/ (fma (* x 9.0) y b) z) (* (* 4.0 t) a)))
1.8b	(/ (fma (* x 9.0) y b) z)
8.4b	(/ (/ 1 c) (/ 1 (- (/ (fma (* x 9.0) y b) z) (* (* 4.0 t) a))))

rewrite184.0ms

Algorithm

rewrite-expression-head

Rules

501×	`times-frac`
244×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
50×	`add-exp-log`
35×	`div-exp` `div-inv`
31×	`associate-/r/`
21×	`associate-/r*`
20×	`add-cbrt-cube`
19×	`associate-/l*`
16×	`flip3--` `flip--`
13×	`fma-neg` `prod-diff`
10×	`cbrt-undiv`
9×	`rec-exp` `1-exp`
6×	`add-log-exp`
5×	`pow1`
4×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u`
3×	`clear-num` `frac-2neg`
1×	`sub-neg` `diff-log` `pow-flip` `inv-pow` `associate-/l/`

Counts

4 → 365

Calls

4 calls:

37.0ms	(- (/ (fma (* x 9.0) y b) z) (* (* 4.0 t) a))
39.0ms	(/ 1 (- (/ (fma (* x 9.0) y b) z) (* (* 4.0 t) a)))
5.0ms	(/ (fma (* x 9.0) y b) z)
67.0ms	(/ (/ 1 c) (/ 1 (- (/ (fma (* x 9.0) y b) z) (* (* 4.0 t) a))))

series747.0ms

Counts

4 → 12

Calls

4 calls:

271.0ms	(- (/ (fma (* x 9.0) y b) z) (* (* 4.0 t) a))
79.0ms	(/ 1 (- (/ (fma (* x 9.0) y b) z) (* (* 4.0 t) a)))
98.0ms	(/ (fma (* x 9.0) y b) z)
299.0ms	(/ (/ 1 c) (/ 1 (- (/ (fma (* x 9.0) y b) z) (* (* 4.0 t) a))))

simplify2.6s

Counts

377 → 377

Iterations

Iter	Nodes
done	5001
2	3228
1	1576
0	549

prune2.6s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 3.8b

regimes1.3s

Accuracy

89.8% (0.8b remaining)

Error of 5.0b against oracle of 4.2b and baseline of 12.5b

bsearch3.0ms

simplify20.0ms

Iterations

Iter	Nodes
done	64
1	64
0	51

end0.0ms

sample2.8s

Algorithm

intervals

Results

2.2s

12844×

body

valid