Details

sample22.0ms

Algorithm

intervals

Results

11.0ms

381×

body

valid

simplify23.1s

Counts

1 → 1

Iterations

Useful iterations: 3 (9.0ms)

Iter	Nodes	Cost
0	8	15
1	16	14
2	33	11
3	55	8
4	73	8
5	83	8
6	130	8
7	205	8
8	243	8
9	257	8
10	418	8
11	855	8
12	3229	8
done	5000	8

prune5.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (+ (* x y) (* z z)) (* z z))
0.0b	(+ (* x y) (* z z))
0.1b	(+ (+ (+ (* x y) (* z z)) (* z z)) (* z z))

rewrite70.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-log-exp`
10×	`sum-log`
7×	`fma-def`
5×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
3×	`pow1` `add-exp-log` `+-commutative` `expm1-log1p-u` `flip3-+` `add-cbrt-cube` `flip-+` `log1p-expm1-u`
2×	`associate-+l+`

Counts

3 → 51

Calls

3 calls:

13.0ms	(+ (+ (* x y) (* z z)) (* z z))
3.0ms	(+ (* x y) (* z z))
53.0ms	(+ (+ (+ (* x y) (* z z)) (* z z)) (* z z))

series140.0ms

Counts

3 → 9

Calls

3 calls:

49.0ms	(+ (+ (* x y) (* z z)) (* z z))
40.0ms	(+ (* x y) (* z z))
50.0ms	(+ (+ (+ (* x y) (* z z)) (* z z)) (* z z))

simplify2.1s

Counts

60 → 60

Iterations

Useful iterations: 3 (404.0ms)

Iter	Nodes	Cost
0	76	863
1	237	666
2	930	590
3	3683	521
done	5000	521

prune135.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 1 expressions with local error:

0.1b	(fma (* z 3) z (* x y))

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

1×	`pow1` `add-exp-log` `add-sqr-sqrt` `expm1-log1p-u` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `fma-udef` `log1p-expm1-u` `add-log-exp`

Counts

1 → 10

Calls

1 calls:

0.0ms

(fma (* z 3) z (* x y))

series42.0ms

Counts

1 → 3

Calls

1 calls:

42.0ms

(fma (* z 3) z (* x y))

simplify619.0ms

Counts

13 → 13

Iterations

Useful iterations: 2 (10.0ms)

Iter	Nodes	Cost
0	21	140
1	34	137
2	70	121
3	240	121
4	910	121
done	5000	121

prune36.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* x y) (* z z))
0.3b	(fma (sqrt (+ (+ (* x y) (* z z)) (* z z))) (sqrt (+ (+ (* x y) (* z z)) (* z z))) (* z z))
2.5b	(sqrt (+ (+ (* x y) (* z z)) (* z z)))
2.5b	(sqrt (+ (+ (* x y) (* z z)) (* z z)))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt`
6×	`pow1` `add-cube-cbrt` `*-un-lft-identity` `sqrt-prod` `add-log-exp`
4×	`add-exp-log` `expm1-log1p-u` `sqrt-div` `add-cbrt-cube` `log1p-expm1-u`
3×	`flip3-+` `flip-+`
2×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `hypot-def`
1×	`+-commutative` `fma-def` `sum-log` `fma-udef`

Counts

4 → 60

Calls

4 calls:

2.0ms	(+ (* x y) (* z z))
0.0ms	(fma (sqrt (+ (+ (* x y) (* z z)) (* z z))) (sqrt (+ (+ (* x y) (* z z)) (* z z))) (* z z))
14.0ms	(sqrt (+ (+ (* x y) (* z z)) (* z z)))
14.0ms	(sqrt (+ (+ (* x y) (* z z)) (* z z)))

series436.0ms

Counts

4 → 12

Calls

4 calls:

41.0ms	(+ (* x y) (* z z))
182.0ms	(fma (sqrt (+ (+ (* x y) (* z z)) (* z z))) (sqrt (+ (+ (* x y) (* z z)) (* z z))) (* z z))
107.0ms	(sqrt (+ (+ (* x y) (* z z)) (* z z)))
107.0ms	(sqrt (+ (+ (* x y) (* z z)) (* z z)))

simplify1.9s

Counts

72 → 72

Iterations

Useful iterations: 3 (355.0ms)

Iter	Nodes	Cost
0	89	1299
1	229	961
2	863	745
3	3755	699
done	5000	699

prune220.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 1 expressions with local error:

0.1b	(fma 3 (* z z) (* y x))

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

1×	`pow1` `add-exp-log` `add-sqr-sqrt` `expm1-log1p-u` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `fma-udef` `log1p-expm1-u` `add-log-exp`

Counts

1 → 10

Calls

1 calls:

0.0ms

(fma 3 (* z z) (* y x))

series39.0ms

Counts

1 → 3

Calls

1 calls:

39.0ms

(fma 3 (* z z) (* y x))

simplify616.0ms

Counts

13 → 13

Iterations

Useful iterations: 2 (11.0ms)

Iter	Nodes	Cost
0	22	140
1	34	137
2	73	121
3	224	121
4	908	121
done	5000	121

prune32.0ms

Pruning

6 alts after pruning (2 fresh and 4 done)

Merged error: 0.0b

regimes168.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	8
1	9	8
done	9	8

end0.0ms

sample528.0ms

Algorithm

intervals

Results

291.0ms

12147×

body

valid