Details

sample16.0ms

Algorithm

intervals

Results

7.0ms

269×

body

valid

simplify75.0ms

Counts

1 → 1

Iterations

Useful iterations: 2 (5.0ms)

Iter	Nodes	Cost
0	9	11
1	21	11
2	39	10
3	63	10
4	93	10
5	124	10
6	126	10
done	126	10

prune6.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 4.8b

localize7.0ms

Local error

Found 2 expressions with local error:

0.2b	(/ (/ 1.0 x) y)
5.2b	(/ (/ (/ 1.0 x) y) (fma z z 1.0))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

468×	`times-frac`
228×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
56×	`associate-/l*`
22×	`div-inv`
16×	`add-exp-log` `add-cbrt-cube`
9×	`cbrt-undiv` `div-exp`
6×	`associate-/r*`
2×	`pow1` `expm1-log1p-u` `frac-2neg` `clear-num` `log1p-expm1-u` `associate-/l/` `add-log-exp`

Counts

2 → 266

Calls

2 calls:

6.0ms	(/ (/ 1.0 x) y)
17.0ms	(/ (/ (/ 1.0 x) y) (fma z z 1.0))

series100.0ms

Counts

2 → 6

Calls

2 calls:

25.0ms	(/ (/ 1.0 x) y)
74.0ms	(/ (/ (/ 1.0 x) y) (fma z z 1.0))

simplify1.2s

Counts

272 → 272

Iterations

Useful iterations: 2 (753.0ms)

Iter	Nodes	Cost
0	471	5328
1	1089	5051
2	3424	4931
done	5000	4931

prune903.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 4.7b

localize9.0ms

Local error

Found 2 expressions with local error:

0.4b	(/ 1.0 (* y x))
5.2b	(/ (* 1 (/ 1.0 (* y x))) (fma z z 1.0))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

30×	`add-exp-log`
21×	`add-cbrt-cube`
13×	`div-exp`
9×	`prod-exp`
8×	`cbrt-undiv`
6×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `times-frac`
5×	`cbrt-unprod`
4×	`associate-/r` `associate-/l`
3×	`1-exp`
2×	`pow1` `expm1-log1p-u` `frac-2neg` `clear-num` `log1p-expm1-u` `div-inv` `add-log-exp`
1×	`associate-*r/` `associate-/l/`

Counts

2 → 54

Calls

2 calls:

3.0ms	(/ 1.0 (* y x))
8.0ms	(/ (* 1 (/ 1.0 (* y x))) (fma z z 1.0))

series102.0ms

Counts

2 → 6

Calls

2 calls:

23.0ms	(/ 1.0 (* y x))
79.0ms	(/ (* 1 (/ 1.0 (* y x))) (fma z z 1.0))

simplify808.0ms

Counts

60 → 60

Iterations

Useful iterations: 2 (178.0ms)

Iter	Nodes	Cost
0	122	792
1	320	699
2	1230	565
done	5000	565

prune143.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 4.7b

localize9.0ms

Local error

Found 4 expressions with local error:

0.4b	(/ 1.0 (* y x))
2.0b	(/ (/ 1.0 (* y x)) (sqrt (fma z z 1.0)))
16.5b	(sqrt (fma z z 1.0))
16.5b	(sqrt (fma z z 1.0))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

66×	`times-frac`
40×	`add-sqr-sqrt`
38×	`add-cube-cbrt` `*-un-lft-identity`
30×	`sqrt-prod`
18×	`add-exp-log` `add-cbrt-cube`
10×	`associate-/l*`
9×	`div-inv`
7×	`cbrt-undiv` `div-exp` `associate-/r*`
6×	`pow1`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
2×	`rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `prod-exp` `clear-num` `cbrt-unprod`
1×	`associate-/l/`

Counts

4 → 127

Calls

4 calls:

3.0ms	(/ 1.0 (* y x))
7.0ms	(/ (/ 1.0 (* y x)) (sqrt (fma z z 1.0)))
1.0ms	(sqrt (fma z z 1.0))
1.0ms	(sqrt (fma z z 1.0))

series256.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(/ 1.0 (* y x))
106.0ms	(/ (/ 1.0 (* y x)) (sqrt (fma z z 1.0)))
64.0ms	(sqrt (fma z z 1.0))
62.0ms	(sqrt (fma z z 1.0))

simplify859.0ms

Counts

139 → 139

Iterations

Useful iterations: 2 (234.0ms)

Iter	Nodes	Cost
0	197	2051
1	449	1895
2	1391	1778
done	5000	1778

prune402.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 4.7b

localize11.0ms

Local error

Found 3 expressions with local error:

0.2b	(/ (/ 1.0 x) y)
0.6b	(/ (/ (/ 1 1) 1) (/ (fma z z 1.0) (/ (/ 1.0 x) y)))
5.1b	(/ (fma z z 1.0) (/ (/ 1.0 x) y))

rewrite1.5s

Algorithm

rewrite-expression-head

Rules

29528×	`times-frac`
11510×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
1135×	`div-inv`
247×	`add-exp-log` `div-exp`
180×	`associate-/r*`
71×	`add-cbrt-cube`
68×	`1-exp`
59×	`associate-/l*`
51×	`cbrt-undiv`
46×	`associate-/r/`
16×	`rec-exp`
3×	`pow1` `expm1-log1p-u` `frac-2neg` `clear-num` `log1p-expm1-u` `add-log-exp`
2×	`associate-/l/`

Counts

3 → 6291

Calls

3 calls:

6.0ms	(/ (/ 1.0 x) y)
176.0ms	(/ (/ (/ 1 1) 1) (/ (fma z z 1.0) (/ (/ 1.0 x) y)))
13.0ms	(/ (fma z z 1.0) (/ (/ 1.0 x) y))

series153.0ms

Counts

3 → 9

Calls

3 calls:

23.0ms	(/ (/ 1.0 x) y)
78.0ms	(/ (/ (/ 1 1) 1) (/ (fma z z 1.0) (/ (/ 1.0 x) y)))
52.0ms	(/ (fma z z 1.0) (/ (/ 1.0 x) y))

simplify3.3s

Counts

6300 → 6300

Iterations

Useful iterations: 0 (800.0ms)

Iter	Nodes	Cost
0	10245	269717
done	10245	269717

prune28.6s

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 4.7b

regimes149.0ms

Accuracy

0% (1.7b remaining)

Error of 6.7b against oracle of 5.0b and baseline of 6.7b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	17
1	11	17
done	11	17

end0.0ms

sample410.0ms

Algorithm

intervals

Results

238.0ms

8657×

body

valid